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


Citation Statistics according to Google Scholar
Number of citations = 2274, h-index = 30

DBLP, PubMed, Google Scholar, Scopus, ResearchGate
All (115), Journals (27), Conferences (52), Workshops (12), Edited Books (10), Book Chapters (2), Invited (12)
2018 (2)
2018 [Another year]
115)
Book Chapter

Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan
In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, pp. 128--168, 2018
Show Citations [+]
Show Abstract [+]


114)
Book Chapter

An Introduction to Runtime Verification
Ezio Bartocci, Ylies Falcone, Adrian Francalanza, Giles Reger
In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, pp. 1--32, 2018
Show Citations [+]
Show Abstract [+]