# Search Result

## 2013

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

## 2012

## 2011

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

## 2010

## 2009

## 2008

## 2007

[Baue07] K. Bauer On the Use of Gröbner Bases and Algebraic Methods for the Analysis of Hybrid AutomataProject Thesis |
||||

[Baue07a] K. Bauer Three-valued $\mu$-Calculus on Hybrid AutomataDiploma Thesis |