![]() | ![]() |
Universität Paderborn
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
| 2012 | ||
|---|---|---|
| 82 | Wolfgang Müller, Markus Becker, Ahmed Elfeky, Anthony DiPasquale: Virtual prototyping of Cyber-Physical Systems. ASP-DAC 2012: 219-226 | |
| 81 | 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 | |
| 80 | Da He, Wolfgang Müller: Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. ISORC 2012: 56-63 | |
| 2011 | ||
| 79 | Kay Klobedanz, Andreas Koenig, Wolfgang Müller: A reconfiguration approach for fault-tolerant FlexRay networks. DATE 2011: 82-87 | |
| 78 | Tao Xie, Wolfgang Müller, Florian Letombe: HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. DSD 2011: 608-615 | |
| 77 | Tao Xie, Wolfgang Müller, Florian Letombe: IP-XACT based system level mutation testing. HLDVT 2011: 65-71 | |
| 76 | Christoph Kuznik, Wolfgang Müller: Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC. PRDC 2011: 290-291 | |
| 2010 | ||
| 75 | 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 | |
| 74 | 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 | |
| 73 | Alexander Krupp, Wolfgang Müller: A systematic approach to the test of combined HW/SW systems. DATE 2010: 323-326 | |
| 72 | Marcio F. da S. Oliveira, Henning Zabel, Wolfgang Müller: Assertion-based verification of RTOS properties. DATE 2010: 630-633 | |
| 71 | 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 | |
| 70 | Tao Xie, Wolfgang Müller, Florian Letombe: Efficient Mutation-Analysis Coverage for Constrained Random Verification. DIPES/BICC 2010: 114-124 | |
| 69 | Markus Becker, Henning Zabel, Wolfgang Müller: A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. DIPES/BICC 2010: 145-156 | |
| 68 | Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller, Yuan Zhi: Task Migration for Fault-Tolerant FlexRay Networks. DIPES/BICC 2010: 55-65 | |
| 67 | 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 | |
| 66 | 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 | |
| 65 | 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 | |
| 64 | Christoph Kuznik, Gilles B. Defo, Wolfgang Müller: Verification of a CAN bus model in SystemC with functional coverage. SIES 2010: 28-35 | |
| 63 | 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 | ||
| 62 | 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 | |
| 61 | Henning Zabel, Wolfgang Müller: Increased accuracy through noise injection in abstract RTOS simulation. DATE 2009: 1632-1637 | |
| 60 | Tim Schattkowsky, Tao Xie, Wolfgang Müller: A UML frontend for IP-XACT-based IP management. DATE 2009: 238-243 | |
| 59 | Alexander Krupp, Wolfgang Müller: Systematic Model-in-the-Loop Test of Embedded Control Systems. IESS 2009: 171-184 | |
| 58 | 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 | |
| 2008 | ||
| 57 | Henning Zabel, Wolfgang Müller: An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. DIPES 2008: 181-190 | |
| 2007 | ||
| 56 | 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 | |
| 55 | Andrés Marín López, Wolfgang Müller, Robbie Schaefer, Florina Almenárez Mendoza, Daniel Díaz Sánchez, Max Ziegler: Middleware for Secure Home Access and Control. PerCom Workshops 2007: 489-494 | |
| 2006 | ||
| 54 | 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 | |
| 53 | Alexander Krupp, Wolfgang Müller: Classification trees for random tests and functional coverage. DATE 2006: 1031-1032 | |
| 52 | Jürgen Großmann, Wolfgang Müller: A Formal Behavioral Semantics for TestML. ISoLA 2006: 441-448 | |
| 51 | Robbie Schaefer, Steffen Bleul, Wolfgang Müller: Dialog Modeling for Multiple Devices and Multiple Interaction Modalities. TAMODIA 2006: 39-53 | |
| 50 | Robbie Schaefer, Wolfgang Müller, Jinghua Groppe: Profile Processing and Evolution for Smart Environments. UIC 2006: 746-755 | |
| 2005 | ||
| 49 | Tim Schattkowsky, Wolfgang Müller, Achim Rettberg: A Model-Based Approach for Executable Specifications on Reconfigurable Hardware. DATE 2005: 692-697 | |
| 48 | Max Ziegler, Wolfgang Müller, Robbie Schaefer, Chris Loeser: Secure Profile Management in Smart Home Networks. DEXA Workshops 2005: 209-213 | |
| 47 | Alexander Krupp, Wolfgang Müller: Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente. GI Jahrestagung (2) 2005: 191-195 | |
| 46 | Tim Schattkowsky, Wolfgang Müller: Transformation of UML State Machines for Direct Execution. VL/HCC 2005: 117-124 | |
| 2004 | ||
| 45 | Tim Schattkowsky, Christoph Loeser, Wolfgang Müller: Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. AINA (1) 2004: 611-617 | |
| 44 | Alexander Krupp, Wolfgang Müller, Ian Oliver: Formal Refinement and Model Checking of an Echo Cancellation Unit. DATE 2004: 102-107 | |
| 43 | Tim Schattkowsky, Wolfgang Müller: Model-Based Specification and Execution of Embedded Real-Time Systems. DATE 2004: 1392-1393 | |
| 42 | Robbie Schaefer, Steffen Bleul, Wolfgang Müller: A Novel Dialog Model for the Design of Multimodal User Interfaces. EHCI/DS-VIS 2004: 221-223 | |
| 41 | Wolfgang Müller, Robbie Schaefer, Steffen Bleul: Interactive Multimodal User Interfaces for Mobile Devices. HICSS 2004 | |
| 40 | Tim Schattkowsky, Wolfgang Müller: Model-Based Design of Embedded Systems. ISORC 2004: 121-128 | |
| 39 | Stephan Flake, Wolfgang Müller: Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. SEFM 2004: 154-163 | |
| 38 | Wolfgang Müller, Volker Paelke: A Formal Model of a Framework for Simulation-Based Animation. SimVis 2004: 165-178 | |
| 37 | 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 | |
| 36 | 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 | |
| 35 | Stephan Flake, Wolfgang Müller: An ASM Definition of the Dynamic OCL 2.0 Semantics. UML 2004: 226-240 | |
| 34 | Stephan Flake, Wolfgang Müller: Formal Semantics of OCL Messages. Electr. Notes Theor. Comput. Sci. 102: 77-97 (2004) | |
| 2003 | ||
| 33 | Wolfgang Müller, Tim Schattkowsky, Heinz-Josef Eikerling, Jan Wegner: Dynamic Tool Integration in Heterogeneous Computer Networks. DATE 2003: 10946-10953 | |
| 32 | Alexander Krupp, Wolfgang Müller: Combining Formal Refinement and Model Checking for Real-Time Systems Verification. FDL 2003: 515-525 | |
| 31 | Chris Loeser, Wolfgang Müller, Frank Berger, Heinz-Josef Eikerling: Peer-to-Peer Networks for Virtual Home Environments. HICSS 2003: 282 | |
| 30 | Tomasz Kostienko, Wolfgang Müller, Adam Pawlak, Tim Schattkowsky: An advanced infrastructure for collaborative engineering in electronic design automation. ISPE CE 2003: 703-710 | |
| 29 | Stephan Flake, Wolfgang Müller: Semantics of State-Oriented Expressions in the Object Constraint Language. SEKE 2003: 142-149 | |
| 28 | Stephan Flake, Wolfgang Müller: Expressing Property Specification Patterns with OCL. Software Engineering Research and Practice 2003: 595-603 | |
| 27 | Stephan Flake, Wolfgang Müller: Formal semantics of static and temporal state-oriented OCL constraints. Software and System Modeling 2(3): 164-186 (2003) | |
| 2002 | ||
| 26 | Johan Plomp, Robbie Schaefer, Wolfgang Müller: Comparing Transcoding Tools for Use with a Generic User Interface Format. Extreme Markup Languages® 2002 | |
| 25 | Stephan Flake, Wolfgang Müller: Specification of Real-Time Properties for UML Models. HICSS 2002: 277 | |
| 24 | Robbie Schaefer, Andreas Dangberg, Wolfgang Müller: Fuzzy Rules for HTML Transcoding. HICSS 2002: 81 | |
| 23 | Rainer Dömer, Andreas Gerstlauer, Wolfgang Müller: The Formal Execution Semantics of SpecC. ISSS 2002: 150-155 | |
| 22 | Stephan Flake, Wolfgang Müller: An OCL Extension for Real-Time Constraints. Object Modeling with the OCL 2002: 150-171 | |
| 21 | Stephan Flake, Wolfgang Müller: A UML Profile for Real-Time Constraints with the OCL. UML 2002: 179-195 | |
| 20 | Heinz-Josef Eikerling, Wolfgang Müller, Jan Wegner: Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken (Tool Integration and Management in Heterogeneous Computer Networks). it+ti - Informationstechnik und Technische Informatik 44(3): 128-136 (2002) | |
| 2001 | ||
| 19 | Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller: The simulation semantics of systemC. DATE 2001: 64-70 | |
| 18 | Wolfgang Müller, Arne Meyer, Henning Zabel: A Language for the Rapid Prototyping of Mobile Evolving Agents. HICSS 2001 | |
| 17 | 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 | ||
| 16 | Arnulf Braatz, Stephan Flake, Wolfgang Müller, Engelbert Westkämper: Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung. SimVis 2000: 319-332 | |
| 15 | Wolfgang Müller, Arne Meyer, Henning Zabel: A Visual Framework for the Scripting of Parallel Agents. VL 2000: 77-78 | |
| 1999 | ||
| 14 | Marita Dücker, Wolfgang Müller, Jessica Rubart: Innovative Concepts for Configuring Shared Workspaces through Visual Programming. HICSS 1999 | |
| 13 | Christian Geiger, Georg Lehrenfeld, Wolfgang Müller: Visual Specification, Modelling, and Illustration of Complex Systems. HICSS 1999 | |
| 12 | Christian Geiger, Georg Lehrenfeld, Wolfgang Müller: Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation. SimVis 1999: 139-152 | |
| 1998 | ||
| 11 | Christian Geiger, Wolfgang Müller: Visuelle Spezifikation, Modellierung und Animation im Systementwurf. SimVis 1998: 206-220 | |
| 10 | Christian Geiger, Wolfgang Müller, Waldemar Rosenbach: SAM - An Animated 3D Programming Language. VL 1998: 228-235 | |
| 9 | Marita Dücker, Wolfgang Müller, Jessica Rubart: VIPspace - A Visual Programmable Shared Workspace. VL 1998: 94-95 | |
| 1997 | ||
| 8 | Marita Dücker, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl: A generic system for interactive real-time animation. ECBS 1997: 263-270 | |
| 7 | Marita Dücker, Christian Geiger, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl: A Visual Language for Qualitative Data. VL 1997: 272-273 | |
| 6 | Marita Dücker, Christian Geiger, Ralf Hunstock, Georg Lehrenfeld, Wolfgang Müller: Visual-Textual Prototyping of 4D Scenes. VL 1997: 332-339 | |
| 1996 | ||
| 5 | 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 | |
| 4 | Christian Geiger, Ralf Hunstock, Georg Lehrenfeld, Wolfgang Müller, J. Quintanilla, Christoph Tahedl, A. Weber: Visual Modeling and 3D-Representation with a Complete Visual Programming Language - A Case Study in Manufacturing. VL 1996: 304-305 | |
| 3 | Wolfgang Müller: Executable graphics for VHDL-based systems design. Universität Paderborn 1996: 1-199 | |
| 1995 | ||
| 2 | Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl: Transforming SDL Diagrams into a Complete Visual Representation. VL 1995: 148-155 | |
| 1994 | ||
| 1 | Wolfgang Müller, Egon Börger, Uwe Glässer: The semantics of behavioral VHDL '93 descriptions. EURO-DAC 1994: 500-505 | |
Data released under the ODC-BY 1.0 license — See also our legal information page