Dr.-Ing. Matthias Büker Senior Researcher

Dr.-Ing. Matthias Büker
Kontaktdaten
Tätigkeiten

Position im OFFIS

Senior Researcher

Forschungsbereiche

Verkehr / Safety & Security Oriented Analysis

Competence Center

Embedded Systems Design Automation, Dependable Systems, Embedded Systems Design Automation

News

+49 441 9722-528

matthias.bueker(at)offis.de

O 120

OFFIS - Institut für Informatik
Escherweg 2
26121 Oldenburg

Publikationen
von Dr.-Ing. Matthias Büker

2017

Design Paradigms for Multi-Layer Time Coherency in ADAS and Automated Driving (MULTIC)

Eckard Böde and Matthias Büker and Werner Damm and Günter Ehmen and Martin Fränzle and Sebastian Gerwinn and Thomas Goodfellow and Kim Grüttner and Bernhard Josko and Björn Koopmann and Thomas Peikenkamp and Frank Poppen and Philipp Reinkemeier and Michael Siegel and Ingo Stierand; October / 2017

2016

Optimal Deployment

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

System Function Networks

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

2015

An Approach to Guide the System Engineer during the Design Space Exploration Process

Rosinger, Maike and Büker, Matthias and Weber, Raphael; Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2015, Dresden, Germany, 17.-18. März 2015.; 2015

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

Tayfun GezginRaphael WeberMatthias Büker; 18th IEEE Symposium on Real-Time Computing; 2015

BIB

2014

A User-Supported Approach to Determine the Importance of Optimization Criteria for Design Space Exploration

Rosinger, Maike and Büker, Matthias and Weber, Raphael; Proceedings of IDEAL'14 Workshop; 2014

BIB

2013

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

Büker, Matthias and Henkler, Stefan and Schlegel, Stefanie and Thaden, Eike; Software Engineering 2013 - Workshopband; 01 / 2013

BIB
A Design Space Exploration Tool Demonstration for Automotive Systems

Büker, Matthias and Damm, Werner and Ehmen, Günter and Henkler, Stefan and Rettberg, Achim and Stierand, Ingo and Thaden, Eike; 01 / 2013

BIB
From Specification Models to Distributed Embedded Applications: A Holistic User-Guided Approach

Büker, Matthias and Damm, Werner and Ehmen, Günter and Henkler, Stefan and Janssen, Detlef and Stierand, Ingo and Thaden, Eike; SAE International Journal of Passenger Cars- Electronic and Electrical Systems; 05 / 2013

2012

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

Bücker, Matthias and Grüttner, Kim and Hartmann, Philipp A. and Stierand, Ingo; System Specification and Design Languages - Selected Contributions from FDL 2010; 01 / 2012

2011

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

Büker, Matthias and Damm, Werner and Ehmen, Günter and Stierand, Ingo; Proc. of 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'11); 09 / 2011

BIB
Architecture Modeling

Andreas Baumgart, Eckard Böde, Matthias Büker, Werner Damm, Günter Ehmen, Tayfun Gezgin, Stefan Henkler, Hardi Hungar, Bernhard Josko, Markus Oertel, Thomas Peikenkamp, Philipp Reinkemeier, Ingo Stierand, Raphael Weber; 3 / 2011

Automating the Design Flow for Distributed Embedded Automotive Applications: Keeping Your Time Promises, and Optimizing Costs, too

Büker, Matthias and Damm, Werner and Ehmen, Günter and Metzner, Alexander and Stierand, Ingo and Thaden, Eike; Proc. International Symposium on Industrial Embedded Systems (SIES'11); 07 / 2011

BIB
Automating the design flow for distributed embedded automotive applications: keeping your time promises, and optimizing costs, too (TR)

Büker, Matthias and Damm, Werner and Ehmen, Günter and Metzner, Alexander and Stierand, Ingo and Thaden, Eike; 03 / 2011

On the Implementability of Complex Real-Time Systems

Büker, Matthias and Gezgin, Tayfun and Stierand, Ingo; 2011

BIB

2010

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

Büker, Matthias and Grüttner, Kim and Hartmann, Philipp A. and Stierand Ingo; 09 / 2010

BIB

2009

Testing Real-Time Task Networks with Functional Extensions Using Model-Checking

Büker, Matthias and Metzner Alexander, Stierand, Ingo; 09 / 2009

BIB