Kerstin Bauer

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Data Acquisition

Programming Course

Top Venues

Publications

Xian Li, Kerstin Bauer, Klaus Schneider
Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera. FedCSIS (2013)
Kerstin Bauer, Klaus Schneider
Teaching cyber-physical systems: a programming approach. WESE (2012)
Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
-calculus on abstractions of hybrid automata. Int. J. Softw. Tools Technol. Transf. 13 (3) (2011)
Kerstin Bauer, Klaus Schneider
Predicting Events for the Simulation of Hybrid Systems. CIT (2010)
Kerstin Bauer, Klaus Schneider
From synchronous programs to symbolic representations of hybrid systems. HSCC (2010)
Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
Property Driven Three-Valued Model Checking on Hybrid Automata. WoLLIC (2009)
Thomas Fischer, Kerstin Bauer, Peter Merz
Solving the routing and wavelength assignment problem with a multilevel distributed memetic algorithm. Memetic Comput. 1 (2) (2009)
Kerstin Bauer, Thomas Fischer, Sven Oliver Krumke, Katharina Gerhardt, Stephan Westphal, Peter Merz
Improved Construction Heuristics and Iterated Local Search for the Routing and Wavelength Assignment Problem. EvoCOP (2008)
Mario Döller, Kerstin Bauer, Harald Kosch, Matthias Gruhne
Standardized Multimedia Retrieval based on Web Service technologies and the MPEG Query Format. J. Digit. Inf. Manag. 6 (4) (2008)
Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata. Haifa Verification Conference (2008)
Kerstin Bauer, Raffaella Gentilini, Klaus Schneider
Approximated Reachability on Hybrid Automata: Falsification meets Certification. Electron. Notes Theor. Comput. Sci. 223 (2008)
Thomas Fischer, Kerstin Bauer, Peter Merz
A Multilevel Approach for the Routing and Wavelength Assignment Problem. SAINT (2008)
Thomas Fischer, Kerstin Bauer, Peter Merz
A Distributed Memetic Algorithm for the Routing and Wavelength Assignment Problem. PPSN (2008)