Edited Books & Journal Issues

Vol 51 (1), FMSD, 2017

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


Post Doc

Laura Nenzi
Current position: Post Doc and Project Assistant in RiSE/SHiNE proposal
Research Interests: Modeling and Analysis of Cyber-Physical Systems.
Currently 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

Konstantin Selyunin
Current position: Project Assistant in HARMONIA project

Visiting PhD Students

Simone Silvetti
Current position: PhD in Computer Science, University of Udine (Italy)
Research visit:
Currently supervised Master Students

Lilly Maria Treml
Current position: Master Student in Computer Engineering
Research Interests: Emulation/Simulation of Cardiac Models using FPGA

Tomas Sedivy
Current position: Master Student in Computer Engineering
Research Interests: Parallel GPU-Based algorithms for Reachability Analysis of Hybrid Systems
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.
Former Master Students

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

Csaba Vaczula
Previous 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