Join EATCS

Edited Books & Journal Issues

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

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 = 1245, h-index = 22

DBLP, PubMed, Google Scholar, Scopus
Edited Books (7), Journal Papers (21), Conference Papers (38), 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. 51(1), pp. 1--4, 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 (21)

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) 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. , pp. to appear, 2017

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

11) Computational modeling, formal analysis and tools for systems biology
Ezio Bartocci, Pietro Liò
In PLOS Computational Biology, vol. 12(1), pp. e1004591, 2016
    
12) 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
  
13) 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
    
14) 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
  
15) 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
    
16) 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
    
17) 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
    
18) 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
  
19) 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
  
20) 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
    
21) 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
  
22) 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
    
23) 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
    
24) 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
      
25) 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
  
26) 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
      
27) 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
      
28) 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 (38)

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

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

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

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

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

34) 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, 2017, to appear

35) 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, vol. 10426, pp. 336--355, 2017

36) SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
In Proc. of HVC 2017: the 13th IBM Haifa Verification Conference, Haifa, Israel, Springer, Lecture Notes in Computer Science, 2017, to appear

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

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

39) 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
  
40) 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

41) 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
  
42) 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

43) 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
  
44) 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
  
45) 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
  
46) 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
  
47) 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
  
48) 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
  
49) 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
  
50) 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
  
51) 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
  
52) 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
  
53) 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
  
54) 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
  
55) 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
  
56) 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
    
57) 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
    
58) 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
    
59) 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
    
60) 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
    
61) 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
    
62) 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
    
63) 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
  
64) 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
  
65) 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.
    
66) 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)

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

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

69) 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
  
70) 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
  
71) 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
  
72) 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
    
73) 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
  
74) 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
  
75) 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

76) 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
  
77) 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
  
78) 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)

79) 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
  
80) 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
  
81) Cyber-Physical Systems: Theoretical and Practical Challenges
Ezio Bartocci, Oliver Hoftberger, Radu Grosu
In ERCIM News, vol. 97, pp. 8-9, 2014

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

83) 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
  
84) 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
  
85) 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

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