SAT-based Abstraction Refinement for Real-time Systems. - Stephanie Kemper; André Platzer (FACS, 2006)

SAT-based Verification for Timed Component Connectors. - Stephanie Kemper (FOCLASA, 2009)

Compositional Construction of Real-Time Dataflow Networks. - Stephanie Kemper (COORDINATION, 2010)

A Visual Logic for the Description of Highway Traffic Scenarios. - Stephanie Kemper; Christoph Etzien (CSDM, 2013)