Correct System Design
Dr. Stephanie Kemper
| Address: | Dr. Stephanie Kemper University of Oldenburg Faculty II Department of Computing Science D-26111 Oldenburg Germany |
|
| Room: | A3 2-216 | |
| Phone: | +49 441 798-2549 | |
| Fax: | +49 441 798-2965 | |
| email: | Stephanie.Kemper | |
Curriculum Vitae
| 10/1999 - 01/2006 | Studies of Computer Science at University of Oldenburg |
| 01/2006 | Diploma degree (with distinction) in Computer Science at University of Oldenburg |
| 02/2006 - 03/2011 | Research Assistant at Centrum Wiskunde & Informatica, Amsterdam, The Netherlands (www.cwi.nl) |
| 12/2011 | PhD defense at the university of Leiden (NL), dissertation title "Modelling and Analysis of Real-Time Coordination Patterns" |
| since 04/2011 | Research Assistant in the Correct System Design Group |
Research
My research interests are- Real-time Systems (Timed Automata, Timed Constraint Automata, ...)
- Verification and model checking
- SAT-based model checking
- Automata theory
- (Coordination in) Component-based systems
Publications
- [Kem11a]
-
Stephanie Kemper.
SAT-based Verification for Timed Component Connectors.
To appear in Science of Computer Programming
[ bib | .pdf ] - [Kem10]
-
Stephanie Kemper.
Compositional construction of real-time dataflow networks.
In Dave Clarke and Gul A. Agha, editors, Coordination Models and
Languages, 12th International Conference, COORDINATION 2010, Amsterdam, The
Netherlands, June 7-9, 2010. Proceedings, volume 6116 of Lecture Notes
in Computer Science, pages 92-106. Springer, 2010.
[ bib | .pdf ] - [Kem09]
-
Stephanie Kemper.
SAT-based Verification for Timed Component Connectors.
Electr. Notes Theor. Comput. Sci., 255:103-118, 2009.
[ bib | .pdf ] - [KP07]
-
Stephanie Kemper and André Platzer.
Sat-based abstraction refinement for real-time systems.
In Frank S. de Boer and Vladimir Mencl, editors, Formal Aspects
of Component Software, Third International Workshop, FACS 2006, Prague, Czech
Republic, Proceedings, volume 182 of ENTCS, pages 107-122, 2007.
[ bib | .pdf | Abstract ]
Theses
- [Kem06]
-
S. Kemper.
SAT-based verification for abstraction refinement.
Diploma thesis, University of Oldenburg, January 2006.
[ bib | .pdf ] - [Kem11]
-
Stephanie Kemper.
Modelling and Analysis of Real-Time Coordination Patterns.
PhD thesis, Leiden Institute of Advanced Computer Science (LIACS),
2011.
[ bib | http ]