b'Ezio Bartocci'

research

∙ 08/31/2023

An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge

The advent of edge devices dedicated to machine learning tasks enabled t...

0 Alessandro Tundo, et al. ∙

research

∙ 07/11/2023

Introducing Asynchronicity to Probabilistic Hyperproperties

Probabilistic hyperproperties express probabilistic relations between di...

0 Lina Gerlach, et al. ∙

research

∙ 07/10/2023

Deductive Controller Synthesis for Probabilistic Hyperproperties

Probabilistic hyperproperties specify quantitative relations between the...

0 Roman Andriushchenko, et al. ∙

research

∙ 06/12/2023

Exact and Approximate Moment Derivation for Probabilistic Loops With Non-Polynomial Assignments

Many stochastic continuous-state dynamical systems can be modeled as pro...

0 Andrey Kofnov, et al. ∙

research

∙ 06/02/2023

(Un)Solvable Loop Analysis

Automatically generating invariants, key to computer-aided analysis of p...

0 Daneshvar Amrollahi, et al. ∙

research

∙ 04/17/2023

Density Elicitation with applications in Probabilistic Loops

Probabilistic loops can be employed to implement and to model different ...

0 Andrey Kofnov, et al. ∙

research

∙ 01/31/2023

Property-Based Mutation Testing

Mutation testing is an established software quality assurance technique ...

0 Ezio Bartocci, et al. ∙

research

∙ 06/14/2022

Solving Invariant Generation for Unsolvable Loops

Automatically generating invariants, key to computer-aided analysis of p...

0 Daneshvar Amrollahi, et al. ∙

research

∙ 05/13/2022

Distribution Estimation for Probabilistic Loops

We present an algorithmic approach to estimate the value distributions o...

0 Ahmad Karimi, et al. ∙

research

∙ 05/05/2022

Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments

We present a method to automatically approximate moment-based invariants...

0 Andrey Kofnov, et al. ∙

research

∙ 04/14/2022

This is the Moment for Probabilistic Loops

We present a novel static analysis technique to derive higher moments fo...

0 Marcel Moosbrugger, et al. ∙

research

∙ 09/24/2021

Mining Shape Expressions with ShapeIt

We present ShapeIt, a tool for mining specifications of cyber-physical s...

0 Ezio Bartocci, et al. ∙

research

∙ 09/21/2021

From English to Signal Temporal Logic

Formal methods provide very powerful tools and techniques for the design...

5 Jie He, et al. ∙

research

∙ 09/16/2021

Online Monitoring of Spatio-Temporal Properties for Imprecise Signals

From biological systems to cyber-physical systems, monitoring the behavi...

0 Ennio Visconti, et al. ∙

research

∙ 07/27/2021

The Probabilistic Termination Tool Amber

We describe the Amber tool for proving and refuting the termination of a...

0 Marcel Moosbrugger, et al. ∙

research

∙ 05/05/2021

Flavours of Sequential Information Flow

Information-flow policies prescribe which information is available to a ...

0 Ezio Bartocci, et al. ∙

research

∙ 04/29/2021

MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties

We present MoonLight, a tool for monitoring temporal and spatio-temporal...

0 Ezio Bartocci, et al. ∙

research

∙ 04/06/2021

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

We propose a framework for solving control synthesis problems for multi-...

0 suhail Alsalehi, et al. ∙

research

∙ 03/05/2021

MORA – Automatic Generation of Moment-Based Invariants

We introduce MORA, an automated tool for generating invariants of probab...

0 Ezio Bartocci, et al. ∙

research

∙ 10/31/2020

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

We present CityPM, a novel predictive monitoring system for smart cities...

0 Meiyi Ma, et al. ∙

research

∙ 10/13/2020

Adaptive Testing for Specification Coverage

Ensuring correctness of cyber-physical systems (CPS) is an extremely cha...

0 Ezio Bartocci, et al. ∙

research

∙ 10/07/2020

Automated Termination Analysis of Polynomial Probabilistic Programs

The termination behavior of probabilistic programs depends on the outcom...

0 Marcel Moosbrugger, et al. ∙

research

∙ 07/18/2020

Analysis of Bayesian Networks via Prob-Solvable Loops

Prob-solvable loops are probabilistic programs with polynomial assignmen...

0 Ezio Bartocci, et al. ∙

research

∙ 05/13/2020

Probabilistic Hyperproperties with Nondeterminism

We study the problem of formalizing and checking probabilistic hyperprop...

0 Erika Ábrahám, et al. ∙

research

∙ 02/15/2020

Information-Flow Interfaces

Contract-based design is a promising methodology for taming the complexi...

0 Ezio Bartocci, et al. ∙

research

∙ 08/06/2019

Runtime Monitoring of Safety and Performance Requirements in Smart Cities

With the increasing number of smart services implemented in smart cities...

0 Meiyi Ma, et al. ∙

research

∙ 08/06/2019

Runtime Monitoring of Real time Safety Requirements in Smart Cities

There is an increasing need for the runtime monitoring of real time safe...

0 Meiyi Ma, et al. ∙

research

∙ 05/07/2019

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

One of the main challenges in the analysis of probabilistic programs is ...

0 Ezio Bartocci, et al. ∙

research

∙ 04/15/2019

Monitoring Mobile and Spatially Distributed Cyber-Physical Systems

Cyber-Physical Systems (CPS) consist of collaborative, networked and tig...

0 Ezio Bartocci, et al. ∙

research

∙ 03/29/2019

Automatic Failure Explanation in CPS Models

Debugging Cyber-Physical System (CPS) models can be extremely complex. I...

0 Ezio Bartocci, et al. ∙

research

∙ 01/10/2019

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

We present a new method for the automated synthesis of digital controlle...

0 Fedor Shmarov, et al. ∙

research

∙ 11/16/2018

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...

0 Cesar Sanchez, et al. ∙

research

∙ 10/16/2018

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

The Internet of Things (IoT) is an ubiquitous system connecting many dif...

0 Denise Ratasich, et al. ∙

research

∙ 06/13/2018

Parameter-Independent Strategies for pMDPs via POMDPs

Markov Decision Processes (MDPs) are a popular class of models suitable ...

0 Sebastian Arming, et al. ∙

research

∙ 06/01/2018

Signal Convolution Logic

We introduce a new logic called Signal Convolution Logic (SCL) that comb...

0 Simone Silvetti, et al. ∙

research

∙ 04/09/2018

A Counting Semantics for Monitoring LTL Specifications over Finite Traces

We consider the problem of monitoring a Linear Time Logic (LTL) specific...

0 Ezio Bartocci, et al. ∙

research

∙ 02/11/2018

An Algebraic Framework for Runtime Verification

Runtime verification (RV) is a pragmatic and scalable, yet rigorous tech...

0 Stefan Jaksic, et al. ∙

research

∙ 11/13/2017

A Robust Genetic Algorithm for Learning Temporal Specifications from Data

We consider the problem of mining signal temporal logical requirements f...

0 Simone Silvetti, et al. ∙

research

∙ 12/21/2016

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans

We introduce ARES, an efficient approximation algorithm for generating o...

0 Anna Lukina, et al. ∙

research

∙ 02/13/2015

Deep Neural Programs for Adaptive Control in Cyber-Physical Systems

We introduce Deep Neural Programs (DNP), a novel programming paradigm fo...

0 Konstantin Selyunin, et al. ∙

research

∙ 09/12/2014

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...

0 Ebru Aydin Gol, et al. ∙

research

∙ 12/29/2013

Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias

We present a novel approach to learn the formulae characterising the eme...

0 Ezio Bartocci, et al. ∙

research

∙ 09/03/2013

On the Robustness of Temporal Properties for Stochastic Models

Stochastic models such as Continuous-Time Markov Chains (CTMC) and Stoch...

0 Ezio Bartocci, et al. ∙

Ezio Bartocci

Featured Co-authors