20 citations · 20 across the 1 of their papers we have counts for
4 papers
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…
Compositional Specifications for ioco Testing
Przemyslaw Daca, Thomas A. Henzinger, Willibald Krenn +1
Model-based testing is a promising technology for black-box software and hardware testing, in which test cases are generated automatically from high-level specifications. Nowadays,…
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt +13
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime…