Search: (more)
Header

Search Result

2013

BibTeX Search WWW PDF   [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)
BibTeX Search WWW PDF   [LiBS13a]
X. Li and K. Bauer and K. Schneider
Interactive Verification of Cyber-physical Systems Interfacing Averest and KeYmaera
Presentation

2012

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

2011

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

2010

BibTeX Search WWW PDF   [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)
BibTeX Search WWW PDF   [BaSc10]
K. Bauer and K. Schneider
From synchronous programs to symbolic representations of hybrid systems
Hybrid Systems: Computation and Control (HSCC)
BibTeX Search WWW PDF   [BaSc10a]
K. Bauer and K. Schneider
Predicting Events for the Simulation of Hybrid Systems
International Conference on Computer and Information Technology (CIT)

2009

BibTeX Search WWW PDF   [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)
BibTeX Search WWW PDF   [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

BibTeX Search WWW PDF   [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)
BibTeX Search WWW PDF   [BaGS08]
K. Bauer and R. Gentilini and K. Schneider
Approximated Reachability on Hybrid Automata: Falsification meets Certification
Electronic Notes in Theoretical Computer Science (ENTCS)
BibTeX Search WWW PDF   [Baue08b]
K. Bauer
Algebraic Methods and Abstractions for Automated 3-valued Reasoning on Hybrid Automata
Diploma Thesis
BibTeX Search WWW PDF   [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
BibTeX Search WWW PDF   [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

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