Industrial Examples of Formal Specifications for Test Case Generation. - Hendrik Roehm; Rainer Gmehlich; Thomas Heinz 001; Jens Oehlerking; Matthias Woehrle (ARCH@CPSWeek, 2015)

STL Model Checking of Continuous and Hybrid Systems. - Hendrik Roehm; Jens Oehlerking; Thomas Heinz 001; Matthias Althoff (ATVA, 2016)

Reachset Conformance Testing of Hybrid Automata. - Hendrik Roehm; Jens Oehlerking; Matthias Woehrle; Matthias Althoff (HSCC, 2016)

STLInspector: STL Validation with Guarantees. - Hendrik Roehm; Thomas Heinz 001; Eva Charlotte Mayer (CAV (1), 2017)

Provably safe motion of mobile robots in human environments. - Stefan B. Liu; Hendrik Roehm; Christian Heinzemann; Ingo Lütkebohle; Jens Oehlerking; Matthias Althoff (IROS, 2017)

Model Conformance for Cyber-Physical Systems: A Survey. - Hendrik Roehm; Jens Oehlerking; Matthias Woehrle; Matthias Althoff (ACM Trans. Cyber Phys. Syst., 2019)