Ezio Bartocci
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
69
Venues
32
Active years
2006–2026
Best venue rank
A*
Where they publish
- BRV11 papers
- CISoLA7 papers
- A*CAV6 papers
- BATVA5 papers
- ATACAS5 papers
- CMEMOCODE4 papers
- BCONCUR2 papers
- AECAI2 papers
- A*DAC2 papers
- BFM2 papers
- BSEFM2 papers
- A*ICML1 paper
- A*IJCAI1 paper
- CFORTE1 paper
- CVECoS1 paper
- AICST1 paper
- BFASE1 paper
- A*ICSE1 paper
- AISSRE1 paper
- BPRIMA1 paper
- BSAS1 paper
- BVMCAI1 paper
- ACADE1 paper
- AESOP1 paper
- CICTAC1 paper
- AISSTA1 paper
- BLPAR1 paper
- UnrankedSENSYS1 paper
- NationalIWANN1 paper
- ADATE1 paper
- CSEW1 paper
- MulticonferenceICCS1 paper
Papers
69 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CONCUR | Reasoning About Probabilistic Loops, Moment by Moment (Invited Talk). | Ezio Bartocci |
| 2025 | CAV | POPACheck: A Model Checker for Probabilistic Pushdown Automata. | Francesco Pontiggia, Ezio Bartocci, Michele Chiari |
| 2025 | ECAI | OFTEN-DEEPRL: On-the-Fly Teaching of Ethical Norms to Deep Reinforcement Learning Agents. | Ignacio D. Lopez-Miguel, Sebastian P. Adam, Ezio Bartocci, Thomas Eiter, Martin Tappler |
| 2025 | ICML | Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs. | Andrey Kofnov, Daniel Kapla, Ezio Bartocci, Efstathia Bura |
| 2025 | IJCAI | Rule-Guided Reinforcement Learning Policy Evaluation and Improvement. | Martin Tappler, Ignacio D. Lopez-Miguel, Sebastian Tschiatschek, Ezio Bartocci |
| 2024 | CAV | Verifying Global Two-Safety Properties in Neural Networks with Confidence. | Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher |
| 2024 | DAC | DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications. | Meixun Qu, Jie He, Zlatan Tucakovic, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu |
| 2024 | FORTE | Adaptable Configuration of Decentralized Monitors. | Ennio Visconti, Ezio Bartocci, Ylis Falcone, Laura Nenzi |
| 2024 | ISoLA | The ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops. | Ezio Bartocci |
| 2024 | VECoS | A Comparison of Monitoring Techniques for Deep Neural Networks. | Ezio Bartocci, Wasim Essbai |
| 2023 | ATVA | Lightweight Verification of Hyperproperties. | Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang |
| 2023 | CONCUR | Hypernode Automata. | Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa |
| 2023 | DAC | TD-Magic: From Pictures of Timing Diagrams To Formal Specifications. | Jie He, Dejan Nickovic, Ezio Bartocci, Radu Grosu |
| 2023 | ECAI | Progression for Monitoring in Temporal ASP. | Davide Sold, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter |
| 2023 | ICST | Property-Based Mutation Testing. | Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav |
| 2023 | RV | Mining Specification Parameters for Multi-class Classification. | Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic |
| 2022 | FASE | Information-flow Interfaces. | Ezio Bartocci, Thomas Ferrre, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa |
| 2022 | ICSE | DeepSTL - From English Requirements to Signal Temporal Logic. | Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu |
| 2022 | ISSRE | Search-based Testing for Accurate Fault Localization in CPS. | Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav |
| 2022 | PRIMA | On Normative Reinforcement Learning via Safe Reinforcement Learning. | Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni |
| 2022 | SAS | Solving Invariant Generation for Unsolvable Loops. | Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovcs, Marcel Moosbrugger, Miroslav Stankovic |
| 2022 | VMCAI | Flavors of Sequential Information Flow. | Ezio Bartocci, Thomas Ferrre, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa |
| 2021 | CADE | A Normative Supervisor for Reinforcement Learning Agents. | Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori |
| 2021 | ESOP | Automated Termination Analysis of Polynomial Probabilistic Programs. | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovcs |
| 2021 | FM | HyperProb: A Model Checker for Probabilistic Hyperproperties. | Oyendrila Dobe, Erika brahm, Ezio Bartocci, Borzoo Bonakdarpour |
| 2021 | FM | The Probabilistic Termination Tool Amber. | Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovcs |
| 2021 | MEMOCODE | Online monitoring of spatio-temporal properties for imprecise signals. | Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi |
| 2021 | SEFM | Mining Shape Expressions with ShapeIt. | Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin |
| 2020 | ATVA | Probabilistic Hyperproperties with Nondeterminism. | Erika brahm, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe |
| 2020 | ICTAC | Analysis of Bayesian Networks via Prob-Solvable Loops. | Ezio Bartocci, Laura Kovcs, Miroslav Stankovic |
| 2020 | ISSTA | CPSDebug: a tool for explanation of failures in cyber-physical systems. | Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore |
| 2020 | LPAR | Parameter Synthesis for Probabilistic Hyperproperties. | Erika brahm, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe |
| 2020 | SENSYS | Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract. | Meiyi Ma, Ezio Bartocci, John A. Stankovic, Lu Feng |
| 2020 | RV | MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. | Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti |
| 2020 | RV | Monitoring Spatio-Temporal Properties (Invited Tutorial). | Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti |
| 2020 | RV | Runtime Verification of Autonomous Driving Systems in CARLA. | Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros |
| 2020 | TACAS | Mora - Automatic Generation of Moment-Based Invariants. | Ezio Bartocci, Laura Kovcs, Miroslav Stankovic |
| 2019 | ATVA | Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. | Ezio Bartocci, Laura Kovcs, Miroslav Stankovic |
| 2019 | SEFM | Automatic Failure Explanation in CPS Models. | Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic |
| 2019 | TACAS | 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 |
| 2019 | TACAS | International Competition on Runtime Verification (CRV). | Ezio Bartocci, Ylis Falcone, Giles Reger |
| 2018 | ATVA | Signal Convolution Logic. | Simone Silvetti, Laura Nenzi, Ezio Bartocci, Luca Bortolussi |
| 2018 | CAV | A Counting Semantics for Monitoring LTL Specifications over Finite Traces. | Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Franz Rck |
| 2018 | CAV | Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes. | Hui Kong, Ezio Bartocci, Thomas A. Henzinger |
| 2018 | ISoLA | RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction). | Ezio Bartocci, Ylis Falcone |
| 2018 | RV | Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial). | Ezio Bartocci |
| 2017 | CAV | Runtime Monitoring with Recovery of the SENT Communication Protocol. | Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, Radu Grosu |
| 2017 | IWANN | Computing with Biophysical and Hardware-Efficient Neural Models. | Konstantin Selyunin, Ramin M. Hasani, Denise Ratasich, Ezio Bartocci, Radu Grosu |
| 2017 | MEMOCODE | Monitoring mobile and spatially distributed cyber-physical systems. | Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi |
| 2017 | TACAS | 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 |
| 2016 | DATE | Monitoring of MTL specifications with IBM's spiking-neuron model. | Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu |
| 2016 | ISoLA | Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction). | Ezio Bartocci, Ylis Falcone |
| 2016 | ISoLA | Feedback Control for Statistical Model Checking of Cyber-Physical Systems. | Kenan Kalajdzic, Cyrille Jgourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu |
| 2016 | ISoLA | The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. | Thang Nguyen, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Stefan Jaksic, Konstantin Selyunin |
| 2016 | MEMOCODE | Parallel reachability analysis for hybrid systems. | Amit Gurung, Arup Deka, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu, Rajarshi Ray |
| 2016 | RV | Quantitative Monitoring of STL with Edit Distance. | Stefan Jaksic, Ezio Bartocci, Radu Grosu, Dejan Nickovic |
| 2016 | RV | Applying Runtime Monitoring for Automotive Electronic Development. | Konstantin Selyunin, Thang Nguyen, Ezio Bartocci, Radu Grosu |
| 2015 | MEMOCODE | From signal temporal logic to FPGA monitors. | Stefan Jaksic, Ezio Bartocci, Radu Grosu, Reinhard Kloibhofer, Thang Nguyen, Dejan Nickovic |
| 2014 | ISoLA | Medical Cyber-Physical Systems - (Track Introduction). | Ezio Bartocci, Sicun Gao, Scott A. Smolka |
| 2014 | ISoLA | Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. | Sara Bufo, Ezio Bartocci, Guido Sanguinetti, Massimo Borelli, Umberto Lucangelo, Luca Bortolussi |
| 2014 | RV | First International Competition on Software for Runtime Verification. | Ezio Bartocci, Borzoo Bonakdarpour, Ylis Falcone |
| 2013 | RV | Runtime Verification with Particle Filtering. | Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu |
| 2012 | ATVA | On Temporal Logic and Signal Processing. | Alexandre Donz, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka |
| 2012 | RV | Adaptive Runtime Verification. | Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster |
| 2011 | CAV | From Cardiac Cells to Genetic Regulatory Networks. | Radu Grosu, Grgory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci |
| 2011 | RV | Runtime Verification with State Estimation. | Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok |
| 2011 | SEW | A Change of Perspective Yields Formal Analysis. | Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci |
| 2011 | TACAS | Model Repair for Probabilistic Systems. | Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka |
| 2006 | ICCS | Enacting Proactive Workflows Engine in e-Science. | Ezio Bartocci, Flavio Corradini, Emanuela Merelli |