University of Paderborn, Cooperative Computing & Communication Laboratory (C-LAB)
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c91 |      | Fabian Mischkalla, Wolfgang Müller: Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. MBMV 2013: 171-181 |
| 2012 | ||
| c90 |  | Wolfgang Müller, Markus Becker, Ahmed Elfeky, Anthony DiPasquale: Virtual prototyping of Cyber-Physical Systems. ASP-DAC 2012: 219-226 |
| c89 | | Wolfgang Müller, Wolfgang Ecker: Testbenches for advanced TLM verification. CODES+ISSS 2012: 305-306 |
| c88 | | Marcio F. da S. Oliveira, Christoph Kuznik, Hoang M. 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 |
| c87 | | 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 |
| c86 | | Markus Becker, Christoph Kuznik, Mabel M. Joy, Tao Xie, Wolfgang Müller: Binary mutation testing through dynamic translation. DSN 2012: 1-12 |
| c85 | | 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 |
| c84 | | Da He, Wolfgang Müller: Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. ISORC 2012: 56-63 |
| c83 | | Tao Xie, Wolfgang Müller, Florian Letombe: Mutation-analysis driven functional verification of a soft microprocessor. SoCC 2012: 283-288 |
| 2011 | ||
| c82 | | Kay Klobedanz, Andreas Koenig, Wolfgang Müller: A reconfiguration approach for fault-tolerant FlexRay networks. DATE 2011: 82-87 |
| c81 | | Tao Xie, Wolfgang Müller, Florian Letombe: HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. DSD 2011: 608-615 |
| c80 | | Tao Xie, Wolfgang Müller, Florian Letombe: IP-XACT based system level mutation testing. HLDVT 2011: 65-71 |
| c79 | | 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 |
| c78 | | Christoph Kuznik, Wolfgang Müller: Native Binary Mutation Analysis for Embedded Software and Virtual Prototypes in SystemC. PRDC 2011: 290-291 |
| 2010 | ||
| c77 | | Alexander Krupp, Wolfgang Müller: A systematic approach to the test of combined HW/SW systems. DATE 2010: 323-326 |
| c76 | | Marcio F. da S. Oliveira, Henning Zabel, Wolfgang Müller: Assertion-based verification of RTOS properties. DATE 2010: 630-633 |
| c75 | | 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 |
| c74 | | 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 |
| c73 | | 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 |
| c72 | | 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 |
| c71 | | Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller, Yuan Zhi: Task Migration for Fault-Tolerant FlexRay Networks. DIPES/BICC 2010: 55-65 |
| c70 | | 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 |
| c69 | | Tao Xie, Wolfgang Müller, Florian Letombe: Efficient Mutation-Analysis Coverage for Constrained Random Verification. DIPES/BICC 2010: 114-124 |
| c68 | | Markus Becker, Henning Zabel, Wolfgang Müller: A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. DIPES/BICC 2010: 145-156 |
| c67 | | 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 |
| c66 | | Alexander Bol, Wolfgang Müller, Alexander Krupp: Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. MBMV 2010: 167-176 |
| c65 | | Christoph Kuznik, Gilles B. Defo, Wolfgang Müller: Verification of a CAN bus model in SystemC with functional coverage. SIES 2010: 28-35 |
| c64 | | 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 | ||
| c63 | | 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 |
| c62 | | Tim Schattkowsky, Tao Xie, Wolfgang Müller: A UML frontend for IP-XACT-based IP management. DATE 2009: 238-243 |
| c61 | | Henning Zabel, Wolfgang Müller: Increased accuracy through noise injection in abstract RTOS simulation. DATE 2009: 1632-1637 |
| c60 | | Alexander Krupp, Wolfgang Müller: Systematic Model-in-the-Loop Test of Embedded Control Systems. IESS 2009: 171-184 |
| c59 | | 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 |
| c58 | | 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 | ||
| c57 | | Henning Zabel, Wolfgang Müller: An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. DIPES 2008: 181-190 |
| c56 | | Henning Zabel, Wolfgang Müller: Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. MBMV 2008: 31-39 |
| 2007 | ||
| c55 | | 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 |
| c54 | | 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 | ||
| c53 | | 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 |
| c52 | | Alexander Krupp, Wolfgang Müller: Classification trees for random tests and functional coverage. DATE 2006: 1031-1032 |
| c51 | | |
| c50 | | Robbie Schaefer, Steffen Bleul, Wolfgang Müller: Dialog Modeling for Multiple Devices and Multiple Interaction Modalities. TAMODIA 2006: 39-53 |
| c49 | | Robbie Schaefer, Wolfgang Müller, Jinghua Groppe: Profile Processing and Evolution for Smart Environments. UIC 2006: 746-755 |
| 2005 | ||
| c48 | | Tim Schattkowsky, Wolfgang Müller, Achim Rettberg: A Model-Based Approach for Executable Specifications on Reconfigurable Hardware. DATE 2005: 692-697 |
| c47 | | Max Ziegler, Wolfgang Müller, Robbie Schaefer, Chris Loeser: Secure Profile Management in Smart Home Networks. DEXA Workshops 2005: 209-213 |
| c46 | | Alexander Krupp, Wolfgang Müller: Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente. GI Jahrestagung (2) 2005: 191-195 |
| c45 | | Tim Schattkowsky, Wolfgang Müller: Transformation of UML State Machines for Direct Execution. VL/HCC 2005: 117-124 |
| 2004 | ||
| j3 | | Stephan Flake, Wolfgang Müller: Formal Semantics of OCL Messages. Electr. Notes Theor. Comput. Sci. 102: 77-97 (2004) |
| c44 | | Tim Schattkowsky, Christoph Loeser, Wolfgang Müller: Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. AINA (1) 2004: 611-617 |
| c43 | | Alexander Krupp, Wolfgang Müller, Ian Oliver: Formal Refinement and Model Checking of an Echo Cancellation Unit. DATE 2004: 102-107 |
| c42 | | Tim Schattkowsky, Wolfgang Müller: Model-Based Specification and Execution of Embedded Real-Time Systems. DATE 2004: 1392-1393 |
| c41 | | 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 |
| c40 | | Robbie Schaefer, Steffen Bleul, Wolfgang Müller: A Novel Dialog Model for the Design of Multimodal User Interfaces. EHCI/DS-VIS 2004: 221-223 |
| c39 | | Martin Zambaldi, Wolfgang Ecker, T. Kruse, Wolfgang Müller: The Formal Simulation Semantics of SystemVerilog. FDL 2004: 568-578 |
| c38 | | Wolfgang Müller, Robbie Schaefer, Steffen Bleul: Interactive Multimodal User Interfaces for Mobile Devices. HICSS 2004 |
| c37 | | |
| c36 | | Stephan Flake, Wolfgang Müller: Past- and Future-Oriented Time-Bounded Temporal Properties with OCL. SEFM 2004: 154-163 |
| c35 | | Wolfgang Müller, Volker Paelke: A Formal Model of a Framework for Simulation-Based Animation. SimVis 2004: 165-178 |
| c34 | | 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 |
| c33 | | Stephan Flake, Wolfgang Müller: An ASM Definition of the Dynamic OCL 2.0 Semantics. UML 2004: 226-240 |
| 2003 | ||
| j2 | | Stephan Flake, Wolfgang Müller: Formal semantics of static and temporal state-oriented OCL constraints. Software and System Modeling 2(3): 164-186 (2003) |
| c32 | | Wolfgang Müller, Tim Schattkowsky, Heinz-Josef Eikerling, Jan Wegner: Dynamic Tool Integration in Heterogeneous Computer Networks. DATE 2003: 10946-10953 |
| c31 | | Alexander Krupp, Wolfgang Müller: Combining Formal Refinement and Model Checking for Real-Time Systems Verification. FDL 2003: 515-525 |
| c30 | | Chris Loeser, Wolfgang Müller, Frank Berger, Heinz-Josef Eikerling: Peer-to-Peer Networks for Virtual Home Environments. HICSS 2003: 282 |
| c29 | | Tomasz Kostienko, Wolfgang Müller, Adam Pawlak, Tim Schattkowsky: An advanced infrastructure for collaborative engineering in electronic design automation. ISPE CE 2003: 703-710 |
| c28 | | Alexander Krupp, Wolfgang Müller: Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten. MBMV 2003: 219-228 |
| c27 | | Stephan Flake, Wolfgang Müller: Semantics of State-Oriented Expressions in the Object Constraint Language. SEKE 2003: 142-149 |
| c26 | | Stephan Flake, Wolfgang Müller: Expressing Property Specification Patterns with OCL. Software Engineering Research and Practice 2003: 595-603 |
| 2002 | ||
| j1 | | 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) |
| 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: An OCL Extension for Real-Time Constraints. Object Modeling with the OCL 2002: 150-171 |
| c20 | | Stephan Flake, Wolfgang Müller: A UML Profile for Real-Time Constraints with the OCL. UML 2002: 179-195 |
| 2001 | ||
| c19 | | Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller: The simulation semantics of systemC. DATE 2001: 64-70 |
| c18 | | Wolfgang Müller, Arne Meyer, Henning Zabel: A Language for the Rapid Prototyping of Mobile Evolving Agents. HICSS 2001 |
| c17 | | 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 | ||
| c16 | | Stephan Flake, Wolfgang Müller, Jürgen Ruf: Structured English for Model Checking Specification. MBMV 2000: 99-108 |
| c15 | | Arnulf Braatz, Stephan Flake, Wolfgang Müller, Engelbert Westkämper: Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung. SimVis 2000: 319-332 |
| c14 | | Wolfgang Müller, Arne Meyer, Henning Zabel: A Visual Framework for the Scripting of Parallel Agents. VL 2000: 77-78 |
| 1999 | ||
| c13 | | Marita Dücker, Wolfgang Müller, Jessica Rubart: Innovative Concepts for Configuring Shared Workspaces through Visual Programming. HICSS 1999 |
| c12 | | Christian Geiger, Georg Lehrenfeld, Wolfgang Müller: Visual Specification, Modelling, and Illustration of Complex Systems. HICSS 1999 |
| c11 | | Christian Geiger, Georg Lehrenfeld, Wolfgang Müller: Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation. SimVis 1999: 139-152 |
| 1998 | ||
| c10 | | Christian Geiger, Wolfgang Müller: Visuelle Spezifikation, Modellierung und Animation im Systementwurf. SimVis 1998: 206-220 |
| c9 | | Marita Dücker, Wolfgang Müller, Jessica Rubart: VIPspace - A Visual Programmable Shared Workspace. VL 1998: 94-95 |
| c8 | | Christian Geiger, Wolfgang Müller, Waldemar Rosenbach: SAM - An Animated 3D Programming Language. VL 1998: 228-235 |
| e1 | | Franz Josef Rammig, Wolfgang Müller (Eds.): Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11, 1998. HNI-Verlagsschriften 1998 |
| 1997 | ||
| c7 | | Marita Dücker, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl: A generic system for interactive real-time animation. ECBS 1997: 263-270 |
| c6 | | Marita Dücker, Christian Geiger, Georg Lehrenfeld, Wolfgang Müller, Christoph Tahedl: A Visual Language for Qualitative Data. VL 1997: 272-273 |
| c5 | | Marita Dücker, Christian Geiger, Ralf Hunstock, Georg Lehrenfeld, Wolfgang Müller: Visual-Textual Prototyping of 4D Scenes. VL 1997: 332-339 |
| 1996 | ||
| b1 | | Wolfgang Müller: Executable graphics for VHDL-based systems design. Universität Paderborn 1996, pp. 1-199 |
| 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, 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 |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page