You are here: Home Team Christian Herrera

Christian Herrera

 

Research Interests

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

 

Publications

Consultation Hours

    Please contact me to make an appointment.

    Tutoring

    • Theory I (Summer Term 2012).
    • Software Design, Modelling, and Analysis in UML (Winter Term 2014).

     

    Supervised Student Projects and Theses

    2013

    • 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.

     

    2014

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