Testing Real-time Task Networks with Functional Extensions using Model-checking. - Matthias Büker; Alexander Metzner; Ingo Stierand (ETFA, 2009)

Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks. - Matthias Büker; Kim Grüttner; Philipp A. Hartmann; Ingo Stierand (FDL, 2010)

An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models. - Matthias Büker; Werner Damm; Günter Ehmen; Ingo Stierand (FMICS, 2011)

Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too. - Matthias Büker; Werner Damm; Günter Ehmen; Alexander Metzner; Ingo Stierand; Eike Thaden (SIES, 2011)

A Design Space Exploration Framework for Model-Based Software-Intensive Embedded System Development. - Matthias Büker; Stefan Henkler; Stefanie Schlegel; Eike Thaden (Software Engineering (Workshops), 2013)

An automated semantic-based approach for creating task structures. - Matthias Büker (2013)

State-Based Real-Time Analysis for Function Networks and Marte. - Tayfun Gezgin; Raphael Weber; Matthias Büker (ISORC, 2015)

A Concept to Guide the System Engineer During the Design Space Exploration Process. - Maike Rosinger; Matthias Büker; Raphael Weber (Software Engineering (Workshops), 2015)

System Function Networks. - Karsten Albers; Stefan Beck; Matthias Büker; Marian Daun; John MacGregor; Andrea Salmon; Raphael Weber; Thorsten Weyer (Advanced Model-Based Engineering of Embedded Systems, 2016)

Optimal Deployment. - Karsten Albers; Matthias Büker; Laurent Dieudonné; Robert Hilbrich; Georgeta Igna; Stefan Kugele; Thomas Kuhn 001; Maike Rosinger; Raphael Weber (Advanced Model-Based Engineering of Embedded Systems, 2016)

Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions. - Eckard Böde; Matthias Büker; Ulrich Eberle; Martin Fränzle; Sebastian Gerwinn; Birte Kramer (SAFECOMP, 2018)

An Approach for Safety Assessment of Highly Automated Systems Applied to a Maritime Traffic Alert and Collision Avoidance System. - Sebastian Vander Maelen; Matthias Büker; Birte Kramer; Eckard Böde; Sebastian Gerwinn; Georg Hake; Axel Hahn (ICSRS, 2019)

Identification and Quantification of Hazardous Scenarios for Automated Driving. - Birte Kramer; Christian Neurohr; Matthias Büker; Eckard Böde; Martin Fränzle; Werner Damm (IMBSA, 2020)