Matthias Gehrke

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen.
Proceedings of the Software Engineering 2007, 2007

Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme III, 2007

2006
Scenario-Based Verification of Automotive Software Systems.
Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

Multi-Private Public Partnership (MPPP) - Softwaretechnik auf demWeg in die Industrie.
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

2005
Entwurf mechatronischer Systeme auf Basis von Funktionshierarchien und Systemstrukturen
PhD thesis, 2005

2004
Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation.
Proceedings of the EMSOFT 2004, 2004

2002
Reporting about industrial strength software engineering courses for undergraduates.
Proceedings of the 24th International Conference on Software Engineering, 2002


  Loading...