Matthias Bker
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2009–2018
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | SAFECOMP | Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions. | Eckard Bde, Matthias Bker, Ulrich Eberle, Martin Frnzle, Sebastian Gerwinn, Birte Kramer |
| 2015 | ISORC | State-Based Real-Time Analysis for Function Networks and Marte. | Tayfun Gezgin, Raphael Weber, Matthias Bker |
| 2011 | FMICS | An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models. | Matthias Bker, Werner Damm, Gnter Ehmen, Ingo Stierand |
| 2010 | FDL | Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks. | Matthias Bker, Kim Grttner, Philipp A. Hartmann, Ingo Stierand |
| 2009 | ETFA | Testing Real-time Task Networks with Functional Extensions using Model-checking. | Matthias Bker, Alexander Metzner, Ingo Stierand |