Startseite > Publikationen > Publikationen

Publikationen von Wolfgang Müller


Unsere Publikationen aus dem Jahr 2020:



Adelt, Peer; Koppelmann, Bastian; Müller, Wolfgang; Scheytt, Christoph: A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures. In: Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2020), Stuttgart, DE, Mrz. 2020 (Details)


Unsere Publikationen aus dem Jahr 2019:



Koppelmann, Bastian; Adelt, Peer; Müller, Wolfgang; Scheytt, Christoph: RISC-V Extensions for Bit Manipulation Instructions. In: 29th International Symposium on Power and Timing Modeling, Optimization and Simulation (PATMOS), Rhodos, Griechenland, 1. - 3. Jul. 2019 (Details)

Adelt, Peer; Koppelmann, Bastian; Müller, Wolfgang; Scheytt, Christoph: Analyse sicherheitskritischer Software für RISC-V Prozessoren. In: Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2019), Kaiserslautern, DE, Apr. 2019 (Details)

Adelt, Peer; Koppelmann, Bastian; Müller, Wolfgang; Scheytt, Christoph; Driessen, Benedikt: QEMU for Dynamic Memory Analysis of Security Sensitive Software. In: Proceedings of the 2nd International Workshop on Embedded Software for Industrial IoT (ESIIT), S. 32-34, Florence, Italy, Mrz. 2019 (Details)

Adelt, Peer; Koppelmann, Bastian; Müller, Wolfgang; Scheytt, Christoph: QEMU Support for RISC-V: Current State and Future Releases. 2nd International Workshop on RISC-V Research Activities, (Presentation), Feb. 2019 (Details)


Unsere Publikationen aus dem Jahr 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, 9. - 12. Apr. 2018, IEEE (Details)


Unsere Publikationen aus dem Jahr 2017:



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

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), S. 68, Lausanne, Switzerland, Mrz. 2017 REES (Resiliency in Embedded Electronic Systems) (Details)

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, Mrz. 2017 (Details)

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) , S. 44, Lausanne, Switzerland, Mrz. 2017 REES (Resiliency in Embedded Electronic Systems) (Details)


Unsere Publikationen aus dem Jahr 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, 12. - 14. Sep. 2016 (Details)

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 (Details)


Unsere Publikationen aus dem Jahr 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 (Hrsg.) Proceedings of the 1st International Workshop on Resiliency in Embedded Electronic Systems (REES 2014), Amsterdam, Netherland, Okt. 2015 (Details)


Unsere Publikationen aus dem Jahr 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 (Details)

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), Mrz. 2014 (Details)

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, Mrz. 2014 (Details)

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), Mrz. 2014 (Details)

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 (Details)


Unsere Publikationen aus dem Jahr 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), Okt. 2013 (Details)

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 (Details)

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), 4. - 7. Aug. 2013, ASME (Details)

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, Jun. 2013 (Details)

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), Mrz. 2013 (Details)

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): S. 845-857 2013 (Details)


Unsere Publikationen aus dem Jahr 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, 14. - 16. Dez. 2012, IEEE (Details)

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 (Details)

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, Okt. 2012 (Details)

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 (Details)

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), Jun. 2012, IEEE Xplore (Details)

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 , Jun. 2012 (Details)

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, Mai 2012 (Details)

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 (Details)

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, Mrz. 2012 (Details)

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), Mrz. 2012 (Details)

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

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 (Details)

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 (Details)


Unsere Publikationen aus dem Jahr 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 (Details)

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 (Details)

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 (Hrsg.) Design Technology for Heterogeneous Embedded Systems Springer Verlag, 1st Edition. Auflage, Okt. 2011 (Details)

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 (Details)

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, Band 294 , S. 315-327, Paderborn, Mai 2011 Heinz Nixdorf Institut, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn (Details)

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, 14. - 18. Mrz. 2011, IEEE Computer Society Press (Details)

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, Mrz. 2011 (Details)

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, Mrz. 2011, IEEE Computer Society Press (Details)

He, Da; Mischkalla, Fabian; Müller, Wolfgang: A SysML-based Framework with QEMU-SystemC Code Generation. In: Proceedings of 1st international QEMU Users Forum, Mrz. 2011 (Details)

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) , Mrz. 2011 (Details)

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 (Details)

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 (Details)


Unsere Publikationen aus dem Jahr 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), S. 55-66, Brisbane, Australia, 20. - 23. Sep. 2010, Springer (Details)

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 (Details)

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 (Details)

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), S. 55-66, Brisbane, Australia, Sep. 2010, Springer (Details)

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 (Details)

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 (Details)

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), 7. - 9. Jul. 2010 IEEE, IEEE (Details)

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), S. 28-35, 7. - 9. Jul. 2010 IEEE (Details)

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, Jul. 2010 (Details)

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), Jul. 2010, IEEE Computer Society Press (Details)

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, Jun. 2010 (Details)

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, Jun. 2010 IEEE (Details)

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, S. 642 - 645, Dresden, Germany, Mrz. 2010 DATE 2010 (Details)

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, Mrz. 2010 DATE 2010 (Details)

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, Mrz. 2010 MBMV 2010 (Details)

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, Mrz. 2010 DATE 2010 (Details)

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


Unsere Publikationen aus dem Jahr 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 (Details)

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, Mrz. 2009 (Details)

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 (Details)

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 (Details)

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

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), S. 238-243, Nice, France, 2009 (Details)

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


Unsere Publikationen aus dem Jahr 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 (Details)

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, S. 31-39, MBMV08, Freiburg, Germany, 2008, Shaker Verlag (Details)

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, Band 27 , S. 181-190, 2008, Springer Boston (Details)

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 (Details)


Unsere Publikationen aus dem Jahr 2007:



Schäfer, R.; Müller, Wolfgang: Evaluation of a Multimodal System Based on Dialogue Models and Transformations. In: Journal on Multimodal User Interfaces, Dez. 2007 (Details)

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 , Okt. 2007 (Details)

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 (Details)

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 (Details)

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 (Details)

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, Jun. 2007 (Details)

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, Jun. 2007 (Details)

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, Mai 2007 (Details)

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, Mai 2007 (Details)

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, Mrz. 2007 (Details)

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 (Details)


Unsere Publikationen aus dem Jahr 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, 7. - 11. Mrz. 2006 (Details)

Müller, Wolfgang; Zabel, Henning: Towards a Unified Behavioral Language - A Simulation Framework Based Approach. In: Proceedings of the UML--SoC Workshop, San Francisco, USA, 1. Jan. 2006 (Details)


Unsere Publikationen aus dem Jahr 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, 20. - 21. Okt. 2005 EduTech Workshop, Springer Verlag (Details)

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), Nr. P-68 , Bonn, 19. - 22. Sep. 2005 GI LNI (Details)

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. Mrz. 2005 (Details)

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


Unsere Publikationen aus dem Jahr 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 (Details)

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. Dez. 2004 (Details)

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 (Details)

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 (Details)

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 (Details)

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 (Details)

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 (Details)

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 (Details)

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 (Details)

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 (Details)

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 (Details)

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

Krupp, Alexander; Müller, Wolfgang; Oliver, I.: Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In: Grimm, Ch. (Hrsg.) 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 (Details)

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 (Details)

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 (Details)

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 (Details)

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. Okt. 2004, Springer Verlag (Details)

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

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, Band 3147 Springer Verlag, 28. Mai 2004 (Details)

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, Band 1 , S. 219-224, Dubrovnik, 18. - 21. Mai 2004 The Design Society (Details)

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, Nr. 1 , 4. - 5. Mrz. 2004 Otto-von-Guericke Universität Magdeburg (Details)


Unsere Publikationen aus dem Jahr 2003:



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

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 (Details)

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. Jul. 2003 (Details)

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), S. 142-149, San Francisco Bay, USA, 1. Jul. 2003, IEEE Computer Society Press (Details)

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

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, S. 595-601, Jun. 2003, CSREA Press, Las Vegas, NV, USA (Details)

Müller, Wolfgang; Rosenstiel, W.; Ruf, J. (Hrsg.) SystemC - Methodologies and Applications.. Kluwer Academic Publishers, Dordrecht, Jun. 2003 (Details)

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 (Details)

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

Müller, Wolfgang; Wang, Jinghua: JavaCard-Enabled Smart Cards for Collaborative Engineering Environments.. In: CCE'03, Poznan, Poland, 15. - 16. Apr. 2003 (Details)

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

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. Mrz. 2003, Shaker Verlag (Details)

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 (Details)


Unsere Publikationen aus dem Jahr 2002:



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

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

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, 4. - 9. Aug. 2002 (Details)

Loeser, Christoph; Altenbernd, Peter; Ditze, Michael; Müller, Wolfgang: Distributed Video-on-Demand Services on Peer to Peer Basis. In: Int. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), Jun. 2002 (Details)

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

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 (Details)

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 (Details)

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

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

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 (Details)

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 (Details)

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 (Details)


Unsere Publikationen aus dem Jahr 2001:



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 (Details)

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

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 (Details)

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

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 (Details)

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 (Details)

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 (Details)

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

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 (Details)

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

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 (Details)

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, Mrz. 2001 (Details)

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 (Details)

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 (Details)


Unsere Publikationen aus dem Jahr 2000:



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 (Details)

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 (Details)

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 (Details)

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 (Details)


Unsere Publikationen aus dem Jahr 1999:



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 (Details)

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 (Details)

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

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 (Details)


Unsere Publikationen aus dem Jahr 1998:



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

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

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

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

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


Unsere Publikationen aus dem Jahr 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 (Details)

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 (Details)

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 (Details)

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), S. 328-335, Capri, Italy, 23. - 26. Sep. 1997 IEEE (Details)


Unsere Publikationen aus dem Jahr 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 (Details)

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), S. 2, Boulder, Colorado, USA, Sep. 1996 IEEE (Details)

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 (Details)

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, 2. - 6. Jun. 1996 (Details)


Unsere Publikationen aus dem Jahr 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 (Details)

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

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

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

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 (Details)


Unsere Publikationen aus dem Jahr 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, 25. - 27. Mai 1994 (Details)

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, 7. - 8. Apr. 1994 (Details)

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


Unsere Publikationen aus dem Jahr 1993:



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

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


Unsere Publikationen aus dem Jahr 1992:




Unsere Publikationen aus dem Jahr 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, S. 19-34, 1989, North Holland (Details)


Unsere Publikationen aus dem Jahr 1976:




Unsere Publikationen aus dem Jahr 1975:



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