scientific article; zbMATH DE number 7471703

MaRDI QIDQ5028468

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

Publication date: 9 February 2022

Full work available at URL: https://arxiv.org/abs/2012.03910

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

hybrid systemsconformance testingsoftware doping

Mathematics Subject Classification ID

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

Uses Software

• MATISSE
• Breach

Cites Work

• Unnamed Item
• Unnamed Item
• Approximate bisimulation: a bridge between computer science and control theory
• Robustness of temporal logic specifications for continuous-time signals
• Timed hyperproperties
• Approximate simulation relations for hybrid systems
• Testing equivalences for processes
• Algorithms for model checking HyperLTL and HyperCTL\(^*\)
• Monitoring hyperproperties
• STL*: extending signal temporal logic with signal-value freezing operator
• LTL with the freeze quantifier and register automata
• S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
• Rewriting-Based Runtime Verification for Alternation-Free HyperLTL
• A really temporal logic
• Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Quantifying conformance using the Skorokhod metric

This page was built for publication: