Edited Books & Special Issues

Proc. of HSCC 2022
Havelund Festschrift (LNCS 13065), 2021
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

Counter and browser compatibility



Get Firefox!


Get Thunderbird!


Valid XHTML 1.0 Transitional


Citation Statistics according to Google Scholar
Number of citations = 4053, h-index = 36

DBLP, PubMed, Google Scholar, Scopus, ResearchGate
All (155), Journals (38), Conferences (76), Workshops (12), Edited Books (12), Book Chapters (2), Invited (15)
2022 (1)2021 (1)2019 (1)2018 (2)2017 (1)2016 (2)2015 (1)2014 (1)2013 (2)
2022 [Another year]
155)
Edited
Preface
Ezio Bartocci, Sylvie Putot
In Proceedings of HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, 2022
Show Citations [+]
2021 [Another year]
154)
Edited
Preface
Ezio Bartocci, Ylies Falcone, Martin Leucker
In Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday, vol. 13085, 2021
Show Citations [+]
2019 [Another year]
153)
Edited
Preface
Ezio Bartocci, Radu Grosu, Rance Cleaveland, Oleg Sokolsky
In From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, vol. 11500, 2019
Show Citations [+]
2018 [Another year]
152)
Edited
Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)
Ezio Bartocci, Pietro Liò, Nicola Paoletti
In IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 15(4), pp. 1122-1123 , 2018
Show Citations [+]
Show Abstract [+]

151)
Edited
Preface
Ezio Bartocci, Ylies Falcone
In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, 2018
Show Citations [+]
Show Abstract [+]

2017 [Another year]
150)
Edited
Introduction to the Special Issue on Runtime Verification
Ezio Bartocci, Rupak Majumdar
In Formal Methods in System Design, vol. 51(1), pp. 1--4, 2017
Show Citations [+]
Show Abstract [+]

2016 [Another year]
149)
Edited
Preface (CMSB 2016)
Ezio Bartocci, Pietro Liò, Nicola Paoletti
In Proc. of CMSB 2016: the 14th conference on Computational Methods in Systems Biology, Cambridge, UK, vol. 9859, pp. V-VI, 2016
Show Citations [+]
148)
Edited
Preface of the Special Issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software
Ezio Bartocci, C. R. Ramakrishnan
In Software Tools for Technology Transfer (STTT), vol. 18(4), pp. 355--357, 2016
  
Show Citations [+]
2015 [Another year]
147)
Edited
Preface (RV 2015)
Ezio Bartocci, Rupak Majumdar
In Proc. of RV 2015: the 15th International Conference on Runtime Verification, Vienna, Austria, vol. 9333, pp. V-VI, 2015
  
Show Citations [+]
2014 [Another year]
146)
Edited
Hybrid Systems and Biology (Preface)
Ezio Bartocci, Luca Bortolussi, Scott A. Smolka
In Information and Computation, vol. 236, pp. 1-2, 2014
  
Show Citations [+]
2013 [Another year]
145)
Edited
Preface (HSB 2012)
Ezio Bartocci, Luca Bortolussi
In Proc. of the First International Workshop on Hybrid Systems and Biology, vol. 92, 2013
  
Show Citations [+]
Show Abstract [+]

144)
Edited
Preface (SPIN 2013)
Ezio Bartocci, C. R. Ramakrishnan
In Proc. of SPIN 2013: the 20th International Symposium of SPIN Model Checking Software, Stony Brook, NY, USA, vol. 7976, pp. V-VI, 2013
  
Show Citations [+]