Matthias Büker

According to our database, Matthias Büker authored at least 14 papers between 2009 and 2026.

Collaborative distances:

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

2026

BTC Embedded Systems - Bringing Formal Methods from Norddeutschland to the World.

Tom Bienmüller, Matthias Büker, Udo Brockmeyer, Jürgen Bohn, Hans Jürgen Holberg, Tobe Toben, Hartmut Wittke

Proceedings of the Engineering Safe and Trustworthy Cyber Physical Systems, 2026

2020

Identification and Quantification of Hazardous Scenarios for Automated Driving.

Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, Werner Damm

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

2019

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

Proceedings of the 4th International Conference on System Reliability and Safety, 2019

2018

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

Proceedings of the Computer Safety, Reliability, and Security, 2018

2016

Optimal Deployment.

Karsten Albers, Matthias Büker, Laurent Dieudonné, Robert Hilbrich, Georgeta Igna, Stefan Kugele, Thomas Kuhn, Maike Rosinger, Raphael Weber

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

System Function Networks.

Karsten Albers, Stefan Beck, Matthias Büker, Marian Daun, John MacGregor, Andrea Salmon, Raphael Weber, Thorsten Weyer

Proceedings of the Advanced Model-Based Engineering of Embedded Systems, 2016

2015

A Concept to Guide the System Engineer During the Design Space Exploration Process.

Maike Rosinger, Matthias Büker, Raphael Weber

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, 2015

State-Based Real-Time Analysis for Function Networks and Marte.

Tayfun Gezgin, Raphael Weber, Matthias Büker

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

2013

An automated semantic-based approach for creating task structures.

Matthias Büker

PhD thesis, 2013

A Design Space Exploration Framework for Model-Based Software-Intensive Embedded System Development.

Matthias Büker, Stefan Henkler, Stefanie Schlegel, Eike Thaden

Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

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

Proceedings of the Industrial Embedded Systems (SIES), 2011

An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models.

Matthias Büker, Werner Damm, Günter Ehmen, Ingo Stierand

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2010

Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks.

Matthias Büker, Kim Grüttner, Philipp A. Hartmann, Ingo Stierand

Proceedings of the 2010 Forum on specification & Design Languages, 2010

2009

Testing Real-time Task Networks with Functional Extensions using Model-checking.

Matthias Büker, Alexander Metzner, Ingo Stierand

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009