Edited Books & Journal Issues

Special Issue on Runtime Verification, FMSD, 2017 (coming soon)

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

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


"..who has reached the stage where he no longer wonders about anything,
merely demonstrates that he has lost the art of reflective reasoning.."

(Max Planck)

Citation Statistics according to Google Scholar
Number of citations = 1170, h-index = 21

36425673101155170292148
200920102011201220132014201520162017
  
PhDResearch
Associate
Research
Scientist
University
Assistant
University
Assistant
University
Assistant
Assistant
Professor
Assistant
Professor
Assistant
Professor
DBLP, PubMed, Google Scholar, Scopus
Edited Books (7), Journal Papers (20), Conference Papers (37), Workshop Papers (12), Invited Papers (8)

Edited Books and Proceedings (7)

1) Introduction to the Special Issue on Runtime Verification
Ezio Bartocci, Rupak Majumdar
In Formal Methods in System Design, vol. to appear, 2017

2) 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

3) 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
  
4) 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
  
5) Hybrid Systems and Biology (Preface)
Ezio Bartocci, Luca Bortolussi, Scott A. Smolka
In Information and Computation, vol. 236, pp. 1-2, 2014
  
6) Preface (HSB 2012)
Ezio Bartocci, Luca Bortolussi
In Proc. of the First International Workshop on Hybrid Systems and Biology, vol. 92, 2013
  
7) 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
  

Peer Reviewed Journal Papers (20)

8) 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. , 2017

9) 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. , 2016

10) Computational modeling, formal analysis and tools for systems biology
Ezio Bartocci, Pietro Liò
In PLOS Computational Biology, vol. 12(1), pp. e1004591, 2016
    
11) 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
  
12) 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
    
13) 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
  
14) 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
    
15) 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
    
16) 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
    
17) 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
  
18) 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
  
19) 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
    
20) Timed operational semantics and well-formedness of shape calculus
Ezio Bartocci, Diletta Romana Cacciagrano, M.R. Di Berardini, Emanuela Merelli, Luca Tesei
In Scientific Annals of Computer Science, vol. 20, pp. 33-52, 2010
  
21) 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
    
22) 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
    
23) 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
      
24) 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
  
25) 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
      
26) 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
      
27) 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
    

Peer Reviewed Conference Papers (37)

28) Quantitative Regular Expressions for Arrhythmia Detection Algorithms
Houssam Abbas, Alena Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
In Proc. of CMSB 2017: the 15th International Conference on Computational Methods in Systems Biology, Springer Berlin Heidelberg, Lecture Notes in Computer Science, 2017, to appear

29) A Linear Programming-based iterative approach to Stabilizing Polynomial Dynamics
Mohamed Amin Ben Sassi, Ezio Bartocci, Sriram Sankaranarayanan
In Proc. of IFAC 2017: the 20th World Congress of the International Federation of Automatic Control, Elsevier, 2017, to appear

30) A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage
Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni
In Proc. of QEST 2017: the 14th International Conference on Quantitative Evaluation of SysTems, Springer, Lecture Notes in Computer Science, 2017, to appear

31) ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
In Proc. of TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, Lecture Notes in Computer Science, vol. 10206, pp. 286--302, 2017

32) Computing with Biophysical and Hardware-efficient Neural Models
Konstantin Selyunin, Ramin M. Hasani, Denise Ratasich, Ezio Bartocci, Radu Grosu
In Proc. of IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence, Springer, Lecture Notes in Computer Science, vol. 10305, pp. 535--547, 2017

33) Monitoring Mobile and Spatially Distributed Cyber-Physical Systems
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
In Proc. of MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design , IEEE Computer Society, pp. to appear, 2017

34) Runtime Monitoring with Recovery of the SENT Communication Protocol
Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, C. Reidl, U. Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu
In Proc. of CAV 2017: the 29th International Conference on Computer-Aided Verification, Springer, Lecture Notes in Computer Science, pp. to appear, 2017

35) Applying Runtime Monitoring for Automotive Electronic Development
Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Radu Grosu
In Proc. of RV 2016: the 7th International Conference on Runtime Verification, Springer, Lecture Notes in Computer Science, vol. 10012, pp. 462--469, 2016

36) Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
Kenan Kalajdzic, Cyrille Jegourel, Axel Legay, Ezio Bartocci, Anna Lukina, Scott A. Smolka, Radu Grosu
In Proc. of ISoLA 2016: the 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Springer, Lecture Notes in Computer Science, vol. 9952, pp. 46--61, 2016

37) Monitoring of MTL Specifications With IBM's Spiking-Neuron Model
Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu
In Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition, IEEE Computer Society, pp. 924-929, 2016
  
38) Parallel Reachability Analysis for Hybrid Systems
Amit Gurung, Deka Arup Kumar, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray
In Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, 2016

39) Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent
Ezio Bartocci, Luca Bortolussi, Tomas Brazdil, Dimitrios Milios, Guido Sanguinetti
In Proc. of QEST 2016: the 13th International Conference on Quantitative Evaluation of SysTems, Springer, Lecture Notes in Computer Science, vol. 9826, pp. 244--259, 2016
  
40) Quantitative Monitoring of STL with Edit Distance
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
In Proc. of RV 2016: the 7th International Conference on Runtime Verification, Springer, Lecture Notes in Computer Science, vol. 10012, pp. 201-218, 2016

41) Temporal Logic as Filtering
Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
In Proc. of HSCC'16: the 19th International Conference on Hybrid Systems: Computation and Control, ACM, pp. 11--20, 2016, Honorable mention for the HSCC 2016 Best Student Paper Award
  
42) Abstraction-based parameter synthesis for multiaffine systems
Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, H Kong, Radu Grosu
In In Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015, Springer, Lecture Notes in Computer Science, vol. 9434, pp. 19-35, 2015
  
43) From Signal Temporal Logic to FPGA Monitors
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic
In Proc. of MEMOCODE 2015: the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, ACM, pp. 218-227, 2015
  
44) Neural Programming: Towards Adaptive Control in Cyber-Physical Systems
Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
In Proc. of CDC 2015: the 54th IEEE Conference on Decision and Control, IEEE Computer Society, pp. 6978-6985, 2015
  
45) SpaTeL: A novel spatial-temporal logic and its applications to networked systems
Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta
In Proc. of HSCC 2015: the 18th International Conference on Hybrid Systems: Computation and Control, ACM, pp. 189-198, 2015
  
46) XSpeed: Accelerating Reachability Analysis on MultiCore Processors
Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
In Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015, Springer, Lecture Notes in Computer Science, vol. 9434, pp. 3-18, 2015
  
47) Data-driven statistical learning of temporal logic properties
Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti
In Proc. of FORMATS 2014: the 12th International Conference on Formal Modeling and Analysis of Timed Systems, Springer, Lecture Notes in Computer Science, vol. 8711, pp. 23-37, 2014
  
48) Temporal logic based monitoring of assisted ventilation in intensive care patients
Sara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi
In Proc. of ISoLA 2014: the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, Springer, Lecture Notes in Computer Science, vol. 8803, pp. 391-403, 2014
  
49) Towards a GPGPU-parallel SPIN model checker
Ezio Bartocci, Richard Defrancisco, Scott A. Smolka
In Proc. of SPIN 2014: the International SPIN Symposium on Model Checking of Software, ACM, pp. 87-96, 2014
  
50) Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control
Md. Ariful Islam, Tushar Deshpande, Abhishek Murthy, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu
In Proc. of BIOTECHNO 2014: The Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies, pp. 52-58, 2014
  
51) A temporal logic approach to modular design of synthetic biological circuits
Ezio Bartocci, Luca Bortolussi, Laura Nenzi
In Proc. of CMSB 2013: the 11th International Conference on Computational Methods in Systems Biology, IST Austria, Klosterneuburg, Austria, Springer-Verlag, Lecture Notes in Computer Science, vol. 8130, pp. 164-178, 2013
  
52) Runtime Verification with Particle Filtering
Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu
In Proc. of RV 2013: the 4th International Conference on Runtime Verification, INRIA Rennes, France, September, 2013, Springer-Verlag, Lecture Notes in Computer Science, vol. 8174, pp. 149-166, 2013
  
53) Adaptive Runtime Verification
Ezio Bartocci, Radu Grosu, Atul Kamarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster
In Proc. of RV 2012: the 3rd International Conference on Runtime Verification, Istanbul, Turkey, September, Springer, Lecture Notes in Computer Science, vol. 7687, pp. pp. 168-18, 2012
  
54) Approximate Bisimulations for Sodium Channel Dynamics
Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci, Elizabeth M. Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
In Proc. of CMSB 2012, the Tenth International Conference on Computational Methods in Systems Biology The Royal Society, London, UK, October 3-5, Springer, Lecture Notes in Computer Science, vol. 7605, pp. 267-287, 2012
    
55) On Temporal Logic and Signal Processing
Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka
In Proc. of ATVA 2012, the 10th International Symposium on Automated Technology for Verification and Analysis, Trivandrum, Kerala, October 3-6, Springer, Lecture Notes in Computer Science, vol. 7561, pp. 92-106, 2012
    
56) Curvature analysis of cardiac excitation wavefronts
Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Scott A. Smolka, Radu Grosu
In Proc. of CMSB 2011: Proceedings of the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France, September 21-23, ACM, pp. 151--160, 2011
    
57) From Cardiac Cells to Genetic Regulatory Networks
Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci
In Proc. of CAV'11, the 23rd International Conference on Computer Aided Verification, Cliff Lodge, Snowbird, Utah, USA, July, 2011, Springer, Lecture Notes in Computer Science, vol. 6806, pp. 396-411, 2011
    
58) Model Repair for Probabilistic Systems
Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka
In Proc. of TACAS'11:the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Saarbruecken, Germany,March , Springer, Lecture Notes in Computer Science, vol. 6605, pp. 326-340, 2011
    
59) Runtime Verification with State Estimation
Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok
In Proc. of RV'11, the 2nd International Conference on Runtime Verification, San Francisco, September 27-30, Springer, Lecture Notes in Computer Science, vol. 7186, pp. 193-207, 2011, Best Paper Award
    
60) Toward real-time simulation of cardiac dynamics
Ezio Bartocci, Elizabeth M. Cherry, James Glimm, Radu Grosu, Scott A. Smolka, Flavio H. Fenton
In Proc. of CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France, September 21-23, ACM, pp. 103-112, 2011
    
61) A resourceome for the automation of in-silico biological experiments
Ezio Bartocci, Diletta Romana Cacciagrano, Flavio Corradini, Emanuela Merelli, Leonardo Vito
In Proc. of the First International Conference on Biosciences, Cancun, Mexico, pp. 70-75, 2010
  
62) A Shape Calculus for Biological Processes
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei
In Proc. of ICTCS'09, the 11th Italian Conference on Theoretical Computer Science, Cremona, Italy, March, pp. 30-33, 2009
  
63) Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska
In Proc. of HSCC'08, the 11th International Conference on Hybrid Systems: Computation and Control, St. Louis, Springer, Lecture Notes in Computer Science, vol. 4981, pp. 229-243, 2008, To also appear in CACM, the Communications of the ACM, 2009.
    
64) An XML View of the "World"
Ezio Bartocci, Emanuela Merelli, Leonardo Mariani
In Proc. of ICEIS'03, the 5th International Conference on Enterprise Information Systems, Angers, France, April 22-26, pp. 19-27, 2003
  

Peer Reviewed Workshop Papers (12)

65) 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, vol. , 2017

66) 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

67) 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
  
68) 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
  
69) 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
  
70) 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, vol. , pp. 69-76, 2011
    
71) 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
  
72) 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
  
73) 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, vol. , 2006

74) 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
  
75) 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
  
76) 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
  

Invited Papers (8)

77) Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction)
Ezio Bartocci, Ylies Falcone
In Proc. of ISoLA 2016: the 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Springer, Lecture Notes in Computer Science, vol. 9953, pp. 333-338, 2016
  
78) The HARMONIA project: Hardware Monitoring for Automotive Systems-of-Systems
Ezio Bartocci, Radu Grosu, Stefan Jaksic, Thang Nguyen, Dejan Nickovic, Konstantin Selyunin
In Proc. of ISoLA 2016: the 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Springer, Lecture Notes in Computer Science, vol. 9953, pp. 371-379, 2016
  
79) Cyber-Physical Systems: Theoretical and Practical Challenges
Ezio Bartocci, Oliver Hoftberger, Radu Grosu
In ERCIM News, vol. 97, pp. 8-9, 2014

80) First International Competition of Software for Runtime Verification
Ezio Bartocci, Borzoo Bonakdarpour, Ylies Falcone
In Proc. of RV 2014: the 14th International Conference on Runtime Verification, Springer-Verlag, Lecture Notes in Computer Science, vol. 8734, pp. 1-9, 2014

81) Medical cyber-physical systems (Track introduction)
Ezio Bartocci, Sicun Gao, Scott A. Smolka
In Proc. of ISoLA 2014: the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, Springer, Lecture Notes in Computer Science, vol. 8803, pp. 353-355, 2014
  
82) Temporal Logic based Monitoring of Assisted Ventilaion in Intensive Care Patients
Sara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi
In Proc. of ISoLA 2014: the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Springer, Lecture Notes in Computer Science, vol. 8803, pp. 391-403, 2014
  
83) Monitoring with uncertainty
Ezio Bartocci, Radu Grosu
In Proceedings of HAS 2013: the 3rd Intern. Workshop of Hybrid Autonomous Systems, EPTCS, vol. 125(1), pp. 3--19, 2013

84) StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka, Colas Le Guernic
In Concurrency, Graphs and Models, Springer, Lecture Notes in Computer Science, vol. 5065, pp. 493-502, 2008