Search: (more)

# Search Result

## 2013

 [LiBS13] X. Li and K. Bauer and K. Schneider Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera International Workshop on Cyber-Physical Systems (IWCPS) [LiBS13a] X. Li and K. Bauer and K. Schneider Interactive Verification of Cyber-physical Systems Interfacing Averest and KeYmaera Presentation

## 2012

 [BaSc12a] K. Bauer and K. Schneider Teaching Cyber-Physical Systems: A Programming Approach Workshop on Embedded and Cyber-Physical Systems Education (WESE) [Baue12] K. Bauer A New Modelling Language for Cyber-physical Systems PhD Thesis

## 2011

 [BaSc11] K. Bauer and K. Schneider Transferring Causality Analysis from Synchronous Programs to Hybrid Programs International Modelica Conference

## 2010

 [BaGS10] K. Bauer and R. Gentilini and K. Schneider A Uniform Approach to Three-Valued Semantics for mu-Calculus on Abstractions of Hybrid Automata Software Tools for Technology Transfer (STTT) [BaSc10] K. Bauer and K. Schneider From synchronous programs to symbolic representations of hybrid systems Hybrid Systems: Computation and Control (HSCC) [BaSc10a] K. Bauer and K. Schneider Predicting Events for the Simulation of Hybrid Systems International Conference on Computer and Information Technology (CIT)

## 2009

 [BaGS09a] K. Bauer and R. Gentilini and K. Schneider Property Driven Three-Valued Model Checking on Hybrid Automata Workshop on Logic, Language, Information and Computation (WoLLIC) [BaGS09b] K. Bauer and R. Gentilini and K. Schneider A Uniform Approach to Three-Valued Semantics for mu-Calculus on Abstractions of Hybrid Automata Haifa Verification Conference (HVC)

## 2008

 [BFKG08] K. Bauer and T. Fischer and S.O. Krumke and K. Gerhardt and S. Westphal and P. Merz Improved Construction Heuristics and Iterated Local Search for the Routing and Wavelength Assignment Problem Evolutionary Computation in Combinatorial Optimisation (EvoCOP) [BaGS08] K. Bauer and R. Gentilini and K. Schneider Approximated Reachability on Hybrid Automata: Falsification meets Certification Electronic Notes in Theoretical Computer Science (ENTCS) [Baue08b] K. Bauer Algebraic Methods and Abstractions for Automated 3-valued Reasoning on Hybrid Automata Diploma Thesis [FiBM08] T. Fischer and K. Bauer and P. Merz A Multilevel Approach for the Routing and Wavelength Assignment Problem IEEE/IPSJ International Symposium on Applications and the Internet [FiBM08a] T. Fischer and K. Bauer and P. Merz A Distributed Memetic Algorithm for the Routing and Wavelength Assignment Problem Parallel Problem Solving from Nature (PPSN)

## 2007

 [Baue07] K. Bauer On the Use of Gröbner Bases and Algebraic Methods for the Analysis of Hybrid Automata Project Thesis [Baue07a] K. Bauer Three-valued $\mu$-Calculus on Hybrid Automata Diploma Thesis