Edited Books & Special Issues

Smolka Festschrift (LNCS 11500), 2019

IEEE/ACM TCBB vol. 15(4), 2018

LNCS Vol. 10457, 2018

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 !!


Cronache Maceratesi 2018:


UNICAM news 2018:


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


GROUP MEMBERS:

Group Leader

Univ.-Prof. Dr. Ezio Bartocci

Administrative Staff

Luka Johannes Strobl (Technician of the CPS Research Unit)

Sonja Rees (Project Admin for the WWTF ProbInG project)

in alphabetical order:
Ana Oliveira da Costa

PhD student (supervised) funded by FWF LogiCS DK

Advisor: Prof. Ezio Bartocci, co-Advisor: Prof. Matteo Maffei

Joint papers with Ana in DBLP

Andrey Kofnov

PhD funded by the Doctoral College SecInt and ProbInG

Advisor: Prof. Efstathia Bura, co-Advisor: Prof. Ezio Bartocci and Prof. Laura Kovacs

Link to the Applied Statistics Research Unit (ASTAT)

Dr. Laura Nenzi

Postdoc FWF Project Assistant (part-time)

Winner of the Hedy Lamarr Preis 2020

Local Coordinator (for the TU Wien) of the YIRG ZK35 project

Joint papers with Laura in DBLP

Eleonora Nesterini

PhD funded by the Doctoral College SecInt and the Austrian Institute of Technology

Advisor: Prof. Ezio Bartocci, co-Advisors: Prof. Andreas Kugi and Priv. Doz. Dejan Nickovic

Emery A. Neufeld

PhD funded by the Doctoral College on Resilient Embedded Systems

Advisor: Prof. Ezio Bartocci, co-Advisor: Prof. Agata Ciabattoni

Joint papers with Laura in DBLP

Marcel Moosbrugger

PhD funded funded by ProbInG

Advisor: Prof. Laura Kovacs, co-Advisor: Prof. Ezio Bartocci

Link to the Automated Program Reasoning Group - APRe

Joint papers with Marcel in DBLP

Miroslav Stankovič

PhD funded funded by FWF LogiCS DK and ProbInG

Advisor: Prof. Laura Kovacs, co-Advisor: Prof. Ezio Bartocci

Link to the Automated Program Reasoning Group - APRe

Joint papers with Miroslav in DBLP

Dr. Stefan Schupp

University Assistant (PostDoc)

Lilly Maria Treml

PhD funded by the Doctoral College on Resilient Embedded Systems

Advisor: Prof. Ezio Bartocci, co-Advisor: Prof. Alessio Gizzi

Ennio Visconti

FWF Project Assistant (PhD Student)

Advisor: Prof. Ezio Bartocci, co-Advisor: Dr. Laura Nenzi

Joint papers with Ennio in DBLP

Drishti Yadav

PhD funded by the Doctoral College on Resilient Embedded Systems

Advisor: Prof. Ezio Bartocci

Alumni - master, doctoral and postdoctoral students that I have advised or co-advised.
Dr. Mohamed Amin Ben Sassi

FWF Project Assistant (Postdoc)
funded by FWF RISE/SHiNE project

Joint paper with Amin

Now Assistant Professor at South Mediterranean University (SMU), Tunisia

Dipl.-Ing. Fabian Exenberger

Master student (supervised) at TU Wien

Now Software developer at willhaben internet service GmbH & Co KG, Austria

Dr. Anna Lukina

PhD thesis: "Adaptive Optimization Framework for Verification and Control of Cyber-Physical Systems"

Advisor: Prof. Radu Grosu, co-Advisor: Prof. Ezio Bartocci, Priv. Doz. Josef Widder

Joint papers with Anna in DBLP

Now Assistant Professor at TU Delft, Austria

Dr. Niveditha Manjunath

PhD thesis: "Fault-based Analysis of Cyber Physical Systems"

Advisor: Prof. Ezio Bartocci, co-Advisor: Dr. Dejan Nickovic

Joint papers with Niveditha in DBLP

Now Senior System Test Engineer (DB Netz AG), Germany

Dr. Denise Ratasich

PhD thesis: "Self-Healing Cyber-Physical Systems"

Advisor: Prof. Radu Grosu, co-Advisor: Prof. Ezio Bartocci

Joint papers with Denise in DBLP

Now Data Scientist at Austrian Railways (OBB), Austria

Dr. Konstantin Selyunin

PhD thesis: "Neural Models for Monitoring and Control - with Applications in Automotive Domain"

Advisor: Prof. Radu Grosu, co-Advisor: Prof. Ezio Bartocci

Joint papers with Konstantin in DBLP

Now Software Developer at ZENOWAY | Zeno Track GmbH

Dipl. Ing. Csaba Vaczula

Master student (supervised) at TU Wien

Dipl. Ing. Bernhard Wimmer

Master student (supervised) at TU Wien

Now Software Engineer at Zivid Labs, Oslo, Norway

Visiting students:
Paul Piho

PhD student from University of Edinburgh, UK

Joint papers with Paul in DBLP

Francesco Santoni

Visiting PhD student, University of Florence, Italy (September 2019-May 2020)

Simone Silvetti

PhD student from University of Udine, Italy

Joint papers with Simone in DBLP

Eleni Zapridou

Visiting undergraduate student (ERASMUS), Aristotle University of Thessaloniki, Greece (September 2019-January 2020)

Joint papers with Eleni in DBLP

Group Picture (in 2016)