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...
share
research
∙
07/11/2023
Introducing Asynchronicity to Probabilistic Hyperproperties
Probabilistic hyperproperties express probabilistic relations between di...
research
∙
07/10/2023
Deductive Controller Synthesis for Probabilistic Hyperproperties
Probabilistic hyperproperties specify quantitative relations between the...
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...
research
∙
06/02/2023
(Un)Solvable Loop Analysis
Automatically generating invariants, key to computer-aided analysis of p...
research
∙
04/17/2023
Density Elicitation with applications in Probabilistic Loops
Probabilistic loops can be employed to implement and to model different ...
research
∙
01/31/2023
Property-Based Mutation Testing
Mutation testing is an established software quality assurance technique ...
research
∙
06/14/2022
Solving Invariant Generation for Unsolvable Loops
Automatically generating invariants, key to computer-aided analysis of p...
research
∙
05/13/2022
Distribution Estimation for Probabilistic Loops
We present an algorithmic approach to estimate the value distributions o...
research
∙
05/05/2022
Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments
We present a method to automatically approximate moment-based invariants...
research
∙
04/14/2022
This is the Moment for Probabilistic Loops
We present a novel static analysis technique to derive higher moments fo...
research
∙
09/24/2021
Mining Shape Expressions with ShapeIt
We present ShapeIt, a tool for mining specifications of cyber-physical s...
research
∙
09/21/2021
From English to Signal Temporal Logic
Formal methods provide very powerful tools and techniques for the design...
research
∙
09/16/2021
Online Monitoring of Spatio-Temporal Properties for Imprecise Signals
From biological systems to cyber-physical systems, monitoring the behavi...
research
∙
07/27/2021
The Probabilistic Termination Tool Amber
We describe the Amber tool for proving and refuting the termination of a...
research
∙
05/05/2021
Flavours of Sequential Information Flow
Information-flow policies prescribe which information is available to a ...
research
∙
04/29/2021
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties
We present MoonLight, a tool for monitoring temporal and spatio-temporal...
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-...
research
∙
03/05/2021
MORA – Automatic Generation of Moment-Based Invariants
We introduce MORA, an automated tool for generating invariants of probab...
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...
research
∙
10/13/2020
Adaptive Testing for Specification Coverage
Ensuring correctness of cyber-physical systems (CPS) is an extremely cha...
research
∙
10/07/2020
Automated Termination Analysis of Polynomial Probabilistic Programs
The termination behavior of probabilistic programs depends on the outcom...
research
∙
07/18/2020
Analysis of Bayesian Networks via Prob-Solvable Loops
Prob-solvable loops are probabilistic programs with polynomial assignmen...
research
∙
05/13/2020
Probabilistic Hyperproperties with Nondeterminism
We study the problem of formalizing and checking probabilistic hyperprop...
research
∙
02/15/2020
Information-Flow Interfaces
Contract-based design is a promising methodology for taming the complexi...
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...
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...
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 ...
research
∙
04/15/2019
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems
Cyber-Physical Systems (CPS) consist of collaborative, networked and tig...
research
∙
03/29/2019
Automatic Failure Explanation in CPS Models
Debugging Cyber-Physical System (CPS) models can be extremely complex. I...
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...
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...
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...
research
∙
06/13/2018
Parameter-Independent Strategies for pMDPs via POMDPs
Markov Decision Processes (MDPs) are a popular class of models suitable ...
research
∙
06/01/2018
Signal Convolution Logic
We introduce a new logic called Signal Convolution Logic (SCL) that comb...
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...
research
∙
02/11/2018
An Algebraic Framework for Runtime Verification
Runtime verification (RV) is a pragmatic and scalable, yet rigorous tech...
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...
research
∙
12/21/2016
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
We introduce ARES, an efficient approximation algorithm for generating o...
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...
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...
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...
research
∙
09/03/2013