Michael Benkel

According to our database, Michael Benkel authored at least 3 papers between 2007 and 2023.

Collaborative distances:

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

2023

The Universal Safety Format in Action: Tool Integration and Practical Application.

Frederik Haxel, Alexander Viehl, Michael Benkel, Bjoern Beyreuther, Klaus Birken, Rolf Schmedes, Kim Grüttner, Daniel Mueller-Gritschneder

SN Comput. Sci., March, 2023

2022

Universal Safety Format: Automated Safety Software Generation.

Frederik Haxel, Alexander Viehl, Michael Benkel, Bjoern Beyreuther, Klaus Birken, Rolf Schmedes, Kim Grüttner, Daniel Mueller-Gritschneder

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

2007

Modeling architecturally neutral realtime systems.

James J. Hunt, Isabel Tonin, Michael Benkel, Mirko Seifert, Katja Siegemund, Nico Feiertag

Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, 2007