Christian Herrera

University of Freiburg

Georges-Köhler-Allee 52

79110 Freiburg

building 052, room 00-022

Research Interests

Model Checking, Verification of Communication Protocols, Real-Time Systems, Hybrid Automata.

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). September 18-20, 2012.
Christian Herrera, Bernd Westphal and Andreas Podelski. Quasi-equal Clock Reduction: More Networks, More Queries. In TACAS 2014. In Proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014). April 5-13, 2014.

Sergiy Bogomolov, Christian Herrera, Marco Muñiz, Bernd Westphal and Andreas Podelski. Quasi-Dependent Variables in Hybrid Automata. In Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (HSCC 2014).April 15-17, 2014.
Christian Herrera and Bernd Westphal. Quasi-equal Reduction: Eliminating Assumptions on Networks. In Proceedings of the 11th Haifa Verification Conference (HVC 2015). November 17-19, 2015.
Sergiy Bogomolov, Christian Herrera and Wilfried Steiner. Benchmark for Verification of Fault-Tolerant Clock
Synchronization Algorithms. Applied Verification for Continuous and Hybrid Systems (ARCH 2016). April 11, 2016.

Please contact me to make an appointment.

Karina Fitriani. Extending the Reduction of Quasi-equal Clocks in Networks of Timed Automata. Master Thesis.
Karina Fitriani. FraTTA: Framework for Transformation of Timed Automata. Team Project.

Daniel Wadehnd. FraTTA: Extensions for Framework for Transformation of Timed Automata. Bachelor's Project.