79 citations · 87 across the 10 of their papers we have counts for
5 papers · 1 filter
Adaptive Testing for Specification Coverage
Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher +2
Ensuring correctness of cyber-physical systems (CPS) is an extremely challenging task that is in practice often addressed with simulation based testing. Formal specification langua…
Automated Termination Analysis of Polynomial Probabilistic Programs
Marcel Moosbrugger, Ezio Bartocci, Joost-Pieter Katoen +1
The termination behavior of probabilistic programs depends on the outcomes of random assignments. Almost sure termination (AST) is concerned with the question whether a program ter…
Analysis of Bayesian Networks via Prob-Solvable Loops
Ezio Bartocci, Laura Kovács, Miroslav Stankovič
Prob-solvable loops are probabilistic programs with polynomial assignments over random variables and parametrised distributions, for which the full automation of moment-based invar…
Probabilistic Hyperproperties with Nondeterminism
Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour +1
We study the problem of formalizing and checking probabilistic hyperproperties for models that allow nondeterminism in actions. We extend the temporal logic \HyperPCTL, which has b…
Information-Flow Interfaces
Ezio Bartocci, Thomas Ferrère, Thomas A. Henzinger +2
Contract-based design is a promising methodology for taming the complexity of developing sophisticated systems. A formal contract distinguishes between assumptions, which are const…