Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWolfgang Müller 0003
Person information
- affiliation: University of Paderborn, Heinz Nixdorf Institute, Germany
- affiliation: University of Paderborn, Cooperative Computing & Communication Laboratory (C-LAB), Germany
Other persons with the same name
- Wolfgang Müller — disambiguation page
- Wolfgang Müller 0001
![[0000-0002-4980-3512]](https://dblp.uni-trier.de/img/orcid-mark.12x12.png "0000-0002-4980-3512")
— Heidelberg Institute for Theoretical Studies (and 1 more) - Wolfgang Müller 0002 — AIT Austrian Institute of Technology, Energy Department, Wien, Austria
- Wolfgang Müller 0004 — PH Weingarten, Germany (and 1 more)
- Wolfgang Müller 0005 — Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern, Germany
- Wolfgang Müller 0006 — University of Bonn, Germany
- Wolfgang Müller 0007 — Graz University of Technology, Austria
- Wolfgang Müller 0008 — Leibniz Universität Hannover, Germany
- Wolfgang Müller 0009 — SEL Stuttgart, Germany
- Wolfgang Müller 0010 — Martin-Buber-Oberschule, Berlin, Germany
- Wolfgang Müller 0011 — BBC, Mannheim, Germany
- Wolfgang Müller 0012 — Fraunhofer Institute Information and Data Processing, Berlin, Germany
- Wolfgang Müller 0013 — TU Darmstadt, Germany
- Wolfgang Müller 0014 — University of London, Royal Holloway, Department of Earth Sciences, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 1996
[b1]Wolfgang Müller:
Executable graphics for VHDL-based systems design. University of Paderborn, Germany, 1996, pp. 1-199
Journal Articles
- 2008
- [j4]Robbie Schaefer, Wolfgang Müller:
Assessment of a multimodal interaction and rendering system against established design principles. J. Multimodal User Interfaces 2(1): 25-41 (2008) - 2003
- [j3]Stephan Flake, Wolfgang Müller:
Formal semantics of static and temporal state-oriented OCL constraints. Softw. Syst. Model. 2(3): 164-186 (2003) - 2002
- [j2]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): 128-136 (2002) - 1998
- [j1]Wolfgang Müller, Jörgen Sturm:
Visuelle Spezifikations- und Modellierungstechniken. Informationstechnik Tech. Inform. 40(3): 32-36 (1998)
Conference and Workshop Papers
- 2022
- [c111]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: 808-813 - 2018
- [c110]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: 1-4 - 2016
- [c109]Peer Adelt, Bastian Koppelmann, Wolfgang Müller, Markus Becker, Bernd Kleinjohann, Christoph Scheytt:
Fast dynamic fault injection for virtual microcontroller platforms. VLSI-SoC 2016: 1-6 - 2014
- [c108]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:
Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. DAC 2014: 113:1-113:6 - [c107]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: 166-172 - [c106]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: 213 - [c105]Bastian Koppelmann, Markus Becker, Wolfgang Müller:
Portierung der TriCore-Architektur auf QEMU. MBMV 2014: 49-60 - [c104]Christoph Kuznik, Bertrand Defo, Wolfgang Müller:
Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. MBMV 2014: 113-124 - [c103]Fabian Mischkalla, Wolfgang Müller:
Advanced SoC virtual prototyping for system-level power planning and validation. PATMOS 2014: 1-8 - [c102]Fabian Mischkalla, Wolfgang Müller:
Architectural low-power design using transaction-based system modeling and simulation. ICSAMOS 2014: 258-265 - 2013
- [c101]Kay Klobedanz, Jan Jatzkowski, Achim Rettberg, Wolfgang Müller:
Fault-Tolerant Deployment of Real-Time Software in AUTOSAR ECU Networks. IESS 2013: 238-249 - [c100]Markus Becker, Ulrich Kiffmeier, Wolfgang Müller:
HeroeS: Virtual platform driven integration of heterogeneous software components for multi-core real-time architectures. ISORC 2013: 1-8 - [c99]Fabian Mischkalla, Wolfgang Müller:
Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. MBMV 2013: 171-181 - [c98]Fabian Mischkalla, Wolfgang Müller:
Efficient power Intent validation using loosely-timed simulation models. PATMOS 2013: 172-179 - 2012
- [c97]Wolfgang Müller, Markus Becker, Ahmed Elfeky, Anthony DiPasquale:
Virtual prototyping of Cyber-Physical Systems. ASP-DAC 2012: 219-226 - [c96]Wolfgang Müller, Wolfgang Ecker:
Testbenches for advanced TLM verification. CODES+ISSS 2012: 305-306 - [c95]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: 313-322 - [c94]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: 296-299 - [c93]Markus Becker, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller:
Binary mutation testing through dynamic translation. DSN 2012: 1-12 - [c92]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: 33-42 - [c91]Da He, Wolfgang Müller:
Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. ISORC 2012: 56-63 - [c90]Kay Klobedanz, Wolfgang Müller, Achim Rettberg:
An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems. ISORC Workshops 2012: 196-203 - [c89]Tao Xie, Wolfgang Müller, Florian Letombe:
Mutation-analysis driven functional verification of a soft microprocessor. SoCC 2012: 283-288 - 2011
- [c88]Kay Klobedanz, Andreas König, Wolfgang Müller:
A reconfiguration approach for fault-tolerant FlexRay networks. DATE 2011: 82-87 - [c87]Tao Xie, Wolfgang Müller, Florian Letombe:
HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. DSD 2011: 608-615 - [c86]Tao Xie, Wolfgang Müller, Florian Letombe:
IP-XACT based system level mutation testing. HLDVT 2011: 65-71 - [c85]Christoph Kuznik, Wolfgang Müller:
Aspect enhanced functional coverage driven verification in the SystemC HDVL. ISOCC 2011: 154-157 - [c84]Kay Klobedanz, Andreas König, Wolfgang Müller, Achim Rettberg:
Self-Reconfiguration for Fault-Tolerant FlexRay Networks. ISORC Workshops 2011: 207-216 - [c83]Gilles B. Defo, Wolfgang Müller, Heinrich Rommel:
Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. MBMV 2011: 219-228 - [c82]Christoph Kuznik, Wolfgang Müller:
Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC. PRDC 2011: 290-291 - 2010
- [c81]Alexander Krupp, Wolfgang Müller:
A systematic approach to the test of combined HW/SW systems. DATE 2010: 323-326 - [c80]Marcio F. da S. Oliveira, Henning Zabel, Wolfgang Müller:
Assertion-based verification of RTOS properties. DATE 2010: 630-633 - [c79]Kay Klobedanz, Christoph Kuznik, Andreas Thuy, Wolfgang Müller:
Timing modeling and analysis for AUTOSAR-based software development - a case study. DATE 2010: 642-645 - [c78]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: 1053-1058 - [c77]Fabian Mischkalla, Da He, Wolfgang Müller:
Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems. DATE 2010: 1201-1206 - [c76]Wolfgang Müller, Marcio F. da S. Oliveira, Henning Zabel, Markus Becker:
Verification of real-time properties for Hardware-dependent Software. HLDVT 2010: 154-159 - [c75]Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller, Yuan Zhi:
Task Migration for Fault-Tolerant FlexRay Networks. DIPES/BICC 2010: 55-65 - [c74]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: 78-89 - [c73]Tao Xie, Wolfgang Müller, Florian Letombe:
Efficient Mutation-Analysis Coverage for Constrained Random Verification. DIPES/BICC 2010: 114-124 - [c72]Markus Becker, Henning Zabel, Wolfgang Müller:
A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. DIPES/BICC 2010: 145-156 - [c71]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: 151-164 - [c70]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: 506-511 - [c69]Alexander Bol, Wolfgang Müller, Alexander Krupp:
Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. MBMV 2010: 167-176 - [c68]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: 29-36 - [c67]Christoph Kuznik, Gilles B. Defo, Wolfgang Müller:
Verification of a CAN bus model in SystemC with functional coverage. SIES 2010: 28-35 - [c66]Kay Klobedanz, Gilles B. Defo, Wolfgang Müller, Timo Kerstan:
Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. SIES 2010: 79-87 - 2009
- [c65]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: 290-292 - [c64]Tim Schattkowsky, Tao Xie, Wolfgang Müller:
A UML frontend for IP-XACT-based IP management. DATE 2009: 238-243 - [c63]Henning Zabel, Wolfgang Müller:
Increased accuracy through noise injection in abstract RTOS simulation. DATE 2009: 1632-1637 - [c62]Alexander Krupp, Wolfgang Müller:
Systematic Model-in-the-Loop Test of Embedded Control Systems. IESS 2009: 171-184 - [c61]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: 218-225 - [c60]Markus Becker, Henning Zabel, Wolfgang Müller, Ulrich Kiffmeier:
Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. MBMV 2009: 167-176 - 2008
- [c59]Henning Zabel, Wolfgang Müller:
An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. DIPES 2008: 181-190 - [c58]Henning Zabel, Wolfgang Müller:
Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. MBMV 2008: 31-39 - 2007
- [c57]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: 743-750 - [c56]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: 489-494 - 2006
- [c55]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: 98-117 - [c54]Alexander Krupp, Wolfgang Müller:
Classification trees for random tests and functional coverage. DATE 2006: 1031-1032 - [c53]Jürgen Großmann, Wolfgang Müller:
A Formal Behavioral Semantics for TestML. ISoLA 2006: 441-448 - [c52]Robbie Schaefer, Steffen Bleul, Wolfgang Müller:
Dialog Modeling for Multiple Devices and Multiple Interaction Modalities. TAMODIA 2006: 39-53 - [c51]Robbie Schaefer, Wolfgang Müller, Jinghua Groppe:
Profile Processing and Evolution for Smart Environments. UIC 2006: 746-755 - 2005
- [c50]Tim Schattkowsky, Wolfgang Müller, Achim Rettberg:
A Model-Based Approach for Executable Specifications on Reconfigurable Hardware. DATE 2005: 692-697 - [c49]Max Ziegler, Wolfgang Müller, Robbie Schaefer, Chris Loeser:
Secure Profile Management in Smart Home Networks. DEXA Workshops 2005: 209-213 - [c48]Alexander Krupp, Wolfgang Müller:
Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente. GI Jahrestagung (2) 2005: 191-195 - [c47]Achim Rettberg, Tim Schattkowsky, Carsten Rust, Wolfgang Müller, Franz J. Rammig:
The Reconfigurable UML Machine Project Group. EDUTECH 2005: 139-147 - [c46]Tim Schattkowsky, Wolfgang Müller:
Transformation of UML State Machines for Direct Execution. VL/HCC 2005: 117-124 - 2004
- [c45]Tim Schattkowsky, Christoph Loeser, Wolfgang Müller:
Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. AINA (1) 2004: 611-617 - [c44]Alexander Krupp, Wolfgang Müller, Ian Oliver:
Formal Refinement and Model Checking of an Echo Cancellation Unit. DATE 2004: 102-107 - [c43]Tim Schattkowsky, Wolfgang Müller:
Model-Based Specification and Execution of Embedded Real-Time Systems. DATE 2004: 1392-1393 - [c42]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: 206-226 - [c41]Robbie Schaefer, Steffen Bleul, Wolfgang Müller:
A Novel Dialog Model for the Design of Multimodal User Interfaces. EHCI/DS-VIS 2004: 221-223 - [c40]Martin Zambaldi, Wolfgang Ecker, Thomas Kruse, Wolfgang Müller:
The Formal Simulation Semantics of SystemVerilog. FDL 2004: 568-578 - [c39]Wolfgang Müller, Robbie Schaefer, Steffen Bleul:
Interactive Multimodal User Interfaces for Mobile Devices. HICSS 2004 - [c38]Tim Schattkowsky, Wolfgang Müller:
Model-Based Design of Embedded Systems. ISORC 2004: 121-128 - [c37]Stephan Flake, Wolfgang Müller:
Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. SEFM 2004: 154-163 - [c36]Wolfgang Müller, Volker Paelke:
A Formal Model of a Framework for Simulation-Based Animation. SimVis 2004: 165-178 - [c35]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: 275-286 - [c34]Stephan Flake, Wolfgang Müller:
An ASM Definition of the Dynamic OCL 2.0 Semantics. UML 2004: 226-240 - 2003
- [c33]Wolfgang Müller, Tim Schattkowsky, Heinz-Josef Eikerling, Jan Wegner:
Dynamic Tool Integration in Heterogeneous Computer Networks. DATE 2003: 10946-10953 - [c32]Alexander Krupp, Wolfgang Müller:
Combining Formal Refinement and Model Checking for Real-Time Systems Verification. FDL 2003: 515-525 - [c31]Chris Loeser, Wolfgang Müller, Frank Berger, Heinz-Josef Eikerling:
Peer-to-Peer Networks for Virtual Home Environments. HICSS 2003: 282 - [c30]Tomasz Kostienko, Wolfgang Müller, Adam Pawlak, Tim Schattkowsky:
An advanced infrastructure for collaborative engineering in electronic design automation. CE 2003: 703-710 - [c29]Alexander Krupp, Wolfgang Müller:
Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. MBMV 2003: 219-228 - [c28]Stephan Flake, Wolfgang Müller:
Semantics of State-Oriented Expressions in the Object Constraint Language. SEKE 2003: 142-149 - [c27]Stephan Flake, Wolfgang Müller:
Expressing Property Specification Patterns with OCL. Software Engineering Research and Practice 2003: 595-603 - [c26]Stephan Flake, Wolfgang Müller:
Formal Semantics of OCL Messages. OCL 2.0 @ UML 2003: 77-97 - 2002
- [c25]Johan Plomp, Robbie Schaefer, Wolfgang Müller:
Comparing Transcoding Tools for Use with a Generic User Interface Format. Extreme Markup Languages® 2002 - [c24]Robbie Schaefer, Andreas Dangberg, Wolfgang Müller:
Fuzzy Rules for HTML Transcoding. HICSS 2002: 81 - [c23]Stephan Flake, Wolfgang Müller:
Specification of Real-Time Properties for UML Models. HICSS 2002: 277 - [c22]Rainer Dömer, Andreas Gerstlauer, Wolfgang Müller:
The Formal Execution Semantics of SpecC. ISSS 2002: 150-155 - [c21]Stephan Flake, Wolfgang Müller:
A UML Profile for Real-Time Constraints with the OCL. UML 2002: 179-195 - 2001
- [c20]Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller:
The simulation semantics of systemC. DATE 2001: 64-70 - [c19]Wolfgang Müller, Arne Meyer, Henning Zabel:
A Language for the Rapid Prototyping of Mobile Evolving Agents. HICSS 2001 - [c18]Stephan Flake, Christian Geiger, Wolfgang Müller, Volker Paelke, Waldemar Rosenbach, Jürgen Ruf:
Customer-Oriented Systems Design through Virtual Prototypes. WETICE 2001: 263-268 - 2000
- [c17]Stephan Flake, Wolfgang Müller, Jürgen Ruf:
Structured English for Model Checking Specification. MBMV 2000: 99-108 - [c16]Arnulf Braatz, Stephan Flake, Wolfgang Müller, Engelbert Westkämper:
Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung. SimVis 2000: 319-332 - [c15]Wolfgang Müller, Arne Meyer, Henning Zabel:
A Visual Framework for the Scripting of Parallel Agents. VL 2000: 77-78 - 1999
- [c14]Marita Dücker, Wolfgang Müller, Jessica Rubart:
Innovative Concepts for Configuring Shared Workspaces through Visual Programming. HICSS 1999 - [c13]Christian Geiger, Georg Lehrenfeld, Wolfgang Müller:
Visual Specification, Modelling, and Illustration of Complex Systems. HICSS 1999 - [c12]Christian Geiger, Georg Lehrenfeld, Wolfgang Müller:
Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation. SimVis 1999: 139-152 - 1998
- [c11]Christian Geiger, Wolfgang Müller:
Visuelle Spezifikation, Modellierung und Animation im Systementwurf. SimVis 1998: 206-220 - [c10]Marita Dücker, Wolfgang Müller, Jessica Rubart:
VIPspace - A Visual Programmable Shared Workspace. VL 1998: 94-95 - [c9]Christian Geiger, Wolfgang Müller, Waldemar Rosenbach:
SAM - An Animated 3D Programming Language. VL 1998: 228-235 - 1997
- [c8]Marita Dücker, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl:
A generic system for interactive real-time animation. ECBS 1997: 263-270 - [c7]Marita Dücker, Christian Geiger, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl:
A Visual Language for Qualitative Data. VL 1997: 272-273 - [c6]Marita Dücker, Christian Geiger, Ralf Hunstock, Georg Lehrenfeld, Wolfgang Müller:
Visual-Textual Prototyping of 4D Scenes. VL 1997: 332-339 - 1996
- [c5]Marita Dücker, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedi:
Specification and Analysis of Concurrent Systems in a Complete Visual Environment. ESM 1996: 491-496 - [c4]Peer Griebel, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl, Holger Uhr:
Integrating a Constraint Solver into a Real-Time Animation Environment. VL 1996: 12-19 - [c3]Christian Geiger, Ralf Hunstock, Georg Lehrenfeld, Wolfgang Müller, Julia Quintanilla, Christoph Tahedl, Anke Weber:
Visual Modeling and 3D-Representation with a Complete Visual Programming Language - A Case Study in Manufacturing. VL 1996: 304-305 - 1995
- [c2]Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl:
Transforming SDL Diagrams into a Complete Visual Representation. VL 1995: 148-155 - 1994
- [c1]Wolfgang Müller, Egon Börger, Uwe Glässer:
The semantics of behavioral VHDL '93 descriptions. EURO-DAC 1994: 500-505
Parts in Books or Collections
- 2014
- [p2]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, Sina Ober-Blöbaum, Simon Oberthür, Mario Porrmann, Claudia Priesterjahn, Rafael Radkowski, Christoph Rasche, Jan Rieke, Maik Ringkamp, Katharina Stahl, Dominik Steenken, Jörg Stöcklein, Robert Timmermann, Ansgar Trächtler, Katrin Witting, Tao Xie, Steffen Ziegert:
Methods for the Design and Development. Design Methodology for Intelligent Technical Systems 2014: 183-350 - 2002
- [p1]Stephan Flake, Wolfgang Müller:
An OCL Extension for Real-Time Constraints. Object Modeling with the OCL 2002: 150-171
Editorship
- 2010
- [e3]Giovanni De Micheli, Bashir M. Al-Hashimi, Wolfgang Müller, Enrico Macii:
Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010. IEEE Computer Society 2010, ISBN 978-1-4244-7054-9 [contents] - 2009
- [e2]Luca Benini, Giovanni De Micheli, Bashir M. Al-Hashimi, Wolfgang Müller:
Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009. IEEE 2009, ISBN 978-1-4244-3781-8 [contents] - 1998
- [e1]Franz-Josef Rammig, Wolfgang Müller:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11, 1998. HNI-Verlagsschriften 1998 [contents]
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
