Marvin Stenger

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