Publications of Wolfgang Müller

Print

You are searching for publications ...

... from the research group 'Design of Distributed Embedded Systems'


Our publications from 2013:

Kuznik, Christoph; F. S. Oliveira, Marcio; Defo, Bertrand; Müller, Wolfgang: Systematic Application of UCIS to Improve the Automation on Verification Closure. Proceedings of DVCON 2013 (more)


Our publications from 2012:

Kuznik, Christoph; F. S. Oliveira, Marcio; Müller, Wolfgang: SYSTEMC UVM VERIFICATION COMPONENTS. Design, Automation and Test in Europe DATE, University Booth, Dresden, Mar 2012 (more)

F. S. Oliveira, Marcio; Kuznik, Christoph; Müller, Wolfgang; Ecker, Wolfgang; Esen, Volkan: A SystemC Library for Advanced TLM Verification. In: Proceeding of Design and Verification Conference (DVCON), Mar 2012 (more)

He, Da; Müller, Wolfgang: Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. In: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), Apr 2012, IEEE Xplore (more)

He, Da; Müller, Wolfgang: Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. In: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012), June 2012, IEEE Xplore (more)

He, Da; Müller, Wolfgang: A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. In: 15th Euromicro Conference on Digital System Design (DSD), Sep 2012, IEEE Xplore (more)

Becker, Markus; Kuznik, Christoph; Joy, M. tech. Mabel Mary; Xie, Tao; Müller, Wolfgang: Binary mutation testing through dynamic translation. 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012 , June 2012 (more)

Becker, Markus; Gnokam Defo, Gilles Bertrand; Müller, Wolfgang; Fummi, F.; Pravadelli, G.; Vinco, Sara : MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution . In: {Design, Automation and Test in Europe (DATE 2012), Mar 2012 (more)

Becker, Markus; Kuznik, Christoph; Joy, M. tech. Mabel Mary; Xie, Tao; Müller, Wolfgang: XEMU: A QEMU Based Binary Mutation Testing Framework. Design, Automation and Test in Europe DATE, University Booth, Dresden, Mar 2012 (more)

Müller, Wolfgang; Becker, Markus; Zabel, Henning; Elfeky, Ahmed; DiPasquale, Anthony: Virtual Prototyping of Cyber-Physical Systems. In: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012), 1 Jan 2012 (more)

Becker, Markus; Baldin, Daniel; Kuznik, Christoph; Joy, M. tech. Mabel Mary; Xie, Tao; Müller, Wolfgang: XEMU: An Efficient Qemu Based Binary Mutation Testing Framework for Embedded Software. EMSOFT'12: Teenth ACM International Conference on Embedded Software 2012 Proceedings 2012 (more)

F. S. Oliveira, Marcio; Kuznik, Christoph; Le, Hoang M.; Große, Daniel; Haedicke, Finn; Müller, Wolfgang; Drechsler, Rolf; Ecker, Wolfgang; Esen, Volkan: The System Verification Methodology for Advanced TLM Verification. CODES/ISSS '12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings, Oct 2012 (more)

Joy, M. tech. Mabel Mary; Becker, Markus; Mathews, Emi; Müller, Wolfgang: Automated Source Code Annotation for Timing Analysis of Embedded Software. In: In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012), 14 - 16 Dec 2012, IEEE (more)

Radke, Stephan; Rülke, Steffen; F. S. Oliveira, Marcio; Kuznik, Christoph; Müller, Wolfgang; Ecker, Wolfgang; Esen, Volkan; Hufnagel, Simon; Bannow, Nico; Oetjens, Jan-Hendrik; Brazdrum, Helmut; Janssen, Peter; Le, Hoang M.; Große, Daniel; Haedicke, Finn; Drechsler, Rolf; Koch, Gernot; Burger, Andreas; Bringmann, Oliver; Rosenstiel, Wolfgang; Görgen, Ralph: Compilation of Methodologies to Speed up the Verification Process at System Level. edaWorkshop 12, May 2012 (more)