default search action

combined dblp search
author search
venue search
publication search

ask others

Jan-Hendrik Rakow

> 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?

2013
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/DammPRW13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/DammPRW13
Werner Damm, Hans-Jörg Peter, Jan-Hendrik Rakow, Bernd Westphal:
Can we build it: formal synthesis of control strategies for cooperative driver assistance systems. Math. Struct. Comput. Sci. 23(4): 676-725 (2013)
2009
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BodeHHJPPRWB09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BodeHHJPPRWB09
Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer, Bernd Becker:
Compositional Dependability Evaluation for STATEMATE. IEEE Trans. Software Eng. 35(2): 274-292 (2009)

Conference and Workshop Papers

see FAQ

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

2011
[c2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/TobenR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/TobenR13
Tobe Toben, Jan-Hendrik Rakow:
Safety and Precision of Spatial Context Models for Autonomous Systems. Hybrid Autonomous Systems@ETAPS 2011: 75-88
2008
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/BodePRW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/BodePRW08
Eckard Böde, Thomas Peikenkamp, Jan-Hendrik Rakow, Samuel Wischmeyer:
Model Based Importance Analysis for Minimal Cut Sets. ATVA 2008: 303-317

Informal and Other Publications

see FAQ

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

2010
[i1]
- view
  - electronic edition @ dagstuhl.de (open access)
  - details & citations
- export record
  dblp key:
  - conf/dagstuhl/TobenWR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/TobenWR10
Tobe Toben, Bernd Westphal, Jan-Hendrik Rakow:
Spotlight Abstraction of Agents and Areas. Quantitative and Qualitative Analysis of Network Protocols 2010

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.