Wolfgang Müller

Schaltungstechnik (SCT) / Heinz Nixdorf Institut
wmueller@hni.uni-paderborn.de
ID
16243

264 Publications

Mark all

[264]
2002 | Conference Paper | LibreCat-ID: 39402
Flake S, Müller W. Temporale Erweiterungen der OCL - Überblick und Aussichten. Published online 2002.
LibreCat
 
[263]
2002 | Book (Editor) | LibreCat-ID: 53586
Bücker U, Eikerling HJ, Müller W, eds. Proceedings of the VHE Workshop.; 2002.
LibreCat
 
[262]
2001 | Conference Paper | LibreCat-ID: 39411
Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through Virtual Prototyps. In: Proceedings of IEEE KMN 2001. ; 2001. doi:10.1109/ENABL.2001.953425
LibreCat | DOI
 
[261]
2001 | Conference Paper | LibreCat-ID: 39407
Bauer M, Eikerling H-J, Müller W, et al. Advanced Infrastructure for PAN-European Collaborative Engineering. Published online 2001.
LibreCat
 
[260]
2001 | Conference Paper | LibreCat-ID: 39421
Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation Semantics of SystemC. In: Proceedings of the Design, Automation, and Test in Europe (DATE’01). IEEE; 2001. doi:10.1109/DATE.2001.915002
LibreCat | DOI
 
[259]
2001 | Conference Paper | LibreCat-ID: 39427
Flake S, Müller W, Pape U, Ruf J. Real-Time Model Checking for the Analysis of flexible Manufacturing Systems. In: Proceedings of ISI 2001. ; 2001.
LibreCat
 
[258]
2001 | Conference Paper | LibreCat-ID: 39432
Müller W, Meyer A, Zabel H. A Language for the Rapid Prototyping of Mobile Evolving Agents. In: Proceedings of the 34th Annual Hawaii International Conference on System Sciences. ; 2001. doi:10.1109/HICSS.2001.926319
LibreCat | DOI
 
[257]
2001 | Conference Paper | LibreCat-ID: 39431
Lehrenfeld G, Müller W, Tellmann R. Security Concepts for Agent-Based Systems. In: Proceedings of SCASE 01. ; 2001.
LibreCat
 
[256]
2001 | Conference Paper | LibreCat-ID: 39406
Flake S, Müller W. Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie. Published online 2001.
LibreCat
 
[255]
2001 | Conference Paper | LibreCat-ID: 39425
Dangberg A, Müller W. Generation of Interactive Visual Interfaces for Resource Management. In: Proceedings of ISI 2001. ; 2001.
LibreCat
 
[254]
2000 | Conference Paper | LibreCat-ID: 39434
Flake S, Müller W, Pape U, Ruf J. Modellprüfung für den Entwurf von Fertigungssteuerungssystemen. Published online 2000.
LibreCat
 
[253]
2000 | Conference Paper | LibreCat-ID: 39444
Braatz A, Flake S, Müller W, Westkämper E. Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung. Published online 2000.
LibreCat
 
[252]
2000 | Conference Paper | LibreCat-ID: 39461
Flake S, Müller W, Ruf J. Structured English for Model Checking Specification. Published online 2000.
LibreCat
 
[251]
2000 | Conference Paper | LibreCat-ID: 39435
Müller W, Meyer A, Zabel H. A Visual Framework for the Scripting of Parallel Agents. In: Proceedings of the IEEE Symposium on Visual Languages. ; 2000.
LibreCat
 
[250]
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt PCP, Müller W. A Methodology for the Protocol-Centered Design of Agent-Based Systems. In: Proceedings of IECON 2000. ; 2000.
LibreCat
 
[249]
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt PCP, Müller W. Morphic Nets: Model Based Design Diagrams. In: Proceedings of UKPEW 2000. ; 2000.
LibreCat
 
[248]
2000 | Conference Paper | LibreCat-ID: 39464
Flake S, Müller W, Ruf J. An Advanced Visual Capture for Model Checking Specifications. In: Proceedings of AVI 2000. ; 2000.
LibreCat
 
[247]
2000 | Patent | LibreCat-ID: 53588
Dangberg A, Müller W. Verfahren zur Steuerung der Anordnung von graphischen Elementen. Published online 2000.
LibreCat
 
[246]
1999 | Conference Paper | LibreCat-ID: 39481
Geiger C, Lehrenfeld G, Müller W. Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation. Published online 1999.
LibreCat
 
[245]
1999 | Conference Paper | LibreCat-ID: 39488
Dücker M, Müller W, Rubart J. Innovative Concepts for Configurating Shared Workspaces through Visual Programming. In: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. ; 1999. doi:10.1109/HICSS.1999.773046
LibreCat | DOI
 
[244]
1999 | Conference Paper | LibreCat-ID: 39487
Geiger C, Lehrenfeld G, Müller W. Visual Specification, Modeling, and Illustrations of Complex Systems. In: Proceedings of HICSS-32. ; 1999. doi:10.1109/HICSS.1999.772621
LibreCat | DOI
 
[243]
1999 | Conference Paper | LibreCat-ID: 39468
Dücker M, Flake S, Geiger C, et al. Wissenbasierte Konzepte und visuelle interaktive Systeme. Published online 1999.
LibreCat
 
[242]
1999 | Conference Paper | LibreCat-ID: 39471
Dangberg A, Müller W. Generation of Interactive Visual Environments for Direct Manipulation of Database Content. In: Proceedings of the IEEE Symposium on Visual Languages. ; 1999.
LibreCat
 
[241]
1999 | Conference Paper | LibreCat-ID: 39474
Flake S, Geiger C, Lehrenfeld G, Müller W, Paelke V. Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. In: Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society. IEEE; 1999. doi:10.1109/NAFIPS.1999.781697
LibreCat | DOI
 
[240]
1999 | Conference Paper | LibreCat-ID: 39477
Müller W, Ullmann F. Scalable System for 3D Audio Raytracing. In: Proceedings IEEE International Conference on Multimedia Computing and Systems. ; 1999. doi:10.1109/MMCS.1999.778592
LibreCat | DOI
 
[239]
1998 | Journal Article | LibreCat-ID: 34578
Müller W, Sturm J. Visuelle Spezifikations- und Modellierungstechniken. it - Information Technology. Published online 1998:32-36. doi:10.1524/itit.1998.40.3.32
LibreCat | DOI
 
[238]
1998 | Conference Paper | LibreCat-ID: 39496
Dücker M, Müller W, Rubart J. VIPspace - A Visually Programmable Shared Workspace. In: Proceedings. 1998 IEEE Symposium on Visual Languages . ; 1998. doi:10.1109/VL.1998.706150
LibreCat | DOI
 
[237]
1998 | Conference Paper | LibreCat-ID: 39499
Geiger C, Lehrenfeld G, Müller W. Authoring Communicating Agents in Virtual Environments. In: Proceedings of the Annual Conference for the Computer Human Interaction. ; 1998.
LibreCat
 
[236]
1998 | Conference Paper | LibreCat-ID: 39493
Geiger C, Müller W, Rosenbach W. SAM - An Animated 3D Programming Language. In: Proceedings of the IEEE Symposium on Visual Languages. ; 1998. doi:10.1109/VL.1998.706167
LibreCat | DOI
 
[235]
1998 | Conference Paper | LibreCat-ID: 39489
Geiger C, Müller W. Visuelle Spezifikation, Modellierung und Animation im Systementwurf. Published online 1998.
LibreCat
 
[234]
1998 | Book | LibreCat-ID: 23938
Müller W, Rammig F-J. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Vol 36. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1998.
LibreCat
 
[233]
1998 | Book (Editor) | LibreCat-ID: 53587
Müller W, Rammig FJ, eds. Proceedings Des Workshops Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen.; 1998.
LibreCat
 
[232]
1997 | Conference Paper | LibreCat-ID: 39510
Dücker M, Geiger C, Lehrenfeld G, Müller W, Tahedl C. A Visual Programming Language for Qualitative Data. In: Proceedings of the 1997 IEEE Symposium on Visual Languages. ; 1997. doi:10.1109/VL.1997.626593
LibreCat | DOI
 
[231]
1997 | Conference Paper | LibreCat-ID: 39505
Dücker M, Geiger C, Hunstock R, Lehrenfeld G, Müller W. Visual-Textual Prototyping of 4D Scenes. In: Proceedings of the 1997 IEEE Symposium on Visual Languages. ; 1997. doi:10.1109/VL.1997.626601
LibreCat | DOI
 
[230]
1997 | Conference Paper | LibreCat-ID: 39502
Dücker M, Lehrenfeld G, Müller W, Tahedl C. A Generic System for Interactive Real--Time Animation. In: Proceedings International Conference and Workshop on Engineering of Computer-Based Systems. ; 1997. doi:10.1109/ECBS.1997.581876
LibreCat | DOI
 
[229]
1996 | Conference Paper | LibreCat-ID: 39513
Aisch H, Joosten M, Müller W, Buijs F. Interaktiver Produktdatenaustausch mit EDIFACT. Published online 1996.
LibreCat
 
[228]
1996 | Conference Paper | LibreCat-ID: 39521
Griebel P, Lehrenfeld G, Müller W, Tahedl C, Uhr H. Integrating a Constraint Solver into a Real-Time Animation Environment. In: Proceedings of the 1996 IEEE Symposium on Visual Languages. ; 1996. doi:10.1109/VL.1996.545262
LibreCat | DOI
 
[227]
1996 | Conference Paper | LibreCat-ID: 39517
Dücker M, Lehrenfeld G, Müller W. Specification and Analysis of Concurrent Systems in a Complete Visual Environment. In: Proceedings of the 10th European Simulation Multiconference (ESM’96). ; 1996.
LibreCat
 
[226]
1996 | Conference Paper | LibreCat-ID: 39526
Geiger C, Hunstock R, Lehrenfeld G, et al. Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing. In: Proceedings of the 1996 IEEE Symposium on Visual Languages. ; 1996. doi:10.1109/VL.1996.545302
LibreCat | DOI
 
[225]
1995 | Book Chapter | LibreCat-ID: 34448
Börger E, Glässer U, Müller W. A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In: Delgado Kloos C, Breuer PT, eds. Semantics of VHDL. Kluwer Academic Publishers; 1995:107-139. doi:10.1007/978-1-4615-2237-9_5
LibreCat | DOI
 
[224]
1995 | Conference Paper | LibreCat-ID: 39532
Lehrenfeld G, Müller W, Wiechers N. Conformance Tests of Very Large STEP Files. In: Proceedings of the 4th EXPRESS User’s Group. ; 1995.
LibreCat
 
[223]
1995 | Conference Paper | LibreCat-ID: 39535
Zhao R, Kaufmann HJ, Kern T, Müller W. Pen-based Interfaces for Engineering Environments. In: ; 1995.
LibreCat
 
[222]
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld G, Müller W, Tahedl C. Transforming SDL Diagrams Into a Complete Visual Representation. In: Proceedings of Symposium on Visual Languages. ; 1995. doi:10.1109/VL.1995.520803
LibreCat | DOI
 
[221]
1995 | Conference Paper | LibreCat-ID: 39546
Müller W, Lehrenfeld G, Wiechers N. Validation of EXPRESS Models. Published online 1995.
LibreCat
 
[220]
1995 | Conference Paper | LibreCat-ID: 39531
Müller W, Felser W, Buijs F. Guide to EXPRESS-P. In: Proceedings of the 4th EXPRESS User’s Group. ; 1995.
LibreCat
 
[219]
1995 | Conference Paper | LibreCat-ID: 39538
Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations of Protocols. In: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair. ; 1995. doi:10.1109/ASPDAC.1995.486383
LibreCat | DOI
 
[218]
1995 | Conference Paper | LibreCat-ID: 39543
Zhao R, Müller W, Kaufmann HJ, Kern Th, Buijs F. An Editor for the Rapid Prototyping of EXPRESS-G Models. In: Proceedings of the 5th EXPRESS User’s Group. ; 1995.
LibreCat
 
[217]
1995 | Conference Paper | LibreCat-ID: 39550
Müller W, Felser W, Wiechers N. The Process Modeling Language EXPRESS-P. Published online 1995.
LibreCat
 
[216]
1994 | Conference Paper | LibreCat-ID: 39557
Felser W, Müller W. EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung. Published online 1994.
LibreCat
 
[215]
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling J, Müller W. FADE: A Layout Facility for Graph-Based Diagrams. In: Proceedings of the 17th Annual Computer Science Conference. ; 1994:331-342.
LibreCat
 
[214]
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis D, Müller W. Implementing Simultaneous Design: A Case Study. In: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). ; 1994.
LibreCat
 
[213]
1994 | Conference Paper | LibreCat-ID: 39577
Müller W, Lehrenfeld G, Wiechers N. Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM. Published online 1994.
LibreCat
 
[212]
1994 | Conference Paper | LibreCat-ID: 39575
Börger E, Glässer U, Müller W. The Semantics of Behavioral VHDL’93 Descriptions. In: Proceedings of EURO-DAC’94/EURO-VHDL’94. ; 1994.
LibreCat
 
[211]
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld G, Müller W, Wiechers N. Ein paralleles Framework fuer die Validierung von STEP-Produktdaten. Published online 1994.
LibreCat
 
[210]
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld G, Müller W, Wiechers N. Parallel Validation of STEP Files. In: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). ; 1994.
LibreCat
 
[209]
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld G, Müller W. Computational Model of a Logical Visual Programming Language. Published online 1994.
LibreCat
 
[208]
1994 | Conference Paper | LibreCat-ID: 39572
Felser W, Müller W. EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. In: Proceedings of the 1994 ASME Computers in Engineering Conference. ; 1994:145-154.
LibreCat
 
[207]
1993 | Conference Paper | LibreCat-ID: 39578
Müller W, Kleinjohann B. Tight Integration and Synchronization of Distributed Graphical Applications. In: Proceedings of the Seventh Annual Database Symposium. ; 1993.
LibreCat
 
[206]
1993 | Conference Paper | LibreCat-ID: 39580
Müller W. Approaching the Denotational Semantics of Behavioral VHDL Descriptions. In: Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications. ; 1993.
LibreCat
 
[205]
1993 | Conference Paper | LibreCat-ID: 39579
Müller W, Lehrenfeld G, Wiechers N. Parallel Validation of STEP Files. In: Proceedings of the 3nd EXPRESS User’s Group Conference. ; 1993.
LibreCat
 
[204]
1992 | Conference Paper | LibreCat-ID: 39582
Müller W, Kleinjohann B. The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments. In: Proceedings of the 2nd EXPRESS User’s Group Conference. ; 1992.
LibreCat
 
[203]
1991 | Conference Paper | LibreCat-ID: 39584
Müller W. Contract-Oriented System Design and Specification. In: Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods. ; 1991.
LibreCat
 
[202]
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld G, Müller W. Validation of EXPRESS Models Using Prolog. In: Proceedings of the 1st EXPRESS User’s Group Conference. ; 1991.
LibreCat
 
[201]
1989 | Conference Paper | LibreCat-ID: 39585
Rammig FJ, Müller W. ODICE: Object-Oriented Hardware Description in CAD Environment. In: Proc. of the Ninth IFIP Symposium on CHDLs and Their Application. ; 1989.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed

264 Publications

Mark all

[264]
2002 | Conference Paper | LibreCat-ID: 39402
Flake S, Müller W. Temporale Erweiterungen der OCL - Überblick und Aussichten. Published online 2002.
LibreCat
 
[263]
2002 | Book (Editor) | LibreCat-ID: 53586
Bücker U, Eikerling HJ, Müller W, eds. Proceedings of the VHE Workshop.; 2002.
LibreCat
 
[262]
2001 | Conference Paper | LibreCat-ID: 39411
Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through Virtual Prototyps. In: Proceedings of IEEE KMN 2001. ; 2001. doi:10.1109/ENABL.2001.953425
LibreCat | DOI
 
[261]
2001 | Conference Paper | LibreCat-ID: 39407
Bauer M, Eikerling H-J, Müller W, et al. Advanced Infrastructure for PAN-European Collaborative Engineering. Published online 2001.
LibreCat
 
[260]
2001 | Conference Paper | LibreCat-ID: 39421
Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation Semantics of SystemC. In: Proceedings of the Design, Automation, and Test in Europe (DATE’01). IEEE; 2001. doi:10.1109/DATE.2001.915002
LibreCat | DOI
 
[259]
2001 | Conference Paper | LibreCat-ID: 39427
Flake S, Müller W, Pape U, Ruf J. Real-Time Model Checking for the Analysis of flexible Manufacturing Systems. In: Proceedings of ISI 2001. ; 2001.
LibreCat
 
[258]
2001 | Conference Paper | LibreCat-ID: 39432
Müller W, Meyer A, Zabel H. A Language for the Rapid Prototyping of Mobile Evolving Agents. In: Proceedings of the 34th Annual Hawaii International Conference on System Sciences. ; 2001. doi:10.1109/HICSS.2001.926319
LibreCat | DOI
 
[257]
2001 | Conference Paper | LibreCat-ID: 39431
Lehrenfeld G, Müller W, Tellmann R. Security Concepts for Agent-Based Systems. In: Proceedings of SCASE 01. ; 2001.
LibreCat
 
[256]
2001 | Conference Paper | LibreCat-ID: 39406
Flake S, Müller W. Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie. Published online 2001.
LibreCat
 
[255]
2001 | Conference Paper | LibreCat-ID: 39425
Dangberg A, Müller W. Generation of Interactive Visual Interfaces for Resource Management. In: Proceedings of ISI 2001. ; 2001.
LibreCat
 
[254]
2000 | Conference Paper | LibreCat-ID: 39434
Flake S, Müller W, Pape U, Ruf J. Modellprüfung für den Entwurf von Fertigungssteuerungssystemen. Published online 2000.
LibreCat
 
[253]
2000 | Conference Paper | LibreCat-ID: 39444
Braatz A, Flake S, Müller W, Westkämper E. Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung. Published online 2000.
LibreCat
 
[252]
2000 | Conference Paper | LibreCat-ID: 39461
Flake S, Müller W, Ruf J. Structured English for Model Checking Specification. Published online 2000.
LibreCat
 
[251]
2000 | Conference Paper | LibreCat-ID: 39435
Müller W, Meyer A, Zabel H. A Visual Framework for the Scripting of Parallel Agents. In: Proceedings of the IEEE Symposium on Visual Languages. ; 2000.
LibreCat
 
[250]
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt PCP, Müller W. A Methodology for the Protocol-Centered Design of Agent-Based Systems. In: Proceedings of IECON 2000. ; 2000.
LibreCat
 
[249]
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt PCP, Müller W. Morphic Nets: Model Based Design Diagrams. In: Proceedings of UKPEW 2000. ; 2000.
LibreCat
 
[248]
2000 | Conference Paper | LibreCat-ID: 39464
Flake S, Müller W, Ruf J. An Advanced Visual Capture for Model Checking Specifications. In: Proceedings of AVI 2000. ; 2000.
LibreCat
 
[247]
2000 | Patent | LibreCat-ID: 53588
Dangberg A, Müller W. Verfahren zur Steuerung der Anordnung von graphischen Elementen. Published online 2000.
LibreCat
 
[246]
1999 | Conference Paper | LibreCat-ID: 39481
Geiger C, Lehrenfeld G, Müller W. Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation. Published online 1999.
LibreCat
 
[245]
1999 | Conference Paper | LibreCat-ID: 39488
Dücker M, Müller W, Rubart J. Innovative Concepts for Configurating Shared Workspaces through Visual Programming. In: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. ; 1999. doi:10.1109/HICSS.1999.773046
LibreCat | DOI
 
[244]
1999 | Conference Paper | LibreCat-ID: 39487
Geiger C, Lehrenfeld G, Müller W. Visual Specification, Modeling, and Illustrations of Complex Systems. In: Proceedings of HICSS-32. ; 1999. doi:10.1109/HICSS.1999.772621
LibreCat | DOI
 
[243]
1999 | Conference Paper | LibreCat-ID: 39468
Dücker M, Flake S, Geiger C, et al. Wissenbasierte Konzepte und visuelle interaktive Systeme. Published online 1999.
LibreCat
 
[242]
1999 | Conference Paper | LibreCat-ID: 39471
Dangberg A, Müller W. Generation of Interactive Visual Environments for Direct Manipulation of Database Content. In: Proceedings of the IEEE Symposium on Visual Languages. ; 1999.
LibreCat
 
[241]
1999 | Conference Paper | LibreCat-ID: 39474
Flake S, Geiger C, Lehrenfeld G, Müller W, Paelke V. Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. In: Proceedings of NAFIPS’99, 18th International Conference of the North American Fuzzy Information Processing Society. IEEE; 1999. doi:10.1109/NAFIPS.1999.781697
LibreCat | DOI
 
[240]
1999 | Conference Paper | LibreCat-ID: 39477
Müller W, Ullmann F. Scalable System for 3D Audio Raytracing. In: Proceedings IEEE International Conference on Multimedia Computing and Systems. ; 1999. doi:10.1109/MMCS.1999.778592
LibreCat | DOI
 
[239]
1998 | Journal Article | LibreCat-ID: 34578
Müller W, Sturm J. Visuelle Spezifikations- und Modellierungstechniken. it - Information Technology. Published online 1998:32-36. doi:10.1524/itit.1998.40.3.32
LibreCat | DOI
 
[238]
1998 | Conference Paper | LibreCat-ID: 39496
Dücker M, Müller W, Rubart J. VIPspace - A Visually Programmable Shared Workspace. In: Proceedings. 1998 IEEE Symposium on Visual Languages . ; 1998. doi:10.1109/VL.1998.706150
LibreCat | DOI
 
[237]
1998 | Conference Paper | LibreCat-ID: 39499
Geiger C, Lehrenfeld G, Müller W. Authoring Communicating Agents in Virtual Environments. In: Proceedings of the Annual Conference for the Computer Human Interaction. ; 1998.
LibreCat
 
[236]
1998 | Conference Paper | LibreCat-ID: 39493
Geiger C, Müller W, Rosenbach W. SAM - An Animated 3D Programming Language. In: Proceedings of the IEEE Symposium on Visual Languages. ; 1998. doi:10.1109/VL.1998.706167
LibreCat | DOI
 
[235]
1998 | Conference Paper | LibreCat-ID: 39489
Geiger C, Müller W. Visuelle Spezifikation, Modellierung und Animation im Systementwurf. Published online 1998.
LibreCat
 
[234]
1998 | Book | LibreCat-ID: 23938
Müller W, Rammig F-J. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Vol 36. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 1998.
LibreCat
 
[233]
1998 | Book (Editor) | LibreCat-ID: 53587
Müller W, Rammig FJ, eds. Proceedings Des Workshops Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen.; 1998.
LibreCat
 
[232]
1997 | Conference Paper | LibreCat-ID: 39510
Dücker M, Geiger C, Lehrenfeld G, Müller W, Tahedl C. A Visual Programming Language for Qualitative Data. In: Proceedings of the 1997 IEEE Symposium on Visual Languages. ; 1997. doi:10.1109/VL.1997.626593
LibreCat | DOI
 
[231]
1997 | Conference Paper | LibreCat-ID: 39505
Dücker M, Geiger C, Hunstock R, Lehrenfeld G, Müller W. Visual-Textual Prototyping of 4D Scenes. In: Proceedings of the 1997 IEEE Symposium on Visual Languages. ; 1997. doi:10.1109/VL.1997.626601
LibreCat | DOI
 
[230]
1997 | Conference Paper | LibreCat-ID: 39502
Dücker M, Lehrenfeld G, Müller W, Tahedl C. A Generic System for Interactive Real--Time Animation. In: Proceedings International Conference and Workshop on Engineering of Computer-Based Systems. ; 1997. doi:10.1109/ECBS.1997.581876
LibreCat | DOI
 
[229]
1996 | Conference Paper | LibreCat-ID: 39513
Aisch H, Joosten M, Müller W, Buijs F. Interaktiver Produktdatenaustausch mit EDIFACT. Published online 1996.
LibreCat
 
[228]
1996 | Conference Paper | LibreCat-ID: 39521
Griebel P, Lehrenfeld G, Müller W, Tahedl C, Uhr H. Integrating a Constraint Solver into a Real-Time Animation Environment. In: Proceedings of the 1996 IEEE Symposium on Visual Languages. ; 1996. doi:10.1109/VL.1996.545262
LibreCat | DOI
 
[227]
1996 | Conference Paper | LibreCat-ID: 39517
Dücker M, Lehrenfeld G, Müller W. Specification and Analysis of Concurrent Systems in a Complete Visual Environment. In: Proceedings of the 10th European Simulation Multiconference (ESM’96). ; 1996.
LibreCat
 
[226]
1996 | Conference Paper | LibreCat-ID: 39526
Geiger C, Hunstock R, Lehrenfeld G, et al. Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing. In: Proceedings of the 1996 IEEE Symposium on Visual Languages. ; 1996. doi:10.1109/VL.1996.545302
LibreCat | DOI
 
[225]
1995 | Book Chapter | LibreCat-ID: 34448
Börger E, Glässer U, Müller W. A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines. In: Delgado Kloos C, Breuer PT, eds. Semantics of VHDL. Kluwer Academic Publishers; 1995:107-139. doi:10.1007/978-1-4615-2237-9_5
LibreCat | DOI
 
[224]
1995 | Conference Paper | LibreCat-ID: 39532
Lehrenfeld G, Müller W, Wiechers N. Conformance Tests of Very Large STEP Files. In: Proceedings of the 4th EXPRESS User’s Group. ; 1995.
LibreCat
 
[223]
1995 | Conference Paper | LibreCat-ID: 39535
Zhao R, Kaufmann HJ, Kern T, Müller W. Pen-based Interfaces for Engineering Environments. In: ; 1995.
LibreCat
 
[222]
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld G, Müller W, Tahedl C. Transforming SDL Diagrams Into a Complete Visual Representation. In: Proceedings of Symposium on Visual Languages. ; 1995. doi:10.1109/VL.1995.520803
LibreCat | DOI
 
[221]
1995 | Conference Paper | LibreCat-ID: 39546
Müller W, Lehrenfeld G, Wiechers N. Validation of EXPRESS Models. Published online 1995.
LibreCat
 
[220]
1995 | Conference Paper | LibreCat-ID: 39531
Müller W, Felser W, Buijs F. Guide to EXPRESS-P. In: Proceedings of the 4th EXPRESS User’s Group. ; 1995.
LibreCat
 
[219]
1995 | Conference Paper | LibreCat-ID: 39538
Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations of Protocols. In: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair. ; 1995. doi:10.1109/ASPDAC.1995.486383
LibreCat | DOI
 
[218]
1995 | Conference Paper | LibreCat-ID: 39543
Zhao R, Müller W, Kaufmann HJ, Kern Th, Buijs F. An Editor for the Rapid Prototyping of EXPRESS-G Models. In: Proceedings of the 5th EXPRESS User’s Group. ; 1995.
LibreCat
 
[217]
1995 | Conference Paper | LibreCat-ID: 39550
Müller W, Felser W, Wiechers N. The Process Modeling Language EXPRESS-P. Published online 1995.
LibreCat
 
[216]
1994 | Conference Paper | LibreCat-ID: 39557
Felser W, Müller W. EXPRESS-P - Eine Erweiterung von ISO 10303-11 zur Prozessmodellierung. Published online 1994.
LibreCat
 
[215]
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling J, Müller W. FADE: A Layout Facility for Graph-Based Diagrams. In: Proceedings of the 17th Annual Computer Science Conference. ; 1994:331-342.
LibreCat
 
[214]
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis D, Müller W. Implementing Simultaneous Design: A Case Study. In: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). ; 1994.
LibreCat
 
[213]
1994 | Conference Paper | LibreCat-ID: 39577
Müller W, Lehrenfeld G, Wiechers N. Implementierung eines parallelen Validierungswerkzeugs für STEP-Produktdaten unter PVM. Published online 1994.
LibreCat
 
[212]
1994 | Conference Paper | LibreCat-ID: 39575
Börger E, Glässer U, Müller W. The Semantics of Behavioral VHDL’93 Descriptions. In: Proceedings of EURO-DAC’94/EURO-VHDL’94. ; 1994.
LibreCat
 
[211]
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld G, Müller W, Wiechers N. Ein paralleles Framework fuer die Validierung von STEP-Produktdaten. Published online 1994.
LibreCat
 
[210]
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld G, Müller W, Wiechers N. Parallel Validation of STEP Files. In: Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). ; 1994.
LibreCat
 
[209]
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld G, Müller W. Computational Model of a Logical Visual Programming Language. Published online 1994.
LibreCat
 
[208]
1994 | Conference Paper | LibreCat-ID: 39572
Felser W, Müller W. EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring. In: Proceedings of the 1994 ASME Computers in Engineering Conference. ; 1994:145-154.
LibreCat
 
[207]
1993 | Conference Paper | LibreCat-ID: 39578
Müller W, Kleinjohann B. Tight Integration and Synchronization of Distributed Graphical Applications. In: Proceedings of the Seventh Annual Database Symposium. ; 1993.
LibreCat
 
[206]
1993 | Conference Paper | LibreCat-ID: 39580
Müller W. Approaching the Denotational Semantics of Behavioral VHDL Descriptions. In: Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications. ; 1993.
LibreCat
 
[205]
1993 | Conference Paper | LibreCat-ID: 39579
Müller W, Lehrenfeld G, Wiechers N. Parallel Validation of STEP Files. In: Proceedings of the 3nd EXPRESS User’s Group Conference. ; 1993.
LibreCat
 
[204]
1992 | Conference Paper | LibreCat-ID: 39582
Müller W, Kleinjohann B. The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments. In: Proceedings of the 2nd EXPRESS User’s Group Conference. ; 1992.
LibreCat
 
[203]
1991 | Conference Paper | LibreCat-ID: 39584
Müller W. Contract-Oriented System Design and Specification. In: Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods. ; 1991.
LibreCat
 
[202]
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld G, Müller W. Validation of EXPRESS Models Using Prolog. In: Proceedings of the 1st EXPRESS User’s Group Conference. ; 1991.
LibreCat
 
[201]
1989 | Conference Paper | LibreCat-ID: 39585
Rammig FJ, Müller W. ODICE: Object-Oriented Hardware Description in CAD Environment. In: Proc. of the Ninth IFIP Symposium on CHDLs and Their Application. ; 1989.
LibreCat
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed