EAHyper: Satisfiability, Implication, and Equivalence Checking of Hyperproperties. - Bernd Finkbeiner; Christopher Hahn; Marvin Stenger (CAV (2), 2017)

Pareto Optimal Reachability Analysis for Simple Priced Timed Automata. - Zhengkui Zhang; Brian Nielsen; Kim Guldstrand Larsen; Gilles Nies; Marvin Stenger; Holger Hermanns (ICFEM, 2017)

Synthesizing Reactive Systems from Hyperproperties. - Bernd Finkbeiner; Christopher Hahn; Philip Lukert; Marvin Stenger; Leander Tentrup (CAV (1), 2018)

RVHyper: A Runtime Verification Tool for Temporal Hyperproperties. - Bernd Finkbeiner; Christopher Hahn; Marvin Stenger; Leander Tentrup (TACAS (2), 2018)

StreamLAB: Stream-based Monitoring of Cyber-Physical Systems. - Peter Faymonville; Bernd Finkbeiner; Malte Schledjewski; Maximilian Schwenger; Marvin Stenger; Leander Tentrup; Hazem Torfah (CAV (1), 2019)

Constraint-Based Monitoring of Hyperproperties. - Christopher Hahn; Marvin Stenger; Leander Tentrup (TACAS (2), 2019)

Battery-aware scheduling in low orbit: the GomX-3 case. - Morten Bisgaard; David Gerhardt; Holger Hermanns; Jan Krcál; Gilles Nies; Marvin Stenger (Formal Aspects Comput., 2019)

Monitoring hyperproperties. - Bernd Finkbeiner; Christopher Hahn; Marvin Stenger; Leander Tentrup (Formal Methods Syst. Des., 2019)

Synthesis from hyperproperties. - Bernd Finkbeiner; Christopher Hahn; Philip Lukert; Marvin Stenger; Leander Tentrup (Acta Informatica, 2020)

Efficient monitoring of hyperproperties using prefix trees. - Bernd Finkbeiner; Christopher Hahn; Marvin Stenger; Leander Tentrup (Int. J. Softw. Tools Technol. Transf., 2020)