Jan-Hendrik Rakow

Publication Activity (10 Years)

Years Active: 2008-2013
Publications (10 Years): 0

Top Topics

Spatial Context

Mathematical Models

Intelligent Vehicles

Control Strategies

Top Venues

Math. Struct. Comput. Sci.

Electron. Notes Theor. Comput. Sci.

Publications

Tobe Toben, Jan-Hendrik Rakow
Safety and Precision of Spatial Context Models for Autonomous Systems. Electron. Notes Theor. Comput. Sci. 297 (2013)
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) (2013)
Tobe Toben, Bernd Westphal, Jan-Hendrik Rakow
Spotlight Abstraction of Agents and Areas. Quantitative and Qualitative Analysis of Network Protocols (2010)
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) (2009)
Eckard Böde, Thomas Peikenkamp, Jan-Hendrik Rakow, Samuel Wischmeyer
Model Based Importance Analysis for Minimal Cut Sets. ATVA (2008)