Kerstin Bauer

According to our database, Kerstin Bauer authored at least 14 papers between 2008 and 2013.

Collaborative distances:

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

2013

Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera.

Xian Li, Kerstin Bauer, Klaus Schneider

Proceedings of the 2013 Federated Conference on Computer Science and Information Systems, 2013

2012

Teaching cyber-physical systems: a programming approach.

Kerstin Bauer, Klaus Schneider

Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2012

A New Modelling Language for Cyber-physical Systems.

Kerstin Bauer

Verlag Dr. Hut, ISBN: 978-3-8439-0332-5, 2012

2011

A uniform approach to three-valued semantics for <i>μ</i>-calculus on abstractions of hybrid automata.

Kerstin Bauer, Raffaella Gentilini, Klaus Schneider

Int. J. Softw. Tools Technol. Transf., 2011

2010

From synchronous programs to symbolic representations of hybrid systems.

Kerstin Bauer, Klaus Schneider

Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, 2010

Predicting Events for the Simulation of Hybrid Systems.

Kerstin Bauer, Klaus Schneider

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

Solving the routing and wavelength assignment problem with a multilevel distributed memetic algorithm.

Thomas Fischer, Kerstin Bauer, Peter Merz

Memetic Comput., 2009

Property Driven Three-Valued Model Checking on Hybrid Automata.

Kerstin Bauer, Raffaella Gentilini, Klaus Schneider

Proceedings of the Logic, 2009

2008

Standardized Multimedia Retrieval based on Web Service technologies and the MPEG Query Format.

Mario Döller, Kerstin Bauer, Harald Kosch, Matthias Gruhne

J. Digit. Inf. Manag., 2008

Approximated Reachability on Hybrid Automata: Falsification meets Certification.

Kerstin Bauer, Raffaella Gentilini, Klaus Schneider

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

A Multilevel Approach for the Routing and Wavelength Assignment Problem.

Thomas Fischer, Kerstin Bauer, Peter Merz

Proceedings of the 2008 International Symposium on Applications and the Internet, 2008

A Distributed Memetic Algorithm for the Routing and Wavelength Assignment Problem.

Thomas Fischer, Kerstin Bauer, Peter Merz

Proceedings of the Parallel Problem Solving from Nature, 2008

A Uniform Approach to Three-Valued Semantics for µ-Calculus on Abstractions of Hybrid Automata.

Kerstin Bauer, Raffaella Gentilini, Klaus Schneider

Proceedings of the Hardware and Software: Verification and Testing, 2008

Improved Construction Heuristics and Iterated Local Search for the Routing and Wavelength Assignment Problem.

Kerstin Bauer, Thomas Fischer, Sven Oliver Krumke, Katharina Gerhardt, Stephan Westphal, Peter Merz

Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2008