Dr. Stephanie Kemper Senior Researcher

Dr. Stephanie Kemper
Kontaktdaten
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

+49 441 9722 582

stephanie.kemper(at)offis.de

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

URL BIB

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

URL BIB

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

DOI BIB

Projekte
von Dr. Stephanie Kemper

I

IMOST 2

Integrated Modeling for Safe Transportation 2

Laufzeit: 2010 - 2013