Christian Herrera
|
Christian Herrera
University of FreiburgGeorges-Köhler-Allee 52
79110 Freiburg
building 052, room 00-022 |
Research Interests
Model Checking, Verification of TDMA Protocols, Real-Time Systems, Static Analysis.
Publications
Christian Herrera, Bernd Westphal, Sergio Feo-Arenis and Marco Muñiz. Reducing Quasi-equal Clocks in Networks of Timed Automata. In Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2012). To appear.
Consultation Hours
Please contact me to make an appointment.
Tutoring
- Theory I (Summer Term 2012).