Wolfgang Müller

Publication Activity (10 Years)

Years Active: 1994-2022
Publications (10 Years): 3

Top Venues

MBMV

PATMOS

VLSI-SoC

DASC

University of Paderborn, Germany (PHD)

Education History

University of Paderborn, Germany

PHD

Publications

Wolfgang Ecker, Peer Adelt, Wolfgang Müller, Reinhold Heckmann, Milos Krstic, Vladimir Herdt, Rolf Drechsler, Gerhard Angst, Ralf Wimmer, Andreas Mauderer, Rafael Stahl, Karsten Emrich, Daniel Mueller-Gritschneder, Bernd Becker, Philipp Scholl, Eyck Jentzsch, Jan Schlamelcher, Kim Grüttner, Paul Palomero Bernardo, Oliver Bringmann, Mihaela Damian, Julian Oppermann, Andreas Koch, Jörg Bormann, Johannes Partzsch, Christian Mayr, Wolfgang Kunz
The Scale4Edge RISC-V Ecosystem. DATE (2022)
Liang Wu, Mohammad Khizer Hussain, Saed Abughannam, Wolfgang Müller, Christoph Scheytt, Wolfgang Ecker
Analog fault simulation automation at schematic level with random sampling techniques. DTIS (2018)
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)
Fabian Mischkalla, Wolfgang Müller
Advanced SoC virtual prototyping for system-level power planning and validation. PATMOS (2014)
Mabel Mary Joy, Wolfgang Müller, Franz-Josef Rammig
Source Code Annotated Memory Leak Detection for Soft Real Time Embedded Systems with Resource Constraints. DASC (2014)
Fabian Mischkalla, Wolfgang Müller
Architectural low-power design using transaction-based system modeling and simulation. ICSAMOS (2014)
Bastian Koppelmann, Markus Becker, Wolfgang Müller
Portierung der TriCore-Architektur auf QEMU. MBMV (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)
Christoph Kuznik, Bertrand Defo, Wolfgang Müller
Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. MBMV (2014)
Fabian Mischkalla, Wolfgang Müller
Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. MBMV (2013)
Fabian Mischkalla, Wolfgang Müller
Efficient power Intent validation using loosely-timed simulation models. PATMOS (2013)
Markus Becker, Ulrich Kiffmeier, Wolfgang Müller
HeroeS: Virtual platform driven integration of heterogeneous software components for multi-core real-time architectures. ISORC (2013)
Kay Klobedanz, Jan Jatzkowski, Achim Rettberg, Wolfgang Müller
Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. IESS (2013)
Wolfgang Müller, Wolfgang Ecker
Testbenches for advanced TLM verification. CODES+ISSS (2012)
Markus Becker, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller
Binary mutation testing through dynamic translation. DSN (2012)
Marcio F. da S. Oliveira, Christoph Kuznik, Hoang Minh Le, Daniel Große, Finn Haedicke, Wolfgang Müller, Rolf Drechsler, Wolfgang Ecker, Volkan Esen
The system verification methodology for advanced TLM verification. CODES+ISSS (2012)
Da He, Wolfgang Müller
Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. ISORC (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)
Tao Xie, Wolfgang Müller, Florian Letombe
Mutation-analysis driven functional verification of a soft microprocessor. SoCC (2012)
Kay Klobedanz, Wolfgang Müller, Achim Rettberg
An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. ISORC Workshops (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)
Christoph Kuznik, Wolfgang Müller
Aspect enhanced functional coverage driven verification in the SystemC HDVL. ISOCC (2011)
Christoph Kuznik, Wolfgang Müller
Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC. PRDC (2011)
Tao Xie, Wolfgang Müller, Florian Letombe
HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. DSD (2011)
Tao Xie, Wolfgang Müller, Florian Letombe
IP-XACT based system level mutation testing. HLDVT (2011)
Gilles B. Defo, Wolfgang Müller, Heinrich Rommel
Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. MBMV (2011)
Kay Klobedanz, Andreas König, Wolfgang Müller, Achim Rettberg
Self-Reconfiguration for Fault-Tolerant FlexRay Networks. ISORC Workshops (2011)
Kay Klobedanz, Andreas König, Wolfgang Müller
A reconfiguration approach for fault-tolerant FlexRay networks. DATE (2011)
Alexander Krupp, Wolfgang Müller
A systematic approach to the test of combined HW/SW systems. DATE (2010)
Wolfgang Müller, Da He, Fabian Mischkalla, Arthur Wegele, Paul Whiston, Pablo Peñil, Eugenio Villar, Nikolaos Mitas, Dimitrios Kritharidis, Florent Azcarate, Manuel Carballeda
The SATURN Approach to SysML-Based HW/SW Codesign. ISVLSI (2010)
Fabian Mischkalla, Da He, Wolfgang Müller
Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems. DATE (2010)
Markus Becker, Henning Zabel, Wolfgang Müller
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. DIPES/BICC (2010)
Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wolfgang Müller
Timing modeling and analysis for AUTOSAR-based software development - a case study. DATE (2010)
Wolfgang Müller, Da He, Fabian Mischkalla, Arthur Wegele, Adrian Larkham, Paul Whiston, Pablo Peñil, Eugenio Villar, Nikolaos Mitas, Dimitrios Kritharidis, Florent Azcarate, Manuel Carballeda
The SATURN Approach to SysML-Based HW/SW Codesign. ISVLSI (Selected papers) (2010)
Wolfgang Müller, Alexander Bol, Alexander Krupp, Ola Lundkvist
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. 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)
Kay Klobedanz, Gilles B. Defo, Wolfgang Müller, Timo Kerstan
Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. SIES (2010)
Alexander Bol, Wolfgang Müller, Alexander Krupp
Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. MBMV (2010)
Christoph Kuznik, Gilles B. Defo, Wolfgang Müller
Verification of a CAN bus model in SystemC with functional coverage. SIES (2010)
Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller, Yuan Zhi
Task Migration for Fault-Tolerant FlexRay Networks. DIPES/BICC (2010)
Marcio F. da S. Oliveira, Francisco Assis Moreira do Nascimento, Wolfgang Müller, Flávio Rech Wagner
Design space abstraction and metamodeling for embedded systems design space exploration. MOMPES (2010)
Tao Xie, Wolfgang Müller, Florian Letombe
Efficient Mutation-Analysis Coverage for Constrained Random Verification. DIPES/BICC (2010)
Marcio F. da S. Oliveira, Henning Zabel, Wolfgang Müller
Assertion-based verification of RTOS properties. DATE (2010)
Alexander Krupp, Wolfgang Müller
Systematic Model-in-the-Loop Test of Embedded Control Systems. IESS (2009)
Kay Klobedanz, Christoph Kuznik, Ahmed Elfeky, Wolfgang Müller
Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study. IESS (2009)
Henning Zabel, Wolfgang Müller
Increased accuracy through noise injection in abstract RTOS simulation. DATE (2009)
Markus Becker, Henning Zabel, Wolfgang Müller, Ulrich Kiffmeier
Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. MBMV (2009)
Rainer Dömer, Andreas Gerstlauer, Wolfgang Müller
Introduction to hardware-dependent software design hardware-dependent software for multi- and many-core embedded systems. ASP-DAC (2009)
Tim Schattkowsky, Tao Xie, Wolfgang Müller
A UML frontend for IP-XACT-based IP management. DATE (2009)
Robbie Schaefer, Wolfgang Müller
Assessment of a multimodal interaction and rendering system against established design principles. J. Multimodal User Interfaces 2 (1) (2008)
Henning Zabel, Wolfgang Müller
An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. DIPES (2008)
Henning Zabel, Wolfgang Müller
Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. MBMV (2008)
Andrés Marín López, Wolfgang Müller, Robbie Schaefer, Florina Almenárez, Daniel Díaz Sánchez, Max Ziegler
Middleware for Secure Home Access and Control. PerCom Workshops (2007)
Robbie Schaefer, Wolfgang Müller, Andrés Marín López, Daniel Díaz Sánchez
Using smart cards for secure and device independent user interfaces. Mobility Conference (2007)
Robbie Schaefer, Steffen Bleul, Wolfgang Müller
Dialog Modeling for Multiple Devices and Multiple Interaction Modalities. TAMODIA (2006)
Alexander Krupp, Wolfgang Müller
Classification trees for random tests and functional coverage. DATE (2006)
Juergen Grossmann, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer, Wolfgang Müller
TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. ASWSD (2006)
Robbie Schaefer, Wolfgang Müller, Jinghua Groppe
Profile Processing and Evolution for Smart Environments. UIC (2006)
Jürgen Großmann, Wolfgang Müller
A Formal Behavioral Semantics for TestML. ISoLA (2006)
Tim Schattkowsky, Wolfgang Müller, Achim Rettberg
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware. DATE (2005)
Achim Rettberg, Tim Schattkowsky, Carsten Rust, Wolfgang Müller, Franz J. Rammig
The Reconfigurable UML Machine Project Group. EDUTECH (2005)
Tim Schattkowsky, Wolfgang Müller
Transformation of UML State Machines for Direct Execution. VL/HCC (2005)
Alexander Krupp, Wolfgang Müller
Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente. GI Jahrestagung (2) (2005)
Max Ziegler, Wolfgang Müller, Robbie Schaefer, Chris Loeser
Secure Profile Management in Smart Home Networks. DEXA Workshops (2005)
Stephan Flake, Wolfgang Müller
An ASM Definition of the Dynamic OCL 2.0 Semantics. UML (2004)
Tim Schattkowsky, Wolfgang Müller
Model-Based Design of Embedded Systems. ISORC (2004)
Wolfgang Müller, Robbie Schaefer, Steffen Bleul
Interactive Multimodal User Interfaces for Mobile Devices. HICSS (2004)
Stephan Flake, Wolfgang Müller
Formal Semantics of OCL Messages. Electron. Notes Theor. Comput. Sci. 102 (2004)
Tim Schattkowsky, Wolfgang Müller
Model-Based Specification and Execution of Embedded Real-Time Systems. DATE (2004)
Stephan Flake, Wolfgang Müller, Ulrich Pape, Jürgen Ruf
Specification and Formal Verification of Temporal Properties of Production Automation Systems. SoftSpez Final Report (2004)
Jürgen Gausemeier, Jochen Bauch, Rafael Radkowski, Qing Shen, Wolfgang Müller, Volker Paelke
Lösungselement-basiertes Virtual Prototyping von selbstoptimierenden mechatronischen Systemen. SimVis (2004)
Martin Zambaldi, Wolfgang Ecker, Thomas Kruse, Wolfgang Müller
The Formal Simulation Semantics of SystemVerilog. FDL (2004)
Alexander Krupp, Wolfgang Müller, Ian Oliver
Formal Refinement and Model Checking of an Echo Cancellation Unit. DATE (2004)
Wolfgang Müller, Volker Paelke
A Formal Model of a Framework for Simulation-Based Animation. SimVis (2004)
Tim Schattkowsky, Christoph Loeser, Wolfgang Müller
Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. AINA (1) (2004)
Stephan Flake, Wolfgang Müller
Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. SEFM (2004)
Robbie Schaefer, Steffen Bleul, Wolfgang Müller
A Novel Dialog Model for the Design of Multimodal User Interfaces. EHCI/DS-VIS (2004)
Alexander Krupp, Wolfgang Müller
Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. MBMV (2003)
Stephan Flake, Wolfgang Müller
Expressing Property Specification Patterns with OCL. Software Engineering Research and Practice (2003)
Tomasz Kostienko, Wolfgang Müller, Adam Pawlak, Tim Schattkowsky
An advanced infrastructure for collaborative engineering in electronic design automation. ISPE CE (2003)
Chris Loeser, Wolfgang Müller, Frank Berger, Heinz-Josef Eikerling
Peer-to-Peer Networks for Virtual Home Environments. HICSS (2003)
Wolfgang Müller, Tim Schattkowsky, Heinz-Josef Eikerling, Jan Wegner
Dynamic Tool Integration in Heterogeneous Computer Networks. DATE (2003)
Stephan Flake, Wolfgang Müller
Formal semantics of static and temporal state-oriented OCL constraints. Softw. Syst. Model. 2 (3) (2003)
Stephan Flake, Wolfgang Müller
Semantics of State-Oriented Expressions in the Object Constraint Language. SEKE (2003)
Alexander Krupp, Wolfgang Müller
Combining Formal Refinement and Model Checking for Real-Time Systems Verification. FDL (2003)
Heinz-Josef Eikerling, Wolfgang Müller, Jan Wegner
Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken (Tool Integration and Management in Heterogeneous Computer Networks). Informationstechnik Tech. Inform. 44 (3) (2002)
Rainer Dömer, Andreas Gerstlauer, Wolfgang Müller
The Formal Execution Semantics of SpecC. ISSS (2002)
Stephan Flake, Wolfgang Müller
A UML Profile for Real-Time Constraints with the OCL. UML (2002)
Johan Plomp, Robbie Schaefer, Wolfgang Müller
Comparing Transcoding Tools for Use with a Generic User Interface Format. Extreme Markup Languages® (2002)
Stephan Flake, Wolfgang Müller
An OCL Extension for Real-Time Constraints. Object Modeling with the OCL (2002)
Stephan Flake, Wolfgang Müller
Specification of Real-Time Properties for UML Models. HICSS (2002)
Robbie Schaefer, Andreas Dangberg, Wolfgang Müller
Fuzzy Rules for HTML Transcoding. HICSS (2002)
Wolfgang Müller, Arne Meyer, Henning Zabel
A Language for the Rapid Prototyping of Mobile Evolving Agents. HICSS (2001)
Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller
The simulation semantics of systemC. DATE (2001)
Stephan Flake, Christian Geiger, Wolfgang Müller, Volker Paelke, Waldemar Rosenbach, Jürgen Ruf
Customer-Oriented Systems Design through Virtual Prototypes. WETICE (2001)
Arnulf Braatz, Stephan Flake, Wolfgang Müller, Engelbert Westkämper
Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung. SimVis (2000)
Wolfgang Müller, Arne Meyer, Henning Zabel
A Visual Framework for the Scripting of Parallel Agents. VL (2000)

Wolfgang Müller.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wolfgang Müller