Matthias Gehrke

According to our database, Matthias Gehrke authored at least 7 papers between 2002 and 2007.

Collaborative distances:

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

2007

Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen.

Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel

Proceedings of the Software Engineering 2007, 2007

Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme.

Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, 2007

2006

Scenario-Based Verification of Automotive Software Systems.

Matthias Gehrke, Petra Nawratil, Oliver Niggemann, Wilhelm Schäfer, Martin Hirsch

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Multi-Private Public Partnership (MPPP) - Softwaretechnik auf demWeg in die Industrie.

Gregor Engels, Matthias Gehrke, Stefan Sauer

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

2005

Entwurf mechatronischer Systeme auf Basis von Funktionshierarchien und Systemstrukturen

Matthias Gehrke

PhD thesis, 2005

2004

Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation.

Sven Burmester, Matthias Gehrke, Holger Giese, Simon Oberthür

Proceedings of the EMSOFT 2004, 2004

2002

Reporting about industrial strength software engineering courses for undergraduates.

Matthias Gehrke, Holger Giese, Ulrich Nickel, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Albert Zündorf

Proceedings of the 24th International Conference on Software Engineering, 2002