Number of items: 7.
Conference or Workshop Item (A Paper)
Faymonville, Peter and Finkbeiner, Bernd and Schledjewski, Malte and Schwenger, Maximilian and Stenger, Marvin and Tentrup, Leander and Torfah, Hazem
(2019)
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems.
Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin and Tentrup, Leander
(2018)
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties.
Finkbeiner, Bernd and Hahn, Christopher and Lukert, Philip and Stenger, Marvin and Tentrup, Leander
(2018)
Synthesizing Reactive Systems from Hyperproperties.
Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin
(2017)
EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties.
Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin and Tentrup, Leander
(2017)
Monitoring Hyperproperties.
Article
Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin and Tentrup, Leander
(2020)
Efficient monitoring of hyperproperties using prefix trees.
International Journal on Software Tools for Technology Transfer.
ISSN 1433-2779
Finkbeiner, Bernd and Hahn, Christopher and Stenger, Marvin and Tentrup, Leander
(2019)
Monitoring hyperproperties.
Formal Methods Syst. Des., 54 (3).
pp. 336-363.
This list was generated on Sun Dec 22 02:42:33 2024 CET.