
-
CityPM: Predictive Monitoring with Logic-Calibrated Uncertainty for Smart Cities
We present CityPM, a novel predictive monitoring system for smart cities...
read it
-
Adaptive Testing for Specification Coverage
Ensuring correctness of cyber-physical systems (CPS) is an extremely cha...
read it
-
Automated Termination Analysis of Polynomial Probabilistic Programs
The termination behavior of probabilistic programs depends on the outcom...
read it
-
Analysis of Bayesian Networks via Prob-Solvable Loops
Prob-solvable loops are probabilistic programs with polynomial assignmen...
read it
-
Probabilistic Hyperproperties with Nondeterminism
We study the problem of formalizing and checking probabilistic hyperprop...
read it
-
Information-Flow Interfaces
Contract-based design is a promising methodology for taming the complexi...
read it
-
Runtime Monitoring of Safety and Performance Requirements in Smart Cities
With the increasing number of smart services implemented in smart cities...
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...
read it
-
Automatic Generation of Moment-Based Invariants for Prob-Solvable Loops
One of the main challenges in the analysis of probabilistic programs is ...
read it
-
Monitoring Mobile and Spatially Distributed Cyber-Physical Systems
Cyber-Physical Systems (CPS) consist of collaborative, networked and tig...
read it
-
Automatic Failure Explanation in CPS Models
Debugging Cyber-Physical System (CPS) models can be extremely complex. I...
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...
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...
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...
read it
-
Parameter-Independent Strategies for pMDPs via POMDPs
Markov Decision Processes (MDPs) are a popular class of models suitable ...
read it
-
Signal Convolution Logic
We introduce a new logic called Signal Convolution Logic (SCL) that comb...
read it
-
A Counting Semantics for Monitoring LTL Specifications over Finite Traces
We consider the problem of monitoring a Linear Time Logic (LTL) specific...
read it
-
An Algebraic Framework for Runtime Verification
Runtime verification (RV) is a pragmatic and scalable, yet rigorous tech...
read it
-
A Robust Genetic Algorithm for Learning Temporal Specifications from Data
We consider the problem of mining signal temporal logical requirements f...
read it
-
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
We introduce ARES, an efficient approximation algorithm for generating o...
read it
-
Deep Neural Programs for Adaptive Control in Cyber-Physical Systems
We introduce Deep Neural Programs (DNP), a novel programming paradigm fo...
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...
read it
-
Learning Temporal Logical Properties Discriminating ECG models of Cardiac Arrhytmias
We present a novel approach to learn the formulae characterising the eme...
read it
-
On the Robustness of Temporal Properties for Stochastic Models
Stochastic models such as Continuous-Time Markov Chains (CTMC) and Stoch...
read it