Citation Statistics according to Google Scholar

---

DBLP, Google Scholar, Scopus, ResearchGate, CS Ranking, CORE Ranking, GII-GRIN-SCIE Ranking, Top Italian Scientists

2024
181)	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 DOI: 10.1007/978-3-031-62645-6_11
180)	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), 2024 Accepted
179)	Conference Paper Probabilistic Loop Synthesis from Sequences of Moments Miroslav Stankovic, Ezio Bartocci In Proc. of QEST+FORMATS 2024 joint conference, 2024 Accepted
178)	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 DOI: https://doi.org/10.1007/978-3-031-65630-9_17
177)	Invited Paper A Comparison of Monitoring Techniques for Deep Neural Networks Ezio Bartocci, Wasim Essbai In Proc. of AISOLA 2024, 2024 Accepted
176)	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
175)	Invited Paper The ProbInG project: Advancing Automatic Analysis of Probabilistic Loops Ezio Bartocci In Prcoc. of ISoLA 2024, 2024 Accepted
174)	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 DOI: 10.1007/s10703-024-00455-0
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 DOI: 10.1145/3641545
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 DOI: 10.1007/s10703-024-00447-0
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 DOI: 10.1007/978-3-031-45332-8_1
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 DOI: 10.1109/ASE56229.2023.00046
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 DOI: 10.1007/978-3-031-43835-6_20
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 DOI: 10.4230/LIPIcs.CONCUR.2023.21
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 DOI: 10.1007/978-3-031-43835-6_4
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 DOI: 10.1007/978-3-031-44267-4_5
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 DOI: 10.3233/FAIA230513
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 DOI: 10.1109/ICST57152.2023.00029
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 DOI: 10.1007/978-3-031-32157-3_8
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 DOI: 10.1109/DAC56929.2023.10247685
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 DOI: 10.1145/3609394
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 DOI: 10.1007/s10009-023-00710-5
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 DOI: 10.1007/978-3-031-22308-2
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 DOI: 10.1145/3510003.3510171
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 DOI: 10.1007/978-3-031-16336-4_2
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 DOI: 10.1145/3540250.3558932
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) DOI: 10.1007/978-3-030-99429-7_1
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 DOI: 10.1007/978-3-031-16336-4\_1
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 DOI: 10.1007/978-3-031-21203-1
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 DOI: 10.1007/978-3-031-06773-0_35
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 DOI: 10.1109/ISSRE55969.2022.00024
150)	Edited Preface Ezio Bartocci, Sylvie Putot In Proceedings of HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, 2022 DOI: 10.1145/3501710
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 DOI: 10.1007/978-3-030-94583-1_1
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 DOI: 10.46298/lmcs-18(1:4)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 DOI: 10.1016/j.nahs.2022.101254
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 DOI: 10.1007/s10676-022-09665-8
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 DOI: 10.1016/j.ic.2022.104978
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 DOI: 10.1016/j.tcs.2021.12.021
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 DOI: 10.1016/j.ic.2022.104957
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 DOI: 10.1007/s10703-023-00424-z
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 DOI: 10.1145/3563341
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 DOI: 10.1007/978-3-030-90870-6_35
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 DOI: 10.1007/978-3-030-79876-5_32
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 DOI: 10.1016/j.ifacol.2021.08.503
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 DOI: 10.1007/978-3-030-72019-3_18
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 DOI: 10.1007/978-3-030-92124-8_7
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 DOI: 10.1109/CDC45484.2021.9682921
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 DOI: 10.1145/3487212.3487344
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 DOI: 10.1007/978-3-030-90870-6_36
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 DOI: 10.1007/978-3-030-87348-6
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 DOI: 10.1145/3510382.3510394
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) DOI: 10.1145/3477032
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 DOI: 10.1109/JIOT.2021.3069943
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 DOI: 10.1007/s10009-020-00599-4
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 DOI: 10.3390/math9020164
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 DOI: 10.1007/978-3-030-64276-1_12
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 DOI: 10.1145/3395363.3404369
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 DOI: 10.1007/978-3-030-60508-7_23
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 DOI: 10.1007/978-3-030-45190-5_28
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 DOI: 10.29007/37lf
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 DOI: 10.1007/978-3-030-59152-6_29
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 DOI: 10.1007/978-3-030-60508-7_9
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% DOI: 10.1109/ICCPS48487.2020.00013
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 DOI: 10.1007/978-3-030-60508-7_2
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 DOI: 10.1109/ACCESS.2020.3028476
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) DOI: 10.1109/TCAD.2020.3012240
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 DOI: 10.1007/978-3-030-30446-1
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 DOI: 10.1007/978-3-030-30446-1_4
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 DOI: 10.1109/CDC40024.2019.9029429
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 DOI: 10.1109/SASO.2019.00013
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 DOI: 10.1007/978-3-030-29662-9
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 DOI: 10.1007/978-3-030-31514-6
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 DOI: 10.1007/978-3-030-17502-3_1
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 DOI: 10.1007/978-3-030-17502-3_1
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 DOI: https://doi.org/10.1007/s10009-018-0485-6
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 DOI: 10.1109/ACCESS.2019.2891969
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 DOI: 10.1007/s10703-019-00337-w
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 DOI: 10.1007/s10009-017-0454-5
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 DOI: 10.1109/TCBB.2018.2885274
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 DOI: 10.1007/978-3-319-75632-5_5
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 DOI: 10.1007/978-3-319-75632-5_1
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 DOI: 10.1007/978-3-319-99154-2
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 DOI: 10.1016/j.ifacol.2018.08.041
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 DOI: 10.1007/978-3-319-96145-3_29
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 DOI: 10.1145/3178126.3178131
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 DOI: 10.1007/978-3-319-99154-2
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 DOI: 10.1007/978-3-319-96145-3_24
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 DOI: 10.1007/978-3-030-01090-4
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 DOI: 10.1109/TCBB.2018.2816979
90)	Edited Preface Ezio Bartocci, Ylies Falcone In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, 2018 DOI: 10.1007/978-3-319-75632-5
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 DOI: 10.1007/978-3-030-03769-7\_4
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 DOI: 10.1007/978-3-030-03427-6
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 DOI: 10.1109/TCNS.2016.2609138
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. DOI: 10.1109/TCAD.2018.2858460
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 DOI: 10.1007/s10703-018-0319-x
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 DOI: 10.1007/978-3-319-67471-1
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 DOI: 10.1016/j.ifacol.2017.08.1976
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 DOI: 10.1007/978-3-319-66335-7
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 DOI: 10.1007/978-3-662-54580-5_17
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 DOI: 10.1007/978-3-319-59153-7
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 DOI: 10.1145/3127041.3127050
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 DOI: 10.1007/978-3-319-63387-9_17
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 DOI: 10.1007/s10703-017-0287-6
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 DOI: 10.1007/978-3-319-46982-9_30
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 DOI: 10.1007/978-3-319-47166-2_4
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 DOI: 10.1007/978-3-319-46982-9_13
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 DOI: 10.1145/2883817.2883839
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 DOI: 10.1007/s10009-016-0414-5
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 DOI: 10.1007/978-3-319-47169-3_24
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 DOI: 10.1007/978-3-319-47169-3_28
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 DOI: 10.1371/journal.pcbi.1004591
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 DOI: 10.1007/978-3-319-26287-1_2
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 DOI: 10.1109/MEMCOD.2015.7340489
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 DOI: 10.1109/CDC.2015.7403319
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 DOI: 10.1145/2728606.2728633
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 DOI: 10.1007/978-3-319-26287-1_1
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 DOI: 10.1007/978-3-319-23820-3
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 DOI: 10.1016/j.tcs.2014.03.018
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 DOI: 10.1016/j.tcs.2015.02.046
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 DOI: 10.1007/978-3-319-26916-0_9
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 DOI: 10.1109/CDC.2014.7039367
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 DOI: 10.1007/978-3-319-10512-3_3
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 DOI: 10.1145/2632362.2632379
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 DOI: 10.1007/978-3-662-45231-8_25
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 DOI: 10.1007/978-3-319-10512-3_3
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 DOI: 10.1007/978-3-642-40708-6_13
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 DOI: 10.1007/978-3-642-40787-1_9
40)	Edited Preface (HSB 2012) Ezio Bartocci, Luca Bortolussi In Proc. of the First International Workshop on Hybrid Systems and Biology, vol. 92, 2013 DOI: 10.4204/EPTCS.92
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 DOI: 10.1007/978-3-642-39176-7
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 DOI: 10.1109/TCBB.2012.125
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 DOI: 10.4204/EPTCS.125.1
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 DOI: 10.4204/EPTCS.124
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 DOI: 10.1007/978-3-642-35632-2_18
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 DOI: 10.1007/978-3-642-33636-2_16
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 DOI: 10.1007/978-3-642-33386-6_9
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 DOI: 10.1007/978-3-642-35524-0_3
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 DOI: 10.2390/biecoll-jib-2012-192
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 DOI: 10.1145/2037509.2037532
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 DOI: 10.1007/978-3-642-22110-1_31
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 DOI: 10.1007/978-3-642-19835-9_30
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 DOI: 10.1007/978-3-642-29860-8_15
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 DOI: 10.1145/2037509.2037525
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 DOI: 10.1016/j.biosystems.2011.03.002
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 DOI: 10.1152/advan.00034.2011
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 DOI: 10.1109/BioSciencesWorld.2010.16
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 DOI: 10.1016/j.tcs.2009.12.019
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 DOI: 10.1145/1467247.1467271
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 DOI: 10.1016/j.tcs.2009.02.042
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. DOI: 10.1007/978-3-540-78929-1_17
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 DOI: 10.1186/1471-2105-9-S2-S3
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 DOI: 10.1186/1471-2105-8-S1-S19
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 DOI: 10.1186/1471-2105-8-S1-S2
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 DOI: 10.1186/gb-2003-4-11-r77