Matthias Büker

14 papers B 1C 6Unranked 4
YearRankTypeTitle / Venue / Authors
2026 — conf
BTC Embedded Systems - Bringing Formal Methods from Norddeutschland to the World.
Engineering Safe and Trustworthy Cyber Physical Systems
Tom Bienmüller, Matthias Büker, Udo Brockmeyer, Jürgen Bohn, Hans Jürgen Holberg, Tobe Toben, Hartmut Wittke
2020 — conf
Identification and Quantification of Hazardous Scenarios for Automated Driving.
IMBSA
Birte Kramer, Christian Neurohr, Matthias Büker, Eckard Böde, Martin Fränzle, Werner Damm
2019 — conf
An Approach for Safety Assessment of Highly Automated Systems Applied to a Maritime Traffic Alert and Collision Avoidance System.
ICSRS
Sebastian Vander Maelen, Matthias Büker, Birte Kramer, Eckard Böde, Sebastian Gerwinn, Georg Hake, Axel Hahn
2018 B conf
Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions.
SAFECOMP
Eckard Böde, Matthias Büker, Ulrich Eberle, Martin Fränzle, Sebastian Gerwinn, Birte Kramer
2016 — ch.
Optimal Deployment.
Advanced Model-Based Engineering of Embedded Systems
Karsten Albers, Matthias Büker, Laurent Dieudonné, Robert Hilbrich, Georgeta Igna, Stefan Kugele, Thomas Kuhn, Maike Rosinger, Raphael Weber
2016 — ch.
System Function Networks.
Advanced Model-Based Engineering of Embedded Systems
Karsten Albers, Stefan Beck, Matthias Büker, Marian Daun, John MacGregor, Andrea Salmon, Raphael Weber, Thorsten Weyer
2015 C conf
A Concept to Guide the System Engineer During the Design Space Exploration Process.
Software Engineering (Workshops)
Maike Rosinger, Matthias Büker, Raphael Weber
2015 C conf
State-Based Real-Time Analysis for Function Networks and Marte.
ISORC
Tayfun Gezgin, Raphael Weber, Matthias Büker
2013 C conf
A Design Space Exploration Framework for Model-Based Software-Intensive Embedded System Development.
Software Engineering (Workshops)
Matthias Büker, Stefan Henkler, Stefanie Schlegel, Eike Thaden
2013 — —
An automated semantic-based approach for creating task structures.
Matthias Büker
2011 C conf
An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models.
FMICS
Matthias Büker, Werner Damm, Günter Ehmen, Ingo Stierand
2011 — conf
Automating the design flow for distributed embedded automotive applications: Keeping your time promises, and optimizing costs, too.
SIES
Matthias Büker, Werner Damm, Günter Ehmen, Alexander Metzner, Ingo Stierand, Eike Thaden
2010 C conf
Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks.
FDL
Matthias Büker, Kim Grüttner, Philipp A. Hartmann, Ingo Stierand
2009 C conf
Testing Real-time Task Networks with Functional Extensions using Model-checking.
ETFA
Matthias Büker, Alexander Metzner, Ingo Stierand