Wolfgang Müller
Affiliations:- University of Paderborn, Heinz Nixdorf Institute, Germany
- University of Paderborn, Cooperative Computing & Communication Laboratory (C-LAB), Germany
According to our database1,
Wolfgang Müller
authored at least 118 papers
between 1994 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2022
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
2018
Analog fault simulation automation at schematic level with random sampling techniques.
Proceedings of the 13th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2018
2016
Proceedings of the 2016 IFIP/IEEE International Conference on Very Large Scale Integration, 2016
2014
Architectural low-power design using transaction-based system modeling and simulation.
Proceedings of the XIVth International Conference on Embedded Computer Systems: Architectures, 2014
Proceedings of the 24th International Workshop on Power and Timing Modeling, 2014
Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014
Portierung der TriCore-Architektur auf QEMU.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2014
WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systems.
Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems, 2014
Source Code Annotated Memory Leak Detection for Soft Real Time Embedded Systems with Resource Constraints.
Proceedings of the IEEE 12th International Conference on Dependable, 2014
Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
Proceedings of the Design Methodology for Intelligent Technical Systems, 2014
2013
Proceedings of the 2013 23rd International Workshop on Power and Timing Modeling, 2013
Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013
HeroeS: Virtual platform driven integration of heterogeneous software components for multi-core real-time architectures.
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013
Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013
2012
Proceedings of the IEEE 25th International SOC Conference, 2012
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2012
XEMU: an efficient QEMU based binary mutation testing framework for embedded software.
Proceedings of the 12th International Conference on Embedded Software, 2012
Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks, 2012
MOUSSE: Scaling modelling and verification to complex Heterogeneous Embedded Systems evolution.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012
Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012
2011
Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC.
Proceedings of the 17th IEEE Pacific Rim International Symposium on Dependable Computing, 2011
Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011
Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011
Proceedings of the International SoC Design Conference, 2011
Proceedings of the 2011 IEEE International High Level Design Validation and Test Workshop, 2011
Proceedings of the 14th Euromicro Conference on Digital System Design, 2011
Proceedings of the Design, Automation and Test in Europe, 2011
2010
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010
Design space abstraction and metamodeling for embedded systems design space exploration.
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2010
Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2010
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2010
Proceedings of the VLSI 2010 Annual Symposium - Selected papers, 2010
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010
Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems.
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems.
Proceedings of the Design, Automation and Test in Europe, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
2009
Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2009
Proceedings of the Analysis, 2009
Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.
Proceedings of the Analysis, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
Proceedings of the Design, Automation and Test in Europe, 2009
Introduction to hardware-dependent software design hardware-dependent software for multi- and many-core embedded systems.
Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009
2008
Assessment of a multimodal interaction and rendering system against established design principles.
J. Multimodal User Interfaces, 2008
Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2008
An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration.
Proceedings of the Distributed Embedded Systems: Design, 2008
2007
Proceedings of the Fifth Annual IEEE International Conference on Pervasive Computing and Communications, 2007
Proceedings of the 4th International Conference on Mobile Technology, 2007
2006
Proceedings of the Ubiquitous Intelligence and Computing, Third International Conference, 2006
Proceedings of the Task Models and Diagrams for Users Interface Design, 2006
Proceedings of the Leveraging Applications of Formal Methods, 2006
Proceedings of the Conference on Design, Automation and Test in Europe, 2006
Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006
2005
Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005
Proceedings of the New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design, 2005
Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente.
Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005
Proceedings of the 16th International Workshop on Database and Expert Systems Applications (DEXA 2005), 2005
Proceedings of the 2005 Design, 2005
2004
Proceedings of the «UML» 2004, 2004
A Formal Model of a Framework for Simulation-Based Animation.
Proceedings of the Simulation und Visualisierung 2004 (SimVis 2004) 4-5 März 2004, 2004
Lösungselement-basiertes Virtual Prototyping von selbstoptimierenden mechatronischen Systemen.
Proceedings of the Simulation und Visualisierung 2004 (SimVis 2004) 4-5 März 2004, 2004
Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004
Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004
Proceedings of the Forum on specification and Design Languages, 2004
Proceedings of the Engineering Human Computer Interaction and Interactive Systems, 2004
Specification and Formal Verification of Temporal Properties of Production Automation Systems.
Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004
Proceedings of the 2004 Design, 2004
Proceedings of the 2004 Design, 2004
Proceedings of the 18th International Conference on Advanced Information Networking and Applications (AINA 2004), 2004
2003
Softw. Syst. Model., 2003
Proceedings of the Workshop OCL 2.0 - Industry Standard or Scientific Playground?, 2003
Expressing Property Specification Patterns with OCL.
Proceedings of the International Conference on Software Engineering Research and Practice, 2003
Semantics of State-Oriented Expressions in the Object Constraint Language.
Proceedings of the Fifteenth International Conference on Software Engineering & Knowledge Engineering (SEKE'2003), 2003
Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003
An advanced infrastructure for collaborative engineering in electronic design automation.
Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003
Proceedings of the 36th Hawaii International Conference on System Sciences (HICSS-36 2003), 2003
Proceedings of the Forum on specification and Design Languages, 2003
Proceedings of the 2003 Design, 2003
2002
Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken (Tool Integration and Management in Heterogeneous Computer Networks).
Informationstechnik Tech. Inform., 2002
Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002
Proceedings of the Object Modeling with the OCL, 2002
Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), 2002
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002
Proceedings of the Extreme Markup Languages® 2002 Conference, 2002
2001
Proceedings of the 10th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2001), 2001
Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001
Proceedings of the Conference on Design, Automation and Test in Europe, 2001
2000
Proceedings of the 2000 IEEE International Symposium on Visual Languages, 2000
Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung.
Proceedings of the Simulation und Visualisierung 2000 (SimVis 2000), 2000
Structured English for Model Checking Specification.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28, 2000
1999
Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation.
Proceedings of the Simulation und Visualisierung 1999 (SimVis 1999), 1999
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999
1998
Informationstechnik Tech. Inform., 1998
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998
Proceedings of the Proceedings 1998 IEEE Symposium on Visual Languages, 1998
Visuelle Spezifikation, Modellierung und Animation im Systementwurf.
Proceedings of the Simulation und Visualisierung 1998 (SimVis 1998), 1998
1997
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997
Proceedings of the Proceedings 1997 IEEE Symposium on Visual Languages, 1997
Proceedings of the 1997 Workshop on Engineering of Computer-Based Systems (ECBS '97), 1997
1996
Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996
Visual Modeling and 3D-Representation with a Complete Visual Programming Language - A Case Study in Manufacturing.
Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996
Specification and Analysis of Concurrent Systems in a Complete Visual Environment.
Proceedings of the Modelling and Simulation, 1996
1995
Proceedings of the Proceedings 11th International IEEE Symposium on Visual Languages, 1995
1994
Proceedings of the Proceedings EURO-DAC'94, 1994