b'Ezio Bartocci'

The Probabilistic Termination Tool Amber

We describe the Amber tool for proving and refuting the termination of a...
07/27/2021 ∙ by Marcel Moosbrugger, et al. ∙ 0 ∙ share

read it
Flavours of Sequential Information Flow

Information-flow policies prescribe which information is available to a ...
05/05/2021 ∙ by Ezio Bartocci, et al. ∙ 0 ∙ share

read it
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties

We present MoonLight, a tool for monitoring temporal and spatio-temporal...
04/29/2021 ∙ by Ezio Bartocci, et al. ∙ 0 ∙ share

read it
Neural Network-based Control for Multi-Agent Systems from Spatio-Temporal Specifications

We propose a framework for solving control synthesis problems for multi-...
04/06/2021 ∙ by suhail Alsalehi, et al. ∙ 0 ∙ share

read it
MORA – Automatic Generation of Moment-Based Invariants

We introduce MORA, an automated tool for generating invariants of probab...
03/05/2021 ∙ by Ezio Bartocci, et al. ∙ 0 ∙ share

read it
CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities

We present CityPM, a novel predictive monitoring system for smart cities...
10/31/2020 ∙ by Meiyi Ma, et al. ∙ 0 ∙ share

read it
Adaptive Testing for Specification Coverage

Ensuring correctness of cyber-physical systems (CPS) is an extremely cha...
10/13/2020 ∙ by Ezio Bartocci, et al. ∙ 0 ∙ share

read it
Automated Termination Analysis of Polynomial Probabilistic Programs

The termination behavior of probabilistic programs depends on the outcom...
10/07/2020 ∙ by Marcel Moosbrugger, et al. ∙ 0 ∙ share

read it
Analysis of Bayesian Networks via Prob-Solvable Loops

Prob-solvable loops are probabilistic programs with polynomial assignmen...
07/18/2020 ∙ by Ezio Bartocci, et al. ∙ 0 ∙ share

read it
Probabilistic Hyperproperties with Nondeterminism

We study the problem of formalizing and checking probabilistic hyperprop...
05/13/2020 ∙ by Erika Ábrahám, et al. ∙ 0 ∙ share

read it
Information-Flow Interfaces

Contract-based design is a promising methodology for taming the complexi...
02/15/2020 ∙ by Ezio Bartocci, et al. ∙ 0 ∙ share

read it
Runtime Monitoring of Safety and Performance Requirements in Smart Cities

With the increasing number of smart services implemented in smart cities...
08/06/2019 ∙ by Meiyi Ma, et al. ∙ 0 ∙ share

read it
Runtime Monitoring of Real time Safety Requirements in Smart Cities

There is an increasing need for the runtime monitoring of real time safe...
08/06/2019 ∙ by Meiyi Ma, et al. ∙ 0 ∙ share

read it
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops

One of the main challenges in the analysis of probabilistic programs is ...
05/07/2019 ∙ by Ezio Bartocci, et al. ∙ 0 ∙ share

read it
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems

Cyber-Physical Systems (CPS) consist of collaborative, networked and tig...
04/15/2019 ∙ by Ezio Bartocci, et al. ∙ 0 ∙ share

read it
Automatic Failure Explanation in CPS Models

Debugging Cyber-Physical System (CPS) models can be extremely complex. I...
03/29/2019 ∙ by Ezio Bartocci, et al. ∙ 0 ∙ share

read it
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems

We present a new method for the automated synthesis of digital controlle...
01/10/2019 ∙ by Fedor Shmarov, et al. ∙ 0 ∙ share

read it
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)

Runtime verification is an area of formal methods that studies the dynam...
11/16/2018 ∙ by Cesar Sanchez, et al. ∙ 0 ∙ share

read it
A Roadmap Towards Resilient Internet of Things for Cyber-Physical Systems

The Internet of Things (IoT) is an ubiquitous system connecting many dif...
10/16/2018 ∙ by Denise Ratasich, et al. ∙ 0 ∙ share

read it
Parameter-Independent Strategies for pMDPs via POMDPs

Markov Decision Processes (MDPs) are a popular class of models suitable ...
06/13/2018 ∙ by Sebastian Arming, et al. ∙ 0 ∙ share

read it
Signal Convolution Logic

We introduce a new logic called Signal Convolution Logic (SCL) that comb...
06/01/2018 ∙ by Simone Silvetti, et al. ∙ 0 ∙ share

read it
A Counting Semantics for Monitoring LTL Specifications over Finite Traces

We consider the problem of monitoring a Linear Time Logic (LTL) specific...
04/09/2018 ∙ by Ezio Bartocci, et al. ∙ 0 ∙ share

read it
An Algebraic Framework for Runtime Verification

Runtime verification (RV) is a pragmatic and scalable, yet rigorous tech...
02/11/2018 ∙ by Stefan Jaksic, et al. ∙ 0 ∙ share

read it
A Robust Genetic Algorithm for Learning Temporal Specifications from Data

We consider the problem of mining signal temporal logical requirements f...
11/13/2017 ∙ by Simone Silvetti, et al. ∙ 0 ∙ share

read it
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans

We introduce ARES, an efficient approximation algorithm for generating o...
12/21/2016 ∙ by Anna Lukina, et al. ∙ 0 ∙ share

read it
Deep Neural Programs for Adaptive Control in Cyber-Physical Systems

We introduce Deep Neural Programs (DNP), a novel programming paradigm fo...
02/13/2015 ∙ by Konstantin Selyunin, et al. ∙ 0 ∙ share

read it
A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems

We propose a technique to detect and generate patterns in a network of l...
09/12/2014 ∙ by Ebru Aydin Gol, et al. ∙ 0 ∙ share

read it
Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias

We present a novel approach to learn the formulae characterising the eme...
12/29/2013 ∙ by Ezio Bartocci, et al. ∙ 0 ∙ share

read it
On the Robustness of Temporal Properties for Stochastic Models

Stochastic models such as Continuous-Time Markov Chains (CTMC) and Stoch...
09/03/2013 ∙ by Ezio Bartocci, et al. ∙ 0 ∙ share

read it

Ezio Bartocci

Featured Co-authors