Conformance relations and hyperproperties for doping detection in time and space

MaRDI QIDQ5028468zbMATH OpenFDO

Authors Sebastian Biewer, Rayna Dimitrova, Michael Fries, Maciej Gazda, Thomas S. Heinze, Holger Hermanns, Mohammad Mousavi

Publication date 9 February 2022

Full work available at URL https://arxiv.org/abs/2012.03910, https://lmcs.episciences.org/8974

zbMATH Keywords

conformance testinghybrid systemssoftware doping

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• Statistical Model Checking for Probabilistic Hyperproperties of Real-Valued Signals
• Monitoring hyperproperties
• Constraint-based monitoring of hyperproperties
• HyperPCTL: A Temporal Logic for Probabilistic Hyperproperties
• Temporal hyperproperties

Cites work

• A really temporal logic
• Algorithms for model checking HyperLTL and HyperCTL^*
• Approximate bisimulation: a bridge between computer science and control theory
• Approximate simulation relations for hybrid systems
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• scientific article; zbMATH DE number 6851935 (Why is no real title available?)
• LTL with the freeze quantifier and register automata
• Monitoring hyperproperties
• Notions of conformance testing for cyber-physical systems: overview and roadmap (invited paper)
• Quantifying conformance using the Skorokhod metric
• Rewriting-based runtime verification for alternation-free HyperLTL
• Robustness of temporal logic specifications for continuous-time signals
• S-TaLiRo: a tool for temporal logic falsification for hybrid systems
• STL*: extending signal temporal logic with signal-value freezing operator
• Testing equivalences for processes
• Timed hyperproperties
• Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions

Cited in

(1)

• Complete FSM testing using strong separability

Describes a project that uses

Uses Software

• Breach
• MATISSE

This page was built for publication: Conformance relations and hyperproperties for doping detection in time and space

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5028468)