Hendrik Roehm

According to our database, Hendrik Roehm authored at least 6 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Model Conformance for Cyber-Physical Systems: A Survey.

Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff

ACM Trans. Cyber Phys. Syst., 2019

2017

Provably safe motion of mobile robots in human environments.

Stefan B. Liu, Hendrik Roehm, Christian Heinzemann, Ingo Lütkebohle, Jens Oehlerking, Matthias Althoff

Proceedings of the 2017 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2017

STLInspector: STL Validation with Guarantees.

Hendrik Roehm, Thomas Heinz, Eva Charlotte Mayer

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

2016

Reachset Conformance Testing of Hybrid Automata.

Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

STL Model Checking of Continuous and Hybrid Systems.

Hendrik Roehm, Jens Oehlerking, Thomas Heinz, Matthias Althoff

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

Industrial Examples of Formal Specifications for Test Case Generation.

Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015