Stephanie Kemper

According to our database, Stephanie Kemper authored at least 4 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

A Visual Logic for the Description of Highway Traffic Scenarios.

Stephanie Kemper, Christoph Etzien

Proceedings of the Complex Systems Design & Management, 2013

2010

Compositional Construction of Real-Time Dataflow Networks.

Stephanie Kemper

Proceedings of the Coordination Models and Languages, 12th International Conference, 2010

2009

SAT-based Verification for Timed Component Connectors.

Stephanie Kemper

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

2006

SAT-based Abstraction Refinement for Real-time Systems.

Stephanie Kemper, André Platzer

Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006