Markus Becker

According to our database, Markus Becker authored at least 14 papers between 2009 and 2016.

Collaborative distances:

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

2016

Fast dynamic fault injection for virtual microcontroller platforms.

Peer Adelt, Bastian Koppelmann, Wolfgang Müller, Markus Becker, Bernd Kleinjohann, Christoph Scheytt

Proceedings of the 2016 IFIP/IEEE International Conference on Very Large Scale Integration, 2016

2014

Portierung der TriCore-Architektur auf QEMU.

Bastian Koppelmann, Markus Becker, Wolfgang Müller

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014

WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systems.

Markus Becker, Christoph Kuznik, Wolfgang Müller

Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014

Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software.

Markus Becker, Christoph Kuznik, Wolfgang Mueller

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges.

Jan-Hendrik Oetjens, Nico Bannow, Markus Becker, Oliver Bringmann, Andreas Burger, Moomen Chaari, Samarjit Chakraborty, Rolf Drechsler, Wolfgang Ecker, Kim Grüttner, Thomas Kruse, Christoph Kuznik, Hoang Minh Le, Andreas Mauderer, Wolfgang Müller, Daniel Müller-Gritschneder, Frank Poppen, Hendrik Post, Sebastian Reiter, Wolfgang Rosenstiel, S. Roth, Ulf Schlichtmann, Andreas von Schwerin, Bogdan-Andrei Tabacaru, Alexander Viehl

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

HeroeS: Virtual platform driven integration of heterogeneous software components for multi-core real-time architectures.

Markus Becker, Ulrich Kiffmeier, Wolfgang Müller

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

2012

XEMU: an efficient QEMU based binary mutation testing framework for embedded software.

Markus Becker, Daniel Baldin, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller

Proceedings of the 12th International Conference on Embedded Software, 2012

Binary mutation testing through dynamic translation.

Markus Becker, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller

Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012

MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution.

Markus Becker, Gilles B. Defo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Sara Vinco

Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Virtual prototyping of Cyber-Physical Systems.

Wolfgang Müller, Markus Becker, Ahmed Elfeky, Anthony DiPasquale

Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012

2010

A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement.

Markus Becker, Henning Zabel, Wolfgang Müller

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

Verification of real-time properties for Hardware-dependent Software.

Wolfgang Müller, Marcio F. da S. Oliveira, Henning Zabel, Markus Becker

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

RTOS-aware refinement for TLM2.0-based HW/SW designs.

Markus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Tao Xie

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme.

Markus Becker, Henning Zabel, Wolfgang Müller, Ulrich Kiffmeier

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009