The semantics of behavioral VHDL '93 descriptions. - Wolfgang Müller 003; Egon Börger; Uwe Glässer (EURO-DAC, 1994)

Transforming SDL Diagrams into a Complete Visual Representation. - Georg Lehrenfeld; Wolfgang Müller 003; Christoph Tahedl (VL, 1995)

Executable graphics for VHDL-based systems design. - Wolfgang Müller 003 (1996)

Specification and Analysis of Concurrent Systems in a Complete Visual Environment. - Marita Dücker; Georg Lehrenfeld; Wolfgang Müller 003; Christoph Tahedi (ESM, 1996)

Visual Modeling and 3D-Representation with a Complete Visual Programming Language - A Case Study in Manufacturing. - Christian Geiger 001; Ralf Hunstock; Georg Lehrenfeld; Wolfgang Müller 003; Julia Quintanilla; Christoph Tahedl; Anke Weber (VL, 1996)

Integrating a Constraint Solver into a Real-Time Animation Environment. - Peer Griebel; Georg Lehrenfeld; Wolfgang Müller 003; Christoph Tahedl; Holger Uhr (VL, 1996)

A generic system for interactive real-time animation. - Marita Dücker; Georg Lehrenfeld; Wolfgang Müller 003; Christoph Tahedl (ECBS, 1997)

Visual-Textual Prototyping of 4D Scenes. - Marita Dücker; Christian Geiger 001; Ralf Hunstock; Georg Lehrenfeld; Wolfgang Müller 003 (VL, 1997)

A Visual Language for Qualitative Data. - Marita Dücker; Christian Geiger 001; Georg Lehrenfeld; Wolfgang Müller 003; Christoph Tahedl (VL, 1997)

Visuelle Spezifikation, Modellierung und Animation im Systementwurf. - Christian Geiger 001; Wolfgang Müller 003 (SimVis, 1998)

VIPspace - A Visual Programmable Shared Workspace. - Marita Dücker; Wolfgang Müller 003; Jessica Rubart (VL, 1998)

SAM - An Animated 3D Programming Language. - Christian Geiger 001; Wolfgang Müller 003; Waldemar Rosenbach (VL, 1998)

Visuelle Spezifikations- und Modellierungstechniken. - Wolfgang Müller 003; Jörgen Sturm (Informationstechnik Tech. Inform., 1998)

Innovative Concepts for Configuring Shared Workspaces through Visual Programming. - Marita Dücker; Wolfgang Müller 003; Jessica Rubart (HICSS, 1999)

Visual Specification, Modelling, and Illustration of Complex Systems. - Christian Geiger 001; Georg Lehrenfeld; Wolfgang Müller 003 (HICSS, 1999)

Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation. - Christian Geiger 001; Georg Lehrenfeld; Wolfgang Müller 003 (SimVis, 1999)

Structured English for Model Checking Specification. - Stephan Flake; Wolfgang Müller 003; Jürgen Ruf (MBMV, 2000)

Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung. - Arnulf Braatz; Stephan Flake; Wolfgang Müller 003; Engelbert Westkämper (SimVis, 2000)

A Visual Framework for the Scripting of Parallel Agents. - Wolfgang Müller 003; Arne Meyer; Henning Zabel (VL, 2000)

The simulation semantics of systemC. - Jürgen Ruf; Dirk W. Hoffmann; Joachim Gerlach; Thomas Kropf; Wolfgang Rosenstiel; Wolfgang Müller 003 (DATE, 2001)

A Language for the Rapid Prototyping of Mobile Evolving Agents. - Wolfgang Müller 003; Arne Meyer; Henning Zabel (HICSS, 2001)

Customer-Oriented Systems Design through Virtual Prototypes. - Stephan Flake; Christian Geiger 001; Wolfgang Müller 003; Volker Paelke; Waldemar Rosenbach; Jürgen Ruf (WETICE, 2001)

Comparing Transcoding Tools for Use with a Generic User Interface Format. - Johan Plomp; Robbie Schaefer; Wolfgang Müller 003 (Extreme Markup Languages®, 2002)

Specification of Real-Time Properties for UML Models. - Stephan Flake; Wolfgang Müller 003 (HICSS, 2002)

Fuzzy Rules for HTML Transcoding. - Robbie Schaefer; Andreas Dangberg; Wolfgang Müller 003 (HICSS, 2002)

The Formal Execution Semantics of SpecC. - Rainer Dömer; Andreas Gerstlauer; Wolfgang Müller 003 (ISSS, 2002)

An OCL Extension for Real-Time Constraints. - Stephan Flake; Wolfgang Müller 003 (Object Modeling with the OCL, 2002)

A UML Profile for Real-Time Constraints with the OCL. - Stephan Flake; Wolfgang Müller 003 (UML, 2002)

Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken (Tool Integration and Management in Heterogeneous Computer Networks). - Heinz-Josef Eikerling; Wolfgang Müller 003; Jan Wegner (Informationstechnik Tech. Inform., 2002)

Dynamic Tool Integration in Heterogeneous Computer Networks. - Wolfgang Müller 003; Tim Schattkowsky; Heinz-Josef Eikerling; Jan Wegner (DATE, 2003)

Combining Formal Refinement and Model Checking for Real-Time Systems Verification. - Alexander Krupp; Wolfgang Müller 003 (FDL, 2003)

Peer-to-Peer Networks for Virtual Home Environments. - Chris Loeser; Wolfgang Müller 003; Frank Berger; Heinz-Josef Eikerling (HICSS, 2003)

An advanced infrastructure for collaborative engineering in electronic design automation. - Tomasz Kostienko; Wolfgang Müller 003; Adam Pawlak; Tim Schattkowsky (CE, 2003)

Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. - Alexander Krupp; Wolfgang Müller 003 (MBMV, 2003)

Semantics of State-Oriented Expressions in the Object Constraint Language. - Stephan Flake; Wolfgang Müller 003 (SEKE, 2003)

Expressing Property Specification Patterns with OCL. - Stephan Flake; Wolfgang Müller 003 (Software Engineering Research and Practice, 2003)

Formal Semantics of OCL Messages. - Stephan Flake; Wolfgang Müller 003 (OCL 2.0 @ UML, 2003)

Formal semantics of static and temporal state-oriented OCL constraints. - Stephan Flake; Wolfgang Müller 003 (Softw. Syst. Model., 2003)

Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. - Tim Schattkowsky; Christoph Loeser; Wolfgang Müller 003 (AINA (1), 2004)

Formal Refinement and Model Checking of an Echo Cancellation Unit. - Alexander Krupp; Wolfgang Müller 003; Ian Oliver (DATE, 2004)

Model-Based Specification and Execution of Embedded Real-Time Systems. - Tim Schattkowsky; Wolfgang Müller 003 (DATE, 2004)

Specification and Formal Verification of Temporal Properties of Production Automation Systems. - Stephan Flake; Wolfgang Müller 003; Ulrich Pape; Jürgen Ruf (SoftSpez Final Report, 2004)

A Novel Dialog Model for the Design of Multimodal User Interfaces. - Robbie Schaefer; Steffen Bleul; Wolfgang Müller 003 (EHCI/DS-VIS, 2004)

The Formal Simulation Semantics of SystemVerilog. - Martin Zambaldi; Wolfgang Ecker; Thomas Kruse; Wolfgang Müller 003 (FDL, 2004)

Interactive Multimodal User Interfaces for Mobile Devices. - Wolfgang Müller 003; Robbie Schaefer; Steffen Bleul (HICSS, 2004)

Model-Based Design of Embedded Systems. - Tim Schattkowsky; Wolfgang Müller 003 (ISORC, 2004)

Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. - Stephan Flake; Wolfgang Müller 003 (SEFM, 2004)

Lösungselement-basiertes Virtual Prototyping von selbstoptimierenden mechatronischen Systemen. - Jürgen Gausemeier; Jochen Bauch; Rafael Radkowski; Qing Shen; Wolfgang Müller 003; Volker Paelke (SimVis, 2004)

A Formal Model of a Framework for Simulation-Based Animation. - Wolfgang Müller 003; Volker Paelke (SimVis, 2004)

An ASM Definition of the Dynamic OCL 2.0 Semantics. - Stephan Flake; Wolfgang Müller 003 (UML, 2004)

A Model-Based Approach for Executable Specifications on Reconfigurable Hardware. - Tim Schattkowsky; Wolfgang Müller 003; Achim Rettberg (DATE, 2005)

Secure Profile Management in Smart Home Networks. - Max Ziegler; Wolfgang Müller 003; Robbie Schaefer; Chris Loeser (DEXA Workshops, 2005)

Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente. - Alexander Krupp; Wolfgang Müller 003 (GI Jahrestagung (2), 2005)

The Reconfigurable UML Machine Project Group. - Achim Rettberg; Tim Schattkowsky; Carsten Rust; Wolfgang Müller 003; Franz J. Rammig (EDUTECH, 2005)

Transformation of UML State Machines for Direct Execution. - Tim Schattkowsky; Wolfgang Müller 003 (VL/HCC, 2005)

TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. - Juergen Grossmann; Ines Fey; Alexander Krupp; Mirko Conrad; Christian Wewetzer; Wolfgang Müller 003 (ASWSD, 2006)

Classification trees for random tests and functional coverage. - Alexander Krupp; Wolfgang Müller 003 (DATE, 2006)

A Formal Behavioral Semantics for TestML. - Jürgen Großmann; Wolfgang Müller 003 (ISoLA, 2006)

Dialog Modeling for Multiple Devices and Multiple Interaction Modalities. - Robbie Schaefer; Steffen Bleul; Wolfgang Müller 003 (TAMODIA, 2006)

Profile Processing and Evolution for Smart Environments. - Robbie Schaefer; Wolfgang Müller 003; Jinghua Groppe (UIC, 2006)

Using smart cards for secure and device independent user interfaces. - Robbie Schaefer; Wolfgang Müller 003; Andrés Marín López; Daniel Díaz Sánchez (Mobility Conference, 2007)

Middleware for Secure Home Access and Control. - Andrés Marín López; Wolfgang Müller 003; Robbie Schaefer; Florina Almenárez; Daniel Díaz Sánchez; Max Ziegler (PerCom Workshops, 2007)

An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. - Henning Zabel; Wolfgang Müller 003 (DIPES, 2008)

Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. - Henning Zabel; Wolfgang Müller 003 (MBMV, 2008)

Assessment of a multimodal interaction and rendering system against established design principles. - Robbie Schaefer; Wolfgang Müller 003 (J. Multimodal User Interfaces, 2008)

Introduction to hardware-dependent software design hardware-dependent software for multi- and many-core embedded systems. - Rainer Dömer; Andreas Gerstlauer; Wolfgang Müller 003 (ASP-DAC, 2009)

A UML frontend for IP-XACT-based IP management. - Tim Schattkowsky; Tao Xie 006; Wolfgang Müller 003 (DATE, 2009)

Increased accuracy through noise injection in abstract RTOS simulation. - Henning Zabel; Wolfgang Müller 003 (DATE, 2009)

Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study. - Kay Klobedanz; Christoph Kuznik; Ahmed Elfeky; Wolfgang Müller 003 (IESS, 2009)

Systematic Model-in-the-Loop Test of Embedded Control Systems. - Alexander Krupp; Wolfgang Müller 003 (IESS, 2009)

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)

Timing modeling and analysis for AUTOSAR-based software development - a case study. - Kay Klobedanz; Christoph Kuznik; Andreas Thuy; Wolfgang Müller 003 (DATE, 2010)

A systematic approach to the test of combined HW/SW systems. - Alexander Krupp; Wolfgang Müller 003 (DATE, 2010)

Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems. - Fabian Mischkalla; Da He; Wolfgang Müller 003 (DATE, 2010)

Assertion-based verification of RTOS properties. - Marcio Ferreira da Silva Oliveira; Henning Zabel; Wolfgang Müller 003 (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)

Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. - Wolfgang Müller 003; Alexander Bol; Alexander Krupp; Ola Lundkvist (DIPES/BICC, 2010)

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

Task Migration for Fault-Tolerant FlexRay Networks. - Kay Klobedanz; Gilles B. Defo; Henning Zabel; Wolfgang Müller 003; Yuan Zhi (DIPES/BICC, 2010)

Efficient Mutation-Analysis Coverage for Constrained Random Verification. - Tao Xie 006; Wolfgang Müller 003; Florian Letombe (DIPES/BICC, 2010)

The SATURN Approach to SysML-Based HW/SW Codesign. - Wolfgang Müller 003; Da He; Fabian Mischkalla; Arthur Wegele; Adrian Larkham; Paul Whiston; Pablo Peñil; Eugenio Villar; Nikolaos Mitas; Dimitrios Kritharidis; Florent Azcarate; Manuel Carballeda (ISVLSI (Selected papers), 2010)

The SATURN Approach to SysML-Based HW/SW Codesign. - Wolfgang Müller 003; Da He; Fabian Mischkalla; Arthur Wegele; Paul Whiston; Pablo Peñil; Eugenio Villar; Nikolaos Mitas; Dimitrios Kritharidis; Florent Azcarate; Manuel Carballeda (ISVLSI, 2010)

Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. - Alexander Bol; Wolfgang Müller 003; Alexander Krupp (MBMV, 2010)

Design space abstraction and metamodeling for embedded systems design space exploration. - Marcio Ferreira da Silva Oliveira; Francisco Assis Moreira do Nascimento; Wolfgang Müller 003; Flávio Rech Wagner (MOMPES, 2010)

Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. - Kay Klobedanz; Gilles B. Defo; Wolfgang Müller 003; Timo Kerstan (SIES, 2010)

Verification of a CAN bus model in SystemC with functional coverage. - Christoph Kuznik; Gilles B. Defo; Wolfgang Müller 003 (SIES, 2010)

A reconfiguration approach for fault-tolerant FlexRay networks. - Kay Klobedanz; Andreas König 003; Wolfgang Müller 003 (DATE, 2011)

HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. - Tao Xie 006; Wolfgang Müller 003; Florian Letombe (DSD, 2011)

IP-XACT based system level mutation testing. - Tao Xie 006; Wolfgang Müller 003; Florian Letombe (HLDVT, 2011)

Aspect enhanced functional coverage driven verification in the SystemC HDVL. - Christoph Kuznik; Wolfgang Müller 003 (ISOCC, 2011)

Self-Reconfiguration for Fault-Tolerant FlexRay Networks. - Kay Klobedanz; Andreas König 003; Wolfgang Müller 003; Achim Rettberg (ISORC Workshops, 2011)

Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. - Gilles B. Defo; Wolfgang Müller 003; Heinrich Rommel (MBMV, 2011)

Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC. - Christoph Kuznik; Wolfgang Müller 003 (PRDC, 2011)

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

Testbenches for advanced TLM verification. - Wolfgang Müller 003; Wolfgang Ecker (CODES+ISSS, 2012)

The system verification methodology for advanced TLM verification. - Marcio Ferreira da Silva Oliveira; Christoph Kuznik; Hoang Minh Le 001; Daniel Große; Finn Haedicke; Wolfgang Müller 003; Rolf Drechsler; Wolfgang Ecker; Volkan Esen (CODES+ISSS, 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)

Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. - Da He; Wolfgang Müller 003 (ISORC, 2012)

An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. - Kay Klobedanz; Wolfgang Müller 003; Achim Rettberg (ISORC Workshops, 2012)

Mutation-analysis driven functional verification of a soft microprocessor. - Tao Xie 006; Wolfgang Müller 003; Florian Letombe (SoCC, 2012)

Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. - Kay Klobedanz; Jan Jatzkowski; Achim Rettberg; Wolfgang Müller 003 (IESS, 2013)

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)

Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. - Fabian Mischkalla; Wolfgang Müller 003 (MBMV, 2013)

Efficient power Intent validation using loosely-timed simulation models. - Fabian Mischkalla; Wolfgang Müller 003 (PATMOS, 2013)

Methods for the Design and Development. - Harald Anacker; Michael Dellnitz; Kathrin Flaßkamp; Stefan Groesbrink; Philip Hartmann; Christian Heinzemann; Christian Horenkamp; Bernd Kleinjohann; Lisa Kleinjohann; Sebastian Korf; Martin Krüger; Wolfgang Müller 003; et al. (Design Methodology for Intelligent Technical Systems, 2014)

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)

Source Code Annotated Memory Leak Detection for Soft Real Time Embedded Systems with Resource Constraints. - Mabel Mary Joy; Wolfgang Müller 003; Franz-Josef Rammig (DASC, 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)

Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. - Christoph Kuznik; Bertrand Defo; Wolfgang Müller 003 (MBMV, 2014)

Advanced SoC virtual prototyping for system-level power planning and validation. - Fabian Mischkalla; Wolfgang Müller 003 (PATMOS, 2014)

Architectural low-power design using transaction-based system modeling and simulation. - Fabian Mischkalla; Wolfgang Müller 003 (ICSAMOS, 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)

Analog fault simulation automation at schematic level with random sampling techniques. - Liang Wu; Mohammad Khizer Hussain; Saed Abughannam; Wolfgang Müller 003; Christoph Scheytt; Wolfgang Ecker (DTIS, 2018)

The Scale4Edge RISC-V Ecosystem. - Wolfgang Ecker; Peer Adelt; Wolfgang Müller 003; Reinhold Heckmann; Milos Krstic; Vladimir Herdt; Rolf Drechsler; Gerhard Angst; Ralf Wimmer 001; Andreas Mauderer; Rafael Stahl; Karsten Emrich; et al. (DATE, 2022)