Home > Publications > Publikationen

Publications of Wolfgang Müller


Our publications from 2019:



Adelt, Peer; Koppelmann, Bastian; Müller, Wolfgang; Scheytt, Christoph; Driessen, Benedikt: QEMU for Dynamic Memory Analysis of Security Sensitive Software. 2nd International Workshop on Embedded Software for Industrial IoT (ESIIT), Mar 2019 (more)


Our publications from 2018:



Wu, Liang; Hussain, Mohammad Khizer; Abughannam, Saed; Müller, Wolfgang; Scheytt, Christoph; Ecker, Wolfgang: Analog fault simulation automation at schematic level with random sampling techniques. In: 2018 13th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)) , Italy/Taormina, Apr 9 - 12, 2018, IEEE (more)


Our publications from 2017:



Adelt, Peer; Koppelmann, Bastian; Müller, Wolfgang; Mueller-Gritschneder, Daniel; Kleinjohann, Bernd; Scheytt, Christoph: Mikrocontrolleranwendungen auf der Basis virtueller Plattformen. In: Tagungsband des Wissenschaftsforums Intelligente Technische Systeme, Germany, Paderborn, May 2017 (more)

Wu, Liang; Abughannam, Saed; Müller, Wolfgang; Scheytt, Christoph; Ecker, Wolfgang: SPICE-Level Fault Injection with Likelihood Weighted Random Sampling - A Case Study. In: 2nd Workshop on Resiliency in Embedded Electronic Systems (REES), pp. 68, Lausanne, Switzerland, Mar 2017 REES (Resiliency in Embedded Electronic Systems) (more)

Adelt, Peer; Koppelmann, Bastian; Müller, Wolfgang; Kleinjohann, Bernd; Scheytt, Christoph: An Automatic Injection Framework for Safety Assessements of Embedded Software Binaries. In: 2nd Workshop on Resiliency in Embedded Electronic Systems (REES) , pp. 44, Lausanne, Switzerland, Mar 2017 REES (Resiliency in Embedded Electronic Systems) (more)

Adelt, Peer; Koppelmann, Bastian; Müller, Wolfgang; Kleinjohann, Bernd; Scheytt, Christoph: ANALISA - A Tool for Static Instruction Set Analysis. In: Design Automation and Testing in Europe (DATE), University Booth Interactive Presentation, Lausanne, CH, Mar 2017 (more)


Our publications from 2016:



Abughannam, Saed; Wu, Liang; Müller, Wolfgang; Scheytt, Christoph: Analog 2016 - VDE. In: Fault Injection and Mixed-Level Simulation for Analog Circuits - A Case Study, Sep 12 - 14, 2016 (more)

Adelt, Peer; Koppelmann, Bastian; Müller, Wolfgang; Becker, Markus; Kleinjohann, Bernd; Scheytt, Christoph: Fast Dynamic Fault Injection for Virtual Microcontroller Platforms. In: Proceedings of the IEEE/IFIP International Conference on VLSI (VLSI-SOC), Tallin, Estonia, Sep 2016 (more)


Our publications from 2015:



Müller, Wolfgang; Wu, Liang; Scheytt, Christoph; Becker, Markus; Schoenberg, Sven: On the Correlation of HW Faults and SW Errors. In: Mueller-Gritschneder, Daniel; Müller, Wolfgang; Mitra, Subhasish (eds.) Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES 2014), Amsterdam, Netherland, Oct 2015 (more)


Our publications from 2014:



Mischkalla, Fabian; Müller, Wolfgang: Architectural Low-Power Design Using Transaction-Based System Simulation. In: Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), Greece, Sep 2014, IEEE (more)

Kuznik, Christoph; Defo, Bertrand Gilles; Müller, Wolfgang: Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung. 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014), Mar 2014 (more)

Becker, Markus; Müller, Wolfgang; Stroop, Joachim; Kiffmeier, Ulrich: HeroeS³ -- A Framework for Heterogeneous Software-Intensive System Design with SystemC. Design, Automation and Test in Europe DATE, University Booth, Dresden, Mar 2014 (more)

Koppelmann, Bastian; Becker, Markus; Müller, Wolfgang: Portierung der TriCore-Architektur auf QEMU. 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014), Mar 2014 (more)

Kuznik, Christoph; Müller, Wolfgang: Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM. 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, Feb 2014 (more)


Our publications from 2013:



He, Da; Müller, Wolfgang: AN ENERGY-EFFICIENT HEURISTIC FOR HARD REAL- TIME SYSTEM ON MULTI-CORE PROCESSORS. In: Proceedings of International Conference on Applied Computing (AC), Oct 2013 (more)

Mischkalla, Fabian; Müller, Wolfgang: Efficient Power Intent Validation Using Loosely-Timed Simulation Models. In: 23rd International Workshop on Power And Timing Modeling, Optimization and Simulation, Sep 2013 (more)

Stöcklein, Jörg; Müller, Wolfgang; Baldin, Daniel; Xie, Tao: Virtual Test Environment for Self-Optimizing Systems. In: ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA2013), ASME/IEEE International Conference on Mechatronic and Embedded Systems and Applications (MESA2013), Aug 4 - 7, 2013, ASME (more)

Becker, Markus; Kiffmeier, Ulrich; Müller, Wolfgang: HeroeS: Virtual Platform Driven Integration of Heterogeneous Software Components for Multi-Core Real-Time Architectures. 16th IEEE Computer Society Symposium on Object/Component/Service-oriented Real-time Distributed Computing, June 2013 (more)

Mischkalla, Fabian; Müller, Wolfgang: Funktionale Verifikation von Low-Power Designs unter Verwendung Virtueller Prototypen. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Mar 2013 (more)

He, Da; Müller, Wolfgang: A heuristic energy-aware approach for hard real-time systems on multi-core platforms. Microprocessors and Microsystems - Embedded Hardware Design, 37(6-7): pp. 845-857 2013 (more)


Our publications from 2012:



Joy, M. tech. Mabel Mary; Becker, Markus; Mathews, Emi; Müller, Wolfgang: Automated Source Code Annotation for Timing Analysis of Embedded Software. In: In Proceedings of Advanced Computing and Communications Conference 2012 (ADCOM 2012), Bangalore, Dec 14 - 16, 2012, IEEE (more)

Xie, Tao; Müller, Wolfgang: An IP-XACT-to-SystemC Model Generator for Mutation Analysis. In: Proceedings of International Workshop on Metamodelling and Code Generation for Embedded Systems , 2012 (more)

F. S. Oliveira, Marcio; Kuznik, Christoph; Le, Hoang M.; Große, Daniel; Haedicke, Finn; Müller, Wolfgang; Drechsler, Rolf; Ecker, Wolfgang; Esen, Volkan: The System Verification Methodology for Advanced TLM Verification. CODES/ISSS '12: Eighth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis Proceedings, Oct 2012 (more)

He, Da; Müller, Wolfgang: A Heuristic Energy-Aware Approach for Hard Real-Time Systems on Multi-Core Platforms. In: 15th Euromicro Conference on Digital System Design (DSD), Sep 2012, IEEE Xplore (more)

Becker, Markus; Kuznik, Christoph; Joy, M. tech. Mabel Mary; Xie, Tao; Müller, Wolfgang: Binary Mutation Testing Through Dynamic Translation. 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2012 , June 2012 (more)

He, Da; Müller, Wolfgang: Enhanced Schedulability Analysis of Hard Real-Time Systems on Power Manageable Multi-Core Platforms. In: Third International Symposium on Advances in Embedded Systems and Applications (ESA-2012), June 2012, IEEE Xplore (more)

Radke, Stephan; Rülke, Steffen; F. S. Oliveira, Marcio; Kuznik, Christoph; Müller, Wolfgang; Ecker, Wolfgang; Esen, Volkan; Hufnagel, Simon; Bannow, Nico; Oetjens, Jan-Hendrik; Brazdrum, Helmut; Janssen, Peter; Le, Hoang M.; Große, Daniel; Haedicke, Finn; Drechsler, Rolf; Koch, Gernot; Burger, Andreas; Bringmann, Oliver; Rosenstiel, Wolfgang; Görgen, Ralph: Compilation of Methodologies to Speed up the Verification Process at System Level. edaWorkshop 12, May 2012 (more)

He, Da; Müller, Wolfgang: Online Energy-Efficient Hard Real-Time Scheduling for Component Oriented Systems. In: 2012 IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC), Apr 2012, IEEE Xplore (more)

F. S. Oliveira, Marcio; Kuznik, Christoph; Müller, Wolfgang; Ecker, Wolfgang; Esen, Volkan: A SystemC Library for Advanced TLM Verification. In: Proceeding of Design and Verification Conference (DVCON), Mar 2012 (more)

Becker, Markus; Gnokam Defo, Gilles Bertrand; Müller, Wolfgang; Fummi, F.; Pravadelli, G.; Vinco, Sara: MOUSSE: scaling MOdelling and verification to complex heterogeneoUS embedded Systems Evolution . In: {Design, Automation and Test in Europe (DATE 2012), Dresden, Mar 2012 (more)

Kuznik, Christoph; F. S. Oliveira, Marcio; Müller, Wolfgang: SYSTEMC UVM VERIFICATION COMPONENTS. Design, Automation and Test in Europe DATE, University Booth, Dresden, Mar 2012 (more)

Müller, Wolfgang; Becker, Markus; Zabel, Henning; Elfeky, Ahmed; DiPasquale, Anthony: Virtual Prototyping of Cyber-Physical Systems. In: In Proceedings of 17th Asia and South Pacific Design Automation Conference (ASP-DAC 2012), Sydney, Jan 2012 (more)

Xie, Tao; Müller, Wolfgang: Mutation Analysis Driven Functional Verification of a Soft Microprocessor. In: Proceedings of 25th IEEE System-on-Chip conference (SOCC'12), 2012 (more)


Our publications from 2011:



Kuznik, Christoph; Müller, Wolfgang: Aspect enhanced functional coverage driven verification in the SystemC HDVL. Proc. of the 8th International SoC Design Conference 2011 (ISOCC 2011), Nov 2011 (more)

Xie, Tao; Müller, Wolfgang: IP-XACT based System Level Mutation Testing. In: Proceedings of the 16th IEEE International High Level Design Validation and Test Workshop (HLDVT), Nov 2011 (more)

Vanderperren, Yves; Müller, Wolfgang; He, Da; Mischkalla, Fabian; Dahaene, Wim: Extending UML for Electronic Systems Design: A Code Generation Perspective. In: Nicolescu, Gabriela; O'Connor, Ian; Piguet, Christian (eds.) Design Technology for Heterogeneous Embedded Systems Springer Verlag, 1st Edition. Auflage, Oct 2011 (more)

Xie, Tao; Müller, Wolfgang: HDL-Mutation Based Simulation Data Generation by Propagation Guided Search. In: Proceedings of the 14th Euromicro Conference on Digital System Design (DSD), Sep 2011 (more)

Becker, Markus; Zabel, Henning; Müller, Wolfgang; Elfeky, Ahmed; DiPasquale, Anthony: Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie. In: 8. Paderborner Workshop Entwurf mechatronischer Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, volume 294 , pp. 315-327, Paderborn, May 2011 Heinz Nixdorf Institut, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (more)

Klobedanz, Kay; König, A.; Müller, Wolfgang: A Reconfiguration Approach for Fault-Tolerant FlexRay Networks. In: Proceedings of Design, Automation, Test Europe - DATE2011, Grenoble, France, Mar 14 - 18, 2011, IEEE Computer Society Press (more)

Zabel, Henning; Müller, Wolfgang: QEMU/SystemC Cosimulation at Different Abstraction Levels.. In: 1st International QEMU Users' Forum at Design, Automation and Test in Europe (DATE'12), Grenoble, Mar 2011 (more)

Mischkalla, Fabian; He, Da; Müller, Wolfgang: A Retargetable SysML-based Front-End for High-Level Synthesis. In: Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED) , Mar 2011 (more)

Klobedanz, Kay; König, A.; Müller, Wolfgang; Rettberg, Achim: Self-Reconfiguration for Fault-Tolerant FlexRay Networks. In: Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011, Newport Beach, California, USA, Mar 2011, IEEE Computer Society Press (more)

Gnokam Defo, Gilles Bertrand; Müller, Wolfgang: Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Feb 2011 MBMV 2011 (more)

Kuznik, Christoph; Müller, Wolfgang: 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 (more)


Our publications from 2010:



Klobedanz, Kay; Defo, Bertrand Gilles; Zabel, Henning; Müller, Wolfgang; Zhi, Yuan: Task Migration for Fault-Tolerant FlexRay Networks. In: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010), pp. 55-66, Brisbane, Australia, Sep 20 - 23, 2010, Springer (more)

F. S. Oliveira, Marcio; do Nascimento, Francisco Assis M.; Müller, Wolfgang; Wagner, Flavio: Design Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration. In: 7th International Workshop on Model-based Methodologies for Pervasive and Embedded Software (MomPES), Antwerp, Belgium, Sep 2010 (more)

Müller, Wolfgang; Bol, Alexander; Lundkvist, O.: Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems. In: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010), Dordrecht, Sep 2010 DIPES 2010, Springer Verlag (more)

Becker, Markus; Zabel, Henning; Müller, Wolfgang: A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. In: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010), Brisbane, Australia, Sep 2010 DIPES 2010, Springer Verlag (more)

Klobedanz, Kay; Gnokam Defo, Gilles Bertrand; Zabel, Henning; Müller, Wolfgang; Zhi, Yuan: Task Migration for Fault-Tolerant FlexRay Network. In: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010), pp. 55-66, Brisbane, Australia, Sep 2010, Springer (more)

Xie, Tao; Letombe, Florian; Müller, Wolfgang: Mutation-Analysis Directed Constrained Random Verification. In: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010), Dordrecht, Sep 2010 DIPES 2010, Springer Verlag (more)

Kuznik, Christoph; Gnokam Defo, Gilles Bertrand; Müller, Wolfgang: Verification of a CAN bus model in SystemC with functional coverage. In: International Symposium on Industrial Embedded Systems (SIES), pp. 28-35, July 7 - 9, 2010 IEEE (more)

Klobedanz, Kay; Defo, Bertrand Gilles; Müller, Wolfgang; Kerstan, Timo: Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks. In: Proceedings of the fifth IEEE Symposium on Industrial Embedded Systems (SIES2010), July 7 - 9, 2010 IEEE, IEEE (more)

Klobedanz, Kay; Gnokam Defo, Gilles Bertrand; Müller, Wolfgang; Kerstan, Timo: Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Network. In: Proceedings of the fifth IEEE Symposium on Industrial Embedded Systems (SIES2010), July 2010, IEEE Computer Society Press (more)

Müller, Wolfgang; He, Da; Mischkalla, Fabian; Wegelel, Arthur; Whiston, Paul; Peñil, Pablo; Villar, Eugenio; Mitas, Nikolaos; Kritharidis, Dimitros; Azcarate, Florent; Carballeda, Manuel: The SATURN Approach to SysML-Based HW/SW Codesign. IEEE Computer Society Annual Symposium on VLSI, July 2010 (more)

Xie, Tao; Gnokam Defo, Gilles Bertrand; Müller, Wolfgang: An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs. In: First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems (HoPES 2010), Paris, June 2010 (more)

Müller, Wolfgang; F. S. Oliveira, Marcio; Zabel, Henning; Becker, Markus: Verification of Real-Time Properties for Hardware-Dependant Software. In: Proc. of IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, USA, June 2010 IEEE (more)

Becker, Markus; Müller, Wolfgang; Xie, Tao; Fummi, F.; Pravadelli, G.: RTOS-Aware Refinement for TLM2.0-based HW/SW Designs. In: Design, Automation and Test in Europe, Dresden, Germany, Mar 2010 DATE 2010 (more)

Bol, Alexander; Müller, Wolfgang; Krupp, Alexander: Eine strukturierte Methode zur Generierung von SystemVerilog-Testumgebungen aus textuellen Anforderungsbeschreibungen. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, Mar 2010 MBMV 2010 (more)

Klobedanz, Kay; Kuznik, Christoph; Thuy, Andreas; Müller, Wolfgang: Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. In: Design, Automation and Test in Europe, pp. 642 - 645, Dresden, Germany, Mar 2010 DATE 2010 (more)

Mischkalla, Fabian; He, Da; Müller, Wolfgang: A UML Profile for SysML-Based Comodeling for Embedded Systems Simulation and Synthesis. . In: Proceedings of 1st Workshop on Model Based Engineering for Embedded Systems Design (M-BED), Dresden, Germany, Mar 2010 DATE 2010 (more)

Vanderperren, Yves; Müller, Wolfgang; He, Da; Mischkalla, Fabian; Dahaene, Wim: Heterogeneous Embedded Systems - Design Theory and Practice. , chapter Extending UML for Electronic Systems Design: A Code Generation Perspective, pp. 13-39, Springer-Verlag, 2010 (more)


Our publications from 2009:



Krupp, Alexander; Müller, Wolfgang: Systematic Model-in-the-Loop Test of Embedded Control Systems. In: Proceedings of IESS'09, Friedrichshafen, Germany, Sep 2009 IFIP WG 10.5, Springer Verlag LNCS (more)

Becker, Markus; Zabel, Henning; Müller, Wolfgang; Kiffmeier, Ulrich: Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Berlin, Germany, Mar 2009 (more)

Zabel, Henning; Müller, Wolfgang: Increased Accuracy through Noise Injection in Abstract RTOS Simulation. In: DATE '09: Proceedings of the conference on Design, automation and test in Europe, 2009 (more)

Zabel, Henning; Müller, Wolfgang; Gerstlauer, A.: Accurate RTOS Modelling and Analysis with SystemC. In: W. Ecker, W. Mueller, R. Doemer (eds.) ''Hardware Dependent Software - Principles and Practice'' Springer-Verlag, 2009 (more)

Xie, Tao; Müller, Wolfgang; Schattkowsky, Tim: A UML frontend for IP-XACT-based IP management. In: Proceedings of Design, Automation and Test in Europe (DATE'09), pp. 238-243, Nice, France, 2009 (more)

Dömer, Rainer; Ecker, Wolfgang; Müller, Wolfgang (eds.) Hardware Dependent Software - Principles and Practice. Springer Verlag, Dordrecht, Jan 2009 (more)

Dömer, Rainer; Gerstlauer, Andreas; Müller, Wolfgang: Hardware Dependent Software - Introduction and Overview. In: Proc. of the ASP-DAC'09, Yokohama, Japan, 2009 (more)


Our publications from 2008:



Vanderperren, Yves; Müller, Wolfgang; Dehane, Wim: UML for Electronic Systems Design – A Comprehensive Overview. Journal on design Automation for Embedded Systems, Aug 2008 (more)

Grossmann, Jürgen; Fey, Ines; Krupp, Alexander; Conrad, Mirko; Wewetzer, Christian; Müller, Wolfgang: TestML – A Test Exchange Language for Model-based Testing of Embedded Software. Proceedings of the ASWSD06 LNCS 4922 2008 (more)

Zabel, Henning; Müller, Wolfgang: An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. In: Distributed Embedded Systems: Design, Middleware and Resources, volume 27 , pp. 181-190, 2008, Springer Boston (more)

Zabel, Henning; Müller, Wolfgang: Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, pp. 31-39, MBMV08, Freiburg, Germany, 2008, Shaker Verlag (more)


Our publications from 2007:



Grossmann, Jürgen; Fey, Ines; Conrad, Mirko; Krupp, Alexander; Müller, Wolfgang; Wewetzer, Christian: TestML - A Test Exchange Language for Model-based Testing of Embedded Software. In: Proceedings of Automotive Software Workshop '06, Oct. 2007 , Oct 2007 (more)

Schäfer, R.; Müller, Wolfgang: Evaluation of Multimodal Systems Based on Dialogue Models and Transformations. In: International Workshop on Usability of User Interfaces: From Monomodal to Multimodal - IWUMUI 2007 at HCI 2007, Sep 2007 (more)

Schäfer, R.; Müller, Wolfgang; Marín, A.; Díaz, D.: Device Independent User Interfaces for Smart Cards. In: 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI 2007), Singapore, Sep 2007 (more)

Schäfer, R.; Müller, Wolfgang; Marín, A.; albers, susanne; Díaz, D.: Using Smart Cards for Secure and Device Independent User Interfaces. In: International Conference on Mobile Technology, Applications and Systems (Mobility 2007), Singapore, Sep 2007 (more)

Müller, Wolfgang: On the Use and Misuse of UML- Application of Diagrams in Engineering. In: UML for SoC Design Workshop at DAC, San Diego, USA, June 2007 (more)

Krupp, Alexander; Müller, Wolfgang: Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage. In: 21st European Conference on Modelling and Simulation ECMS 2007, Prague, Czech Republic, June 2007 (more)

Schaefer, Robbie; Müller, Wolfgang; Deimann, R.; Kleinjohann, Bernd: An Affordable Positioning System for Location-Aware Applications in Smart Homes. In: Workshop on Mobile Spatial Interaction at CHI 2007, San Jose, USA, May 2007 (more)

Schäfer, R.; Müller, Wolfgang; Deimann, R.: A Low-Cost Positioning System for Location-Aware Applications in Smart Homes. In: Workshop on Mobile Spatial Interaction at CHI 2007, May 2007 (more)

Marín, A.; Müller, Wolfgang; Schäfer, R.; Ziegler, Max; Almenárez, F.; Díaz, D.: Middleware for Secure Home Access and Control. In: Proceedings of IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007) at the 5th Conference on Pervasive Computing and Communications (PerCom 2007), New York, USA, Mar 2007 (more)

Krupp, Alexander; Müller, Wolfgang: Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage. In: 21st EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2007, Prague, Czech Republic, 2007 (more)


Our publications from 2006:



Krupp, Alexander; Müller, Wolfgang: Classification Trees for Random Test and Functional Coverage. In: Design, Automation and Test in Europe (DATE 2006), Munich, Germany, Mar 7 - 11, 2006 (more)


Our publications from 2005:



Rettberg, Achim; Schattkowsky, Tim; Rust, Carsten; Müller, Wolfgang; Rammig, Franz-Josef: The Reconfigurable UML Machine Project Group. In: New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design, Oct 20 - 21, 2005 EduTech Workshop, Springer Verlag (more)

Krupp, Alexander; Müller, Wolfgang: Die Klassifikationsbaummethode für eingebettete Systeme mit Testmustern für nichtkontinuierliche Reglerelemente. In: Informatik 2005 - Informatik Live! (Bd. 2), GI-Edition Lecture Notes in Informatics (LNI), number P-68 , Bonn, Sep 19 - 22, 2005 GI LNI (more)

Schattkowsky, Tim; Müller, Wolfgang; Rettberg, Achim: A Model-Based Approach for Executable Specifications on Reconfigurable Hardware. In: Proceedings of Design Automation and Test in Europe (DATE), Munich, Germany, 1 Mar 2005 (more)

Müller, Wolfgang; Martin, Grant: UML for SoC Design. Springer-Verlag, 2005 (more)


Our publications from 2004:



Bleul, S.; Schaefer, Robbie; Müller, Wolfgang: A Novel Dialog Model for the Design of Multimodal User Interfaces. In: EHCI-DSVIS, Tremsbüttel, Hamburg, 2004 (more)

Gausemeier, Jürgen; Müller, Wolfgang; Bauch, Jochen; Radkowski, W.; Shen, T.; Paelke, Volker: Virtual Prototyping Of Self-Optimizing Mechatronic Systems. In: Design 2004 - 8th International Design Conference, 20 Dec 2004 (more)

Flake, Stephan; Müller, Wolfgang: Past- and Future-Oriented Time-Bound Tempral Properties with OCL. In: Tagungsband der SEFMŽ04, Beijing, China, Los Alamitos, USA, 4 Nov 2004, IEEE CS Press (more)

Schattkowsky, Tim; Loeser, Christoph; Müller, Wolfgang: Peer-to-Peer-based Web Services for Collaborative Engineering Environments. In: Tagungsband der ICN'04, Guadeloupe, France, Los Alamitos, USA, 4 Nov 2004, IEEE CS Press (more)

Müller, Wolfgang; Schäfer, R.; Bleul, S.: Interactive Multimodal User Interfaces for Mobile Devices. In: Tagungsband der HICCS-37, Waikoloa, HI, USA, Los Alamitos, USA, 4 Nov 2004, IEEE CS Press (more)

Krupp, Alexander; Müller, Wolfgang: Refinement of Finite State Machines with Complementary Model Checking. In: UML-B System Specification for Proven Electronic Design, 4 Nov 2004, Kluwer Academic Publishers (more)

Krupp, Alexander; Müller, Wolfgang; Oliver, I.: Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: Grimm, Ch. (eds.) Languages for System Specification - Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from FDL'03 Kluwer Academic Publishers, Dordrecht, 4 Nov 2004 (more)

Bleul, S.; Müller, Wolfgang; Schäfer, R.: Multimodal Dialog Description for Mobile Devices. In: AVI 2004, Italy, 4 Nov 2004, Gallipoli (more)

Schattkowsky, Tim; Loeser, Christoph; Müller, Wolfgang: Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. In: Tagungsband der AINA'04, Yokohama, Japan, 4 Nov 2004, IEEE CS Press (more)

Schattkowsky, Tim; Müller, Wolfgang: Model-Based Design of Embedded Systems. In: Tagungsband der ISORC04, Wien, Los Alamitos, USA, 4 Nov 2004, IEEE CS Press (more)

Schattkowsky, Tim; Müller, Wolfgang; Pawlak, A.: Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In: Workflow Handbook 2004, Lighthouse Point, FL, USA, 4 Nov 2004, WfMC (more)

Krupp, Alexander; Müller, Wolfgang; Oliver, I.: The Echo Cancellation Unit Case Study. In: UML-B System Specification for Proven Electronic Design., 4 Nov 2004, Kluwer Academic Publishers (more)

Voros, N.; Müller, Wolfgang; Snook, C.: Introduction to Formal Methods: How They Apply to Embedded Systems. In: UML-B System Specification for Proven Electronic Design, 4 Nov 2004, Kluwer Academic Publishers (more)

Schattkowsky, Tim; Müller, Wolfgang: Model-Based Specification and Execution of Embedded Real-Time Systems. (Interactive Presentation). In: Tagungsband der DATE04, Paris, Los Alamitos, USA, 4 Nov 2004, IEEE CS Press (more)

Krupp, Alexander; Müller, Wolfgang; Oliver, I.: Formal Refinement and Model Checking of An Echo Cancellation Unit. In: Tagungsband des DATE04 Designers' Forum, Paris, Los Alamitos, USA, 4 Nov 2004, IEEE CS Press (more)

Müller, Wolfgang; Paelke, Volker: A Formal Model of a Framework for Simulation-Based Animation. In: Tagungsband der Simulation and Visualisation 2004, Magdeburg, Erlangen, 4 Nov 2004, SCS European Publishing House (more)

Flake, Stephan; Müller, Wolfgang: An ASM Definition of the Dynamic OCL 2.0 Semantics. In: UML 2004, Lisbon, Portugal, Lecture Notes in Computer Science, 1 Oct 2004, Springer Verlag (more)

Müller, Wolfgang; Zambaldi, Martin; Ecker, Wolfgang; Kruse, Thomas: The Formal Simulation Semantics of SystemVerilog. In: Proceedings of the FDL, Lille, France, Sep 15 - 17, 2004 (more)

Flake, Stephan; Pape, Ulrich; Ruf, J.; Müller, Wolfgang: Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report, Lecture Notes in Computer Science, volume 3147 Springer Verlag, 28 May 2004 (more)

Gausemeier, Jürgen; Müller, Wolfgang; Paelke, Volker; Bauch, Jochen; Shen, Qing; Radkowski, Rafael: Virtual Prototyping Of Self-Optimizing Mechatronic Systems. In: Proceedings of the Design 2004 - 8th International Design Conference, volume 1 , pp. 219-224, Dubrovnik, May 18 - 21, 2004 The Design Society (more)

Gausemeier, Jürgen; Bauch, Jochen; Radkowski, Rafael; Shen, Qing; Müller, Wolfgang; Paelke, Volker: Lösungselement-basiertes Virtual Prototyping von selbstoptimierenden mechatronischem Systemen. In: Proceedings der Tagung Simulation und Visualisierung 2004, number 1 , Mar 4 - 5, 2004 Otto-von-Guericke Universität Magdeburg (more)


Our publications from 2003:



Flake, Stephan; Müller, Wolfgang: Formal Semantics of Static and Temporal State-Oriented OCL Constraints.. Software and System Modeling (SoSyM), Springer, 2(3): pp. 164-186, Oct 2003 (more)

Schaefer, Robbie; Müller, Wolfgang: Adaptive Profiles for Multi-Modal Interaction in Intelligent Environments.. In: Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing, Acapulco, Mexico, 1 Aug 2003 (more)

Flake, Stephan; Müller, Wolfgang: Semantics of State-Oriented Expressions in the Object Constraint Language.. In: 15th International Conference on Software Engineering and Knowledge Engineering (SEKE 2003), pp. 142-149, San Francisco Bay, USA, 1 July 2003, IEEE Computer Society Press (more)

Kostienko, T.; Müller, Wolfgang; Pawlak, A.; Schattkowsky, Tim: An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.. In: CE 2003, Madeira, Portugal, 1 July 2003 (more)

Flake, Stephan; Müller, Wolfgang: Expressing Property Specification Patterns with OCL. In: The 2003 International Conference on Software Engineering Research and Practice (SERP'03), Las Vegas, Nevada, USA, pp. 595-601, June 2003, CSREA Press, Las Vegas, NV, USA (more)

Müller, Wolfgang; Rosenstiel, W.; Ruf, J. (eds.) SystemC - Methodologies and Applications.. Kluwer Academic Publishers, Dordrecht, June 2003 (more)

Müller, Wolfgang; Ruf, J.; Rosenstiel, W.: An ASM Based SystemC Simulation Semantics.. In: SystemC - Methodologies and Applications, Dordrecht, 1 June 2003, Kluwer Academic Publishers (more)

Flake, Stephan; Müller, Wolfgang: Formal Semantics of OCL Messages. In: UML 2003 Workshop "OCL 2.0 - Industry standard or scientific playground?", Electronic Notes in Theoretical Computer Science, 2003, Elsevier, Amsterdam, The Netherlands (more)

Schattkowsky, Tim; Müller, Wolfgang: Distributed Engineering Environment for the Design of Electronic Systems.. In: CCE'03, Poznan, Poland, Apr 15 - 16, 2003 (more)

Eikerling, Heinz-Josef; Müller, Wolfgang; Schattkowsky, Tim; Wegner, J.: Dynamic Tool Integration in Heterogeneous Computer Networks.. In: DATE 03, Munich, Mar 3 - 7, 2003 (more)

Krupp, Alexander; Müller, Wolfgang: Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.. In: Proceedings of "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen", Bremen, 1 Mar 2003, Shaker Verlag (more)

Loeser, Christoph; Müller, Wolfgang; Berger, Frank; Eikerling, Heinz-Josef: Peer-to-Peer Networks for Virtual Home Environments.. In: HICCS-36, Hawaii, USA, 1 Jan 2003 (more)


Our publications from 2002:



Müller, Wolfgang; Dömer, Rainer; Gerstlauer, A.: The Formal Execution Semantics of SpecC. In: International Symposium on System Synthesis, Kyoto, Japan, Oct 2 - 4, 2002 (more)

Flake, Stephan; Müller, Wolfgang: A UML Profile for Real-Time Constraints with the OCL. In: UML 2002 - The Unified Modeling Language, LNCS, number 2460 , Dresden, Germany, Sep 30 - Oct 4, 2002, Springer Verlag (more)

Plomp, J.; Schäfer, R.; Müller, Wolfgang; Yli-Nikkola, Heli: Comparing Transcoding Tools for Use with a Generic User Interface Format. In: Extreme Markup Languages 2002, Montreal, Canada, Aug 4 - 9, 2002 (more)

Dangelmaier, Wilhelm; Darnedde, C.; Flake, Stephan; Müller, Wolfgang; Pape, Ulrich; Zabel, Henning: Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen. In: 4. Paderborner Frühlingstagung, Paderborn, Germany, Apr 2002, ALB-HNI-Verlagsschriftenreihe (more)

Flake, Stephan; Müller, Wolfgang: Temporale Erweiterungen der OCL - Überblick und Aussichten. In: 2nd Workshop Ablaufmodellierung in ingenieurwissenschaftlichen Anwendungen, Halle (Saale), Germany, Apr 2002 (more)

Darnedde, C.; Flake, Stephan; Müller, Wolfgang; Pape, Ulrich: Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen. In: Proceedings 4. Paderborner Frühjahrstagung 2002, ALB-HNI-Verlagsschriftenreihe, 2002 (more)

Büker, U.; Eikerling, Heinz-Josef; Müller, Wolfgang (eds.) Proceedings of the VHE Workshop. , Paderborn, Germany, Mar 2002, Shaker Verlag (more)

Schäfer, R.; Dangberg, A.; Müller, Wolfgang: RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents. In: Proceedings of ITEA VHE Workshop, Paderborn, Germany, Feb 2002 (more)

Flake, Stephan; Müller, Wolfgang: An OCL Extension for Real-Time Constraints. In: Object Modeling with the OCL, LNCS, number 2263 , Heidelberg, Germany, Feb 2002, Springer Verlag (more)

Flake, Stephan; Müller, Wolfgang: Specification of Real-Time Properties for UML Models. In: Proceedings of the Hawai'i International Conference on System Sciences (HICSS-35), Hawaii, USA, Jan 2002 IEEE (more)

Schäfer, R.; Müller, Wolfgang; Dangberg, A.: Fuzzy Rules for the Transcoding of HTML Files. In: Proceedings of the Hawai'i International Conference on System Sciences (HICSS-35), Hawaii, USA, Jan 2002 IEEE (more)


Our publications from 2001:



Lehrenfeld, Georg; Müller, Wolfgang; Tellmann, R.: Security Concepts for Agent-Based Systems. In: SCASE 01, Enschede, Netherlands, 2001 (more)

Lehrenfeld, Georg; Müller, Wolfgang; Tellmann, R.: Security Concepts for Agent-Based Systems. In: SCASE 01, Enschede, Netherlands, 2001 (more)

Flake, Stephan; Müller, Wolfgang: Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie. In: DFG-Workshop Ablaufmodellierungen in ingenieurwissenschaftlichen Anwendungen, Berlin, 2001 (more)

Flake, Stephan; Geiger, Christian; Müller, Wolfgang; Paelke, Volker; Rosenbach, W.; Ruf, J.: Customer-Oriented Systems Design through Virtual Prototypes. In: Proceedings of 10th Int. IEEE Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'01), Cambridge, MA, USA, 2001 (more)

Müller, Wolfgang; Dömer, Rainer; Gerstlauer, A.: The Formal Execution Semantics of SpecC. Technical Report TR-ICS-01-59, Irvine, USA, 2001 (more)

Bauer, M.; Eikerling, Heinz-Josef; Müller, Wolfgang; Pawlak, A.; Siekierska, K.; Soderberg, D.; Warzee, X.: Advanced Infrastructure for PAN-European Collaborative Engineering. In: The e-Buisness and e-Work Conference and Exhibition, Venice, Italy, 2001 (more)

Bauer, M.; Eikerling, Heinz-Josef; Müller, Wolfgang; Pawlak, A.; Siekierska, K.; Soderberg, D.; Warzee, X.: Advanced Infrastructure for PAN-European Collaborative Engineering. In: The e-Buisness and e-Work Conference and Exhibition, Venice, Italy, 2001 (more)

Dangberg, A.; Müller, Wolfgang: Generation of Interactive Visual Interfaces for Resource Management. In: Proceedings of the International Congress on Information Science Innovations in Intelligent Automated Manufacturing, Dubai, United Arab Emirates, 2001 (more)

Dangberg, A.; Müller, Wolfgang: Generation of Interactive Visual Interfaces for Resource Management. In: Proceedings of the International Congress on Information Science Innovations in Intelligent Automated Manufacturing, Dubai, United Arab Emirates, 2001 (more)

Flake, Stephan; Müller, Wolfgang: An OCL Extension for Real-Time Constraints. In: Clark, T.; J.Warmer, J (eds.) Object Modelling with the OCL, LNCS, volume 2263 Springer-Verlag, 2001 (more)

Müller, Wolfgang; Ruf, J.; Hoffmann, D.; Gerlach, J.; Kropf, T.; Rosenstiel, W.: The Simulation Semantics of SystemC. In: Proceedings of Design, Automation and Test in Europe (DATE 2001), Munich, Germany, 2001 (more)

Müller, Wolfgang; Ruf, J.; Hoffmann, D.; Gerlach, J.; Kropf, T.; Rosenstiel, W.: The Simulation Semantics of SystemC. In: Design, Automation and Test in Europe (DATE 2001), Munich, Germany, Mar 2001 (more)

Flake, Stephan; Müller, Wolfgang; Pape, Ulrich; Ruf, J.: Analyzing Time Constraints in Flexible Manufacturing Systems. In: International NAISO Symposium on Information Science Innovations in Intelligent Automated Manufacturing (IAM'2001), 2001 (more)

Müller, Wolfgang; Meyer, A.; Zabel, Henning: A Language for the Rapid Prototyping of Mobile Evolving Agents. In: Hawaii International Conference On System Sciences, Maui, USA, Jan 2001 (more)


Our publications from 2000:



Flake, Stephan; Müller, Wolfgang; Ruf, J.: Structured English for Model Checking Specification. In: GI-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen in Frankfurt, Berlin, 2000, VDE Verlag (more)

Braatz, A.; Flake, Stephan; Müller, Wolfgang; Westkämper, E.: Prototyping einer Fahrzeugsteuerung in virtueller 3D-Umgebung. In: Simulation und Visualisierung 2000, Magdeburg, Germany, 2000 (more)

Flake, Stephan; Müller, Wolfgang; Pape, Ulrich; Ruf, J.: Modellprüfung für den Entwurf von Fertigungssteuerungssystemen. In: Proceedings of GI-Fachtagung Modellierung betrieblicher Informationssysteme (MobIS), Siegen, Germany, 2000 (more)

Müller, Wolfgang; Meyer, A.; Zabel, Henning: A Visual Framework for the Scripting of Parallel Agents. In: IEEE Symposium on Visual Languages, Seattle, Washington, USA, 2000 (more)


Our publications from 1999:



Müller, Wolfgang; Ullmann, F.: Scalable System for 3D Audio Raytracing. In: IEEE International Conference on Multimedia Computing and Systems, Florence, Italy, 1999 (more)

Flake, Stephan; Geiger, Christian; Lehrenfeld, Georg; Müller, Wolfgang; Paelke, Volker: Agent-Based Modelling for Holonic Manufacturing Systems with Fuzzy Control. In: NAFIPS'99, 18th International Conference of the North American Fuzzy Information Processing Society, New York, 1999 (more)

Flake, Stephan; Geiger, Christian; Lehrenfeld, Georg; Müller, Wolfgang; Paelke, Volker: Agent-Based Modelling for Holonic Manufacturing Systems with Fuzzy Control. In: NAFIPS'99, 18th International Conference of the North American Fuzzy Information Processing Society, New York, 1999 (more)

Dücker, Marita; Flake, Stephan; Geiger, Christian; Müller, Wolfgang; Paelke, Volker; Reimann, Christian; Rosenbach, W.; Zimmermann, D.; Zelder, S.: Wissensbasierte Konzepte und Visuelle Interaktive Systeme. In: KI99 Proceedings Workshop, Bonn, 1999 (more)


Our publications from 1998:



Geiger, Christian; Lehrenfeld, Georg; Müller, Wolfgang: Authoring Communicating Agents in Virtual Environments. In: Annual Conference for the Computer Human Interaction, Adelaide, Australia, 1998 (more)

Müller, Wolfgang; Sturm, J.: Visuelle Spezifikations- und Modellierungstechniken. In it+ti Themenheft Spezifikation, (Mrz 98) 1998 (more)

Dücker, Marita; Müller, Wolfgang; Rubart, J.: VIPspace - A Visually Programmable Shared Workspace. In: IEEE Symposium on Visual Languages, Halifax, Canada, 1998 (more)

Geiger, Christian; Müller, Wolfgang; Rosenbach, W.: SAM - An Animated 3D Programming Language. In: IEEE Symposium on Visual Languages, Halifax, Canada, 1998 (more)

Müller, Wolfgang; Rammig, Franz-Josef: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, volume 36 , Heinz Nixdorf Institut, Universität Paderborn, 1998 (more)


Our publications from 1997:



Dücker, Marita; Geiger, Christian; Hunstock, Ralf; Lehrenfeld, Georg; Müller, Wolfgang: Visual-Textual Prototyping of 4D Scenes. In: IEEE Symposium on Visual Languages, Capri, Italy, 1997 (more)

Dücker, Marita; Lehrenfeld, Georg; Müller, Wolfgang; Tahedl, C.: A Generic System for Interactive Real-Time Animation. In: Proceedings of IEEE International Conference on Engineering of Computer-Based Systems (ECBS'97), Monterey, CA, 1997 (more)

Dücker, Marita; Lehrenfeld, Georg; Müller, Wolfgang; Tahedl, C.: A Visual Programming Language for Qualitative Data. In: IEEE Symposium on Visual Languages, Capri, Italy, 1997 (more)

Dücker, Marita; Geiger, Christian; Hunstock, Ralf; Lehrenfeld, Georg; Müller, Wolfgang: Visual-Textual Prototyping of 4D Scenes. In: Procceedings of the IEEE Symposium of Visual Languages (VL'97), pp. 328-335, Capri, Italy, Sep 23 - 26, 1997 IEEE (more)


Our publications from 1996:



Lehrenfeld, Georg; Griebel, P.; Müller, Wolfgang; Tahedl, C.; Uhr, H.: Integrating a Constraint Solver into a Real-Time Animation Environment. In: Proc. of the IEEE Symposium on Visual Languages, Boulder, Colorado, USA, Sep 1996 (more)

Geiger, Christian; Hunstock, Ralf; Lehrenfeld, Georg; Müller, Wolfgang; Quintanilla, Julia; Tahedl, C.; Weber, Anke: Visual Modeling and 3D-Representation with a Complete Visual Programming Language: A Case Study in the Field of Manufactoring. In: Proceedings of the IEEE Symposium on Visual Languages (VL'96), pp. 2, Boulder, Colorado, USA, Sep 1996 IEEE (more)

Geiger, Christian; Hunstock, Ralf; Lehrenfeld, Georg; Müller, Wolfgang; Quintanilla, Julia; Tahedl, C.; Weber, Anke: Visual Modeling and 3D-Representation with a Complete Visual Programming Language - A Case Study in Manufacturing. In: Proc. of the IEEE Symposium on Visual Languages, Boulder, Colorado, USA, Sep 1996 (more)

Dücker, Marita; Lehrenfeld, Georg; Müller, Wolfgang; Tahedl, C.: Specification and Analysis of Concurrent Systems in a Complete Visual Environment. In: Proc. of the 10th European Simulation Multiconference ESM'96, Budapest, Hungary, June 2 - 6, 1996 (more)


Our publications from 1995:



Lehrenfeld, Georg; Müller, Wolfgang; Tahedl, C.: Transforming SDL Diagrams Into a Complete Visual Representation. In: Proceedings of the IEEE Symposium on Visual Languages, Darmstadt, Germany, Sep 1995 (more)

Tahedl, C.; Lehrenfeld, Georg; Müller, Wolfgang: Complete Visual Specification and Animation of Protocols. In: Proc. of the CHDL'95, Tokyo, Japan, Aug 30 - Sep 1, 1995 (more)

Glässer, Uwe; Börger, E.; Müller, Wolfgang: Formal Definition of an Abstract VHDL'93 Simulator by EA-Machines. In: Formal Semantics for VHDL, 1995, Kluwer Academic Publishers (more)

Lehrenfeld, Georg; Müller, Wolfgang; Wiechers, N.: Validation of EXPRESS Models. Technical Report R 117-003-1995, 1995 (more)

Lehrenfeld, Georg; Müller, Wolfgang; Wiechers, N.: Conformance Tests of very Large Step Files. In: Proc. of the 4th EXPRESS User's Group, 1995 (more)


Our publications from 1994:



Lehrenfeld, Georg; Müller, Wolfgang: The Computational Model of a Logical Visual Programming. In: Workshop Logik in der Informatik, Jahrestreffen der GI Fachgruppe 0.1.6, Paderborn, May 25 - 27, 1994 (more)

Lehrenfeld, Georg; Müller, Wolfgang; Wiechers, N.: Parallel Validation of STEP Files. In: Proc. of the 2nd International Conference on Concurrent Engineering Electronic Design Automation (CEEDA'94), Poole, UK, Apr 7 - 8, 1994 (more)

Lehrenfeld, Georg; Müller, Wolfgang; Wiechers, N.: Parallel Validation of STEP Files. Technical Report PC²/TR-009-94, 1994 (more)


Our publications from 1993:



Müller, Wolfgang; Kleinjohann, Bernd: Tight Integration and Synchronization of Distributed Graphical Applications. In: Proceedings of the 7th Annual Database Symposium, pp. 49-59, San Diego, 1993 ASME (more)

Müller, Wolfgang; Kleinjohann, Bernd: Tight Integration in a Hardware Synthesis System. In: Proceedings 1993 ASME International Computers in Engineering Conference and Exposition, pp. 8-12, 1993 ASME (more)


Our publications from 1992:




Our publications from 1989:



Müller, Wolfgang; Rammig, Franz-Josef: ODICE: Object-Oriented Hardware Description in CAD Environment. In: 9th International IFIP Symposium on Computer Hardware Description Language and their Applications, pp. 19-34, 1989, North Holland (more)


Our publications from 1976:




Our publications from 1975:



Gausemeier, Jürgen; Debler, Hartmut; Müller, Wolfgang: Automatisierte Zeichnungserstellung. In: VDI-Berichte 249, 1975, VDI-Verlag, Düsseldorf (more)