Statistics
Publications
4
Citations
106
H-Index
4
Active since
2018
Affiliations
Saarland University(Current)
Marvin Stenger is an author at Saarland University specializing in computer science, temporal logic, and theory of computation.
Publications per year
2018–2019
4
4
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger et al. · Formal Methods in System Design · 2019 · 47 citations · Full text
Synthesis from hyperproperties
Bernd Finkbeiner, Christopher Hahn, Philip Lukert et al. · Acta Informatica · 2019 · 24 citations · Full text
Battery-aware scheduling in low orbit: the GomX–3 case
Morten Bisgaard, David Gerhardt, Holger Hermanns et al. · Formal Aspects of Computing · 2018 · 18 citations · Full text
RVHyper: A Runtime Verification Tool for Temporal Hyperproperties
Bernd Finkbeiner, Christopher Hahn, Marvin Stenger et al. · Figshare · 2018 · 17 citations
1–4 of 4