World Collaboration Map

Citation Statistics according to Google Scholar

---

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

Generate list of papers in last 5 years (FWF projects)

2025
192)	Conference Paper Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs Andrey Kofnov, Daniel Kapla, Ezio Bartocci, Efstathia Bura In Proc. of ICML 2025: the 42nd International Conference on Machine Learning, 2025 Accepted Paper
191)	Conference Paper Mining Specifications for Predictive Safety Monitoring Eleonora Nesterini, Ezio Bartocci, Alessio Gambi, Dejan Nickovic, Sanjit A. Seshia, Hazem Torfah In Proc. of the 6th ACM/IEEE International Conference on Cyber-Physical Systems , 2025 DOI: 10.1145/3716550.3722021
190)	Conference Paper POPACheck: a Model Checker for probabilistic Pushdown Automata Francesco Pontiggia, Ezio Bartocci, Michele Chiari In Proc. of CAV 2025: the 37th International Conference on Computer Aided Verification, 2025 Accepted Paper
189)	Conference Paper Rule-Guided Reinforcement Learning Policy Evaluation and Improvement Martin Tappler, Ignacio D. Lopez-Miguel, Sebastian Tschiatschek, Ezio Bartocci In Proc. of IJCAI 2025: the 33rd International Joint Conference on Artificial Intelligence , 2025 Accepted
188)	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, 2025 Accepted
187)	Journal Paper (Un)Solvable Loop Analysis Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovacs, Marcel Moosbrugger, Miroslav Stankovic In Formal Methods in Systems Design, vol. 65, pp. 163--194, 2025 DOI: 10.1007/s10703-024-00455-0
186)	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, 2025 Accepted DOI: 10.1007/s10009-025-00779-0
185)	Journal Paper Moment-based Density Elicitation with Applications in Probabilistic Loops Andrey Kofnov, Ezio Bartocci, Efstathia Bura In ACM Transactions on Probabilistic Machine Learning, 2025 DOI: 10.1145/3728648
184)	Journal Paper Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multi-Agent Control Wenliang Liu, Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta In IEEE Transactions on Automatic Control , 2025 Accepted DOI: 10.1109/TAC.2025.3538747
183)	Journal Paper Signal Feature Coverage and Testing for CPS Dataflow Models Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav In ACM Transactions on Software Engineering and Methodology, 2025 Just Accepted DOI: 10.1145/3714467
2024
182)	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
181)	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 DOI: 10.1145/3649329.3658250
180)	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 DOI: 10.1007/978-3-031-68416-6_14
179)	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 DOI: 10.1007/978-3-031-73709-1_10
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: 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: Second International Conference on Bridging the Gap Between AI and Reality, vol. 15217, pp. 190--205, 2024 Accepted DOI: 10.1007/978-3-031-75434-0_13
176)	Invited Paper A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case Ezio Bartocci, Josée Desharnais, Peter Lindner, Ana Sokolova In Principles of Verification: Cycling the Probabilistic Landscape, vol. 15261, pp. 75-97, 2024 DOI: 10.1007/978-3-031-75775-4_4
175)	Invited Paper Polar: An Algebraic Analyzer for (Probabilistic) Loops Marcel Moosbrugger, Julian Müllner, Ezio Bartocci, Laura Kovacs In Principles of Verification: Cycling the Probabilistic Landscape , vol. 15261, pp. 179-200, 2024 DOI: 10.1007/978-3-031-75783-9_8
174)	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 DOI: 10.1007/978-3-031-72621-7_1
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, Thomas 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
171)	Workshop Paper Distillation based Robustness Verification with PAC Guarantees Patrick Indri, Peter Blohm, Anagha Athavale, Ezio Bartocci, Georg Weissenbacher, Matteo Maffei, Dejan Nickovic, Thomas Gärtner In ICML 2024 Next Generation of AI Safety Workshop, 2024
2023
170)	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
169)	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
168)	Conference Paper Deductive Controller Synthesis for Probabilistic Hyperproperties Roman Andriushchenko, Ezio Bartocci, Milan Ceska, 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
167)	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
166)	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
165)	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
164)	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
163)	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
162)	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
161)	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
160)	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
159)	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
158)	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_3
157)	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
156)	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
155)	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
154)	Conference Paper Information-Flow Interfaces Ezio Bartocci, Thomas 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
153)	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
152)	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_5
151)	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
150)	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
149)	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
148)	Invited Paper Flavours of Sequential Information Flow Ezio Bartocci, Thomas 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
147)	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
146)	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
145)	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
144)	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
143)	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
142)	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
141)	Journal Paper The Probabilistic Termination Tool Amber Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovacs In Formal Methods in Systems Design, vol. 61, pp. 90--109, 2022 DOI: 10.1007/s10703-023-00424-z
140)	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
139)	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
138)	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
137)	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
136)	Conference Paper Automated Termination Analysis of Polynomial Probabilistic Programs Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter 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
135)	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
134)	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
133)	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
132)	Conference Paper The Probabilistic Termination Tool Amber Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter 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
131)	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
130)	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
129)	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
128)	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
127)	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
126)	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
125)	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
124)	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
123)	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
122)	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
121)	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
120)	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
119)	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
118)	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
117)	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
116)	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
115)	Journal Paper Mining Shape Expressions from Positive Examples Ezio Bartocci, Jyotirmoy V. 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
114)	Conference Paper Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time Denise Ratasich, Michael Platzer, Radu Grosu, Ezio Bartocci In Proc. of SASO 2019: 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp. 23--32, 2019 DOI: 10.1109/SASO.2019.00013
113)	Conference Paper Automatic Failure Explanation in CPS Models Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic In Proc. of SEFM 2019: the 17th edition of the International Conference on Software Engineering and Formal Methods, vol. 11724, pp. 69--86, 2019 DOI: 10.1007/978-3-030-30446-1_4
112)	Conference Paper Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops Ezio Bartocci, Laura Kovacs, Miroslav Stankovic In Proc. of ATVA 2019: the 17th International Conference on Automated Technology for Verification and Analysis, vol. 11724, pp. 69--86, 2019 DOI: 10.1007/978-3-030-31784-3_15
111)	Conference Paper Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home Christian Hirsch, Ezio Bartocci, Radu Grosu In Proc. of ICST 2019: the 2019 IEEE 23rd international symposium on consumer technologies, 2019 DOI: 10.1109/ISCE.2019.8901012
110)	Conference Paper Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta In Proc. of CDC 2019: the 58th Conference on Decision and Control , pp. 4361-4366, 2019 DOI: 10.1109/CDC40024.2019.9029429
109)	Conference Paper Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability 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.1007/978-3-030-31304-3_7
108)	Conference Paper Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty Hui Kong, Ezio Bartocci, Yu Jiang, Thomas Henzinger In Proc. of FORMATS 2019: 17th International Symposium on Formal Modeling and Analysis of Timed Systems, vol. 11750, pp. 123--141, 2019 DOI: 10.1007/978-3-030-29662-9_8
107)	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
106)	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_3
105)	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
104)	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: 10.1007/s10009-018-0485-6
103)	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
102)	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
101)	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, Klaus Havelund, Yogi Joshi, Felix Klaedtke, 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
100)	Journal Paper Quantitative Regular Expressions for Arrhythmia Detection Houssam Abbas, Alena Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott A. 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
99)	Book Chapter Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications Ezio Bartocci, Jyotirmoy V. 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
98)	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
97)	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_20
96)	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
95)	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
94)	Conference Paper Localizing Faults in Simulink/Stateflow Models with Signal Temporal Logic Ezio Bartocci, Thomas 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
93)	Conference Paper Parameter-Independent Strategies for pMDPs via POMDPs Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, Joost-Pieter 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_4
92)	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
91)	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_16
90)	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
89)	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
88)	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
87)	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_1
86)	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
85)	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
84)	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
83)	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_2
82)	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
81)	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_8
80)	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
79)	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_46
78)	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
77)	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
76)	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 DOI: 10.1007/978-3-319-70389-3_9
75)	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
74)	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 DOI: 10.1016/j.peva.2017.08.007
73)	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 DOI: 10.4204/EPTCS.250.3
2016
72)	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
71)	Conference Paper Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems Kenan Kalajdzic, Cyrille Jegourel, Anna Lukina, Ezio Bartocci, Axel Legay, 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
70)	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
69)	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 DOI: 10.1109/MEMCOD.2016.7797741
68)	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 DOI: 10.1007/978-3-319-43425-4_17
67)	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
66)	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
65)	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 DOI: 10.1007/978-3-319-45177-0
64)	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
63)	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
62)	Invited Paper The HARMONIA project: Hardware Monitoring for Automotive Systems-of-Systems Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, 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
61)	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
60)	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 DOI: 10.1007/978-3-319-47151-8_9
2015
59)	Conference Paper Abstraction-based parameter synthesis for multiaffine systems Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Gregory Batt, Hui 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
58)	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
57)	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
56)	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
55)	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
54)	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
53)	Journal Paper Model-order reduction of ion channel dynamics using approximate bisimulation Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Elizabeth M. Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu In Theoretical Computer Science, vol. 599, pp. 34-46, 2015 DOI: 10.1016/j.tcs.2014.03.018
52)	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
51)	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
50)	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
49)	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
48)	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
47)	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
46)	Edited Hybrid Systems and Biology (Preface) Ezio Bartocci, Luca Bortolussi, Scott A. Smolka In Information and Computation, vol. 236, pp. 1-2, 2014 DOI: 10.1016/J.IC.2014.01.008
45)	Invited Paper Cyber-Physical Systems: Theoretical and Practical Challenges Ezio Bartocci, Oliver Hoftberger, Radu Grosu In ERCIM News, vol. 97, pp. 8-9, 2014
44)	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 DOI: 10.1007/978-3-319-11164-3_1
43)	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
42)	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
41)	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
40)	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
39)	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
38)	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
37)	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 DOI: 10.48550/arXiv.1308.5329
36)	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
35)	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
34)	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
33)	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
32)	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
31)	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
30)	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
29)	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
28)	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
27)	Conference Paper From Cardiac Cells to Genetic Regulatory Networks Radu Grosu, Gregory 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
26)	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
25)	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
24)	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
23)	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
22)	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, Rupinder Singh, Frederick B. von Stein, Avessie Amedome, Alan Joseph J. Caceres, Juan Castillo, Evan Closser, Gabriel Deards, Andriy Goltsev, Roumwelle Sta. Ines, Cem Isbilir, Joan K. Marc, Diquan Moore, Dana Pardi, Sandeep Sadhu, Samuel Sanchez, Pooja Sharma, Anoopa Singh, Joshua Rogers, Aron Wolinetz, Terri Grosso-Applewhite, Kai Zhao, Andrew B. Filipski, Robert 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 DOI: 10.1152/advan.00034.2011
21)	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 DOI: 10.1109/SEW.2011.16
2010
20)	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
19)	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
18)	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
17)	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
16)	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
15)	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
14)	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
13)	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 DOI: 10.1016/j.entcs.2009.02.004
2008
12)	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
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 DOI: 10.1016/j.entcs.2007.12.005
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 DOI: 10.1109/tnb.2007.897492
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 DOI: 10.1007/11758532_138
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 Gertrud Fischer, Saleh M. Ibrahim, Gudrun A. Brockmann, Jens Pahnke, Ezio Bartocci, Hans-Jürgen Thiesen, Pablo Serrano-Fernández, Stefan Möller In Genome biology, vol. 4(11), 2003 DOI: 10.1186/gb-2003-4-11-r77

Impressum

Name:	Univ.-Prof. Dott. Ric. Ezio Bartocci	Title:	University Professor in Computer Science
Affiliation:	Institute of Computer Engineering TU Wien – Technische Universität Wien	Address:	TU Wien, Treitlstrasse 3, 1040 Vienna, Austria
Email:	ezio.bartocci@tuwien.ac.at	Responsible for Content:	Ezio Bartocci, § 55 Abs. 2 RStV

Disclaimer: I assume no liability for the content of external links. Responsibility lies solely with the operators of linked websites. Copyright: All content on this site is © Ezio Bartocci unless otherwise noted. Reuse without permission is not allowed. Privacy Policy (Datenschutzerklärung): This website does not collect personal data, use cookies, or analytics services.