Benjamin Cool

According to our database, Benjamin Cool authored at least 3 papers between 2014 and 2018.

Collaborative distances:

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

2018

Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL.

Jan Toennemann, Andreas Rausch, Falk Howar, Benjamin Cool

Proceedings of the Formal Methods for Industrial Critical Systems, 2018

2016

From product architectures to a managed automotive software product line architecture.

Benjamin Cool, Christoph Knieke, Andreas Rausch, Mirco Schindler, Arthur Strasser, Martin Vogel, Oliver Brox, Stefanie Jauns-Seyfried

Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

2014

Mastering Erosion of Software Architecture in Automotive Software Product Lines.

Arthur Strasser, Benjamin Cool, Christoph Gernert, Christoph Knieke, Marco Körner, Dirk Niebuhr, Henrik Peters, Andreas Rausch, Oliver Brox, Stefanie Jauns-Seyfried, Hanno Jelden, Stefan Klie, Michael Krämer

Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014