HyperProb: A Model Checker for Probabilistic Hyperproperties
Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour
In Proc. of FM 2021: the 24th international symposium of Formal Methods, 2021
Show Citations [+]
Show Abstract [+]
139)
Conference Paper
A Normative Supervisor for Reinforcement Learning Agents
Emery Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori
In Proc. of CADE 2021: the 28th International Conference on Automated Deduction, vol. 12699, pp. 565--576, 2021
Show Citations [+]
Show Abstract [+]
138)
Conference Paper
Adaptive Testing for Specification Coverage in CPS Models
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
In Proc. of ADHS 2021: the 7th IFAC Conference on Analysis and Design of Hybrid Systems, vol. 54(5), pp. 229--234, 2021
Awarded with the IFAC Young Author award
Mining Shape Expressions with ShapeIt
Ezio Bartocci, Jyotirmoy V. Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
In Proc. of SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods, 2021
Show Citations [+]
Show Abstract [+]
135)
Conference Paper
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications
Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
In Proc. of CDC 2021: the 60th IEEE Conference on Decision and Control , 2021
Show Citations [+]
Show Abstract [+]
134)
Conference Paper
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
In Proc. of MEMOCODE 2021: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2021
Show Citations [+]
Show Abstract [+]
133)
Conference Paper
The Probabilistic Termination Tool Amber
Marcel Moosbrugger, Ezio Bartocci, J.-P. Katoen, Laura Kovacs
In Proc. of FM 2021: the 24th international symposium of Formal Methods , 2021
Show Citations [+]
Show Abstract [+]
132)
Edited
Preface
Ezio Bartocci, Ylies Falcone, Martin Leucker
In Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday, vol. 13085, 2021
Show Citations [+]
131)
Journal Paper
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems
Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng
In ACM Transactions on Embedded Computing Systems, vol. 20(5s), 2021
This paper has been accepted at EMSOFT 2021: the International Conference on Embedded Software (to appear)
Show Citations [+]
Show Abstract [+]
130)
Journal Paper
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi
In Logical Methods in Computer Science, 2021
CPSDebug: Automatic Failure Explanation in CPS Models
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
In International Journal on Software Tools for Technology Transfer, 2021
accepted
Show Citations [+]
Show Abstract [+]
127)
Journal Paper
Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-accelerated Monte Carlo Simulation
Lilly Treml, Ezio Bartocci, Alessio Gizzi
In Mathematics, vol. 9(2), 2021
Analysis of Bayesian Networks via Prob-Solvable Loops
Ezio Bartocci, Laura Kovacs, Miroslav Stankovic
In Proc. of ICTAC 2020: International Colloquium on Theoretical Aspects of Computing, vol. 12545, pp. 221--241, 2020
Show Citations [+]
Show Abstract [+]
125)
Conference Paper
CPSDebug: A Tool for Failure Explanation in Cyber-Physical Systems
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore
In Proc. of ISSTA 2020: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 569-572, 2020
Tool Demonstration Paper
Show Citations [+]
Show Abstract [+]
124)
Conference Paper
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti
In Proc. of RV 2020: the 20th International Conference on Runtime Verification, vol. 12399, pp. 417-428, 2020
Show Citations [+]
Show Abstract [+]
123)
Conference Paper
MORA - Automatic Generation of Moment-Based Invariants
Ezio Bartocci, Laura Kovacs, Miroslav Stankovic
In Proc. of TACAS 2020: the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems , vol. 12078, pp. 492--498, 2020
Show Citations [+]
Show Abstract [+]
122)
Conference Paper
Parameter Synthesis for Probabilistic Hyperproperties
Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
In Proc. of LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol. 73, pp. 12--31, 2020
Show Citations [+]
Show Abstract [+]
121)
Conference Paper
Probabilistic Hyperproperties with Nondeterminism
Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
In Proc. of ATVA 2020: the 18th International Conference on Automated Technology for Verification and Analysis, vol. 12302, pp. 518-534, 2020
Show Citations [+]
Show Abstract [+]
120)
Conference Paper
Runtime Verification of Autonomous Driving Systems in CARLA
Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros
In Proc. of RV 2020: the 20th International Conference on Runtime Verification, vol. 12399, pp. 172-183, 2020
Show Citations [+]
Show Abstract [+]
119)
Conference Paper
SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
In Proc. of ICCPS'20: the 11th IEEE/ACM Conference on Cyber-Physical Systems , pp. 51-62, 2020
Acceptance rate < 24%
Show Citations [+]
Show Abstract [+]
118)
Invited Paper
Monitoring Spatio-Temporal Properties (Invited Tutorial)
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti
In Proc. of RV 2020: the 20th International Conference on Runtime Verification, vol. 12399, pp. 21-46, 2020
Show Citations [+]
Show Abstract [+]
117)
Journal Paper
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
In IEEE Access, vol. 8, pp. 180825-43, 2020
Show Citations [+]
Show Abstract [+]
116)
Journal Paper
Mining Shape Expressions from Positive Examples
Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gliger, Cristinel Mateis, Dejan Nickovic, Xin Qin
In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39(11), pp. 3809 -20, 2020
This paper has been accepted at EMSOFT 2020: the International Conference on Embedded Software (to appear)
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, pp. 23--32, 2019
Show Citations [+]
Show Abstract [+]
114)
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, vol. 11724, pp. 69--86, 2019
Show Citations [+]
Show Abstract [+]
113)
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, vol. 11724, pp. 69--86, 2019
Show Citations [+]
Show Abstract [+]
112)
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 [+]
111)
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 , pp. 4361-4366, 2019
Show Citations [+]
Show Abstract [+]
110)
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, pp. 23--32, 2019
Show Citations [+]
Show Abstract [+]
109)
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, vol. 11750, pp. 123--141, 2019
Show Citations [+]
Show Abstract [+]
108)
Edited
Preface
Ezio Bartocci, Radu Grosu, Rance Cleaveland, Oleg Sokolsky
In From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, vol. 11500, 2019
Show Citations [+]
107)
Invited Paper
International Competition on Runtime Verification (CRV)
Ezio Bartocci, Ylies Falcone, Giles Reger
In Proc. of TACAS 2019: the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 11429, pp. 41-49, 2019
Show Citations [+]
Show Abstract [+]
106)
Invited Paper
TOOLympics 2019: An Overview of Competitions in Formal Methods
Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
In Proc. of TACAS 2019: the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 11429, pp. 3-24, 2019
A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems
Denise Ratasich, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique, Ezio Bartocci
In IEEE Access, vol. 7(1), pp. 13260-83, 2019
Show Citations [+]
Show Abstract [+]
103)
Journal Paper
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Cesar Sanchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Ylies Falcone, Adrian Francalanza, Srdan Krstic, JoHao M. Lourenço, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
In Formal Methods in Systems Design, vol. 54(3), pp. 279-335, 2019
Show Citations [+]
Show Abstract [+]
102)
Journal Paper
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. 21(1), pp. 31-70, 2019
Show Citations [+]
Show Abstract [+]
101)
Journal Paper
Quantitative Regular Expressions for Arrhythmia Detection
Houssam Abbas, Alena Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott Smolka, Radu Grosu
In IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 16(5), pp. 1586--1597, 2019
Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications
Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan
In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, pp. 128--168, 2018
Show Citations [+]
Show Abstract [+]
99)
Book Chapter
An Introduction to Runtime Verification
Ezio Bartocci, Ylies Falcone, Adrian Francalanza, Giles Reger
In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, pp. 1--32, 2018
Show Citations [+]
Show Abstract [+]
98)
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
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 [+]
94)
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
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 [+]
91)
Edited
Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016)
Ezio Bartocci, Pietro Liò, Nicola Paoletti
In IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 15(4), pp. 1122-1123 , 2018
Show Citations [+]
Show Abstract [+]
90)
Edited
Preface
Ezio Bartocci, Ylies Falcone
In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, 2018
Show Citations [+]
Show Abstract [+]
89)
Invited Paper
Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial)
Ezio Bartocci
In Proc. of RV 2018: The 18th International Conference on Runtime Verification, vol. 11138, pp. 35--42, 2018
Show Citations [+]
Show Abstract [+]
88)
Invited Paper
RV-TheToP: Runtime Verification from Theory To the Industry Practice (Track Introduction)
Ezio Bartocci, Ylies Falcone
In Proc. of ISoLA 2018: the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Technique, vol. 11247, pp. 3--8, 2018
An Algebraic Framework for Runtime Verification
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic
In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (IEEE TCAD)., vol. 37(11), pp. 2233--2243, 2018
This paper was accepted at EMSOFT 2018.
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 [+]
83)
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 [+]
82)
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 [+]
81)
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 [+]
80)
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 [+]
79)
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 [+]
78)
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 [+]
77)
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 [+]
76)
Edited
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
Show Citations [+]
Show Abstract [+]
75)
Journal Paper
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. 116, pp. 84--100, 2017
Show Citations [+]
Show Abstract [+]
74)
Workshop Paper
SEA-PARAM: Exploring Schedulers in Parametric MDPs
Sebastian Arming, Ezio Bartocci, Ana Sokolova
In Proc. of QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems, 2017
to appear
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 [+]
72)
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
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
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 [+]
67)
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 [+]
66)
Edited
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
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, vol. 9953, pp. 371-379, 2016
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
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 [+]
59)
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
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 [+]
55)
Edited
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
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 [+]
50)
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 [+]
49)
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
Cyber-Physical Systems: Theoretical and Practical Challenges
Ezio Bartocci, Oliver Hoftberger, Radu Grosu
In ERCIM News, vol. 97, pp. 8-9, 2014
Show Citations [+]
45)
Invited Paper
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, vol. 8734, pp. 1-9, 2014
Show Citations [+]
44)
Invited Paper
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 Technique, vol. 8803, pp. 353-355, 2014
Show Citations [+]
Show Abstract [+]
43)
Invited Paper
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, vol. 8803, pp. 391-403, 2014
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 [+]
40)
Edited
Preface (HSB 2012)
Ezio Bartocci, Luca Bortolussi
In Proc. of the First International Workshop on Hybrid Systems and Biology, vol. 92, 2013
Show Citations [+]
Show Abstract [+]
39)
Edited
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
Show Citations [+]
38)
Invited Paper
Monitoring with uncertainty
Ezio Bartocci, Radu Grosu
In Proceedings of HAS 2013: the 3rd Intern. Workshop of Hybrid Autonomous Systems, vol. 125(1), pp. 3--19, 2013
Show Citations [+]
37)
Journal Paper
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
Show Citations [+]
Show Abstract [+]
36)
Workshop Paper
On the Robustness of Temporal Properties for Stochastic Models
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti
In Proceedings of HSB 2013: the 2nd Intern. Workshop on Hybrid Systems and Biology, Taormina, Italy,, vol. 125(1), pp. 3--19, 2013
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 [+]
33)
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 [+]
32)
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
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 [+]
28)
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 [+]
27)
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 [+]
26)
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 [+]
25)
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
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
cited By (since 1996) 0
Show Citations [+]
22)
Workshop Paper
A Change of Perspective Yields Formal Analysis
Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci
In Proc. of the 34th Software Engineering Workshop (SEW), Limerick, Ireland, June, pp. 69-76, 2011
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
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 [+]
12)
Invited Paper
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, vol. 5065, pp. 493-502, 2008
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
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
cited By (since 1996) 6
A GRID-based multilayer architecture for bioinformatics
Ezio Bartocci, Diletta Romana Cacciagrano, Nicola Cannata, Flavio Corradini, Emanuela Merelli, Luciano Milanesi, Paolo Romano
In Proc. of the NETTAB'06: Network Tools and Application in Biology, Santa Margheita di Pula, Cagliari, Italy, 2006
Show Citations [+]
5)
Workshop Paper
Building a MultiAgent System from a User Workflow Specification
Ezio Bartocci, Flavio Corradini, Emanuela Merelli
In Proc. of Workshop From Object to Agents - WOA 2006, September 26-27, vol. 204, 2006
Show Citations [+]
4)
Workshop Paper
Enacting Proactive Workflows Engine in e-Science
Ezio Bartocci, Flavio Corradini, Emanuela Merelli
In In Proc. of the 1st International Workshop on Workflow Systems in e-Science (WSES 06) ICCS 2006, Part III, vol. 3993, pp. 1012-1015, 2006
Show Citations [+]
3)
Workshop Paper
Model driven design and implementation of activity-based applications in Hermes
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Leonardo Vito
In Proc. of Workshop From Object to Agents - WOA 2006, September 26-27, vol. 204, 2006
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
Havelund Festschrift (LNCS 13065), 2021
