Dr. Stephanie Kemper Senior Researcher
Tätigkeiten 
News
Tätigkeiten
Position im OFFIS
Senior Researcher
Competence Cluster
Safety Relevant Cyber Physical Systems (SRCPS)
Forschungsinteresse
Timed Automata and Timed Systems,Verification and Model Checking,
SAT-based Model Checking,
Automata Theorie,
Component-based Systems,
Coordination of/in Component-based Systems
News
SEG 01
Publikationen
von Dr. Stephanie Kemper
2018
Using Traffic Sequence Charts for the Development of HAVs
Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; European Congress on Embedded Real Time Software and Systems 2018; Janurary / 2018
2017
Traffic Sequence Charts - From Visualization to Semantics
Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; 10 / 2017
2013
A Visual Logic for the Description of Highway Traffic Scenarios
Kemper, Stephanie and Etzien, Christoph; Proceeding of the Fourth International Conference on Complex Systems Design & Management CDS&M 2013; 12 / 2013
Projekte
von Dr. Stephanie Kemper
I
