Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. - Markus Becker 001; Henning Zabel; Wolfgang Müller 003; Ulrich Kiffmeier (MBMV, 2009)

RTOS-aware refinement for TLM2.0-based HW/SW designs. - Markus Becker 001; Giuseppe Di Guglielmo; Franco Fummi; Wolfgang Müller 003; Graziano Pravadelli; Tao Xie 006 (DATE, 2010)

Verification of real-time properties for Hardware-dependent Software. - Wolfgang Müller 003; Marcio Ferreira da Silva Oliveira; Henning Zabel; Markus Becker 001 (HLDVT, 2010)

A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. - Markus Becker 001; Henning Zabel; Wolfgang Müller 003 (DIPES/BICC, 2010)

Virtual prototyping of Cyber-Physical Systems. - Wolfgang Müller 003; Markus Becker 001; Ahmed Elfeky; Anthony DiPasquale (ASP-DAC, 2012)

MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution. - Markus Becker 001; Gilles B. Defo; Franco Fummi; Wolfgang Müller 003; Graziano Pravadelli; Sara Vinco (DATE, 2012)

Binary mutation testing through dynamic translation. - Markus Becker 001; Christoph Kuznik; Mabel M. Joy; Tao Xie 006; Wolfgang Müller 003 (DSN, 2012)

XEMU: an efficient QEMU based binary mutation testing framework for embedded software. - Markus Becker 001; Daniel Baldin; Christoph Kuznik; Mabel M. Joy; Tao Xie 006; Wolfgang Müller 003 (EMSOFT, 2012)

HeroeS: Virtual platform driven integration of heterogeneous software components for multi-core real-time architectures. - Markus Becker 001; Ulrich Kiffmeier; Wolfgang Müller 003 (ISORC, 2013)

Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. - Jan-Hendrik Oetjens; Nico Bannow; Markus Becker 001; Oliver Bringmann 001; Andreas Burger; Moomen Chaari; Samarjit Chakraborty; Rolf Drechsler; Wolfgang Ecker; Kim Grüttner; Thomas Kruse; Christoph Kuznik; et al. (DAC, 2014)

Virtual Platforms for Model-Based Design of Dependable Cyber-Physical System Software. - Markus Becker 001; Christoph Kuznik; Wolfgang Mueller (DSD, 2014)

WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systems. - Markus Becker 001; Christoph Kuznik; Wolfgang Müller 003 (ICCPS, 2014)

Portierung der TriCore-Architektur auf QEMU. - Bastian Koppelmann; Markus Becker 001; Wolfgang Müller 003 (MBMV, 2014)

Fast dynamic fault injection for virtual microcontroller platforms. - Peer Adelt; Bastian Koppelmann; Wolfgang Müller 003; Markus Becker 001; Bernd Kleinjohann; Christoph Scheytt (VLSI-SoC, 2016)