Ezio Bartocci

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 156

Top Venues

CoRR

QEST

Int. J. Softw. Tools Technol. Transf.

Publications

Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
Verifying Global Two-Safety Properties in Neural Networks with Confidence. CoRR (2024)
Anagha Athavale, Ezio Bartocci, Maria Christakis, Matteo Maffei, Dejan Nickovic, Georg Weissenbacher
Verifying Global Two-Safety Properties in Neural Networks with Confidence. CAV (2) (2024)
Francesco Pontiggia, Ezio Bartocci, Michele Chiari
Model Checking Recursive Probabilistic Programs with Conditioning. CoRR (2024)
Ennio Visconti, Ezio Bartocci, Yliès Falcone, Laura Nenzi
Adaptable Configuration of Decentralized Monitors. FORTE (2024)
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Information-flow Interfaces and Security Lattices. CoRR (2024)
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments. CoRR (2023)
Jie He, Dejan Nickovic, Ezio Bartocci, Radu Grosu
TD-Magic: From Pictures of Timing Diagrams To Formal Specifications. DAC (2023)
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
Property-Based Mutation Testing. ICST (2023)
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Introducing Asynchronicity to Probabilistic Hyperproperties. QEST (2023)
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Hypernode Automata. CONCUR (2023)
Oyendrila Dobe, Stefan Schupp, Ezio Bartocci, Borzoo Bonakdarpour, Axel Legay, Miroslav Pajic, Yu Wang
Lightweight Verification of Hyperproperties. ATVA (2023)
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Hypernode Automata. CoRR (2023)
Andrey Kofnov, Ezio Bartocci, Efstathia Bura
Density Elicitation with applications in Probabilistic Loops. CoRR (2023)
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
Deductive Controller Synthesis for Probabilistic Hyperproperties. CoRR (2023)
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
Property-Based Mutation Testing. CoRR (2023)
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
(Un)Solvable Loop Analysis. CoRR (2023)
Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandic, Ezio Bartocci, Leonardo Mariani
An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge. CoRR (2023)
Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandic, Ezio Bartocci, Leonardo Mariani
An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge. ASE (2023)
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Simone Silvetti, Michele Loreti
MoonLight: a lightweight tool for monitoring spatio-temporal properties. Int. J. Softw. Tools Technol. Transf. 25 (4) (2023)
Roman Andriushchenko, Ezio Bartocci, Milan Ceska, Francesco Pontiggia, Sarah Sallinger
Deductive Controller Synthesis for Probabilistic Hyperproperties. QEST (2023)
Lina Gerlach, Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Introducing Asynchronicity to Probabilistic Hyperproperties. CoRR (2023)
Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
Mining Specification Parameters for Multi-class Classification. RV (2023)
Benedikt Maderbacher, Stefan Schupp, Ezio Bartocci, Roderick Bloem, Dejan Nickovic, Bettina Könighofer
Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. SPIN (2023)
Davide Soldà, Ignacio D. Lopez-Miguel, Ezio Bartocci, Thomas Eiter
Progression for Monitoring in Temporal ASP. ECAI (2023)
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
Mining Hyperproperties using Temporal Logics. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori
Enforcing ethical goals over reinforcement-learning policies. Ethics Inf. Technol. 24 (4) (2022)
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
Solving Invariant Generation for Unsolvable Loops. SAS (2022)
Miroslav Stankovic, Ezio Bartocci, Laura Kovács
Moment-based analysis of Bayesian network properties. Theor. Comput. Sci. 903 (2022)
Ahmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci, Efstathia Bura
Distribution Estimation for Probabilistic Loops. QEST (2022)
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
Search-based Testing for Accurate Fault Localization in CPS. ISSRE (2022)
Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács
This is the Moment for Probabilistic Loops. CoRR (2022)
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Model checking hyperproperties for Markov decision processes. Inf. Comput. 289 (Part) (2022)
Oyendrila Dobe, Lukas Wilke, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
Probabilistic Hyperproperties with Rewards. NFM (2022)
Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
DeepSTL - From English Requirements to Signal Temporal Logic. ICSE (2022)
Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Laura Kovács
This is the moment for probabilistic loops. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
The probabilistic termination tool amber. Formal Methods Syst. Des. 61 (1) (2022)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Information-flow Interfaces. FASE (2022)
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments. CoRR (2022)
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. Log. Methods Comput. Sci. 18 (1) (2022)
Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni
On Normative Reinforcement Learning via Safe Reinforcement Learning. PRIMA (2022)
Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
Survey on mining signal temporal logic specifications. Inf. Comput. 289 (Part) (2022)
Andrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura
Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments. QEST (2022)
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic, Drishti Yadav
FIM: fault injection and mutation for Simulink. ESEC/SIGSOFT FSE (2022)
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovic
Solving Invariant Generation for Unsolvable Loops. CoRR (2022)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Flavors of Sequential Information Flow. VMCAI (2022)
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
Adaptive Testing for Specification Coverage in CPS Models. ADHS (2021)
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
MORA - Automatic Generation of Moment-Based Invariants. CoRR (2021)
Oyendrila Dobe, Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour
HyperProb: A Model Checker for Probabilistic Hyperproperties. FM (2021)
Emery Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori
A Normative Supervisor for Reinforcement Learning Agents. CADE (2021)
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
Online monitoring of spatio-temporal properties for imprecise signals. MEMOCODE (2021)
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Michele Loreti
A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. CoRR (2021)
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
Mining Shape Expressions with ShapeIt. CoRR (2021)
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic, Xin Qin
Mining Shape Expressions with ShapeIt. SEFM (2021)
Jie He, Ezio Bartocci, Dejan Nickovic, Haris Isakovic, Radu Grosu
From English to Signal Temporal Logic. CoRR (2021)
Ezio Bartocci, Luca Bortolussi, Laura Nenzi, Simone Silvetti
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. CoRR (2021)
Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. CDC (2021)
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
The Probabilistic Termination Tool Amber. CoRR (2021)
Ezio Bartocci, Michael A. Bender
A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence". SIGACT News 52 (4) (2021)
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
The Probabilistic Termination Tool Amber. FM (2021)
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities. IEEE Internet Things J. 8 (15) (2021)
Suhail Alsalehi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. CoRR (2021)
Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 20 (5s) (2021)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
CPSDebug: Automatic failure explanation in CPS models. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities. CoRR (2021)
Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals. CoRR (2021)
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
Automated Termination Analysis of Polynomial Probabilistic Programs. ESOP (2021)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Flavours of Sequential Information Flow. CoRR (2021)
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
Mora - Automatic Generation of Moment-Based Invariants. TACAS (1) (2020)
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
Analysis of Bayesian Networks via Prob-Solvable Loops. CoRR (2020)
Meiyi Ma, John A. Stankovic, Ezio Bartocci, Lu Feng
CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities. CoRR (2020)
Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, Simone Silvetti
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. RV (2020)
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
Probabilistic Hyperproperties with Nondeterminism. CoRR (2020)
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
Parameter Synthesis for Probabilistic Hyperproperties. LPAR (2020)
Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros
Runtime Verification of Autonomous Driving Systems in CARLA. RV (2020)
Ezio Bartocci, Jyotirmoy Deshmukh, Felix Gigler, Cristinel Mateis, Dejan Nickovic, Xin Qin
Mining Shape Expressions From Positive Examples. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access 8 (2020)
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
Analysis of Bayesian Networks via Prob-Solvable Loops. ICTAC (2020)
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic
Adaptive Testing for Specification Coverage. CoRR (2020)
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic, Ana Oliveira da Costa
Information-Flow Interfaces. CoRR (2020)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic, Fabrizio Pastore
CPSDebug: a tool for explanation of failures in cyber-physical systems. ISSTA (2020)
Meiyi Ma, Ezio Bartocci, Eli Lifland, John A. Stankovic, Lu Feng
SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities. ICCPS (2020)
Erika Ábrahám, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
Probabilistic Hyperproperties with Nondeterminism. ATVA (2020)
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen, Laura Kovács
Automated Termination Analysis of Polynomial Probabilistic Programs. CoRR (2020)
Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, Ennio Visconti
Monitoring Spatio-Temporal Properties (Invited Tutorial). RV (2020)
Meiyi Ma, Ezio Bartocci, John A. Stankovic, Lu Feng
Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract. SenSys (2020)
Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. CDC (2019)
Denise Ratasich, Faiq Khalid, Florian Geissler, Radu Grosu, Muhammad Shafique, Ezio Bartocci
A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems. IEEE Access 7 (2019)
Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. FORMATS (2019)
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. CoRR (2019)
Ezio Bartocci, Laura Kovács, Miroslav Stankovic
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. ATVA (2019)
Ezio Bartocci, Niveditha Manjunath, Leonardo Mariani, Cristinel Mateis, Dejan Nickovic
Automatic Failure Explanation in CPS Models. CoRR (2019)
Hui Kong, Ezio Bartocci, Yu Jiang, Thomas A. Henzinger
Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. CoRR (2019)
Denise Ratasich, Michael Platzer, Radu Grosu, Ezio Bartocci
Adaptive Fault Detection exploiting Redundancy with Uncertainties in Space and Time. CoRR (2019)
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. CoRR (2019)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, João M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss
A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods Syst. Des. 54 (3) (2019)
Denise Ratasich, Michael Platzer, Radu Grosu, Ezio Bartocci
Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time. SASO (2019)
Meiyi Ma, Ezio Bartocci, Lu Feng, John A. Stankovic
Runtime Monitoring of Real time Safety Requirements in Smart Cities. CoRR (2019)
Christian Hirsch, Ezio Bartocci, Radu Grosu
Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home. ISCT (2019)
Iman Haghighi, Noushin Mehdipour, Ezio Bartocci, Calin Belta
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. CoRR (2019)
Ezio Bartocci, Yliès Falcone, Giles Reger
International Competition on Runtime Verification (CRV). TACAS (3) (2019)

Ezio Bartocci.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ezio Bartocci