Hendrik Roehm

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 5

Top Topics

Test Case Generation

Top Venues

ACM Trans. Cyber Phys. Syst.

Publications

Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff
Model Conformance for Cyber-Physical Systems: A Survey. ACM Trans. Cyber Phys. Syst. 3 (3) (2019)
Hendrik Roehm, Thomas Heinz, Eva Charlotte Mayer
STLInspector: STL Validation with Guarantees. CAV (1) (2017)
Stefan B. Liu, Hendrik Roehm, Christian Heinzemann, Ingo Lütkebohle, Jens Oehlerking, Matthias Althoff
Provably safe motion of mobile robots in human environments. IROS (2017)
Hendrik Roehm, Jens Oehlerking, Thomas Heinz, Matthias Althoff
STL Model Checking of Continuous and Hybrid Systems. ATVA (2016)
Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff
Reachset Conformance Testing of Hybrid Automata. HSCC (2016)
Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle
Industrial Examples of Formal Specifications for Test Case Generation. ARCH@CPSWeek (2015)