Jörn-Christian Braam

According to our database, Jörn-Christian Braam authored at least 4 papers between 2003 and 2006.

Collaborative distances:

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

2006

Cost-Efficient Worst-Case Execution Time Analysis in Industrial Practice.

Jan Staschulat, Jörn-Christian Braam, Rolf Ernst, Thomas Rambow, Rainer Schlör, Rainer Busch

Proceedings of the Leveraging Applications of Formal Methods, 2006

2003

Certifiable Software-Integration for Engine Electronics.

Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

Formal Methods for Integration of Automotive Software.

Marek Jersak, Kai Richter, Rolf Ernst, Jörn-Christian Braam, Zheng-Yu Jiang, Fabian Wolf

Proceedings of the 2003 Design, 2003

Formal Methods for Integration of Automotive Software.

Marek Jersak, Kai Richter, Razvan Racu, Jan Staschulat, Rolf Ernst, Jörn-Christian Braam, Fabian Wolf

Proceedings of the Embedded Software for SoC, 2003