Edited Books & Special Issues

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 = 2173, h-index = 30

DBLP, PubMed, Google Scholar, Scopus, ResearchGate
All (114), Journals (27), Conferences (52), Workshops (12), Edited Books (9), Book Chapters (2), Invited (12)
2019 (5)2018 (3)2017 (1)2016 (1)2015 (2)2013 (1)2012 (2)2011 (2)2010 (3)2009 (2)2008 (1)2007 (3)2003 (1)
2019 [Another year]
114)
Journal Paper

Parallel Reachability Analysis for Hybrid Systems Using XSpeed
Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
In Journal of Software Tools for Technology Transfer, vol. 21(4), pp. 401-423, 2019
  
Show Citations [+]
Show Abstract [+]


113)
Journal Paper

A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems
Denise Ratasich, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique, Ezio Bartocci
In IEEE Access, vol. 7(1), pp. 13260-83, 2019
Show Citations [+]
Show Abstract [+]


112)
Journal Paper

A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Cesar Sanchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Ylies Falcone, Adrian Francalanza, Srdan Krstic, JoHao M. Lourenço, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
In Formal Methods in Systems Design, 2019
to appear
Show Citations [+]
Show Abstract [+]


111)
Journal Paper

First International Competition on Runtime Verification, Rules, Benchmarks, Tools, and Final Results of CRV 2014
Ezio Bartocci, Ylies Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Felix Klaedtke, Klaus Havelund, Yogi Joshi, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang
In Journal of Software Tools for Technology Transfer, vol. 21(1), pp. 31-70, 2019
Show Citations [+]
Show Abstract [+]


110)
Journal Paper

Quantitative Regular Expressions for Arrhythmia Detection
Houssam Abbas, Alena Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott Smolka, Radu Grosu
In IEEE/ACM Transactions on Computational Biology and Bioinformatics, 2019
to appear
Show Citations [+]
Show Abstract [+]


2018 [Another year]
109)
Journal Paper

A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks
Ezio Bartocci, Ebru Aydin Gol, Iman Haghighi, Calin Belta
In IEEE Transactions on Control of Network Systems, vol. 5(1), 2018
  
Show Citations [+]
Show Abstract [+]


108)
Journal Paper

An Algebraic Framework for Runtime Verification
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (IEEE TCAD)., vol. 37(11), pp. 2233--2243, 2018
This paper was accepted at EMSOFT 2018.
Show Citations [+]
Show Abstract [+]


107)
Journal Paper

Quantitative Monitoring of STL with Edit Distance
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic
In Formal Methods in Systems Design, vol. 53(1), pp. 83--112, 2018
  
Show Citations [+]
Show Abstract [+]


2017 [Another year]
106)
Journal Paper

Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes
Ezio Bartocci, Luca Bortolussi, Tomas Brazdil, Dimitrios Milos, Guido Sanguinetti
In International Journal of Performance Evaluation, vol. 116, pp. 84--100, 2017
Show Citations [+]
Show Abstract [+]


2016 [Another year]
105)
Journal Paper

Computational modeling, formal analysis and tools for systems biology
Ezio Bartocci, Pietro Liò
In PLOS Computational Biology, vol. 12(1), pp. e1004591, 2016
    
Show Citations [+]
Show Abstract [+]


2015 [Another year]
104)
Journal Paper

Model-order reduction of ion channel dynamics using approximate bisimulation
Md. Ariful Islam, Scott A. Smolka, Ezio Bartocci, Elizabeth M. Cherry, Flavio H. Fenton, James Glimm, Radu Grosu, Abhishek Murthy
In Theoretical Computer Science, vol. 599, pp. 34-46, 2015
  
Show Citations [+]

103)
Journal Paper

System design of stochastic models using robustness of temporal properties
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti
In Theoretical Computer Science, vol. 587, pp. 3-25, 2015
    
Show Citations [+]

2013 [Another year]
102)
Journal Paper

Curvature Analysis of Cardiac Excitation Wavefronts
Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Elizabeth M. Cherry, Scott A. Smolka, Radu Grosu
In IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 10(2), pp. 323-336, 2013
  
Show Citations [+]
Show Abstract [+]


2012 [Another year]
101)
Journal Paper

Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study
Ezio Bartocci, Pietro Liò, Emanuela Merelli, Nicola Paoletti
In T. Comp. Sys. Biology, vol. 14, pp. 53-76, 2012
    
Show Citations [+]

100)
Journal Paper

UBioLab: a web-LABoratory for Ubiquitous in-silico experiments
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Leonardo Vito
In J. Integrative Bioinformatics, vol. 9(1), 2012
    
Show Citations [+]

2011 [Another year]
99)
Journal Paper

Modeling the cell cycle: From deterministic models to hybrid systems
Roberta Alfieri, Ezio Bartocci, Emanuela Merelli, Luciano Milanesi
In Biosystems, vol. 105(1), pp. 34-40, 2011
    
Show Citations [+]

98)
Journal Paper

Teaching cardiac electrophysiology modeling to undergraduate students: Laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics
Ezio Bartocci, R. Singh, F.B. von Stein, A. Amedome, A.J.J. Caceres, J. Castillo, E. Closser, G. Deards, A. Goltsev, R.S. Ines, C. Isbilir, J.K. Marc, D. Moore, D. Pardi, S. Sadhu, S. Sanchez, P. Sharma, A. Singh, J. Rogers, A. Wolinetz, T. Grosso-Applewhite, K. Zhao, A.B. Filipski, R.F. Gilmour Jr., Radu Grosu, James Glimm, Scott A. Smolka, Elizabeth M. Cherry, Edmund M. Clarke, Nancy Griffeth, Flavio H. Fenton
In American Journal of Physiology - Advances in Physiology Education, vol. 35(4), pp. 427-437, 2011
cited By (since 1996) 0
  
Show Citations [+]

2010 [Another year]
97)
Journal Paper

Detecting synchronisation of biological oscillators by model checking
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei
In Theoretical Computer Science, vol. 411(20), pp. 1999-2018, 2010
  
Show Citations [+]

96)
Journal Paper

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
In Sci. Ann. Comp. Sci., vol. 20, pp. 1-31, 2010
    
Show Citations [+]

95)
Journal Paper

Timed operational semantics and well-formedness of shape calculus
Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
In Scientific Annals of Computer Science, vol. 20, pp. 33-52, 2010
  
Show Citations [+]
Show Abstract [+]


2009 [Another year]
94)
Journal Paper

Learning and detecting emergent behavior in networks of cardiac myocytes
Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci
In Commun. ACM, vol. 52(3), pp. 97-105, 2009
    
Show Citations [+]
Show Abstract [+]


93)
Journal Paper

Modeling and simulation of cardiac tissue using hybrid I/O automata
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu
In Theor. Comput. Sci., vol. 410(33-34), pp. 3149-3165, 2009
    
Show Citations [+]

2008 [Another year]
92)
Journal Paper

CellExcite: an efficient simulation environment for excitable cells
Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka
In BMC Bioinformatics, vol. 9(S-2), 2008
      
Show Citations [+]

2007 [Another year]
91)
Journal Paper

An agent-based multilayer architecture for bioinformatics grids
Ezio Bartocci, Diletta Romana Cacciagrano, Nicola Cannata, Flavio Corradini, Emanuela Merelli, Luciano Milanesi, Paolo Romano
In IEEE Transactions on Nanobioscience, vol. 6(2), pp. 142-148, 2007
cited By (since 1996) 6
  
Show Citations [+]

90)
Journal Paper

Biowep: a workflow enactment portal for bioinformatics applications
Paolo Romano, Ezio Bartocci, Guglielmo Bertolini, Flavio De Paoli, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Luciano Milanesi
In BMC Bioinformatics, vol. 8(S-1), 2007
      
Show Citations [+]

89)
Journal Paper

BioWMS: a web-based Workflow Management System for bioinformatics
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini
In BMC Bioinformatics, vol. 8(S-1), 2007
      
Show Citations [+]

2003 [Another year]
88)
Journal Paper

Expressionview: visualization of quantitative trait loci and gene-expression data in Ensembl.
G. Fischer, S.M. Ibrahim, G.A. Brockmann, J. Pahnke, Ezio Bartocci, H.-J. Thiesen, P. Serrano-Fernández, S. Möller
In Genome biology, vol. 4(11), 2003
cited By (since 1996) 20
    
Show Citations [+]