Ezio Bartocci

Affiliations:
  • TU Wien, Vienna, Austria


According to our database1, Ezio Bartocci authored at least 169 papers between 2003 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Mining Hyperproperties using Temporal Logics.
ACM Trans. Embed. Comput. Syst., October, 2023

MoonLight: a lightweight tool for monitoring spatio-temporal properties.
Int. J. Softw. Tools Technol. Transf., August, 2023

Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments.
CoRR, 2023

(Un)Solvable Loop Analysis.
CoRR, 2023

Density Elicitation with applications in Probabilistic Loops.
CoRR, 2023

Provable Correct and Adaptive Simplex Architecture for Bounded-Liveness Properties.
Proceedings of the Model Checking Software - 29th International Symposium, 2023

Mining Specification Parameters for Multi-class Classification.
Proceedings of the Runtime Verification - 23rd International Conference, 2023

Introducing Asynchronicity to Probabilistic Hyperproperties.
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

Deductive Controller Synthesis for Probabilistic Hyperproperties.
Proceedings of the Quantitative Evaluation of Systems - 20th International Conference, 2023

An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Property-Based Mutation Testing.
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

Progression for Monitoring in Temporal ASP.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

TD-Magic: From Pictures of Timing Diagrams To Formal Specifications.
Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

Hypernode Automata.
Proceedings of the 34th International Conference on Concurrency Theory, 2023

Lightweight Verification of Hyperproperties.
Proceedings of the Automated Technology for Verification and Analysis, 2023

2022
The probabilistic termination tool amber.
Formal Methods Syst. Des., August, 2022

Moment-based analysis of Bayesian network properties.
Theor. Comput. Sci., 2022

This is the moment for probabilistic loops.
Proc. ACM Program. Lang., 2022

A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems.
Log. Methods Comput. Sci., 2022

Model checking hyperproperties for Markov decision processes.
Inf. Comput., 2022

Survey on mining signal temporal logic specifications.
Inf. Comput., 2022

Enforcing ethical goals over reinforcement-learning policies.
Ethics Inf. Technol., 2022

Flavors of Sequential Information Flow.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

FIM: fault injection and mutation for Simulink.
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Solving Invariant Generation for Unsolvable Loops.
Proceedings of the Static Analysis - 29th International Symposium, 2022

Moment-Based Invariants for Probabilistic Loops with Non-polynomial Assignments.
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

Distribution Estimation for Probabilistic Loops.
Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

On Normative Reinforcement Learning via Safe Reinforcement Learning.
Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022

Probabilistic Hyperproperties with Rewards.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

Search-based Testing for Accurate Fault Localization in CPS.
Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

DeepSTL - From English Requirements to Signal Temporal Logic.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Information-flow Interfaces.
Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021
Predictive Monitoring with Logic-Calibrated Uncertainty for Cyber-Physical Systems.
ACM Trans. Embed. Comput. Syst., 2021

CPSDebug: Automatic failure explanation in CPS models.
Int. J. Softw. Tools Technol. Transf., 2021

A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence".
SIGACT News, 2021

A Novel Spatial-Temporal Specification-Based Monitoring System for Smart Cities.
IEEE Internet Things J., 2021

From English to Signal Temporal Logic.
CoRR, 2021

Flavours of Sequential Information Flow.
CoRR, 2021

MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties.
CoRR, 2021

Mining Shape Expressions with ShapeIt.
Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Online monitoring of spatio-temporal properties for imprecise signals.
Proceedings of the MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20, 2021

HyperProb: A Model Checker for Probabilistic Hyperproperties.
Proceedings of the Formal Methods - 24th International Symposium, 2021

Automated Termination Analysis of Polynomial Probabilistic Programs.
Proceedings of the Programming Languages and Systems, 2021

Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

A Normative Supervisor for Reinforcement Learning Agents.
Proceedings of the Automated Deduction - CADE 28, 2021

Adaptive Testing for Specification Coverage in CPS Models.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

2020
Mining Shape Expressions From Positive Examples.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities.
CoRR, 2020

Adaptive Testing for Specification Coverage.
CoRR, 2020

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems.
IEEE Access, 2020

Mora - Automatic Generation of Moment-Based Invariants.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Predictive monitoring with uncertainty for deep learning enabled smart cities: poster abstract.
Proceedings of the SenSys '20: The 18th ACM Conference on Embedded Networked Sensor Systems, 2020

Runtime Verification of Autonomous Driving Systems in CARLA.
Proceedings of the Runtime Verification - 20th International Conference, 2020

Monitoring Spatio-Temporal Properties (Invited Tutorial).
Proceedings of the Runtime Verification - 20th International Conference, 2020

Parameter Synthesis for Probabilistic Hyperproperties.
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020

CPSDebug: a tool for explanation of failures in cyber-physical systems.
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Analysis of Bayesian Networks via Prob-Solvable Loops.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

SaSTL: Spatial Aggregation Signal Temporal Logic for Runtime Monitoring in Smart Cities.
Proceedings of the 11th ACM/IEEE International Conference on Cyber-Physical Systems, 2020

Probabilistic Hyperproperties with Nondeterminism.
Proceedings of the Automated Technology for Verification and Analysis, 2020

2019
Quantitative Regular Expressions for Arrhythmia Detection.
IEEE ACM Trans. Comput. Biol. Bioinform., 2019

Parallel reachability analysis of hybrid systems in XSpeed.
Int. J. Softw. Tools Technol. Transf., 2019

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.
Int. J. Softw. Tools Technol. Transf., 2019

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des., 2019

A survey of challenges for runtime verification from advanced application domains (beyond software).
Formal Methods Syst. Des., 2019

Runtime Monitoring of Real time Safety Requirements in Smart Cities.
CoRR, 2019

A Roadmap Toward the Resilient Internet of Things for Cyber-Physical Systems.
IEEE Access, 2019

International Competition on Runtime Verification (CRV).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

TOOLympics 2019: An Overview of Competitions in Formal Methods.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Automatic Failure Explanation in CPS Models.
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Adaptive Fault Detection Exploiting Redundancy with Uncertainties in Space and Time.
Proceedings of the 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2019

Capacitive Soil Moisture Sensor Node for IoT in Agriculture and Home.
Proceedings of the IEEE 23rd International Symposium on Consumer Technologies, 2019

Piecewise Robust Barrier Tubes for Nonlinear Hybrid Systems with Uncertainty.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

Extending a Hodgkin-Huxley Model for Larval Drosophila Muscle Excitability via Particle Swarm Fitting.
Proceedings of the Computational Methods in Systems Biology, 2019

Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops.
Proceedings of the Automated Technology for Verification and Analysis, 2019

2018
Introduction to Runtime Verification.
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications.
Proceedings of the Lectures on Runtime Verification - Introductory and Advanced Topics, 2018

A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks.
IEEE Trans. Control. Netw. Syst., 2018

Guest Editors' Introduction to the Special Section on the 14th International Conference on Computational Methods in Systems Biology (CMSB 2016).
IEEE ACM Trans. Comput. Biol. Bioinform., 2018

An Algebraic Framework for Runtime Verification.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Quantitative monitoring of STL with edit distance.
Formal Methods Syst. Des., 2018

A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems.
CoRR, 2018

Monitoring, Learning and Control of Cyber-Physical Systems with STL (Tutorial).
Proceedings of the Runtime Verification - 18th International Conference, 2018

A Robust Genetic Algorithm for Learning Temporal Specifications from Data.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

Parameter-Independent Strategies for pMDPs via POMDPs.
Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

RV-TheToP: Runtime Verification from Theory to the Industry Practice (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Localizing Faults in Simulink/Stateflow Models with STL.
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2018

Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

A Counting Semantics for Monitoring LTL Specifications over Finite Traces.
Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Signal Convolution Logic.
Proceedings of the Automated Technology for Verification and Analysis, 2018

Verifying nonlinear analog and mixed-signal circuits with inputs.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017
Temporal Logic as Filtering.
Proceedings of the Dependable Software Systems Engineering, 2017

Policy learning in continuous-time Markov decision processes using Gaussian Processes.
Perform. Evaluation, 2017

Introduction to the special issue on runtime verification.
Formal Methods Syst. Des., 2017

Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.
CoRR, 2017

SEA-PARAM: Exploring Schedulers in Parametric MDPs.
Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

A Probabilistic Small Model Theorem to Assess Confidentiality of Dispersed Cloud Storage.
Proceedings of the Quantitative Evaluation of Systems - 14th International Conference, 2017

Monitoring mobile and spatially distributed cyber-physical systems.
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Computing with Biophysical and Hardware-Efficient Neural Models.
Proceedings of the Advances in Computational Intelligence, 2017

SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2017

Quantitative Regular Expressions for Arrhythmia Detection Algorithms.
Proceedings of the Computational Methods in Systems Biology, 2017

Runtime Monitoring with Recovery of the SENT Communication Protocol.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016
Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software.
Int. J. Softw. Tools Technol. Transf., 2016

Computational Modeling, Formal Analysis, and Tools for Systems Biology.
PLoS Comput. Biol., 2016

Regular Expressions for Irregular Rhythms.
CoRR, 2016

Applying Runtime Monitoring for Automotive Electronic Development.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Quantitative Monitoring of STL with Edit Distance.
Proceedings of the Runtime Verification - 16th International Conference, 2016

Policy Learning for Time-Bounded Reachability in Continuous-Time Markov Decision Processes via Doubly-Stochastic Gradient Ascent.
Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Parallel reachability analysis for hybrid systems.
Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

The HARMONIA Project: Hardware Monitoring for Automotive Systems-of-Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Feedback Control for Statistical Model Checking of Cyber-Physical Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Runtime Verification and Enforcement, the (Industrial) Application Perspective (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Temporal Logic as Filtering.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Discrete Abstraction of Multiaffine Systems.
Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Monitoring of MTL specifications with IBM's spiking-neuron model.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015
Model-order reduction of ion channel dynamics using approximate bisimulation.
Theor. Comput. Sci., 2015

System design of stochastic models using robustness of temporal properties.
Theor. Comput. Sci., 2015

Deep Neural Programs for Adaptive Control in Cyber-Physical Systems.
CoRR, 2015

From signal temporal logic to FPGA monitors.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

SpaTeL: a novel spatial-temporal logic and its applications to networked systems.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

XSpeed: Accelerating Reachability Analysis on Multi-core Processors.
Proceedings of the Hardware and Software: Verification and Testing, 2015

Abstraction-Based Parameter Synthesis for Multiaffine Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2015

Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Neural Programming: Towards adaptive control in Cyber-Physical Systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
Hybrid Systems and Biology.
Inf. Comput., 2014

Cyber-Physical Systems: Theoretical and Practical Challenges.
ERCIM News, 2014

Towards a GPGPU-parallel SPIN model checker.
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

First International Competition on Software for Runtime Verification.
Proceedings of the Runtime Verification - 5th International Conference, 2014

Temporal Logic Based Monitoring of Assisted Ventilation in Intensive Care Patients.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Medical Cyber-Physical Systems - (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Data-Driven Statistical Learning of Temporal Logic Properties.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

A formal methods approach to pattern synthesis in reaction diffusion systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

2013
Curvature Analysis of Cardiac Excitation Wavefronts.
IEEE ACM Trans. Comput. Biol. Bioinform., 2013

Monitoring with uncertainty.
Proceedings of the Proceedings Third International Workshop on Hybrid Autonomous Systems, 2013

Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias.
CoRR, 2013

On the Robustness of Temporal Properties for Stochastic Models.
Proceedings of the Proceedings Second International Workshop on Hybrid Systems and Biology, 2013

Sampling-based Decentralized Monitoring for Networked Embedded Systems.
Proceedings of the Proceedings Third International Workshop on Hybrid Autonomous Systems, 2013

Runtime Verification with Particle Filtering.
Proceedings of the Runtime Verification - 4th International Conference, 2013

A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits.
Proceedings of the Computational Methods in Systems Biology, 2013

2012
Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study.
Trans. Comp. Sys. Biology, 2012

UBioLab: a web-LABoratory for Ubiquitous in-silico experiments.
J. Integr. Bioinform., 2012

Adaptive Runtime Verification.
Proceedings of the Runtime Verification, Third International Conference, 2012

Approximate Bisimulations for Sodium Channel Dynamics.
Proceedings of the Computational Methods in Systems Biology, 2012

On Temporal Logic and Signal Processing.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Modeling the cell cycle: From deterministic models to hybrid systems.
Biosyst., 2011

Model Repair for Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

A Change of Perspective Yields Formal Analysis.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Runtime Verification with State Estimation.
Proceedings of the Runtime Verification - Second International Conference, 2011

Curvature analysis of cardiac excitation wavefronts.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

Toward real-time simulation of cardiac dynamics.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

From Cardiac Cells to Genetic Regulatory Networks.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
Detecting synchronisation of biological oscillators by model checking.
Theor. Comput. Sci., 2010

Timed Operational Semantics and Well-Formedness of Shape Calculus.
Sci. Ann. Comput. Sci., 2010

Shape Calculus. A Spatial Mobile Calculus for 3D Shapes.
Sci. Ann. Comput. Sci., 2010

Shape Calculus: Timed Operational Semantics and Well-formedness
CoRR, 2010

2009
Modeling and simulation of cardiac tissue using hybrid I/O automata.
Theor. Comput. Sci., 2009

Learning and detecting emergent behavior in networks of cardiac myocytes.
Commun. ACM, 2009

A Shape Calculus for Biological Processes.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009

2008
Model Checking Biological Oscillators.
Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

CellExcite: an efficient simulation environment for excitable cells.
BMC Bioinform., 2008

StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.
Proceedings of the Concurrency, 2008

2007
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue.
Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

Biowep: a workflow enactment portal for bioinformatics applications.
BMC Bioinform., 2007

BioWMS: a web-based Workflow Management System for bioinformatics.
BMC Bioinform., 2007

2006
Model driven design and implementation of activity-based applications in Hermes.
Proceedings of the 7th WOA 2006 Workshop, 2006

Building a MultiAgent System from a User Workflow Specification.
Proceedings of the 7th WOA 2006 Workshop, 2006

Enacting Proactive Workflows Engine in e-Science.
Proceedings of the Computational Science, 2006

2003
An XML View of the "World".
Proceedings of the ICEIS 2003, 2003


  Loading...