Edited Books & Journal Issues

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 = 1095, h-index = 19

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

Edited Books and Proceedings (6)

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

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

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

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

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

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

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

29) 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, Springer, Lecture Notes in Computer Science, 2017, to appear

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

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

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

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

35) 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
  
36) 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

37) 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
  
38) 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
  
39) 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
  
40) 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
  
41) 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
  
42) 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
  
43) 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
  
44) 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
  
45) 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
  
46) 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
  
47) 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
  
48) 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
  
49) 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
  
50) 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
    
51) 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
    
52) 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
    
53) 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
    
54) 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
    
55) 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
    
56) 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
    
57) 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
  
58) 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
  
59) 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.
    
60) 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)

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

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

63) 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
  
64) 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
  
65) 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
  
66) 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
    
67) 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
  
68) 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
  
69) 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

70) 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
  
71) 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
  
72) 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)

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

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

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

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