![]() |
Proc. of HSCC 2022![]() |
![]() |
Havelund Festschrift (LNCS 13065), 2021 |
![]() |
Smolka Festschrift (LNCS 11500), 2019 |
![]() |
IEEE/ACM TCBB vol. 15(4), 2018 |
![]() |
LNCS Vol. 10457, 2018 |
![]() |
Vol 51 (1), FMSD, 2017 |
![]() |
LNBI Vol. 9859, CMSB 2016 |
![]() |
Vol. 4, STTT 2016 |
![]() |
LNCS Vol. 9333, RV 2015 |
![]() |
Vol. 236, Inf & Comp 2014 |
![]() |
LNCS Vol. 7976, SPIN 2013 |
Citation Statistics according to Google Scholar | ||||||||||||||||||
Number of citations = 4378, h-index = 37 | ||||||||||||||||||
DBLP, PubMed, Google Scholar, Scopus, ResearchGate |
All (161), Journals (42), Conferences (78), Workshops (12), Edited Books (12), Book Chapters (2), Invited (15) |
2023 [Another year] | |
---|---|
161) | |
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, 2023 Accepted |
159) | Journal Paper
The Probabilistic Termination Tool Amber ![]() Marcel Moosbrugger, Ezio Bartocci, J.-P. Katoen, Laura Kovacs In Formal Methods in Systems Design, 2023 Accepted |
2022 [Another year] | |
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 |
157) | |
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 ![]() |
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 |
154) | 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) |
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 ![]() |
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 |
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 ![]() |
150) | |
149) | Edited
Preface Ezio Bartocci, Sylvie Putot In Proceedings of HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, 2022 |
148) | 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 |
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 |
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 ![]() |
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 ![]() |
144) | Journal Paper
Model Checking Hyperproperties for Markov Decision Processes Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour In Information and Computation, 2022 Accepted |
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 |
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 ![]() |
141) | |
2021 [Another year] | |
140) | Conference Paper
HyperProb: A Model Checker for Probabilistic Hyperproperties Oyendrila Dobe, Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour In Proc. of FM 2021: the 24th international symposium of Formal Methods, vol. 13047, pp. 657--666, 2021 ![]() |
139) | Conference Paper
A Normative Supervisor for Reinforcement Learning Agents Emery Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori In Proc. of CADE 2021: the 28th International Conference on Automated Deduction, vol. 12699, pp. 565--576, 2021 ![]() |
138) | Conference Paper
Adaptive Testing for Specification Coverage in CPS Models Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic In Proc. of ADHS 2021: the 7th IFAC Conference on Analysis and Design of Hybrid Systems, vol. 54(5), pp. 229--234, 2021 Awarded with the IFAC Young Author award ![]() |
137) | Conference Paper
Automated Termination Analysis of Polynomial Probabilistic Programs Marcel Moosbrugger, Ezio Bartocci, J.-P. Katoen, Laura Kovacs In Proc. of ESOP 2021: the 30th European Symposium on Programming, vol. 12648, pp. 491--518, 2021 ![]() |
136) | Conference Paper
Mining Shape Expressions with ShapeIt Ezio Bartocci, Jyotirmoy V. Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin In Proc. of SEFM 2021: the 19th International Conference on Software Engineering and Formal Methods, 2021 |
135) | |
134) | Conference Paper
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi In Proc. of MEMOCODE 2021: the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2021 |
133) | Conference Paper
The Probabilistic Termination Tool Amber Marcel Moosbrugger, Ezio Bartocci, J.-P. Katoen, Laura Kovacs In Proc. of FM 2021: the 24th international symposium of Formal Methods , vol. 13047, pp. 667--675, 2021 ![]() |
132) | Edited
Preface Ezio Bartocci, Ylies Falcone, Martin Leucker In Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday, vol. 13085, 2021 |
131) | Invited Paper
A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence" Ezio Bartocci, Michael A. Bender In ACM SIGACT News, vol. 52(4), pp. 76-77, 2021 |
130) | ![]() Journal Paper
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng In ACM Transactions on Embedded Computing Systems, vol. 20(5s), 2021 This paper has been accepted at EMSOFT 2021: the International Conference on Embedded Software (to appear) |
129) | Journal Paper
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng In IEEE Internet of Things Journal, vol. 8(15), pp. 11793--806, 2021 ![]() |
128) | Journal Paper
CPSDebug: Automatic Failure Explanation in CPS Models Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic In International Journal on Software Tools for Technology Transfer, vol. 23, pp. 783–-796, 2021 ![]() |
127) | Journal Paper
Modeling and Analysis of Cardiac Hybrid Cellular Automata via GPU-accelerated Monte Carlo Simulation Lilly Treml, Ezio Bartocci, Alessio Gizzi In Mathematics, vol. 9(2), 2021 |
2020 [Another year] | |
126) | Conference Paper
Analysis of Bayesian Networks via Prob-Solvable Loops Ezio Bartocci, Laura Kovacs, Miroslav Stankovic In Proc. of ICTAC 2020: International Colloquium on Theoretical Aspects of Computing, vol. 12545, pp. 221--241, 2020 |
125) | Conference Paper
CPSDebug: A Tool for Failure Explanation in Cyber-Physical Systems Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore In Proc. of ISSTA 2020: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, pp. 569-572, 2020 Tool Demonstration Paper |
124) | Conference Paper
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti In Proc. of RV 2020: the 20th International Conference on Runtime Verification, vol. 12399, pp. 417-428, 2020 |
123) | |
122) | |
121) | |
120) | Conference Paper
Runtime Verification of Autonomous Driving Systems in CARLA Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros In Proc. of RV 2020: the 20th International Conference on Runtime Verification, vol. 12399, pp. 172-183, 2020 |
119) | Conference Paper
SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng In Proc. of ICCPS'20: the 11th IEEE/ACM Conference on Cyber-Physical Systems , pp. 51-62, 2020 Acceptance rate < 24% |
118) | Invited Paper
Monitoring Spatio-Temporal Properties (Invited Tutorial) Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti In Proc. of RV 2020: the 20th International Conference on Runtime Verification, vol. 12399, pp. 21-46, 2020 |
117) | Journal Paper
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani In IEEE Access, vol. 8, pp. 180825-43, 2020 |
116) | Journal Paper
Mining Shape Expressions from Positive Examples Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gliger, Cristinel Mateis, Dejan Nickovic, Xin Qin In IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39(11), pp. 3809 -20, 2020 This paper has been accepted at EMSOFT 2020: the International Conference on Embedded Software (to appear) |
2019 [Another year] | |
115) | Conference Paper
Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time Denise Ratasich, Michael Platzer, Radu Grosu, Ezio Bartocci In Proc. of SASO 2019: 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, pp. 23--32, 2019 |
114) | Conference Paper
Automatic Failure Explanation in CPS Models Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic In Proc. of SEFM 2019: the 17th edition of the International Conference on Software Engineering and Formal Methods, vol. 11724, pp. 69--86, 2019 |
113) | |
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) | |
110) | Conference Paper
Investigating a Hodgkin-Huxley type model for Drosophila larval neuromuscular junctions via particle swarm fitting Paul Piho, Filip Margetiny, Ezio Bartocci, Richard Ribchester, Jane Hillston In Proc. of CMSB 2019: the 17th International Conference on Computational Methods in Systems Biology, pp. 23--32, 2019 |
109) | Conference Paper
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty Hui Kong, Ezio Bartocci, Yu Jiang, Thomas Henzinger In Proc. of FORMATS 2019: 17th International Symposium on Formal Modeling and Analysis of Timed Systems, vol. 11750, pp. 123--141, 2019 |
108) | Edited
Preface Ezio Bartocci, Radu Grosu, Rance Cleaveland, Oleg Sokolsky In From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, vol. 11500, 2019 |
107) | Invited Paper
International Competition on Runtime Verification (CRV) Ezio Bartocci, Ylies Falcone, Giles Reger In Proc. of TACAS 2019: the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 11429, pp. 41-49, 2019 ![]() |
106) | Invited Paper
TOOLympics 2019: An Overview of Competitions in Formal Methods Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada In Proc. of TACAS 2019: the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 11429, pp. 3-24, 2019 ![]() |
105) | Journal Paper
Parallel Reachability Analysis for Hybrid Systems Using XSpeed Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu In Journal of Software Tools for Technology Transfer, vol. 21(4), pp. 401-423, 2019 ![]() |
104) | Journal Paper
A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems Denise Ratasich, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique, Ezio Bartocci In IEEE Access, vol. 7(1), pp. 13260-83, 2019 |
103) | Journal Paper
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software) Cesar Sanchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Ylies Falcone, Adrian Francalanza, Srdan Krstic, JoHao M. Lourenço, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss In Formal Methods in Systems Design, vol. 54(3), pp. 279-335, 2019 |
102) | Journal Paper
First International Competition on Runtime Verification, Rules, Benchmarks, Tools, and Final Results of CRV 2014 Ezio Bartocci, Ylies Falcone, Borzoo Bonakdarpour, Christian Colombo, Normann Decker, Felix Klaedtke, Klaus Havelund, Yogi Joshi, Reed Milewicz, Giles Reger, Grigore Rosu, Julien Signoles, Daniel Thoma, Eugen Zalinescu, Yi Zhang In Journal of Software Tools for Technology Transfer, vol. 21(1), pp. 31-70, 2019 |
101) | Journal Paper
Quantitative Regular Expressions for Arrhythmia Detection Houssam Abbas, Alena Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott Smolka, Radu Grosu In IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 16(5), pp. 1586--1597, 2019 |
2018 [Another year] | |
100) | Book Chapter
Specification-based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donzé, Georgios Fainekos, Oded Maler, Dejan Nickovic, Sriram Sankaranarayanan In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, pp. 128--168, 2018 |
99) | Book Chapter
An Introduction to Runtime Verification Ezio Bartocci, Ylies Falcone, Adrian Francalanza, Giles Reger In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, pp. 1--32, 2018 |
98) | Conference Paper
A Robust Genetic Algorithm for Learning Temporal Specifications from Data Laura Nenzi, Simone Silvetti, Ezio Bartocci, Luca Bortolussi In Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of SysTems , vol. 11024, pp. 323--338, 2018 |
97) | Conference Paper
Verifying nonlinear analog and mixed-signal circuits with inputs Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid In Proc. of ADHS 2018 - IFAC Conference on Analysis and Design of Hybrid Systems, vol. 51(16), pp. 241--246, 2018 ![]() |
96) | Conference Paper
A Counting Semantics for Monitoring LTL Specifications over Finite Traces Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Roeck In Proc. of CAV 2018: the 30th International Conference on Computer-Aided Verification, vol. 10981, pp. 547-564, 2018 ![]() |
95) | Conference Paper
Localizing Faults in Simulink/Stateflow Models with Signal Temporal Logic Ezio Bartocci, T. Ferrère, Niveditha Manjunath, Dejan Nickovic In Proc. of HSCC 2018: the 21st ACM International Conference on Hybrid Systems: Computation and Control, pp. 197--206, 2018 |
94) | Conference Paper
Parameter-Independent Strategies for pMDPs via POMDPs Sebastian Arming, Ezio Bartocci, Krishnendu Chatterjee, J.-P. Katoen, Ana Sokolova In Proc. of QEST 2018: the 15th International Conference on Quantitative Evaluation of SysTems, vol. 11024, pp. 53--70, 2018 |
93) | Conference Paper
Reachable Set Over-approximation for Nonlinear Systems Using Piecewise Barrier Tubes Hui Kong, Ezio Bartocci, Thomas Henzinger In Proc. of CAV 2018: the 30th International Conference on Computer-Aided Verification, vol. 10981, pp. 449-467, 2018 ![]() |
92) | |
91) | Edited
Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016) Ezio Bartocci, Pietro Liò, Nicola Paoletti In IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 15(4), pp. 1122-1123 , 2018 |
90) | Edited
Preface Ezio Bartocci, Ylies Falcone In Lectures on Runtime Verification - Introductory and Advanced Topics, vol. 10457, 2018 |
89) | Invited Paper
Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial) Ezio Bartocci In Proc. of RV 2018: The 18th International Conference on Runtime Verification, vol. 11138, pp. 35--42, 2018 |
88) | Invited Paper
RV-TheToP: Runtime Verification from Theory To the Industry Practice (Track Introduction) Ezio Bartocci, Ylies Falcone In Proc. of ISoLA 2018: the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Technique, vol. 11247, pp. 3--8, 2018 |
87) | Journal Paper
A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks Ezio Bartocci, Ebru Aydin Gol, Iman Haghighi, Calin Belta In IEEE Transactions on Control of Network Systems, vol. 5(1), 2018 ![]() |
86) | |
85) | Journal Paper
Quantitative Monitoring of STL with Edit Distance Stefan Jaksic, Ezio Bartocci, Radu Grosu, Thang Nguyen, Dejan Nickovic In Formal Methods in Systems Design, vol. 53(1), pp. 83--112, 2018 ![]() |
2017 [Another year] | |
84) | Conference Paper
Quantitative Regular Expressions for Arrhythmia Detection Algorithms Houssam Abbas, Alena Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu In Proc. of CMSB 2017: the 15th International Conference on Computational Methods in Systems Biology, vol. 10545, pp. 23--39, 2017 |
83) | Conference Paper
A Linear Programming-based iterative approach to Stabilizing Polynomial Dynamics Mohamed Amin Ben Sassi, Ezio Bartocci, Sriram Sankaranarayanan In Proc. of IFAC 2017: the 20th World Congress of the International Federation of Automatic Control, vol. 50(1), pp. 10462-469, 2017 |
82) | Conference Paper
A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage Marco Baldi, Ezio Bartocci, Franco Chiaraluce, Alessandro Cucchiarelli, Linda Senigagliesi, Luca Spalazzi, Francesco Spegni In Proc. of QEST 2017: the 14th International Conference on Quantitative Evaluation of SysTems, vol. 10503, 2017 |
81) | Conference Paper
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu In Proc. of TACAS 2017: the 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 10206, pp. 286--302, 2017 |
80) | Conference Paper
Computing with Biophysical and Hardware-efficient Neural Models Konstantin Selyunin, Ramin M. Hasani, Denise Ratasich, Ezio Bartocci, Radu Grosu In Proc. of IWANN 2017: 14th International Work-Conference on Artificial Neural Networks - Advances in Computational Intelligence, vol. 10305, pp. 535--547, 2017 |
79) | Conference Paper
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi In Proc. of MEMOCODE 2017: the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design , pp. 146--155, 2017 |
78) | Conference Paper
Runtime Monitoring with Recovery of the SENT Communication Protocol Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, C. Reidl, U. Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu In Proc. of CAV 2017: the 29th International Conference on Computer-Aided Verification, vol. 10426, pp. 336--355, 2017 |
77) | Conference Paper
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani In Proc. of HVC 2017: the 13th IBM Haifa Verification Conference, Haifa, Israel, vol. 10629, pp. 131--146, 2017 |
76) | Edited
Introduction to the Special Issue on Runtime Verification Ezio Bartocci, Rupak Majumdar In Formal Methods in System Design, vol. 51(1), pp. 1--4, 2017 |
75) | Journal Paper
Policy learning in Continuous-Time Markov Decision Processes using Gaussian Processes Ezio Bartocci, Luca Bortolussi, Tomas Brazdil, Dimitrios Milos, Guido Sanguinetti In International Journal of Performance Evaluation, vol. 116, pp. 84--100, 2017 |
74) | Workshop Paper
SEA-PARAM: Exploring Schedulers in Parametric MDPs Sebastian Arming, Ezio Bartocci, Ana Sokolova In Proc. of QAPL 2017: the 15 International Workshop on Quantitative Aspects of Programming Languages and Systems, 2017 to appear |
2016 [Another year] | |
73) | Conference Paper
Applying Runtime Monitoring for Automotive Electronic Development Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Radu Grosu In Proc. of RV 2016: the 7th International Conference on Runtime Verification, vol. 10012, pp. 462--469, 2016 |
72) | Conference Paper
Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems Kenan Kalajdzic, Cyrille Jegourel, Axel Legay, Ezio Bartocci, Anna Lukina, Scott A. Smolka, Radu Grosu In Proc. of ISoLA 2016: the 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, vol. 9952, pp. 46--61, 2016 |
71) | Conference Paper
Monitoring of MTL Specifications With IBM's Spiking-Neuron Model Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu In Proc. of the 2016 Design, Automation & Test in Europe Conference & Exhibition, pp. 924-929, 2016 ![]() |
70) | Conference Paper
Parallel Reachability Analysis for Hybrid Systems Amit Gurung, Deka Arup Kumar, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray In Proc. of MEMOCODE 2016: the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2016 |
69) | Conference Paper
Policy learning for time-bounded reachability in Continuous-Time Markov Decision Processes via doubly-stochastic gradient ascent Ezio Bartocci, Luca Bortolussi, Tomas Brazdil, Dimitrios Milios, Guido Sanguinetti In Proc. of QEST 2016: the 13th International Conference on Quantitative Evaluation of SysTems, vol. 9826, pp. 244--259, 2016 ![]() |
68) | Conference Paper
Quantitative Monitoring of STL with Edit Distance Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic In Proc. of RV 2016: the 7th International Conference on Runtime Verification, vol. 10012, pp. 201-218, 2016 |
67) | Conference Paper
Temporal Logic as Filtering Alena Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu In Proc. of HSCC'16: the 19th International Conference on Hybrid Systems: Computation and Control, pp. 11--20, 2016 Honorable mention for the HSCC 2016 Best Student Paper Award ![]() |
66) | Edited
Preface (CMSB 2016) Ezio Bartocci, Pietro Liò, Nicola Paoletti In Proc. of CMSB 2016: the 14th conference on Computational Methods in Systems Biology, Cambridge, UK, vol. 9859, pp. V-VI, 2016 |
65) | Edited
Preface of the Special Issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software Ezio Bartocci, C. R. Ramakrishnan In Software Tools for Technology Transfer (STTT), vol. 18(4), pp. 355--357, 2016 ![]() |
64) | Invited Paper
Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction) Ezio Bartocci, Ylies Falcone In Proc. of ISoLA 2016: the 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, vol. 9953, pp. 333-338, 2016 ![]() |
63) | Invited Paper
The HARMONIA project: Hardware Monitoring for Automotive Systems-of-Systems Ezio Bartocci, Radu Grosu, Stefan Jaksic, Thang Nguyen, Dejan Nickovic, Konstantin Selyunin In Proc. of ISoLA 2016: the 7th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, vol. 9953, pp. 371-379, 2016 ![]() |
62) | Journal Paper
Computational modeling, formal analysis and tools for systems biology Ezio Bartocci, Pietro Liò In PLOS Computational Biology, vol. 12(1), pp. e1004591, 2016 ![]() ![]() |
61) | Workshop Paper
Discrete Abstraction of Multiaffine Systems Hui Kong, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Thomas Henzinger, Yu Jiang, Christian Schilling In Proc. of HSB 2016: the Fifth International Workshop on Hybrid Systems Biology , vol. 9957, pp. 128--144, 2016 |
2015 [Another year] | |
60) | Conference Paper
Abstraction-based parameter synthesis for multiaffine systems Sergiy Bogomolov, Christian Schilling, Ezio Bartocci, Grégory Batt, H Kong, Radu Grosu In In Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015, vol. 9434, pp. 19-35, 2015 ![]() |
59) | Conference Paper
From Signal Temporal Logic to FPGA Monitors Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic In Proc. of MEMOCODE 2015: the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design, pp. 218-227, 2015 ![]() |
58) | ![]() Conference Paper
Neural Programming: Towards Adaptive Control in Cyber-Physical Systems Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Md. Ariful Islam, Scott A. Smolka, Radu Grosu In Proc. of CDC 2015: the 54th IEEE Conference on Decision and Control, pp. 6978-6985, 2015 ![]() |
57) | Conference Paper
SpaTeL: A novel spatial-temporal logic and its applications to networked systems Iman Haghighi, Austin Jones, Zhaodan Kong, Ezio Bartocci, Radu Grosu, Calin Belta In Proc. of HSCC 2015: the 18th International Conference on Hybrid Systems: Computation and Control, pp. 189-198, 2015 ![]() |
56) | Conference Paper
XSpeed: Accelerating Reachability Analysis on MultiCore Processors Rajarshi Ray, Amit Gurung, Binayak Das, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu In Proc. of HVC 2015: the 11th Haifa Verification Conference, Haifa, Israel, November, 2015, vol. 9434, pp. 3-18, 2015 ![]() |
55) | Edited
Preface (RV 2015) Ezio Bartocci, Rupak Majumdar In Proc. of RV 2015: the 15th International Conference on Runtime Verification, Vienna, Austria, vol. 9333, pp. V-VI, 2015 ![]() |
54) | Journal Paper
Model-order reduction of ion channel dynamics using approximate bisimulation Md. Ariful Islam, Scott A. Smolka, Ezio Bartocci, Elizabeth M. Cherry, Flavio H. Fenton, James Glimm, Radu Grosu, Abhishek Murthy In Theoretical Computer Science, vol. 599, pp. 34-46, 2015 ![]() |
53) | Journal Paper
System design of stochastic models using robustness of temporal properties Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti In Theoretical Computer Science, vol. 587, pp. 3-25, 2015 ![]() ![]() |
52) | Workshop Paper
Studying Emergent Behaviours in Morphogenesis using Signal Spatio-Temporal Logic Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, Guido Sanguinetti In Proc. of HSB 15: the 4th International Workshop on Hybrid Systems Biology, vol. 9271, pp. 156-172, 2015 ![]() |
2014 [Another year] | |
51) | |
50) | Conference Paper
Data-driven statistical learning of temporal logic properties Ezio Bartocci, Luca Bortolussi, Guido Sanguinetti In Proc. of FORMATS 2014: the 12th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 8711, pp. 23-37, 2014 ![]() |
49) | Conference Paper
Towards a GPGPU-parallel SPIN model checker Ezio Bartocci, Richard Defrancisco, Scott A. Smolka In Proc. of SPIN 2014: the International SPIN Symposium on Model Checking of Software, pp. 87-96, 2014 ![]() |
48) | Conference Paper
Tracking Action Potentials of Nonlinear Excitable Cells using Model Predictive Control Md. Ariful Islam, Tushar Deshpande, Abhishek Murthy, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu In Proc. of BIOTECHNO 2014: The Sixth International Conference on Bioinformatics, Biocomputational Systems and Biotechnologies, pp. 52-58, 2014 ![]() |
47) | Edited
Hybrid Systems and Biology (Preface) Ezio Bartocci, Luca Bortolussi, Scott A. Smolka In Information and Computation, vol. 236, pp. 1-2, 2014 ![]() |
46) | Invited Paper
Cyber-Physical Systems: Theoretical and Practical Challenges Ezio Bartocci, Oliver Hoftberger, Radu Grosu In ERCIM News, vol. 97, pp. 8-9, 2014 |
45) | Invited Paper
First International Competition of Software for Runtime Verification Ezio Bartocci, Borzoo Bonakdarpour, Ylies Falcone In Proc. of RV 2014: the 14th International Conference on Runtime Verification, vol. 8734, pp. 1-9, 2014 |
44) | Invited Paper
Medical cyber-physical systems (Track introduction) Ezio Bartocci, Sicun Gao, Scott A. Smolka In Proc. of ISoLA 2014: the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Specialized Technique, vol. 8803, pp. 353-355, 2014 ![]() |
43) | Invited Paper
Temporal Logic based Monitoring of Assisted Ventilaion in Intensive Care Patients Sara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi In Proc. of ISoLA 2014: the 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, vol. 8803, pp. 391-403, 2014 ![]() |
2013 [Another year] | |
42) | Conference Paper
A temporal logic approach to modular design of synthetic biological circuits Ezio Bartocci, Luca Bortolussi, Laura Nenzi In Proc. of CMSB 2013: the 11th International Conference on Computational Methods in Systems Biology, IST Austria, Klosterneuburg, Austria, vol. 8130, pp. 164-178, 2013 ![]() |
41) | Conference Paper
Runtime Verification with Particle Filtering Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu In Proc. of RV 2013: the 4th International Conference on Runtime Verification, INRIA Rennes, France, September, 2013, vol. 8174, pp. 149-166, 2013 ![]() |
40) | Edited
Preface (HSB 2012) Ezio Bartocci, Luca Bortolussi In Proc. of the First International Workshop on Hybrid Systems and Biology, vol. 92, 2013 ![]() |
39) | Edited
Preface (SPIN 2013) Ezio Bartocci, C. R. Ramakrishnan In Proc. of SPIN 2013: the 20th International Symposium of SPIN Model Checking Software, Stony Brook, NY, USA, vol. 7976, pp. V-VI, 2013 ![]() |
38) | Invited Paper
Monitoring with uncertainty Ezio Bartocci, Radu Grosu In Proceedings of HAS 2013: the 3rd Intern. Workshop of Hybrid Autonomous Systems, vol. 125(1), pp. 3--19, 2013 |
37) | Journal Paper
Curvature Analysis of Cardiac Excitation Wavefronts Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Elizabeth M. Cherry, Scott A. Smolka, Radu Grosu In IEEE/ACM Transactions on Computational Biology and Bioinformatics, vol. 10(2), pp. 323-336, 2013 ![]() |
36) | Workshop Paper
On the Robustness of Temporal Properties for Stochastic Models Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Guido Sanguinetti In Proceedings of HSB 2013: the 2nd Intern. Workshop on Hybrid Systems and Biology, Taormina, Italy,, vol. 125(1), pp. 3--19, 2013 ![]() |
35) | Workshop Paper
Sampling-based Decentralized Monitoring for Networked Embedded Systems, Ezio Bartocci In Proceedings of HAS 2013: the 3rd Intern. Workshop of Hybrid Autonomous Systems, vol. 124(9), pp. 85--99, 2013 ![]() |
2012 [Another year] | |
34) | Conference Paper
Adaptive Runtime Verification Ezio Bartocci, Radu Grosu, Atul Kamarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster In Proc. of RV 2012: the 3rd International Conference on Runtime Verification, Istanbul, Turkey, September, vol. 7687, pp. pp. 168-18, 2012 ![]() |
33) | Conference Paper
Approximate Bisimulations for Sodium Channel Dynamics Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci, Elizabeth M. Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu In Proc. of CMSB 2012, the Tenth International Conference on Computational Methods in Systems Biology The Royal Society, London, UK, October 3-5, vol. 7605, pp. 267-287, 2012 ![]() ![]() |
32) | Conference Paper
On Temporal Logic and Signal Processing Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka In Proc. of ATVA 2012, the 10th International Symposium on Automated Technology for Verification and Analysis, Trivandrum, Kerala, October 3-6, vol. 7561, pp. 92-106, 2012 ![]() ![]() |
31) | Journal Paper
Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study Ezio Bartocci, Pietro Liò, Emanuela Merelli, Nicola Paoletti In T. Comp. Sys. Biology, vol. 14, pp. 53-76, 2012 ![]() ![]() |
30) | Journal Paper
UBioLab: a web-LABoratory for Ubiquitous in-silico experiments Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Leonardo Vito In J. Integrative Bioinformatics, vol. 9(1), 2012 ![]() ![]() |
2011 [Another year] | |
29) | Conference Paper
Curvature analysis of cardiac excitation wavefronts Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Scott A. Smolka, Radu Grosu In Proc. of CMSB 2011: Proceedings of the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France, September 21-23, pp. 151--160, 2011 ![]() ![]() |
28) | ![]() Conference Paper
From Cardiac Cells to Genetic Regulatory Networks Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci In Proc. of CAV'11, the 23rd International Conference on Computer Aided Verification, Cliff Lodge, Snowbird, Utah, USA, July, 2011, vol. 6806, pp. 396-411, 2011 ![]() ![]() |
27) | ![]() Conference Paper
Model Repair for Probabilistic Systems Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka In Proc. of TACAS'11:the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Saarbruecken, Germany,March , vol. 6605, pp. 326-340, 2011 ![]() ![]() |
26) | Conference Paper
Runtime Verification with State Estimation Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok In Proc. of RV'11, the 2nd International Conference on Runtime Verification, San Francisco, September 27-30, vol. 7186, pp. 193-207, 2011 Best Paper Award ![]() ![]() |
25) | Conference Paper
Toward real-time simulation of cardiac dynamics Ezio Bartocci, Elizabeth M. Cherry, James Glimm, Radu Grosu, Scott A. Smolka, Flavio H. Fenton In Proc. of CMSB 2011: the 9th ACM International Conference on Computational Methods in Systems Biology, Paris, France, September 21-23, pp. 103-112, 2011 ![]() ![]() |
24) | Journal Paper
Modeling the cell cycle: From deterministic models to hybrid systems Roberta Alfieri, Ezio Bartocci, Emanuela Merelli, Luciano Milanesi In Biosystems, vol. 105(1), pp. 34-40, 2011 ![]() ![]() |
23) | Journal Paper
Teaching cardiac electrophysiology modeling to undergraduate students: Laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics Ezio Bartocci, R. Singh, F.B. von Stein, A. Amedome, A.J.J. Caceres, J. Castillo, E. Closser, G. Deards, A. Goltsev, R.S. Ines, C. Isbilir, J.K. Marc, D. Moore, D. Pardi, S. Sadhu, S. Sanchez, P. Sharma, A. Singh, J. Rogers, A. Wolinetz, T. Grosso-Applewhite, K. Zhao, A.B. Filipski, R.F. Gilmour Jr., Radu Grosu, James Glimm, Scott A. Smolka, Elizabeth M. Cherry, Edmund M. Clarke, Nancy Griffeth, Flavio H. Fenton In American Journal of Physiology - Advances in Physiology Education, vol. 35(4), pp. 427-437, 2011 cited By (since 1996) 0 ![]() |
22) | Workshop Paper
A Change of Perspective Yields Formal Analysis Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci In Proc. of the 34th Software Engineering Workshop (SEW), Limerick, Ireland, June, pp. 69-76, 2011 ![]() ![]() |
2010 [Another year] | |
21) | Conference Paper
A resourceome for the automation of in-silico biological experiments Ezio Bartocci, Diletta Romana Cacciagrano, Flavio Corradini, Emanuela Merelli, Leonardo Vito In Proc. of the First International Conference on Biosciences, Cancun, Mexico, pp. 70-75, 2010 ![]() |
20) | Journal Paper
Detecting synchronisation of biological oscillators by model checking Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei In Theoretical Computer Science, vol. 411(20), pp. 1999-2018, 2010 ![]() |
19) | Journal Paper
Shape Calculus. A Spatial Mobile Calculus for 3D Shapes Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei In Sci. Ann. Comp. Sci., vol. 20, pp. 1-31, 2010 ![]() ![]() |
18) | Journal Paper
Timed operational semantics and well-formedness of shape calculus Ezio Bartocci, Diletta Romana Cacciagrano, Maria Rita Di Berardini, Emanuela Merelli, Luca Tesei In Scientific Annals of Computer Science, vol. 20, pp. 33-52, 2010 ![]() |
2009 [Another year] | |
17) | |
16) | Journal Paper
Learning and detecting emergent behavior in networks of cardiac myocytes Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci In Commun. ACM, vol. 52(3), pp. 97-105, 2009 ![]() ![]() |
15) | Journal Paper
Modeling and simulation of cardiac tissue using hybrid I/O automata Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu In Theor. Comput. Sci., vol. 410(33-34), pp. 3149-3165, 2009 ![]() ![]() |
14) | |
2008 [Another year] | |
13) | Conference Paper
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska In Proc. of HSCC'08, the 11th International Conference on Hybrid Systems: Computation and Control, St. Louis, vol. 4981, pp. 229-243, 2008 To also appear in CACM, the Communications of the ACM, 2009. ![]() ![]() |
12) | |
11) | Journal Paper
CellExcite: an efficient simulation environment for excitable cells Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka In BMC Bioinformatics, vol. 9(S-2), 2008 ![]() ![]() ![]() |
10) | |
2007 [Another year] | |
9) | Journal Paper
An agent-based multilayer architecture for bioinformatics grids Ezio Bartocci, Diletta Romana Cacciagrano, Nicola Cannata, Flavio Corradini, Emanuela Merelli, Luciano Milanesi, Paolo Romano In IEEE Transactions on Nanobioscience, vol. 6(2), pp. 142-148, 2007 cited By (since 1996) 6 ![]() |
8) | Journal Paper
Biowep: a workflow enactment portal for bioinformatics applications Paolo Romano, Ezio Bartocci, Guglielmo Bertolini, Flavio De Paoli, Domenico Marra, Giancarlo Mauri, Emanuela Merelli, Luciano Milanesi In BMC Bioinformatics, vol. 8(S-1), 2007 ![]() ![]() ![]() |
7) | Journal Paper
BioWMS: a web-based Workflow Management System for bioinformatics Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Lorenzo Scortichini In BMC Bioinformatics, vol. 8(S-1), 2007 ![]() ![]() ![]() |
2006 [Another year] | |
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) | |
4) | |
3) | |
2003 [Another year] | |
2) | |
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 ![]() ![]() |