Jan-Hendrik Rakow

According to our database, Jan-Hendrik Rakow authored at least 5 papers between 2008 and 2013.

Collaborative distances:

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

2013

Can we build it: formal synthesis of control strategies for cooperative driver assistance systems.

Werner Damm, Hans-Jörg Peter, Jan-Hendrik Rakow, Bernd Westphal

Math. Struct. Comput. Sci., 2013

2011

Safety and Precision of Spatial Context Models for Autonomous Systems.

Tobe Toben, Jan-Hendrik Rakow

Proceedings of the First Workshop on Hybrid Autonomous Systems, 2011

2010

Spotlight Abstraction of Agents and Areas.

Tobe Toben, Bernd Westphal, Jan-Hendrik Rakow

Proceedings of the Quantitative and Qualitative Analysis of Network Protocols, 31.01., 2010

2009

Compositional Dependability Evaluation for STATEMATE.

Eckard Böde, Marc Herbstritt, Holger Hermanns, Sven Johr, Thomas Peikenkamp, Reza Pulungan, Jan-Hendrik Rakow, Ralf Wimmer, Bernd Becker

IEEE Trans. Software Eng., 2009

2008

Model Based Importance Analysis for Minimal Cut Sets.

Eckard Böde, Thomas Peikenkamp, Jan-Hendrik Rakow, Samuel Wischmeyer

Proceedings of the Automated Technology for Verification and Analysis, 2008