Marvin Stenger

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 17

Top Topics

Reactive Systems

Temporal Consistency

Pareto Optimality

Top Venues

Publications

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Efficient Monitoring of Hyperproperties using Prefix Trees. CoRR (2021)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Efficient monitoring of hyperproperties using prefix trees. Int. J. Softw. Tools Technol. Transf. 22 (6) (2020)
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Synthesis from hyperproperties. Acta Informatica 57 (1-2) (2020)
Christopher Hahn, Marvin Stenger, Leander Tentrup
Constraint-Based Monitoring of Hyperproperties. CoRR (2019)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. CoRR (2019)
Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies, Marvin Stenger
Battery-aware scheduling in low orbit: the GomX-3 case. Formal Aspects Comput. 31 (2) (2019)
Christopher Hahn, Marvin Stenger, Leander Tentrup
Constraint-Based Monitoring of Hyperproperties. TACAS (2) (2019)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Monitoring hyperproperties. Formal Methods Syst. Des. 54 (3) (2019)
Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah
StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. CAV (1) (2019)
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Synthesizing Reactive Systems from Hyperproperties. CoRR (2019)
Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup
Synthesizing Reactive Systems from Hyperproperties. CAV (1) (2018)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Monitoring Hyperproperties. CoRR (2018)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. TACAS (2) (2018)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup
Monitoring Hyperproperties. RV (2017)
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger
EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties. CAV (2) (2017)
Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns
Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. ICFEM (2017)
Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies, Marvin Stenger
Battery-Aware Scheduling in Low Orbit: The GomX-3 Case. FM (2016)