Citation Statistics according to Google Scholar
# citation h-index # co-authors
5763 42 263
# Journal
Papers
# Conference
Papers
# Workshops
Papers
# Invited
Papers
# Edited
Books
47 92 12 18 12
6 7 1 0 2 12 6

DBLP, Google Scholar, Scopus, ResearchGate, CS Ranking, CORE Ranking, GII-GRIN-SCIE Ranking, Top Italian Scientists
2024
183)
Conference Paper

Adaptable configuration of decentralized monitors
Ennio Visconti, Ezio Bartocci, Ylies Falcone, Laura Nenzi
In Proc. of FORTE 2024 - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, vol. 14678, pp. 197-217, 2024


182)
Conference Paper

DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications
Meixun Qu, Jie He, Zlatan Tucakovic, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
In 61st Design Automation Conference (DAC 2024)(300), pp. 1-6, 2024


181)
Conference Paper

Probabilistic Loop Synthesis from Sequences of Moments
Miroslav Stankovic, Ezio Bartocci
In Proc. of QEST+FORMATS 2024: International Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, vol. 14996, pp. 233--248, 2024


180)
Conference Paper

The ProbInG project: Advancing Automatic Analysis of Probabilistic Loops
Ezio Bartocci
In Proc. of ISoLA 2024: Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocce De Nicola , pp. 152-167, 2024


179)
Conference Paper

Verifying Global Two-Safety Properties in Neural Networks with Confidence
Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
In 36th International Conference on Computer Aided Verification (CAV), vol. 14682, pp. 329-351, 2024


178)
Invited Paper

A Comparison of Monitoring Techniques for Deep Neural Networks
Ezio Bartocci, Wasim Essbai
In Proc. of AISOLA 2024, 2024

Accepted
177)
Invited Paper

Information-flow Interfaces and Security Lattices
Ezio Bartocci, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa
In Festschrift' Engineering Safe and Trustworthy Cyber Physical Systems -- Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday, 2024

Accepted
176)
Invited Paper

Quantifying Uncertainty in Probabilistic Loops without Sampling: a Fully Automated Approach
Ezio Bartocci
In Proc. of RP 2024: The 18th International Conference on Reachability Problems, vol. 15050, pp. 3--8, 2024

Invited Talk

175)
Journal Paper

(Un)Solvable Loop Analysis
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovacs, Marcel Moosbrugger, Miroslav Stankovic
In Formal Methods in Systems Design, 2024

Just accepted

174)
Journal Paper

An Adaptive, Provable Correct Simplex Architecture
Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer
In International Journal on Software Tools for Technology Transfer, 2024

Accepted
173)
Journal Paper

Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
In ACM Transactions on Modeling and Computer Simulation, vol. 34(3), pp. 1-25, 2024


172)
Journal Paper

Information-flow Interfaces
Ezio Bartocci, T. Ferrère, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa
In Formal Methods in Systems Design, 2024

Just Accepted

2023
171)
Conference Paper

Lightweight Verification of Hyperproperties
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang
In Proc. of ATVA 2023: the 21st International Symposium on Automated Technology for Verification and Analysis, vol. 14216, pp. 3--25, 2023


170)
Conference Paper

An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge
Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandic, Ezio Bartocci, Leonardo Mariani
In Proc. of ASE 2023: the 38th IEEE/ACM International Conference on Automated Software Engineering , pp. 281--293, 2023


169)
Conference Paper

Deductive Controller Synthesis for Probabilistic Hyperproperties
Roman Andriushchenko, Ezio Bartocci, Milan Češka, Francesco Pontiggia
In Proc. of QEST 2023: the 20th International Conference on Quantitative Evaluation of SysTems , vol. 14287, pp. 288--306, 2023


168)
Conference Paper

Hypernode Automata
Ezio Bartocci, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa
In Proc. of CONCUR 2023: the 34th International Conference on Concurrency Theory, vol. 279, pp. 21:1--21:1, 2023


167)
Conference Paper

Introducing Asynchronicity to Probabilistic Hyperproperties
Carolima Gerlach, Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour
In Proc. of QEST 2023: the 20th International Conference on Quantitative Evaluation of SysTems, vol. 14287, pp. 47--64, 2023


166)
Conference Paper

Mining Specification Parameters for Multi-Class Classification
Edgar Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
In Proc. of RV 2023: the 23rd International Conference on Runtime Verification , vol. 14245, pp. 86--105, 2023


165)
Conference Paper

Progression for Monitoring in Temporal ASP
Davide Solda, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter
In Proc. of ECAI 2023: the 26th European Conference on Artificial Intelligence, vol. 372, pp. 2170--2177, 2023


164)
Conference Paper

Property-based Mutation Testing
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
In Proc. of ICST 2023: the 16th IEEE International Conference on Software Testing, Verification and Validation, pp. 222-233, 2023


163)
Conference Paper

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties
Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer
In Proc. of SPIN 2023: the 29th International Symposium on Model Checking Software, vol. 13872, pp. 141-160, 2023


162)
Conference Paper

TD-Magic: From Pictures of Timing Diagrams To Formal Specifications
Jie He, Dejan Nickovic, Ezio Bartocci, Radu Grosu
In Proc. of DAC 2023: the 60th Design Automation Conference, 2023


161)
Journal Paper

Mining Hyperproperties using Temporal Logics
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
In ACM Transactions on Embedded Computing Systems, vol. 22(Issue 5s), 2023

Accepted at EMSOFT 2023

160)
Journal Paper

MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti
In International Journal on Software Tools for Technology Transfer, vol. 25, pp. 503-517, 2023


2022
159)
Conference Paper

Solving Invariant Generation for Unsolvable Loops
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovacs, Marcel Moosbrugger, Miroslav Stankovic
In Proc. of SAS 2022: the 29th Static Analysis Symposium , vol. 13790, pp. 19--43, 2022

Awarded with the Radhia Cousot Young Researcher Best Paper Award

158)
Conference Paper

DeepSTL - From English Requirements to Signal Temporal Logic
Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
In Proc. of ICSE 2022: 44th {IEEE/ACM} International Conference on Software Engineering , pp. 610-622, 2022


157)
Conference Paper

Distribution Estimation for Probabilistic Loops
Ahmad Karimi, Miroslav Stankovic, Marcel Moosbrugger, Laura Kovacs, Ezio Bartocci, Efstathia Bura
In Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems , vol. 13479, pp. 26--42, 2022


156)
Conference Paper

FIM: Fault Injection and Mutation for Simulink
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
In ESEC/FSE 2022 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, pp. 1716-1720, 2022


155)
Conference Paper

Information-Flow Interfaces
Ezio Bartocci, T. Ferrère, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa
In Proc. of FASE 2022: the 25th International Conference on Fundamental Approaches to Software Engineering, vol. 13241, pp. 3--22, 2022

Awarded with the EASST Award -- Best Software Science Paper of all ETAPS 2022 Conferences (ESOP, ETAPS, FoSSaCS, TACAS)

154)
Conference Paper

Moment-based Invariants for Probabilistic Loops with non-polynomial assignments
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
In Proc. of QEST 2022: the 19th International Conference on Quantitative Evaluation of SysTems , vol. 13479, pp. 3-25, 2022

Awarded with the Best Paper Award of QEST 2022

153)
Conference Paper

On Normative Reinforcement Learning via Safe Reinforcement Learning
Emery Neufeld, Ezio Bartocci, Agata Ciabattoni
In Proc. of PRIMA 2022: The 24th International Conference on Principles and Practice of Multi-Agent Systems, vol. 13753, pp. 72-89, 2022


152)
Conference Paper

Probabilistic Hyperproperties with Rewards
Lukas Wilke, Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour
In Proc. of NFM 2022: the 13th International Symposium of NASA Formal Methods, vol. 13260, pp. 656-673, 2022


151)
Conference Paper

Search-based Testing for Accurate Fault Localization in CPS
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
In Proc. of ISSRE 2022 - The 33rd IEEE International Symposium on Software Reliability Engineering, pp. 145-156, 2022


150)
Edited

Preface
Ezio Bartocci, Sylvie Putot
In Proceedings of HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, 2022


149)
Invited Paper

Flavours of Sequential Information Flow
Ezio Bartocci, T. Ferrère, Thomas Henzinger, Dejan Nickovic, Ana Oliveira da Costa
In Proc. of VMCAI 2022: the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, vol. 13182, pp. 1--19, 2022


148)
Journal Paper

A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti
In Logical Methods in Computer Science, vol. 18(1), 2022


147)
Journal Paper

Adaptive Testing for Specification Coverage and Refinement in CPS Models
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
In Journal of Nonlinear Analysis: Hybrid Systems, vol. 46, pp. 101254, 2022


146)
Journal Paper

Enforcing Ethical Goals over Reinforcement-Learning Policies
Emery Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori
In Journal on Ethics and Information Technology, vol. 24(43), 2022


145)
Journal Paper

Model Checking Hyperproperties for Markov Decision Processes
Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour
In Information and Computation, vol. 289(Part B), pp. 104978, 2022


144)
Journal Paper

Moment-Based Analysis of Bayesian Network Properties
Miroslav Stankovic, Ezio Bartocci, Laura Kovacs
In Journal of Theoretical Computer Science, vol. 903, pp. 113--133, 2022


143)
Journal Paper

Survey on Mining Signal Temporal Logic Specifications
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
In Information and Computation , vol. 289, pp. 104957, 2022


142)
Journal Paper

The Probabilistic Termination Tool Amber
Marcel Moosbrugger, Ezio Bartocci, J.-P. Katoen, Laura Kovacs
In Formal Methods in Systems Design, vol. 61, pp. 90--109, 2022


141)
Journal Paper

This is the Moment for Probabilistic Loops
Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovacs
In Proceedings of ACM on Programming Languages (OOPSLA), vol. 6(OOPSLA2), pp. 1497-1525, 2022


2021
140)
Conference Paper

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, vol. 13047, pp. 657--666, 2021


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


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

137)
Conference Paper

Automated Termination Analysis of Polynomial Probabilistic Programs
Marcel Moosbrugger, Ezio Bartocci, J.-P. Katoen, Laura Kovacs
In Proc. of ESOP 2021: the 30th European Symposium on Programming, vol. 12648, pp. 491--518, 2021


136)
Conference Paper

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, vol. 13085, pp. 110–117, 2021


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 , pp. 5110-5115, 2021


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, pp. 78-88, 2021


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 , vol. 13047, pp. 667--675, 2021


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


131)
Invited Paper

A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence"
Ezio Bartocci, Michael A. Bender
In ACM SIGACT News, vol. 52(4), pp. 76-77, 2021


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

129)
Journal Paper

A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
In IEEE Internet of Things Journal, vol. 8(15), pp. 11793--806, 2021


128)
Journal Paper

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, vol. 23, pp. 783-796, 2021


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


2020
126)
Conference Paper

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


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

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


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


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


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


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


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%

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


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


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)

2019
115)
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, pp. 23--32, 2019

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


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


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

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


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


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


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


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


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


105)
Journal Paper

Parallel Reachability Analysis for Hybrid Systems Using XSpeed
Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
In Journal of Software Tools for Technology Transfer, vol. 21(4), pp. 401-423, 2019


104)
Journal Paper

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


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


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


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


2018
100)
Book Chapter

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


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


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


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


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


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


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


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


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


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


90)
Edited

Preface
Ezio Bartocci, Ylies Falcone
In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, 2018


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


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


87)
Journal Paper

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. 5(1), 2018


86)
Journal Paper

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.

85)
Journal Paper

Quantitative Monitoring of STL with Edit Distance
Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic
In Formal Methods in Systems Design, vol. 53(1), pp. 83--112, 2018


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


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


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


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


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


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


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


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

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


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

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


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


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

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

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

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


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

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

65)
Edited

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


64)
Invited Paper

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, vol. 9953, pp. 333-338, 2016


63)
Invited Paper

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


62)
Journal Paper

Computational modeling, formal analysis and tools for systems biology
Ezio Bartocci, Pietro Liò
In PLOS Computational Biology, vol. 12(1), pp. e1004591, 2016


61)
Workshop Paper

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

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


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


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


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


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


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


54)
Journal Paper

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


53)
Journal Paper

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


52)
Workshop Paper

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


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


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


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


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

47)
Edited

Hybrid Systems and Biology (Preface)
Ezio Bartocci, Luca Bortolussi, Scott A. Smolka
In Information and Computation, vol. 236, pp. 1-2, 2014

46)
Invited Paper

Cyber-Physical Systems: Theoretical and Practical Challenges
Ezio Bartocci, Oliver Hoftberger, Radu Grosu
In ERCIM News, vol. 97, pp. 8-9, 2014

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

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


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


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


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


40)
Edited

Preface (HSB 2012)
Ezio Bartocci, Luca Bortolussi
In Proc. of the First International Workshop on Hybrid Systems and Biology, vol. 92, 2013


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


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

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


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


35)
Workshop Paper

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


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


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


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


31)
Journal Paper

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


30)
Journal Paper

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


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


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


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


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

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


24)
Journal Paper

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


23)
Journal Paper

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

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

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


20)
Journal Paper

Detecting synchronisation of biological oscillators by model checking
Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei
In Theoretical Computer Science, vol. 411(20), pp. 1999-2018, 2010


19)
Journal Paper

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

18)
Journal Paper

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

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

16)
Journal Paper

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


15)
Journal Paper

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


14)
Workshop Paper

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

2008
13)
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.

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

11)
Journal Paper

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


10)
Workshop Paper

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

2007
9)
Journal Paper

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

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


7)
Journal Paper

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


2006
6)
Workshop Paper

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

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

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

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

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

1)
Journal Paper

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

cited By (since 1996) 20