Markus Becker - RankMe

14 papers A* 1A 3C 3Misc 1Unranked 6

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