Marvin Stenger
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2016–2019
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | CAV | StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. | Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah |
| 2019 | TACAS | Constraint-Based Monitoring of Hyperproperties. | Christopher Hahn, Marvin Stenger, Leander Tentrup |
| 2018 | CAV | Synthesizing Reactive Systems from Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup |
| 2018 | TACAS | RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup |
| 2017 | CAV | EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Marvin Stenger |
| 2017 | ICFEM | Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. | Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns |
| 2017 | RV | Monitoring Hyperproperties. | Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup |
| 2016 | FM | Battery-Aware Scheduling in Low Orbit: The GomX-3 Case. | Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcl, Gilles Nies, Marvin Stenger |