Henning Jost

According to our database, Henning Jost authored at least 3 papers between 2010 and 2012.

Collaborative distances:

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

2012

Reasoning on Domain Knowledge and Technical Standards to Support the Development of Safety-Critical Automotive Systems.

Henning Jost

PhD thesis, 2012

2011

Towards a safer development of driver assistance systems by applying requirements-based methods.

Henning Jost, Silke Kohler, Frank Köster

Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011

2010

The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge.

Jan Gacnik, Henning Jost, Frank Köster, Martin Fränzle

Proceedings of the FORMS/FORMAT 2010, 2010