« April 2017 »
April
MoTuWeThFrSaSu
12
3456789
10111213141516
17181920212223
24252627282930
Uni-Logo
You are here: Home Team Christian Herrera
Document Actions

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.

     

     

     

     

    Personal tools