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)
2017 (1)2016 (1)2015 (1)2013 (2)2011 (1)2009 (1)2008 (1)2006 (4)
2017 [Another year]
114)
Workshop Paper

SEA-PARAM: Exploring Schedulers in Parametric MDPs
Sebastian Arming, Ezio Bartocci, Ana Sokolova
In Proc. of QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems, 2017
to appear
Show Citations [+]
Show Abstract [+]


2016 [Another year]
113)
Workshop Paper

Discrete Abstraction of Multiaffine Systems
Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas Henzinger, Yu Jiang, Christian Schilling
In Proc. of HSB 2016: the Fifth International Workshop on Hybrid Systems Biology , vol. 9957, pp. 128--144, 2016
Show Citations [+]

2015 [Another year]
112)
Workshop Paper

Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic
Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti
In Proc. of HSB 15: the 4th International Workshop on Hybrid Systems Biology, vol. 9271, pp. 156-172, 2015
  
Show Citations [+]
Show Abstract [+]


2013 [Another year]
111)
Workshop Paper

On the Robustness of Temporal Properties for Stochastic Models
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti
In Proceedings of HSB 2013: the 2nd Intern. Workshop on Hybrid Systems and Biology, Taormina, Italy,, vol. 125(1), pp. 3--19, 2013
  
Show Citations [+]

110)
Workshop Paper

Sampling-based Decentralized Monitoring for Networked Embedded Systems,
Ezio Bartocci
In Proceedings of HAS 2013: the 3rd Intern. Workshop of Hybrid Autonomous Systems, vol. 124(9), pp. 85--99, 2013
  
Show Citations [+]
Show Abstract [+]


2011 [Another year]
109)
Workshop Paper

A Change of Perspective Yields Formal Analysis
Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci
In Proc. of the 34th Software Engineering Workshop (SEW), Limerick, Ireland, June, pp. 69-76, 2011
    
Show Citations [+]

2009 [Another year]
108)
Workshop Paper

Model Checking Biological Oscillators
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei
In Electr. Notes Theor. Comput. Sci., vol. 229(1), pp. 41-58, 2009
  
Show Citations [+]

2008 [Another year]
107)
Workshop Paper

Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka
In Electr. Notes Theor. Comput. Sci., vol. 194(3), pp. 51-67, 2008
  
Show Citations [+]

2006 [Another year]
106)
Workshop Paper

A GRID-based multilayer architecture for bioinformatics
Ezio Bartocci, Diletta Romana Cacciagrano, Nicola Cannata, Flavio Corradini, Emanuela Merelli, Luciano Milanesi, Paolo Romano
In Proc. of the NETTAB'06: Network Tools and Application in Biology, Santa Margheita di Pula, Cagliari, Italy, 2006
Show Citations [+]

105)
Workshop Paper

Building a MultiAgent System from a User Workflow Specification
Ezio Bartocci, Flavio Corradini, Emanuela Merelli
In Proc. of Workshop From Object to Agents - WOA 2006, September 26-27, vol. 204, 2006
  
Show Citations [+]

104)
Workshop Paper

Enacting Proactive Workflows Engine in e-Science
Ezio Bartocci, Flavio Corradini, Emanuela Merelli
In In Proc. of the 1st International Workshop on Workflow Systems in e-Science (WSES 06) ICCS 2006, Part III, vol. 3993, pp. 1012-1015, 2006
  
Show Citations [+]

103)
Workshop Paper

Model driven design and implementation of activity-based applications in Hermes
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito
In Proc. of Workshop From Object to Agents - WOA 2006, September 26-27, vol. 204, 2006
  
Show Citations [+]