Marvin Stenger

According to our database, Marvin Stenger authored at least 10 papers between 2016 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Efficient monitoring of hyperproperties using prefix trees.

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup

Int. J. Softw. Tools Technol. Transf., 2020

Synthesis from hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup

Acta Informatica, 2020

2019

Constraint-Based Monitoring of Hyperproperties.

Christopher Hahn, Marvin Stenger, Leander Tentrup

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems.

Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Maximilian Schwenger, Marvin Stenger, Leander Tentrup, Hazem Torfah

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

RVHyper: A Runtime Verification Tool for Temporal Hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Synthesizing Reactive Systems from Hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Philip Lukert, Marvin Stenger, Leander Tentrup

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Monitoring Hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger, Leander Tentrup

Proceedings of the Runtime Verification - 17th International Conference, 2017

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata.

Zhengkui Zhang, Brian Nielsen, Kim Guldstrand Larsen, Gilles Nies, Marvin Stenger, Holger Hermanns

Proceedings of the Formal Methods and Software Engineering, 2017

EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties.

Bernd Finkbeiner, Christopher Hahn, Marvin Stenger

Proceedings of the Computer Aided Verification - 29th International Conference, 2017

2016

Battery-Aware Scheduling in Low Orbit: The GomX-3 Case.

Morten Bisgaard, David Gerhardt, Holger Hermanns, Jan Krcál, Gilles Nies, Marvin Stenger

Proceedings of the FM 2016: Formal Methods, 2016