default search action

combined dblp search
author search
venue search
publication search

ask others

Hendrik Roehm

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tcps/RoehmOWA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcps/RoehmOWA19
Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff:
Model Conformance for Cyber-Physical Systems: A Survey. ACM Trans. Cyber Phys. Syst. 3(3): 30:1-30:26 (2019)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2017
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/RoehmHM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/RoehmHM17
Hendrik Roehm, Thomas Heinz, Eva Charlotte Mayer:
STLInspector: STL Validation with Guarantees. CAV (1) 2017: 225-232
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/iros/LiuRHLOA17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iros/LiuRHLOA17
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: 1351-1357
2016
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/RoehmOHA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/RoehmOHA16
Hendrik Roehm, Jens Oehlerking, Thomas Heinz, Matthias Althoff:
STL Model Checking of Continuous and Hybrid Systems. ATVA 2016: 412-427
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/RoehmOWA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/RoehmOWA16
Hendrik Roehm, Jens Oehlerking, Matthias Woehrle, Matthias Althoff:
Reachset Conformance Testing of Hybrid Automata. HSCC 2016: 277-286
2015
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cpsweek/RoehmGHOW15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cpsweek/RoehmGHOW15
Hendrik Roehm, Rainer Gmehlich, Thomas Heinz, Jens Oehlerking, Matthias Woehrle:
Industrial Examples of Formal Specifications for Test Case Generation. ARCH@CPSWeek 2015: 80-88

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.