Edited Books & Journal Issues

LNBI Vol. 9859, CMSB 2016

Vol. 4, STTT 2016

LNCS Vol. 9333, RV 2015

Vol. 236, Inf & Comp 2014

LNCS Vol. 7976, SPIN 2013

News about me !!

March 2015 - Rigorous Systems Engineering continues to rise and shine


December 2014 - "Laufbahnstelle" for Ezio Bartocci


January 2014 - Habilitation as Associate Professor in Italy


March-April 2013 - My GPU simulations featured on Cover of Transactions on Computational Biology and Bioinformatics


Nov. 2011 - Post Doc of the Month (Interview)


Sep. 2011 - Best Paper Award (RV 2011)


July 2011 - From chaos to cures (Cornell University)


Jan. 2011 - CMACS Researchers Perform First Automated Formal Analysis of Realistic Cardiac Cell Model


UNICAM news:

Counter and browser compatibility



Get Firefox!


Get Thunderbird!


Valid XHTML 1.0 Transitional


Former Post Doc

Mohamed Amin Ben Sassi
Past position (2016-2017): Post Doc and Project Assistant in RiSE/SHiNE proposal
Now: Assistant Professor at Mediterranean Institute of Technology, Tunisia

Research Interests: Stability Analysis of dynamical and Hybrid systems.
Currently (co-)supervised PhD Students

Manjunath Niveditha
Current position: PhD student

Research Interests: Runtime Monitoring and Diagnostic for Cyber-Physical Model-in-the-Loop

Anna Lukina
Current position: PhD student in the Doctoral College Logical Methods in Computer Science since February 2015

Research Interests: Statistical Model Checking, Stochastic Modelling, Analysis and Control of Cyber-Physical and Biological Systems, Machine Learning, Risk Analysis

Alena Rodionova
Current position: PhD student in the Doctoral College Logical Methods in Computer Science since February 2015
Research Interests: Specification Languages, Digital Signal Processing, Computational models in Systems Biology

Konstantin Selyunin
Current position: Project Assistant in HARMONIA project


Guodong Wang
Current position: PhD student in the Doctoral College in Cyber-Physical Production Systems since March 2015

Currently supervised Master Students

Bernhard Wimmer
Current position: Master Student in Computer Engineering
Research Interests: Optimisation Techniques for Mobile Robot Locomotion

Tomas Sedivy
Current position: Master Student in Computer Engineering
Research Interests: Parallel GPU-Based algorithms for Reachability Analysis of Hybrid Systems
Former Master Students

Csaba Vaczula
Current position: Master Student in Computer Engineering
Research Interests: GPU-based SAT solver
Former Bachelor Students

Florian Zaruba
Current position: Bachelor in Computer Engineering
Research Interests: An android app to monitor ECG with temporal logic