An XML View of the "World". - Ezio Bartocci; Emanuela Merelli; Leonardo Mariani (ICEIS (1), 2003)

Enacting Proactive Workflows Engine in e-Science. - Ezio Bartocci; Flavio Corradini; Emanuela Merelli (International Conference on Computational Science (3), 2006)

Building a MultiAgent System from a User Workflow Specification. - Ezio Bartocci; Flavio Corradini; Emanuela Merelli (WOA, 2006)

Model driven design and implementation of activity-based applications in Hermes. - Ezio Bartocci; Flavio Corradini; Emanuela Merelli; Leonardo Vito (WOA, 2006)

BioWMS: a web-based Workflow Management System for bioinformatics. - Ezio Bartocci; Flavio Corradini; Emanuela Merelli; Lorenzo Scortichini (BMC Bioinform., 2007)

Biowep: a workflow enactment portal for bioinformatics applications. - Paolo Romano 001; Ezio Bartocci; Guglielmo Bertolini; Flavio De Paoli; Domenico Marra; Giancarlo Mauri; Emanuela Merelli; Luciano Milanesi (BMC Bioinform., 2007)

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 (FBTC@CONCUR, 2007)

StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. - Ezio Bartocci; Flavio Corradini; Radu Grosu; Emanuela Merelli; Oliviero Riganelli; Scott A. Smolka (Concurrency, Graphs and Models, 2008)

CellExcite: an efficient simulation environment for excitable cells. - Ezio Bartocci; Flavio Corradini; Emilia Entcheva; Radu Grosu; Scott A. Smolka (BMC Bioinform., 2008)

Model Checking Biological Oscillators. - Ezio Bartocci; Flavio Corradini; Emanuela Merelli; Luca Tesei (FBTC@ICALP, 2008)

A Shape Calculus for Biological Processes. - Ezio Bartocci; Flavio Corradini; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (ICTCS, 2009)

Learning and detecting emergent behavior in networks of cardiac myocytes. - Radu Grosu; Scott A. Smolka; Flavio Corradini; Anita Wasilewska; Emilia Entcheva; Ezio Bartocci (Commun. ACM, 2009)

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 (Theor. Comput. Sci., 2009)

Shape Calculus: Timed Operational Semantics and Well-formedness - Ezio Bartocci; Diletta Romana Cacciagrano; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (CoRR, 2010)

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes. - Ezio Bartocci; Flavio Corradini; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (Sci. Ann. Comput. Sci., 2010)

Timed Operational Semantics and Well-Formedness of Shape Calculus. - Ezio Bartocci; Diletta Romana Cacciagrano; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (Sci. Ann. Comput. Sci., 2010)

Detecting synchronisation of biological oscillators by model checking. - Ezio Bartocci; Flavio Corradini; Emanuela Merelli; Luca Tesei (Theor. Comput. Sci., 2010)

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 (CAV, 2011)

Toward real-time simulation of cardiac dynamics. - Ezio Bartocci; Elizabeth Cherry; James Glimm; Radu Grosu; Scott A. Smolka; Flavio H. Fenton (CMSB, 2011)

Curvature analysis of cardiac excitation wavefronts. - Abhishek Murthy; Ezio Bartocci; Flavio H. Fenton; James Glimm; Richard A. Gray; Scott A. Smolka; Radu Grosu (CMSB, 2011)

Runtime Verification with State Estimation. - Scott D. Stoller; Ezio Bartocci; Justin Seyster; Radu Grosu; Klaus Havelund; Scott A. Smolka; Erez Zadok (RV, 2011)

A Change of Perspective Yields Formal Analysis. - Radu Grosu; Flavio H. Fenton; Scott A. Smolka; Ezio Bartocci (SEW, 2011)

Model Repair for Probabilistic Systems. - Ezio Bartocci; Radu Grosu; Panagiotis Katsaros; C. R. Ramakrishnan 001; Scott A. Smolka (TACAS, 2011)

Modeling the cell cycle: From deterministic models to hybrid systems. - Roberta Alfieri; Ezio Bartocci; Emanuela Merelli; Luciano Milanesi (Biosyst., 2011)

On Temporal Logic and Signal Processing. - Alexandre Donzé; Oded Maler; Ezio Bartocci; Dejan Nickovic; Radu Grosu; Scott A. Smolka (ATVA, 2012)

Approximate Bisimulations for Sodium Channel Dynamics. - Abhishek Murthy; Md. Ariful Islam; Ezio Bartocci; Elizabeth Cherry; Flavio H. Fenton; James Glimm; Scott A. Smolka; Radu Grosu (CMSB, 2012)

Adaptive Runtime Verification. - Ezio Bartocci; Radu Grosu; Atul Karmarkar; Scott A. Smolka; Scott D. Stoller; Erez Zadok; Justin Seyster (RV, 2012)

UBioLab: a web-LABoratory for Ubiquitous in-silico experiments. - Ezio Bartocci; Diletta Cacciagrano; Maria Rita Di Berardini; Emanuela Merelli; Leonardo Vito (J. Integr. Bioinform., 2012)

Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study. - Ezio Bartocci; Pietro Liò; Emanuela Merelli; Nicola Paoletti (Trans. Comp. Sys. Biology, 2012)

A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits. - Ezio Bartocci; Luca Bortolussi; Laura Nenzi (CMSB, 2013)

Runtime Verification with Particle Filtering. - Kenan Kalajdzic; Ezio Bartocci; Scott A. Smolka; Scott D. Stoller; Radu Grosu (RV, 2013)

Sampling-based Decentralized Monitoring for Networked Embedded Systems. - Ezio Bartocci (HAS, 2013)

On the Robustness of Temporal Properties for Stochastic Models. - Ezio Bartocci; Luca Bortolussi; Laura Nenzi; Guido Sanguinetti (HSB, 2013)

Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias. - Ezio Bartocci; Luca Bortolussi; Guido Sanguinetti (CoRR, 2013)

Monitoring with uncertainty. - Ezio Bartocci; Radu Grosu (HAS, 2013)

Curvature Analysis of Cardiac Excitation Wavefronts. - Abhishek Murthy; Ezio Bartocci; Flavio H. Fenton; James Glimm; Richard A. Gray; Elizabeth Cherry; Scott A. Smolka; Radu Grosu (IEEE ACM Trans. Comput. Biol. Bioinform., 2013)

A formal methods approach to pattern synthesis in reaction diffusion systems. - Ebru Aydin Gol; Ezio Bartocci; Calin Belta (CDC, 2014)

Data-Driven Statistical Learning of Temporal Logic Properties. - Ezio Bartocci; Luca Bortolussi; Guido Sanguinetti (FORMATS, 2014)

Medical Cyber-Physical Systems - (Track Introduction). - Ezio Bartocci; Sicun Gao; Scott A. Smolka (ISoLA (2), 2014)

Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients. - Sara Bufo; Ezio Bartocci; Guido Sanguinetti; Massimo Borelli; Umberto Lucangelo; Luca Bortolussi (ISoLA (2), 2014)

First International Competition on Software for Runtime Verification. - Ezio Bartocci; Borzoo Bonakdarpour; Yliès Falcone (RV, 2014)

Towards a GPGPU-parallel SPIN model checker. - Ezio Bartocci; Richard DeFrancisco; Scott A. Smolka (SPIN, 2014)

Cyber-Physical Systems: Theoretical and Practical Challenges. - Ezio Bartocci; Oliver Höftberger; Radu Grosu (ERCIM News, 2014)

Hybrid Systems and Biology. - Ezio Bartocci; Luca Bortolussi; Scott A. Smolka (Inf. Comput., 2014)

Neural Programming: Towards adaptive control in Cyber-Physical Systems. - Konstantin Selyunin; Denise Ratasich; Ezio Bartocci; Md. Ariful Islam; Scott A. Smolka; Radu Grosu (CDC, 2015)

Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. - Ezio Bartocci; Luca Bortolussi; Dimitrios Milios; Laura Nenzi; Guido Sanguinetti (HSB, 2015)

Abstraction-Based Parameter Synthesis for Multiaffine Systems. - Sergiy Bogomolov; Christian Schilling 001; Ezio Bartocci; Grégory Batt; Hui Kong 004; Radu Grosu (Haifa Verification Conference, 2015)

XSpeed: Accelerating Reachability Analysis on Multi-core Processors. - Rajarshi Ray 001; Amit Gurung; Binayak Das; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu (Haifa Verification Conference, 2015)

SpaTeL: a novel spatial-temporal logic and its applications to networked systems. - Iman Haghighi; Austin Jones; Zhaodan Kong; Ezio Bartocci; Radu Grosu; Calin Belta (HSCC, 2015)

From signal temporal logic to FPGA monitors. - Stefan Jaksic; Ezio Bartocci; Radu Grosu; Reinhard Kloibhofer; Thang Nguyen 007; Dejan Nickovic (MEMOCODE, 2015)

Deep Neural Programs for Adaptive Control in Cyber-Physical Systems. - Konstantin Selyunin; Denise Ratasich; Ezio Bartocci; Radu Grosu (CoRR, 2015)

System design of stochastic models using robustness of temporal properties. - Ezio Bartocci; Luca Bortolussi; Laura Nenzi; Guido Sanguinetti (Theor. Comput. Sci., 2015)

Model-order reduction of ion channel dynamics using approximate bisimulation. - Md. Ariful Islam; Abhishek Murthy; Ezio Bartocci; Elizabeth Cherry; Flavio H. Fenton; James Glimm; Scott A. Smolka; Radu Grosu (Theor. Comput. Sci., 2015)

Monitoring of MTL specifications with IBM's spiking-neuron model. - Konstantin Selyunin; Thang Nguyen 007; Ezio Bartocci; Dejan Nickovic; Radu Grosu (DATE, 2016)

Discrete Abstraction of Multiaffine Systems. - Hui Kong 004; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu; Thomas A. Henzinger; Yu Jiang 001; Christian Schilling 001 (HSB, 2016)

Temporal Logic as Filtering. - Alëna Rodionova; Ezio Bartocci; Dejan Nickovic; Radu Grosu (HSCC, 2016)

Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction). - Ezio Bartocci; Yliès Falcone (ISoLA (2), 2016)

Feedback Control for Statistical Model Checking of Cyber-Physical Systems. - Kenan Kalajdzic; Cyrille Jégourel; Anna Lukina; Ezio Bartocci; Axel Legay; Scott A. Smolka; Radu Grosu (ISoLA (1), 2016)

The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems. - Thang Nguyen 007; Ezio Bartocci; Dejan Nickovic; Radu Grosu; Stefan Jaksic; Konstantin Selyunin (ISoLA (2), 2016)

Parallel reachability analysis for hybrid systems. - Amit Gurung; Arup Deka; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu; Rajarshi Ray 001 (MEMOCODE, 2016)

Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent. - Ezio Bartocci; Luca Bortolussi; Tomás Brázdil; Dimitrios Milios; Guido Sanguinetti (QEST, 2016)

Quantitative Monitoring of STL with Edit Distance. - Stefan Jaksic; Ezio Bartocci; Radu Grosu; Dejan Nickovic (RV, 2016)

Applying Runtime Monitoring for Automotive Electronic Development. - Konstantin Selyunin; Thang Nguyen 007; Ezio Bartocci; Radu Grosu (RV, 2016)

Regular Expressions for Irregular Rhythms. - Houssam Abbas; Alëna Rodionova; Ezio Bartocci; Scott A. Smolka; Radu Grosu (CoRR, 2016)

Computational Modeling, Formal Analysis, and Tools for Systems Biology. - Ezio Bartocci; Pietro Liò (PLoS Comput. Biol., 2016)

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 001 (Int. J. Softw. Tools Technol. Transf., 2016)

Runtime Monitoring with Recovery of the SENT Communication Protocol. - Konstantin Selyunin; Stefan Jaksic; Thang Nguyen 007; Christian Reidl; Udo Hafner; Ezio Bartocci; Dejan Nickovic; Radu Grosu (CAV (1), 2017)

Quantitative Regular Expressions for Arrhythmia Detection Algorithms. - Houssam Abbas; Alëna Rodionova; Ezio Bartocci; Scott A. Smolka; Radu Grosu (CMSB, 2017)

SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. - Fedor Shmarov; Nicola Paoletti; Ezio Bartocci; Shan Lin 001; Scott A. Smolka; Paolo Zuliani (Haifa Verification Conference, 2017)

Computing with Biophysical and Hardware-Efficient Neural Models. - Konstantin Selyunin; Ramin M. Hasani; Denise Ratasich; Ezio Bartocci; Radu Grosu (IWANN (1), 2017)

Monitoring mobile and spatially distributed cyber-physical systems. - Ezio Bartocci; Luca Bortolussi; Michele Loreti; Laura Nenzi (MEMOCODE, 2017)

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 (QEST, 2017)

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. - Anna Lukina; Lukas Esterle; Christian Hirsch; Ezio Bartocci; Junxing Yang; Ashish Tiwari 001; Scott A. Smolka; Radu Grosu (TACAS (2), 2017)

SEA-PARAM: Exploring Schedulers in Parametric MDPs. - Sebastian Arming; Ezio Bartocci; Ana Sokolova (QAPL@ETAPS, 2017)

Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. - Fedor Shmarov; Nicola Paoletti; Ezio Bartocci; Shan Lin 001; Scott A. Smolka; Paolo Zuliani (CoRR, 2017)

Introduction to the special issue on runtime verification. - Ezio Bartocci; Rupak Majumdar (Formal Methods Syst. Des., 2017)

Policy learning in continuous-time Markov decision processes using Gaussian Processes. - Ezio Bartocci; Luca Bortolussi; Tomás Brázdil; Dimitrios Milios; Guido Sanguinetti (Perform. Evaluation, 2017)

Temporal Logic as Filtering. - Alëna Rodionova; Ezio Bartocci; Dejan Nickovic; Radu Grosu (Dependable Software Systems Engineering, 2017)

Verifying nonlinear analog and mixed-signal circuits with inputs. - Chuchu Fan; Yu Meng 001; Jürgen Maier 002; Ezio Bartocci; Sayan Mitra; Ulrich Schmid 001 (ADHS, 2018)

Signal Convolution Logic. - Simone Silvetti; Laura Nenzi; Ezio Bartocci; Luca Bortolussi (ATVA, 2018)

A Counting Semantics for Monitoring LTL Specifications over Finite Traces. - Ezio Bartocci; Roderick Bloem; Dejan Nickovic; Franz Röck (CAV (1), 2018)

Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes. - Hui Kong 004; Ezio Bartocci; Thomas A. Henzinger (CAV (1), 2018)

Localizing Faults in Simulink/Stateflow Models with STL. - Ezio Bartocci; Thomas Ferrère; Niveditha Manjunath; Dejan Nickovic (HSCC, 2018)

RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction). - Ezio Bartocci; Yliès Falcone (ISoLA (4), 2018)

Parameter-Independent Strategies for pMDPs via POMDPs. - Sebastian Arming; Ezio Bartocci; Krishnendu Chatterjee; Joost-Pieter Katoen; Ana Sokolova (QEST, 2018)

A Robust Genetic Algorithm for Learning Temporal Specifications from Data. - Laura Nenzi; Simone Silvetti; Ezio Bartocci; Luca Bortolussi (QEST, 2018)

Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial). - Ezio Bartocci (RV, 2018)

A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems. - Denise Ratasich; Faiq Khalid; Florian Geissler; Radu Grosu; Muhammad Shafique 001; Ezio Bartocci (CoRR, 2018)

Quantitative monitoring of STL with edit distance. - Stefan Jaksic; Ezio Bartocci; Radu Grosu; Thang Nguyen 007; Dejan Nickovic (Formal Methods Syst. Des., 2018)

An Algebraic Framework for Runtime Verification. - Stefan Jaksic; Ezio Bartocci; Radu Grosu; Dejan Nickovic (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

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 (IEEE ACM Trans. Comput. Biol. Bioinform., 2018)

A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks. - Ezio Bartocci; Ebru Aydin Gol; Iman Haghighi; Calin Belta (IEEE Trans. Control. Netw. Syst., 2018)

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 001 (Lectures on Runtime Verification, 2018)

Introduction to Runtime Verification. - Ezio Bartocci; Yliès Falcone; Adrian Francalanza; Giles Reger (Lectures on Runtime Verification, 2018)

Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops. - Ezio Bartocci; Laura Kovács; Miroslav Stankovic (ATVA, 2019)

Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics. - Iman Haghighi; Noushin Mehdipour; Ezio Bartocci; Calin Belta (CDC, 2019)

Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting. - Paul Piho; Filip Margetiny; Ezio Bartocci; Richard R. Ribchester; Jane Hillston (CMSB, 2019)

Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty. - Hui Kong 004; Ezio Bartocci; Yu Jiang 001; Thomas A. Henzinger (FORMATS, 2019)

Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home. - Christian Hirsch; Ezio Bartocci; Radu Grosu (ISCT, 2019)

Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time. - Denise Ratasich; Michael Platzer; Radu Grosu; Ezio Bartocci (SASO, 2019)

Automatic Failure Explanation in CPS Models. - Ezio Bartocci; Niveditha Manjunath; Leonardo Mariani; Cristinel Mateis; Dejan Nickovic (SEFM, 2019)

TOOLympics 2019: An Overview of Competitions in Formal Methods. - Ezio Bartocci; Dirk Beyer 001; Paul E. Black; Grigory Fedyukovich; Hubert Garavel; Arnd Hartmanns; Marieke Huisman; Fabrice Kordon; Julian Nagele; Mihaela Sighireanu; Bernhard Steffen; Martin Suda 001; et al. (TACAS (3), 2019)

International Competition on Runtime Verification (CRV). - Ezio Bartocci; Yliès Falcone; Giles Reger (TACAS (3), 2019)

A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems. - Denise Ratasich; Faiq Khalid; Florian Geissler; Radu Grosu; Muhammad Shafique 001; Ezio Bartocci (IEEE Access, 2019)

Runtime Monitoring of Real time Safety Requirements in Smart Cities. - Meiyi Ma; Ezio Bartocci; Lu Feng 001; John A. Stankovic (CoRR, 2019)

A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software). - César Sánchez 001; Gerardo Schneider; Wolfgang Ahrendt; Ezio Bartocci; Domenico Bianculli; Christian Colombo 001; Yliès Falcone; Adrian Francalanza; Srdan Krstic; João M. Lourenço; Dejan Nickovic; Gordon J. Pace; et al. (Formal Methods Syst. Des., 2019)

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014. - Ezio Bartocci; Yliès Falcone; Borzoo Bonakdarpour; Christian Colombo 001; Normann Decker; Klaus Havelund; Yogi Joshi; Felix Klaedtke; Reed Milewicz; Giles Reger; Grigore Rosu; Julien Signoles; et al. (Int. J. Softw. Tools Technol. Transf., 2019)

Parallel reachability analysis of hybrid systems in XSpeed. - Amit Gurung; Rajarshi Ray 001; Ezio Bartocci; Sergiy Bogomolov; Radu Grosu (Int. J. Softw. Tools Technol. Transf., 2019)

Quantitative Regular Expressions for Arrhythmia Detection. - Houssam Abbas; Alëna Rodionova; Konstantinos Mamouras; Ezio Bartocci; Scott A. Smolka; Radu Grosu (IEEE ACM Trans. Comput. Biol. Bioinform., 2019)

Probabilistic Hyperproperties with Nondeterminism. - Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour; Oyendrila Dobe (ATVA, 2020)

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities. - Meiyi Ma; Ezio Bartocci; Eli Lifland; John A. Stankovic; Lu Feng 001 (ICCPS, 2020)

Analysis of Bayesian Networks via Prob-Solvable Loops. - Ezio Bartocci; Laura Kovács; Miroslav Stankovic (ICTAC, 2020)

CPSDebug: a tool for explanation of failures in cyber-physical systems. - Ezio Bartocci; Niveditha Manjunath; Leonardo Mariani; Cristinel Mateis; Dejan Nickovic; Fabrizio Pastore (ISSTA, 2020)

Parameter Synthesis for Probabilistic Hyperproperties. - Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour; Oyendrila Dobe (LPAR, 2020)

Monitoring Spatio-Temporal Properties (Invited Tutorial). - Laura Nenzi; Ezio Bartocci; Luca Bortolussi; Michele Loreti; Ennio Visconti (RV, 2020)

Runtime Verification of Autonomous Driving Systems in CARLA. - Eleni Zapridou; Ezio Bartocci; Panagiotis Katsaros (RV, 2020)

Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract. - Meiyi Ma; Ezio Bartocci; John A. Stankovic; Lu Feng 001 (SenSys, 2020)

Mora - Automatic Generation of Moment-Based Invariants. - Ezio Bartocci; Laura Kovács; Miroslav Stankovic (TACAS (1), 2020)

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. - Fedor Shmarov; Sadegh Soudjani; Nicola Paoletti; Ezio Bartocci; Shan Lin 001; Scott A. Smolka; Paolo Zuliani (IEEE Access, 2020)

Adaptive Testing for Specification Coverage. - Ezio Bartocci; Roderick Bloem; Benedikt Maderbacher; Niveditha Manjunath; Dejan Nickovic (CoRR, 2020)

CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities. - Meiyi Ma; John A. Stankovic; Ezio Bartocci; Lu Feng 001 (CoRR, 2020)

Mining Shape Expressions From Positive Examples. - Ezio Bartocci; Jyotirmoy Deshmukh; Felix Gigler; Cristinel Mateis; Dejan Nickovic; Xin Qin (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Adaptive Testing for Specification Coverage in CPS Models. - Ezio Bartocci; Roderick Bloem; Benedikt Maderbacher; Niveditha Manjunath; Dejan Nickovic (ADHS, 2021)

A Normative Supervisor for Reinforcement Learning Agents. - Emery A. Neufeld; Ezio Bartocci; Agata Ciabattoni; Guido Governatori (CADE, 2021)

Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications. - Suhail Alsalehi; Noushin Mehdipour; Ezio Bartocci; Calin Belta (CDC, 2021)

Automated Termination Analysis of Polynomial Probabilistic Programs. - Marcel Moosbrugger; Ezio Bartocci; Joost-Pieter Katoen; Laura Kovács (ESOP, 2021)

HyperProb: A Model Checker for Probabilistic Hyperproperties. - Oyendrila Dobe; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (FM, 2021)

Online monitoring of spatio-temporal properties for imprecise signals. - Ennio Visconti; Ezio Bartocci; Michele Loreti; Laura Nenzi (MEMOCODE, 2021)

Mining Shape Expressions with ShapeIt. - Ezio Bartocci; Jyotirmoy Deshmukh; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic; Xin Qin (SEFM, 2021)

MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. - Ezio Bartocci; Luca Bortolussi; Laura Nenzi; Simone Silvetti (CoRR, 2021)

Flavours of Sequential Information Flow. - Ezio Bartocci; Thomas Ferrère; Thomas A. Henzinger; Dejan Nickovic; Ana Oliveira da Costa (CoRR, 2021)

From English to Signal Temporal Logic. - Jie He; Ezio Bartocci; Dejan Nickovic; Haris Isakovic; Radu Grosu (CoRR, 2021)

A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities. - Meiyi Ma; Ezio Bartocci; Eli Lifland; John A. Stankovic; Lu Feng 001 (IEEE Internet Things J., 2021)

A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence". - Ezio Bartocci; Michael A. Bender (SIGACT News, 2021)

CPSDebug: Automatic failure explanation in CPS models. - Ezio Bartocci; Niveditha Manjunath; Leonardo Mariani; Cristinel Mateis; Dejan Nickovic (Int. J. Softw. Tools Technol. Transf., 2021)

Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems. - Meiyi Ma; John A. Stankovic; Ezio Bartocci; Lu Feng 001 (ACM Trans. Embed. Comput. Syst., 2021)

DeepSTL - From English Requirements to Signal Temporal Logic. - Jie He; Ezio Bartocci; Dejan Nickovic; Haris Isakovic; Radu Grosu (ICSE, 2022)

Search-based Testing for Accurate Fault Localization in CPS. - Ezio Bartocci; Leonardo Mariani; Dejan Nickovic; Drishti Yadav (ISSRE, 2022)

Probabilistic Hyperproperties with Rewards. - Oyendrila Dobe; Lukas Wilke; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (NFM, 2022)

On Normative Reinforcement Learning via Safe Reinforcement Learning. - Emery A. Neufeld; Ezio Bartocci; Agata Ciabattoni (PRIMA, 2022)

Distribution Estimation for Probabilistic Loops. - Ahmad Karimi; Marcel Moosbrugger; Miroslav Stankovic; Laura Kovács; Ezio Bartocci; Efstathia Bura (QEST, 2022)

Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments. - Andrey Kofnov; Marcel Moosbrugger; Miroslav Stankovic; Ezio Bartocci; Efstathia Bura (QEST, 2022)

Solving Invariant Generation for Unsolvable Loops. - Daneshvar Amrollahi; Ezio Bartocci; George Kenison; Laura Kovács; Marcel Moosbrugger; Miroslav Stankovic (SAS, 2022)

FIM: fault injection and mutation for Simulink. - Ezio Bartocci; Leonardo Mariani; Dejan Nickovic; Drishti Yadav (ESEC/SIGSOFT FSE, 2022)

Flavors of Sequential Information Flow. - Ezio Bartocci; Thomas Ferrère; Thomas A. Henzinger; Dejan Nickovic; Ana Oliveira da Costa (VMCAI, 2022)

Enforcing ethical goals over reinforcement-learning policies. - Emery A. Neufeld; Ezio Bartocci; Agata Ciabattoni; Guido Governatori (Ethics Inf. Technol., 2022)

Survey on mining signal temporal logic specifications. - Ezio Bartocci; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic (Inf. Comput., 2022)

Model checking hyperproperties for Markov decision processes. - Oyendrila Dobe; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (Inf. Comput., 2022)

A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems. - Laura Nenzi; Ezio Bartocci; Luca Bortolussi; Michele Loreti (Log. Methods Comput. Sci., 2022)

This is the moment for probabilistic loops. - Marcel Moosbrugger; Miroslav Stankovic; Ezio Bartocci; Laura Kovács (Proc. ACM Program. Lang., 2022)

Moment-based analysis of Bayesian network properties. - Miroslav Stankovic; Ezio Bartocci; Laura Kovács (Theor. Comput. Sci., 2022)

FIM: Fault Injection and Mutation for Simulink. - Ezio Bartocci; Leonardo Mariani; Dejan Nickovic; Drishti Yadav (Zenodo, 2022)

This is the Moment for Probabilistic Loops - Artifact (Polar). - Marcel Moosbrugger; Miroslav Stankovic; Ezio Bartocci; Laura Kovács (Zenodo, 2022)

This is the Moment for Probabilistic Loops - Artifact (Polar). - Marcel Moosbrugger; Miroslav Stankovic; Ezio Bartocci; Laura Kovács (Zenodo, 2022)

This is the Moment for Probabilistic Loops - Artifact (Polar). - Marcel Moosbrugger; Miroslav Stankovic; Ezio Bartocci; Laura Kovács (Zenodo, 2022)

This is the Moment for Probabilistic Loops - Artifact (Polar). - Marcel Moosbrugger; Miroslav Stankovic; Ezio Bartocci; Laura Kovács (Zenodo, 2022)

The probabilistic termination tool amber. - Marcel Moosbrugger; Ezio Bartocci; Joost-Pieter Katoen; Laura Kovács (Formal Methods Syst. Des., 2022)

Lightweight Verification of Hyperproperties. - Oyendrila Dobe; Stefan Schupp; Ezio Bartocci; Borzoo Bonakdarpour; Axel Legay; Miroslav Pajic; Yu Wang 044 (ATVA, 2023)

Hypernode Automata. - Ezio Bartocci; Thomas A. Henzinger; Dejan Nickovic; Ana Oliveira da Costa (CONCUR, 2023)

TD-Magic: From Pictures of Timing Diagrams To Formal Specifications. - Jie He; Dejan Nickovic; Ezio Bartocci; Radu Grosu (DAC, 2023)

Progression for Monitoring in Temporal ASP. - Davide Soldà; Ignacio D. Lopez-Miguel; Ezio Bartocci; Thomas Eiter (ECAI, 2023)

Property-Based Mutation Testing. - Ezio Bartocci; Leonardo Mariani; Dejan Nickovic; Drishti Yadav (ICST, 2023)

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 (ASE, 2023)

Deductive Controller Synthesis for Probabilistic Hyperproperties. - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (QEST, 2023)

Introducing Asynchronicity to Probabilistic Hyperproperties. - Lina Gerlach; Oyendrila Dobe; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (QEST, 2023)

Mining Specification Parameters for Multi-class Classification. - Edgar A. Aguilar; Ezio Bartocci; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic (RV, 2023)

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties. - Benedikt Maderbacher; Stefan Schupp; Ezio Bartocci; Roderick Bloem; Dejan Nickovic; Bettina Könighofer (SPIN, 2023)

Density Elicitation with applications in Probabilistic Loops. - Andrey Kofnov; Ezio Bartocci; Efstathia Bura (CoRR, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

A-HyperProb. - Lina Gerlach; Oyendrila Dobe; Erika Ábrahám; Ezio Bartocci; Borzoo Bonakdarpour (Zenodo, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

Artifact supplement for "Deductive Controller Synthesis for Probabilistic Hyperproperties". - Roman Andriushchenko; Ezio Bartocci; Milan Ceska 002; Francesco Pontiggia; Sarah Sallinger (Zenodo, 2023)

MoonLight: a lightweight tool for monitoring spatio-temporal properties. - Laura Nenzi; Ezio Bartocci; Luca Bortolussi; Simone Silvetti; Michele Loreti (Int. J. Softw. Tools Technol. Transf., 2023)

Mining Hyperproperties using Temporal Logics. - Ezio Bartocci; Cristinel Mateis; Eleonora Nesterini; Dejan Nickovic (ACM Trans. Embed. Comput. Syst., 2023)

A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case. - Ezio Bartocci; Josée Desharnais; Peter Lindner 001; Ana Sokolova (Principles of Verification (2), 2024)

Polar: An Algebraic Analyzer for (Probabilistic) Loops. - Marcel Moosbrugger; Julian Müllner; Ezio Bartocci; Laura Kovács (Principles of Verification (1), 2024)

Verifying Global Two-Safety Properties in Neural Networks with Confidence. - Anagha Athavale; Ezio Bartocci; Maria Christakis; Matteo Maffei; Dejan Nickovic; Georg Weissenbacher (CAV (2), 2024)

DeepRIoT: Continuous Integration and Deployment of Robotic-IoT Applications. - Meixun Qu; Jie He; Zlatan Tucakovic; Ezio Bartocci; Dejan Nickovic; Haris Isakovic; Radu Grosu (DAC, 2024)

Adaptable Configuration of Decentralized Monitors. - Ennio Visconti; Ezio Bartocci; Yliès Falcone; Laura Nenzi (FORTE, 2024)

The ProbInG Project: Advancing Automatic Analysis of Probabilistic Loops. - Ezio Bartocci (ISoLA (1), 2024)

Probabilistic Loop Synthesis from Sequences of Moments. - Miroslav Stankovic; Ezio Bartocci (QEST+FORMATS, 2024)

Quantifying Uncertainty in Probabilistic Loops Without Sampling: A Fully Automated Approach. - Ezio Bartocci (RP, 2024)

A Comparison of Monitoring Techniques for Deep Neural Networks. - Ezio Bartocci; Wasim Essbai (AISoLA, 2024)

Model Checking Recursive Probabilistic Programs with Conditioning. - Francesco Pontiggia; Ezio Bartocci; Michele Chiari (CoRR, 2024)

Information-flow Interfaces and Security Lattices. - Ezio Bartocci; Thomas A. Henzinger; Dejan Nickovic; Ana Oliveira da Costa (CoRR, 2024)

Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments. - Andrey Kofnov; Marcel Moosbrugger; Miroslav Stankovic; Ezio Bartocci; Efstathia Bura (ACM Trans. Model. Comput. Simul., 2024)

POPACheck: A Model Checker for Probabilistic Pushdown Automata. - Francesco Pontiggia; Ezio Bartocci; Michele Chiari (CAV (2), 2025)

Mining Specifications for Predictive Safety Monitoring. - Eleonora Nesterini; Ezio Bartocci; Alessio Gambi; Dejan Nickovic; Sanjit A. Seshia; Hazem Torfah (ICCPS, 2025)

Exact Upper and Lower Bounds for the Output Distribution of Neural Networks with Random Inputs. - Andrey Kofnov; Daniel Kapla; Ezio Bartocci; Efstathia Bura (CoRR, 2025)

Rule-Guided Reinforcement Learning Policy Evaluation and Improvement. - Martin Tappler; Ignacio D. Lopez-Miguel; Sebastian Tschiatschek; Ezio Bartocci (CoRR, 2025)

Cumulative-Time Signal Temporal Logic. - Hongkai Chen 001; Zeyu Zhang; Shouvik Roy; Ezio Bartocci; Scott A. Smolka; Scott D. Stoller; Shan Lin 001 (CoRR, 2025)

(Un)Solvable loop analysis. - Daneshvar Amrollahi; Ezio Bartocci; George Kenison; Laura Kovács; Marcel Moosbrugger; Miroslav Stankovic (Formal Methods Syst. Des., 2025)

Information-flow interfaces. - Ezio Bartocci; Thomas Ferrère; Thomas A. Henzinger; Dejan Nickovic; Ana Oliveira da Costa (Formal Methods Syst. Des., 2025)

TD-Interpreter: Enhancing the Understanding of Timing Diagrams with Visual-Language Learning. - Jie He; Vincent Theo Willem Kenbeek; Zhantao Yang; Meixun Qu; Ezio Bartocci; Dejan Nickovic; Radu Grosu (CoRR, 2025)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators. - Beatrice Melani; Ezio Bartocci; Michele Chiari (CoRR, 2025)

Quantifying the Satisfaction of Spatio-Temporal Logic Specifications for Multiagent Control. - Wenliang Liu 001; Suhail Alsalehi; Noushin Mehdipour; Ezio Bartocci; Calin Belta (IEEE Trans. Autom. Control., 2025)

Gray-box runtime enforcement of hyperproperties. - Tzu-Han Hsu; Ana Oliveira da Costa; Andrew Wintenberg; Ezio Bartocci; Borzoo Bonakdarpour (Acta Informatica, 2025)

Signal Feature Coverage and Testing for CPS Dataflow Models. - Ezio Bartocci; Leonardo Mariani; Dejan Nickovic; Drishti Yadav (ACM Trans. Softw. Eng. Methodol., 2025)