Marvin Stenger

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2020

Efficient monitoring of hyperproperties using prefix trees.

[BibT_eX]

[DOI]

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

Synthesis from hyperproperties.

[BibT_eX]

[DOI]

Acta Informatica, 2020

2019

Monitoring hyperproperties.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

Battery-aware scheduling in low orbit: the GomX-3 case.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2019

Constraint-Based Monitoring of Hyperproperties.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2018

RVHyper: A Runtime Verification Tool for Temporal Hyperproperties.

[BibT_eX]

[DOI]

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

Synthesizing Reactive Systems from Hyperproperties.

[BibT_eX]

[DOI]

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

2017

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Bernd Finkbeiner

Christopher Hahn

Marvin Stenger

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

Marvin Stenger

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...