Markus Becker

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Component Based Architecture

Virtual Environment

Embedded Software

Mutation Testing

Top Venues

Publications

Peer Adelt, Bastian Koppelmann, Wolfgang Müller, Markus Becker, Bernd Kleinjohann, Christoph Scheytt
Fast dynamic fault injection for virtual microcontroller platforms. VLSI-SoC (2016)
Markus Becker, Christoph Kuznik, Wolfgang Müller
WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systems. ICCPS (2014)
Bastian Koppelmann, Markus Becker, Wolfgang Müller
Portierung der TriCore-Architektur auf QEMU. MBMV (2014)
Markus Becker, Christoph Kuznik, Wolfgang Mueller
Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software. DSD (2014)
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, Mauderer 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
Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. DAC (2014)
Markus Becker, Ulrich Kiffmeier, Wolfgang Müller
HeroeS: Virtual platform driven integration of heterogeneous software components for multi-core real-time architectures. ISORC (2013)
Markus Becker, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller
Binary mutation testing through dynamic translation. DSN (2012)
Markus Becker, Gilles B. Defo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Sara Vinco
MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution. DATE (2012)
Markus Becker, Daniel Baldin, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller
XEMU: an efficient QEMU based binary mutation testing framework for embedded software. EMSOFT (2012)
Wolfgang Müller, Markus Becker, Ahmed Elfeky, Anthony DiPasquale
Virtual prototyping of Cyber-Physical Systems. ASP-DAC (2012)
Markus Becker, Henning Zabel, Wolfgang Müller
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. DIPES/BICC (2010)
Wolfgang Müller, Marcio F. da S. Oliveira, Henning Zabel, Markus Becker
Verification of real-time properties for Hardware-dependent Software. HLDVT (2010)
Markus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Tao Xie
RTOS-aware refinement for TLM2.0-based HW/SW designs. DATE (2010)
Markus Becker, Henning Zabel, Wolfgang Müller, Ulrich Kiffmeier
Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. MBMV (2009)