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 (7)2018 (7)2017 (8)2016 (7)2015 (5)2014 (4)2013 (2)2012 (3)2011 (5)2010 (1)2009 (1)2008 (1)2003 (1)
2019 [Another year]
114)
Conference Paper

Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time
Denise Ratasich, Michael Platzer, Radu Grosu, Ezio Bartocci
In Proc. of SASO 2019: 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2019
Show Citations [+]
Show Abstract [+]


113)
Conference Paper

Automatic Failure Explanation in CPS Models
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
In Proc. of SEFM 2019: the 17th edition of the International Conference on Software Engineering and Formal Methods, 2019
Show Citations [+]
Show Abstract [+]


112)
Conference Paper

Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
Ezio Bartocci, Laura Kovacs, Miroslav Stankovic
In Proc. of ATVA 2019: the 17th International Conference on Automated Technology for Verification and Analysis, 2019
Show Citations [+]
Show Abstract [+]


111)
Conference Paper

Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home
Christian Hirsch, Ezio Bartocci, Radu Grosu
In Proc. of ICST 2019: the 2019 IEEE 23rd international symposium on consumer technologies, 2019
Show Citations [+]
Show Abstract [+]


110)
Conference Paper

Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics
Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
In Proc. of CDC 2019: the 58th Conference on Decision and Control , 2019
Show Citations [+]
Show Abstract [+]


109)
Conference Paper

Investigating a Hodgkin-Huxley type model for Drosophila larval neuromuscular junctions via particle swarm fitting
Paul Piho, Filip Margetiny, Ezio Bartocci, Richard Ribchester, Jane Hillston
In Proc. of CMSB 2019: the 17th International Conference on Computational Methods in Systems Biology, 2019
Show Citations [+]
Show Abstract [+]


108)
Conference Paper

Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty
Hui Kong, Ezio Bartocci, Yu Jiang, Thomas Henzinger
In Proc. of FORMATS 2019: 17th International Symposium on Formal Modeling and Analysis of Timed Systems, 2019
Show Citations [+]
Show Abstract [+]


2018 [Another year]
107)
Conference Paper

A Robust Genetic Algorithm for Learning Temporal Specifications from Data
Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi
In Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of SysTems , vol. 11024, pp. 323--338, 2018
Show Citations [+]
Show Abstract [+]


106)
Conference Paper

Verifying nonlinear analog and mixed-signal circuits with inputs
Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid
In Proc. of ADHS 2018 - IFAC Conference on Analysis and Design of Hybrid Systems, vol. 51(16), pp. 241--246, 2018
  
Show Citations [+]
Show Abstract [+]


105)
Conference Paper

A Counting Semantics for Monitoring LTL Specifications over Finite Traces
Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Roeck
In Proc. of CAV 2018: the 30th International Conference on Computer-Aided Verification, vol. 10981, pp. 547-564, 2018
  
Show Citations [+]
Show Abstract [+]


104)
Conference Paper

Localizing Faults in Simulink/Stateflow Models with Signal Temporal Logic
Ezio Bartocci, T. Ferrère, Niveditha Manjunath, Dejan Nickovic
In Proc. of HSCC 2018: the 21st ACM International Conference on Hybrid Systems: Computation and Control, pp. 197--206, 2018
Show Citations [+]
Show Abstract [+]


103)
Conference Paper

Parameter-Independent Strategies for pMDPs via POMDPs
Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, J.-P. Katoen, Ana Sokolova
In Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of SysTems, vol. 11024, pp. 53--70, 2018
Show Citations [+]
Show Abstract [+]


102)
Conference Paper

Reachable Set Over-approximation for Nonlinear Systems Using Piecewise Barrier Tubes
Hui Kong, Ezio Bartocci, Thomas Henzinger
In Proc. of CAV 2018: the 30th International Conference on Computer-Aided Verification, vol. 10981, pp. 449-467, 2018
  
Show Citations [+]
Show Abstract [+]


101)
Conference Paper

Signal Convolution Logic
Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi
In Proc. of ATVA 2018: the 16th International Symposium on Automated Technology for Verification and Analysis, vol. 11138, pp. 267--283, 2018
Show Citations [+]
Show Abstract [+]


2017 [Another year]
100)
Conference Paper

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, vol. 10545, pp. 23--39, 2017
Show Citations [+]
Show Abstract [+]


99)
Conference Paper

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, vol. 50(1), pp. 10462-469, 2017
Show Citations [+]
Show Abstract [+]


98)
Conference Paper

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, vol. 10503, 2017
Show Citations [+]
Show Abstract [+]


97)
Conference Paper

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, vol. 10206, pp. 286--302, 2017
Show Citations [+]
Show Abstract [+]


96)
Conference Paper

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, vol. 10305, pp. 535--547, 2017
Show Citations [+]
Show Abstract [+]


95)
Conference Paper

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 , pp. 146--155, 2017
Show Citations [+]
Show Abstract [+]


94)
Conference Paper

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, vol. 10426, pp. 336--355, 2017
Show Citations [+]
Show Abstract [+]


93)
Conference Paper

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, vol. 10629, pp. 131--146, 2017
Show Citations [+]
Show Abstract [+]


2016 [Another year]
92)
Conference Paper

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, vol. 10012, pp. 462--469, 2016
Show Citations [+]
Show Abstract [+]


91)
Conference Paper

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, vol. 9952, pp. 46--61, 2016
Show Citations [+]
Show Abstract [+]


90)
Conference Paper

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, pp. 924-929, 2016
  
Show Citations [+]
Show Abstract [+]


89)
Conference Paper

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, 2016
Show Citations [+]
Show Abstract [+]


88)
Conference Paper

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, vol. 9826, pp. 244--259, 2016
  
Show Citations [+]

87)
Conference Paper

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, vol. 10012, pp. 201-218, 2016
Show Citations [+]
Show Abstract [+]


86)
Conference Paper

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, pp. 11--20, 2016
Honorable mention for the HSCC 2016 Best Student Paper Award
  
Show Citations [+]
Show Abstract [+]


2015 [Another year]
85)
Conference Paper

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, vol. 9434, pp. 19-35, 2015
  
Show Citations [+]
Show Abstract [+]


84)
Conference Paper

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, pp. 218-227, 2015
  
Show Citations [+]
Show Abstract [+]


83)
Conference Paper

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, pp. 6978-6985, 2015
  
Show Citations [+]
Show Abstract [+]


82)
Conference Paper

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, pp. 189-198, 2015
  
Show Citations [+]
Show Abstract [+]


81)
Conference Paper

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, vol. 9434, pp. 3-18, 2015
  
Show Citations [+]
Show Abstract [+]


2014 [Another year]
80)
Conference Paper

A formal methods approach to pattern synthesis in reaction diffusion systems
Ebru Aydin Gol, Ezio Bartocci, Calin Belta
In Proc. of CDC'14: the 53rd {IEEE} Conference on Decision and Control, pp. 108--113, 2014
Show Citations [+]
Show Abstract [+]


79)
Conference Paper

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, vol. 8711, pp. 23-37, 2014
  
Show Citations [+]
Show Abstract [+]


78)
Conference Paper

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, pp. 87-96, 2014
  
Show Citations [+]
Show Abstract [+]


77)
Conference Paper

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
  
Show Citations [+]

2013 [Another year]
76)
Conference Paper

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, vol. 8130, pp. 164-178, 2013
  
Show Citations [+]
Show Abstract [+]


75)
Conference Paper

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, vol. 8174, pp. 149-166, 2013
  
Show Citations [+]
Show Abstract [+]


2012 [Another year]
74)
Conference Paper

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, vol. 7687, pp. pp. 168-18, 2012
  
Show Citations [+]
Show Abstract [+]


73)
Conference Paper

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, vol. 7605, pp. 267-287, 2012
    
Show Citations [+]
Show Abstract [+]


72)
Conference Paper

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, vol. 7561, pp. 92-106, 2012
    
Show Citations [+]
Show Abstract [+]


2011 [Another year]
71)
Conference Paper

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, pp. 151--160, 2011
    
Show Citations [+]

70)
Conference Paper

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, vol. 6806, pp. 396-411, 2011
    
Show Citations [+]
Show Abstract [+]


69)
Conference Paper

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 , vol. 6605, pp. 326-340, 2011
    
Show Citations [+]
Show Abstract [+]


68)
Conference Paper

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, vol. 7186, pp. 193-207, 2011
Best Paper Award
    
Show Citations [+]

67)
Conference Paper

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, pp. 103-112, 2011
    
Show Citations [+]
Show Abstract [+]


2010 [Another year]
66)
Conference Paper

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
  
Show Citations [+]
Show Abstract [+]


2009 [Another year]
65)
Conference Paper

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
  
Show Citations [+]

2008 [Another year]
64)
Conference Paper

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, vol. 4981, pp. 229-243, 2008
To also appear in CACM, the Communications of the ACM, 2009.
    
Show Citations [+]

2003 [Another year]
63)
Conference Paper

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
  
Show Citations [+]