Christian Renz

According to our database, Christian Renz authored at least 2 papers in 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