Stephanie Kemper

SAT-based Verification for Timed Component Connectors

Stephanie Kemper, 2009, Electron. Notes Theor. Comput. Sci..

Compositional Construction of Real-Time Dataflow Networks

Stephanie Kemper, S. Kemper, 2010, COORDINATION.

SAT-based Abstraction Refinement for Real-time Systems

André Platzer, Stephanie Kemper, André Platzer, 2007, FACS.

A Visual Logic for the Description of Highway Traffic Scenarios

Stephanie Kemper, Christoph Etzien, S. Kemper, 2013, CSDM.

Modelling and analysis of real-time coordination patterns

Stephanie Kemper, S. Kemper, 2011 .