Hans-Jörg Wolff

According to our database, Hans-Jörg Wolff authored at least 3 papers between 2005 and 2006.

Collaborative distances:

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

2006

Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation.

Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Manabendra Gupta, Oleg Parshin

Proceedings of the Leveraging Applications of Formal Methods, 2006

Towards Model-Driven Development of Hard Real-Time Systems.

Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Oleg Parshin, Reinhard Wilhelm

Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

2005

Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development.

Massimo Baleani, Alberto Ferrari, Leonardo Mangeruca, Alberto L. Sangiovanni-Vincentelli, Ulrich Freund, Erhard Schlenker, Hans-Jörg Wolff

Proceedings of the 2005 Design, 2005