Matthias Gehrke

Publication Activity (10 Years)

Years Active: 2002-2007
Publications (10 Years): 0

Publications

Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel
Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen. Software Engineering (2007)
Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel
Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme. MBEES (2007)
Matthias Gehrke, Petra Nawratil, Oliver Niggemann, Wilhelm Schäfer, Martin Hirsch
Scenario-Based Verification of Automotive Software Systems. MBEES (2006)
Gregor Engels, Matthias Gehrke, Stefan Sauer
Multi-Private Public Partnership (MPPP) - Softwaretechnik auf demWeg in die Industrie. GI Jahrestagung (1) (2006)
Sven Burmester, Matthias Gehrke, Holger Giese, Simon Oberthür
Making mechatronic agents resource-aware in order to enable safe dynamic resource allocation. EMSOFT (2004)
Matthias Gehrke, Holger Giese, Ulrich Nickel, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Albert Zündorf
Reporting about industrial strength software engineering courses for undergraduates. ICSE (2002)