Kerstin Bauer

14 papers A 1B 1C 3Journal 3Unranked 5
YearRankTypeTitle / Venue / Authors
2013 C conf
Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera.
FedCSIS
Xian Li, Kerstin Bauer, Klaus Schneider
2012 — book
A New Modelling Language for Cyber-physical Systems.
Kerstin Bauer
2012 — conf
Teaching cyber-physical systems: a programming approach.
WESE
Kerstin Bauer, Klaus Schneider
2011 J jnl
A uniform approach to three-valued semantics for
Int. J. Softw. Tools Technol. Transf.
Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
2010 — conf
From synchronous programs to symbolic representations of hybrid systems.
HSCC
Kerstin Bauer, Klaus Schneider
2010 C conf
Predicting Events for the Simulation of Hybrid Systems.
CIT
Kerstin Bauer, Klaus Schneider
2009 C conf
Property Driven Three-Valued Model Checking on Hybrid Automata.
WoLLIC
Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
2009 J jnl
Solving the routing and wavelength assignment problem with a multilevel distributed memetic algorithm.
Memetic Comput.
Thomas Fischer, Kerstin Bauer, Peter Merz
2008 A conf
A Distributed Memetic Algorithm for the Routing and Wavelength Assignment Problem.
PPSN
Thomas Fischer, Kerstin Bauer, Peter Merz
2008 — conf
A Multilevel Approach for the Routing and Wavelength Assignment Problem.
SAINT
Thomas Fischer, Kerstin Bauer, Peter Merz
2008 — conf
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata.
Haifa Verification Conference
Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
2008 — conf
Approximated Reachability on Hybrid Automata: Falsification meets Certification.
RP
Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
2008 B conf
Improved Construction Heuristics and Iterated Local Search for the Routing and Wavelength Assignment Problem.
EvoCOP
Kerstin Bauer, Thomas Fischer, Sven Oliver Krumke, Katharina Gerhardt, Stephan Westphal, Peter Merz
2008 J jnl
Standardized Multimedia Retrieval based on Web Service technologies and the MPEG Query Format.
J. Digit. Inf. Manag.
Mario Döller, Kerstin Bauer, Harald Kosch, Matthias Gruhne