Entwicklung korrekter Systeme
Dr. Stephanie Kemper
| Anschrift: | Dr. Stephanie Kemper Universität Oldenburg Fakultät II Department für Informatik 26111 Oldenburg |
|
| Raum: | A3 2-216 | |
| Telefon: | (04 41) 798-2549 | |
| Fax: | (04 41) 798-2965 | |
| E-Mail: | Stephanie.Kemper | |
Curriculum Vitae
| 10/1999 - 01/2006 | Informatik-Studium an der Universität Oldenburg |
| 01/2006 | Informatik-Diplom (mit Auszeichnung) an der Universität Oldenburg |
| 02/2006 - 03/2011 | Wissenschaftliche Mitarbeiterin am Centrum Wiskunde & Informatica, Amsterdam, Niederlande (www.cwi.nl) |
| 12/2011 | Promotion an der Universität Leiden (NL), Titel der Dissertation "Modelling and Analysis of Real-Time Coordination Patterns" |
| seit 04/2011 | Wissenschaftliche Mitarbeiterin in der Abteilung Entwicklung Korrekter Systeme |
Forschung
Meine Forschungsinteressen sind- Realzeitsysteme (Realzeitautomaten, Timed Constraint Automata, ...)
- Verifikation und Modelchecking
- SAT-basiertes Modelchecking
- Automatentheorie
- (Koordination) Komponentenbasierte(r) Systeme
Publikationen
- [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 ]
Abschlussarbeiten
- [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 ]