Send email Copy Email Address
Placeholder
Other

Marvin Stenger

Email

Address

Am Halberg 3
66121 Saarbrücken (Germany)

Publications by Marvin Stenger

Year 2019

2019

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems

Conference / Medium

CAV
Computer Aided Verification - 31th International Conference, CAV

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page
2019

Monitoring hyperproperties

Article

Formal Methods Syst. Des.

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page

Year 2018

2018

Synthesizing Reactive Systems from Hyperproperties

Conference / Medium

CAV
Computer Aided Verification

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page
2018

RVHyper: A Runtime Verification Tool for Temporal Hyperproperties

Conference / Medium

TACAS
Tools and Algorithms for the Construction and Analysis of Systems

Tags
Reliable Security Guarantees
Authors
Download Visit Detail Page

Year 2017

2017

EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties

Conference / Medium

CAV
Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

Tags
Authors
Download Visit Detail Page
2017

Monitoring Hyperproperties

Conference / Medium

CAV
Runtime Verification - 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings

Tags
Authors
Download Visit Detail Page