20 citations · 42 across the 8 of their papers we have counts for
3 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…
RTAMT: Online Robustness Monitors from STL
Dejan Nickovic, Tomoya Yamaguchi
We present RTAMT, an online monitoring library for Signal Temporal Logic (STL) and its interface-aware variant (IA-STL), providing both discrete- and dense-time interpretation of t…
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…