264 Publications
2002 | Conference Paper | LibreCat-ID: 39402
Flake, Stephan, and Wolfgang Müller. “Temporale Erweiterungen Der OCL - Überblick Und Aussichten.” Tagungsband: 2. Workshop “Ablaufmodellierung in Ingenieurwissenschaftlichen Anwendungen.” Halle(Saale), Germany, 2002.
LibreCat
2002 | Book (Editor) | LibreCat-ID: 53586
Bücker, Ulrich, Heinz Josef Eikerling, and Wolfgang Müller, eds. Proceedings of the VHE Workshop. Paderborn, Germany, 2002.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39411
Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented Systems Design through Virtual Prototyps.” In Proceedings of IEEE KMN 2001. Cambridge, MA, USA , 2001. https://doi.org/10.1109/ENABL.2001.953425.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39407
Bauer, M., Heinz-Josef Eikerling, Wolfgang Müller, A. Pawlak, K. Siekierska, D. Soderberg, and X. Warzee. “Advanced Infrastructure for PAN-European Collaborative Engineering.” The E-Business and e-Work Conference and Exhibition. Venice, Italy, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39421
Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.” In Proceedings of the Design, Automation, and Test in Europe (DATE’01). Munich, Germany : IEEE, 2001. https://doi.org/10.1109/DATE.2001.915002.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39427
Flake, Stephan, Wolfgang Müller, U. Pape, and Jürgen Ruf. “Real-Time Model Checking for the Analysis of Flexible Manufacturing Systems.” In Proceedings of ISI 2001. Dubai, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39432
Müller, Wolfgang, A. Meyer, and Henning Zabel. “A Language for the Rapid Prototyping of Mobile Evolving Agents.” In Proceedings of the 34th Annual Hawaii International Conference on System Sciences. Maui, HI, USA , 2001. https://doi.org/10.1109/HICSS.2001.926319.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39431
Lehrenfeld, Georg, Wolfgang Müller, and Rainer Tellmann. “Security Concepts for Agent-Based Systems.” In Proceedings of SCASE 01. Enschede, Netherlands, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39406
Flake, Stephan, and Wolfgang Müller. “Spezifikation von Echtzeiteigenschaften Mit OCL Für Eine MFERT-Basierte Fallstudie.” Tagungsband: Ablaufmodellierungen in Ingenieruwissenschaftlichen Anwendungen. Berlin, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39425
Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces for Resource Management.” In Proceedings of ISI 2001. Dubai, 2001.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen.” Mobis 2000. Siegen, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
Braatz, A., Stephan Flake, Wolfgang Müller, and E. Westkämper. “Prototyping Einer Fahrzeug-Steuerung in Einer Virtuellen 3D-Umgebung.” Simulation Und Visualisierung 2000. Magdeburg, Germany, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “Structured English for Model Checking Specification.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen. Frankfurt, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39435
Müller, Wolfgang, Arne Meyer, and Henning Zabel. “A Visual Framework for the Scripting of Parallel Agents.” In Proceedings of the IEEE Symposium on Visual Languages. Seattle, Washington, USA, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt, P. C. P., and Wolfgang Müller. “A Methodology for the Protocol-Centered Design of Agent-Based Systems.” In Proceedings of IECON 2000. Nagoya, Japan, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., and Wolfgang Müller. “Morphic Nets: Model Based Design Diagrams.” In Proceedings of UKPEW 2000. Durham, UK, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “An Advanced Visual Capture for Model Checking Specifications.” In Proceedings of AVI 2000. Palermo, Italy, 2000.
LibreCat
2000 | Patent | LibreCat-ID: 53588
Dangberg, Andreas, and Wolfgang Müller. “Verfahren Zur Steuerung Der Anordnung von Graphischen Elementen,” 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39481
Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Virtuelles Prototyping Einer Robotersteuerung Durch Interaktive 3D-Simulation.” Simulation Und Visualisierung. Magdeburg, Germany, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39488
Dücker, M., Wolfgang Müller, and Jessica Rubart. “Innovative Concepts for Configurating Shared Workspaces through Visual Programming.” In Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. Maui, HI, USA , 1999. https://doi.org/10.1109/HICSS.1999.773046.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification, Modeling, and Illustrations of Complex Systems.” In Proceedings of HICSS-32. Maui, Hawaii, 1999. https://doi.org/10.1109/HICSS.1999.772621.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39468
Dücker, M., Stephan Flake, C. Geiger, Wolfgang Müller, Volker Paelke, C. Reimann, W. Rosenbach, D. Zimmermann, and S. Zelder. “Wissenbasierte Konzepte Und Visuelle Interaktive Systeme.” Intelligente Virtuelle Umgebungen. Bonn, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39471
Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Environments for Direct Manipulation of Database Content.” In Proceedings of the IEEE Symposium on Visual Languages. Tokyo, Japan, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39474
Flake, Stephan, Christian Geiger, G. Lehrenfeld, Wolfgang Müller, and Volker Paelke. “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. New York, NY, USA : IEEE, 1999. https://doi.org/10.1109/NAFIPS.1999.781697.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39477
Müller, Wolfgang, and F. Ullmann. “Scalable System for 3D Audio Raytracing.” In Proceedings IEEE International Conference on Multimedia Computing and Systems. Florence, Italy, 1999. https://doi.org/10.1109/MMCS.1999.778592.
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 34578
Müller, Wolfgang, and Jörgen Sturm. “Visuelle Spezifikations- Und Modellierungstechniken.” It - Information Technology, 1998, 32–36. https://doi.org/10.1524/itit.1998.40.3.32.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39496
Dücker, M., Wolfgang Müller, and Jessica Rubart. “VIPspace - A Visually Programmable Shared Workspace.” In Proceedings. 1998 IEEE Symposium on Visual Languages . Halifax, NS, Canada , 1998. https://doi.org/10.1109/VL.1998.706150.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39499
Geiger, Christian, Georg Lehrenfeld, and Wolfgang Müller. “Authoring Communicating Agents in Virtual Environments.” In Proceedings of the Annual Conference for the Computer Human Interaction. Adelaide, Australia, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 39493
Geiger, Christian, Wolfgang Müller, and W. Rosenbach. “SAM - An Animated 3D Programming Language.” In Proceedings of the IEEE Symposium on Visual Languages. Halifax, Canada, 1998. https://doi.org/10.1109/VL.1998.706167.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39489
Geiger, Christian, and Wolfgang Müller. “Visuelle Spezifikation, Modellierung Und Animation Im Systementwurf.” Simulation Und Visualisierung 98. Magdeburg, Germany, 1998.
LibreCat
1998 | Book | LibreCat-ID: 23938
Müller, Wolfgang, and Franz-Josef Rammig. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Vol. 36. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
LibreCat
1998 | Book (Editor) | LibreCat-ID: 53587
Müller, Wolfgang, and Franz Josef Rammig, eds. Proceedings Des Workshops Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen. Paderborn, Germany, 1998.
LibreCat
1997 | Conference Paper | LibreCat-ID: 39510
Dücker, M., Christian Geiger, Georg Lehrenfeld, Wolfgang Müller, and C. Tahedl. “A Visual Programming Language for Qualitative Data.” In Proceedings of the 1997 IEEE Symposium on Visual Languages. Capri, Italy, 1997. https://doi.org/10.1109/VL.1997.626593.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
Dücker, M., Christian Geiger, R. Hunstock, Georg Lehrenfeld, and Wolfgang Müller. “Visual-Textual Prototyping of 4D Scenes.” In Proceedings of the 1997 IEEE Symposium on Visual Languages. Capri, Italy, 1997. https://doi.org/10.1109/VL.1997.626601.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39502
Dücker, M., Georg Lehrenfeld, Wolfgang Müller, and C. Tahedl. “A Generic System for Interactive Real--Time Animation.” In Proceedings International Conference and Workshop on Engineering of Computer-Based Systems. Monterey, CA, USA , 1997. https://doi.org/10.1109/ECBS.1997.581876.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 39513
Aisch, H., M. Joosten, Wolfgang Müller, and F. Buijs. “Interaktiver Produktdatenaustausch Mit EDIFACT.” Tagungsband: CAD’96. Kaiserslautern, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39521
Griebel, P., Georg Lehrenfeld, Wolfgang Müller, C. Tahedl, and H. Uhr. “Integrating a Constraint Solver into a Real-Time Animation Environment.” In Proceedings of the 1996 IEEE Symposium on Visual Languages. Boulder CO, 1996. https://doi.org/10.1109/VL.1996.545262.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 39517
Dücker, Marita, Georg Lehrenfeld, and Wolfgang Müller. “Specification and Analysis of Concurrent Systems in a Complete Visual Environment.” In Proceedings of the 10th European Simulation Multiconference (ESM’96). Budapest, Hungary, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39526
Geiger, Christian, R. Hunstock, Georg Lehrenfeld, Wolfgang Müller, J. Quintanilla, C. Tahedl, and A. Weber. “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. Boulder, CO, USA, 1996. https://doi.org/10.1109/VL.1996.545302.
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 34448
Börger, Egon, Uwe Glässer, and Wolfgang Müller. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.” In Semantics of VHDL, edited by C. Delgado Kloos and Peter T. Breuer, 107–39. Dordrecht: Kluwer Academic Publishers, 1995. https://doi.org/10.1007/978-1-4615-2237-9_5.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39532
Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Conformance Tests of Very Large STEP Files.” In Proceedings of the 4th EXPRESS User’s Group. Greenville, South Carolina, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39535
Zhao, R., H. J. Kaufmann, T. Kern, and Wolfgang Müller. “Pen-Based Interfaces for Engineering Environments,” 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld, Georg, Wolfgang Müller, and C. Tahedl. “Transforming SDL Diagrams Into a Complete Visual Representation.” In Proceedings of Symposium on Visual Languages. Darmstadt, Germany , 1995. https://doi.org/10.1109/VL.1995.520803.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39546
Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Validation of EXPRESS Models.” CENELEC Technical Report R117-003:1995, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39531
Müller, Wolfgang, W. Felser, and F. Buijs. “Guide to EXPRESS-P.” In Proceedings of the 4th EXPRESS User’s Group. Greenville, South Carolina, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39538
Müller, Wolfgang, Georg Lehrenfeld, and C. Tahedl. “Complete Visual Specification and Animations of Protocols.” In Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair. Chiba, Japan , 1995. https://doi.org/10.1109/ASPDAC.1995.486383.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39543
Zhao, R., Wolfgang Müller, H. J. Kaufmann, Th. Kern, and F. Buijs. “An Editor for the Rapid Prototyping of EXPRESS-G Models.” In Proceedings of the 5th EXPRESS User’s Group. Grenoble, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39550
Müller, Wolfgang, W. Felser, and N. Wiechers. “The Process Modeling Language EXPRESS-P.” ISO TC184/SC4/WG5, N230, Cadlab. Paderborn, Germany, 1995.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39557
Felser, W., and Wolfgang Müller. “EXPRESS-P - Eine Erweiterung von ISO 10303-11 Zur Prozessmodellierung.” CAD94. Paderborn, Germany, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling, Josef, and Wolfgang Müller. “FADE: A Layout Facility for Graph-Based Diagrams.” In Proceedings of the 17th Annual Computer Science Conference, 331–42. Christchurch, New Zealand, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis, D., and Wolfgang Müller. “Implementing Simultaneous Design: A Case Study.” In Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). PoDTe, UK, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Implementierung Eines Parallelen Validierungswerkzeugs Für STEP-Produktdaten Unter PVM.” TAT’94. Aachen, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
Börger, Egon, Uwe Glässer, and Wolfgang Müller. “The Semantics of Behavioral VHDL’93 Descriptions.” In Proceedings of EURO-DAC’94/EURO-VHDL’94. Grenoble, France, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Ein Paralleles Framework Fuer Die Validierung von STEP-Produktdaten.” Tagungsband: CAD94, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Parallel Validation of STEP Files.” In Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). Poole, UK, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, Georg, and Wolfgang Müller. “Computational Model of a Logical Visual Programming Language.” Workshop Logik in Der Informatik, Jahrestreffen Der Fachgruppe 0.1.6. Paderborn, Germany, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
Felser, Winfried, and Wolfgang Müller. “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring.” In Proceedings of the 1994 ASME Computers in Engineering Conference, 145–54. Minneapolis, MI, 1994.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39578
Müller, Wolfgang, and Bernd Kleinjohann. “Tight Integration and Synchronization of Distributed Graphical Applications.” In Proceedings of the Seventh Annual Database Symposium. San Diego, USA, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39580
Müller, Wolfgang. “Approaching the Denotational Semantics of Behavioral VHDL Descriptions.” In Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications. Brisbane, Australia, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39579
Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Parallel Validation of STEP Files.” In Proceedings of the 3nd EXPRESS User’s Group Conference. Berlin, 1993.
LibreCat
1992 | Conference Paper | LibreCat-ID: 39582
Müller, Wolfgang, and Bernd Kleinjohann. “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments.” In Proceedings of the 2nd EXPRESS User’s Group Conference. Dallas TX, 1992.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39584
Müller, Wolfgang. “Contract-Oriented System Design and Specification.” In Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods. Grassau Germany, 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” In Proceedings of the 1st EXPRESS User’s Group Conference. Houston TX, USA, 1991.
LibreCat
1989 | Conference Paper | LibreCat-ID: 39585
Rammig, Franz Josef, and Wolfgang Müller. “ODICE: Object-Oriented Hardware Description in CAD Environment.” In Proc. of the Ninth IFIP Symposium on CHDLs and Their Application. Washington DC, 1989.
LibreCat
Search
Filter Publications
Display / Sort
Export / Embed
264 Publications
2002 | Conference Paper | LibreCat-ID: 39402
Flake, Stephan, and Wolfgang Müller. “Temporale Erweiterungen Der OCL - Überblick Und Aussichten.” Tagungsband: 2. Workshop “Ablaufmodellierung in Ingenieurwissenschaftlichen Anwendungen.” Halle(Saale), Germany, 2002.
LibreCat
2002 | Book (Editor) | LibreCat-ID: 53586
Bücker, Ulrich, Heinz Josef Eikerling, and Wolfgang Müller, eds. Proceedings of the VHE Workshop. Paderborn, Germany, 2002.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39411
Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented Systems Design through Virtual Prototyps.” In Proceedings of IEEE KMN 2001. Cambridge, MA, USA , 2001. https://doi.org/10.1109/ENABL.2001.953425.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39407
Bauer, M., Heinz-Josef Eikerling, Wolfgang Müller, A. Pawlak, K. Siekierska, D. Soderberg, and X. Warzee. “Advanced Infrastructure for PAN-European Collaborative Engineering.” The E-Business and e-Work Conference and Exhibition. Venice, Italy, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39421
Müller, Wolfgang, Jürgen Ruf, D. W. Hoffmann, Joachim Gerlach, Thomas Kropf, and W. Rosenstiehl. “The Simulation Semantics of SystemC.” In Proceedings of the Design, Automation, and Test in Europe (DATE’01). Munich, Germany : IEEE, 2001. https://doi.org/10.1109/DATE.2001.915002.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39427
Flake, Stephan, Wolfgang Müller, U. Pape, and Jürgen Ruf. “Real-Time Model Checking for the Analysis of Flexible Manufacturing Systems.” In Proceedings of ISI 2001. Dubai, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39432
Müller, Wolfgang, A. Meyer, and Henning Zabel. “A Language for the Rapid Prototyping of Mobile Evolving Agents.” In Proceedings of the 34th Annual Hawaii International Conference on System Sciences. Maui, HI, USA , 2001. https://doi.org/10.1109/HICSS.2001.926319.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39431
Lehrenfeld, Georg, Wolfgang Müller, and Rainer Tellmann. “Security Concepts for Agent-Based Systems.” In Proceedings of SCASE 01. Enschede, Netherlands, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39406
Flake, Stephan, and Wolfgang Müller. “Spezifikation von Echtzeiteigenschaften Mit OCL Für Eine MFERT-Basierte Fallstudie.” Tagungsband: Ablaufmodellierungen in Ingenieruwissenschaftlichen Anwendungen. Berlin, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39425
Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces for Resource Management.” In Proceedings of ISI 2001. Dubai, 2001.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen.” Mobis 2000. Siegen, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
Braatz, A., Stephan Flake, Wolfgang Müller, and E. Westkämper. “Prototyping Einer Fahrzeug-Steuerung in Einer Virtuellen 3D-Umgebung.” Simulation Und Visualisierung 2000. Magdeburg, Germany, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “Structured English for Model Checking Specification.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen. Frankfurt, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39435
Müller, Wolfgang, Arne Meyer, and Henning Zabel. “A Visual Framework for the Scripting of Parallel Agents.” In Proceedings of the IEEE Symposium on Visual Languages. Seattle, Washington, USA, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt, P. C. P., and Wolfgang Müller. “A Methodology for the Protocol-Centered Design of Agent-Based Systems.” In Proceedings of IECON 2000. Nagoya, Japan, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., and Wolfgang Müller. “Morphic Nets: Model Based Design Diagrams.” In Proceedings of UKPEW 2000. Durham, UK, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake, Stephan, Wolfgang Müller, and Jürgen Ruf. “An Advanced Visual Capture for Model Checking Specifications.” In Proceedings of AVI 2000. Palermo, Italy, 2000.
LibreCat
2000 | Patent | LibreCat-ID: 53588
Dangberg, Andreas, and Wolfgang Müller. “Verfahren Zur Steuerung Der Anordnung von Graphischen Elementen,” 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39481
Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Virtuelles Prototyping Einer Robotersteuerung Durch Interaktive 3D-Simulation.” Simulation Und Visualisierung. Magdeburg, Germany, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39488
Dücker, M., Wolfgang Müller, and Jessica Rubart. “Innovative Concepts for Configurating Shared Workspaces through Visual Programming.” In Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. Maui, HI, USA , 1999. https://doi.org/10.1109/HICSS.1999.773046.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, Christian, G. Lehrenfeld, and Wolfgang Müller. “Visual Specification, Modeling, and Illustrations of Complex Systems.” In Proceedings of HICSS-32. Maui, Hawaii, 1999. https://doi.org/10.1109/HICSS.1999.772621.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39468
Dücker, M., Stephan Flake, C. Geiger, Wolfgang Müller, Volker Paelke, C. Reimann, W. Rosenbach, D. Zimmermann, and S. Zelder. “Wissenbasierte Konzepte Und Visuelle Interaktive Systeme.” Intelligente Virtuelle Umgebungen. Bonn, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39471
Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Environments for Direct Manipulation of Database Content.” In Proceedings of the IEEE Symposium on Visual Languages. Tokyo, Japan, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39474
Flake, Stephan, Christian Geiger, G. Lehrenfeld, Wolfgang Müller, and Volker Paelke. “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. New York, NY, USA : IEEE, 1999. https://doi.org/10.1109/NAFIPS.1999.781697.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39477
Müller, Wolfgang, and F. Ullmann. “Scalable System for 3D Audio Raytracing.” In Proceedings IEEE International Conference on Multimedia Computing and Systems. Florence, Italy, 1999. https://doi.org/10.1109/MMCS.1999.778592.
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 34578
Müller, Wolfgang, and Jörgen Sturm. “Visuelle Spezifikations- Und Modellierungstechniken.” It - Information Technology, 1998, 32–36. https://doi.org/10.1524/itit.1998.40.3.32.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39496
Dücker, M., Wolfgang Müller, and Jessica Rubart. “VIPspace - A Visually Programmable Shared Workspace.” In Proceedings. 1998 IEEE Symposium on Visual Languages . Halifax, NS, Canada , 1998. https://doi.org/10.1109/VL.1998.706150.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39499
Geiger, Christian, Georg Lehrenfeld, and Wolfgang Müller. “Authoring Communicating Agents in Virtual Environments.” In Proceedings of the Annual Conference for the Computer Human Interaction. Adelaide, Australia, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 39493
Geiger, Christian, Wolfgang Müller, and W. Rosenbach. “SAM - An Animated 3D Programming Language.” In Proceedings of the IEEE Symposium on Visual Languages. Halifax, Canada, 1998. https://doi.org/10.1109/VL.1998.706167.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39489
Geiger, Christian, and Wolfgang Müller. “Visuelle Spezifikation, Modellierung Und Animation Im Systementwurf.” Simulation Und Visualisierung 98. Magdeburg, Germany, 1998.
LibreCat
1998 | Book | LibreCat-ID: 23938
Müller, Wolfgang, and Franz-Josef Rammig. Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Vol. 36. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
LibreCat
1998 | Book (Editor) | LibreCat-ID: 53587
Müller, Wolfgang, and Franz Josef Rammig, eds. Proceedings Des Workshops Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen. Paderborn, Germany, 1998.
LibreCat
1997 | Conference Paper | LibreCat-ID: 39510
Dücker, M., Christian Geiger, Georg Lehrenfeld, Wolfgang Müller, and C. Tahedl. “A Visual Programming Language for Qualitative Data.” In Proceedings of the 1997 IEEE Symposium on Visual Languages. Capri, Italy, 1997. https://doi.org/10.1109/VL.1997.626593.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
Dücker, M., Christian Geiger, R. Hunstock, Georg Lehrenfeld, and Wolfgang Müller. “Visual-Textual Prototyping of 4D Scenes.” In Proceedings of the 1997 IEEE Symposium on Visual Languages. Capri, Italy, 1997. https://doi.org/10.1109/VL.1997.626601.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39502
Dücker, M., Georg Lehrenfeld, Wolfgang Müller, and C. Tahedl. “A Generic System for Interactive Real--Time Animation.” In Proceedings International Conference and Workshop on Engineering of Computer-Based Systems. Monterey, CA, USA , 1997. https://doi.org/10.1109/ECBS.1997.581876.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 39513
Aisch, H., M. Joosten, Wolfgang Müller, and F. Buijs. “Interaktiver Produktdatenaustausch Mit EDIFACT.” Tagungsband: CAD’96. Kaiserslautern, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39521
Griebel, P., Georg Lehrenfeld, Wolfgang Müller, C. Tahedl, and H. Uhr. “Integrating a Constraint Solver into a Real-Time Animation Environment.” In Proceedings of the 1996 IEEE Symposium on Visual Languages. Boulder CO, 1996. https://doi.org/10.1109/VL.1996.545262.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 39517
Dücker, Marita, Georg Lehrenfeld, and Wolfgang Müller. “Specification and Analysis of Concurrent Systems in a Complete Visual Environment.” In Proceedings of the 10th European Simulation Multiconference (ESM’96). Budapest, Hungary, 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39526
Geiger, Christian, R. Hunstock, Georg Lehrenfeld, Wolfgang Müller, J. Quintanilla, C. Tahedl, and A. Weber. “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. Boulder, CO, USA, 1996. https://doi.org/10.1109/VL.1996.545302.
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 34448
Börger, Egon, Uwe Glässer, and Wolfgang Müller. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.” In Semantics of VHDL, edited by C. Delgado Kloos and Peter T. Breuer, 107–39. Dordrecht: Kluwer Academic Publishers, 1995. https://doi.org/10.1007/978-1-4615-2237-9_5.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39532
Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Conformance Tests of Very Large STEP Files.” In Proceedings of the 4th EXPRESS User’s Group. Greenville, South Carolina, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39535
Zhao, R., H. J. Kaufmann, T. Kern, and Wolfgang Müller. “Pen-Based Interfaces for Engineering Environments,” 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld, Georg, Wolfgang Müller, and C. Tahedl. “Transforming SDL Diagrams Into a Complete Visual Representation.” In Proceedings of Symposium on Visual Languages. Darmstadt, Germany , 1995. https://doi.org/10.1109/VL.1995.520803.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39546
Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Validation of EXPRESS Models.” CENELEC Technical Report R117-003:1995, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39531
Müller, Wolfgang, W. Felser, and F. Buijs. “Guide to EXPRESS-P.” In Proceedings of the 4th EXPRESS User’s Group. Greenville, South Carolina, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39538
Müller, Wolfgang, Georg Lehrenfeld, and C. Tahedl. “Complete Visual Specification and Animations of Protocols.” In Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair. Chiba, Japan , 1995. https://doi.org/10.1109/ASPDAC.1995.486383.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39543
Zhao, R., Wolfgang Müller, H. J. Kaufmann, Th. Kern, and F. Buijs. “An Editor for the Rapid Prototyping of EXPRESS-G Models.” In Proceedings of the 5th EXPRESS User’s Group. Grenoble, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39550
Müller, Wolfgang, W. Felser, and N. Wiechers. “The Process Modeling Language EXPRESS-P.” ISO TC184/SC4/WG5, N230, Cadlab. Paderborn, Germany, 1995.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39557
Felser, W., and Wolfgang Müller. “EXPRESS-P - Eine Erweiterung von ISO 10303-11 Zur Prozessmodellierung.” CAD94. Paderborn, Germany, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling, Josef, and Wolfgang Müller. “FADE: A Layout Facility for Graph-Based Diagrams.” In Proceedings of the 17th Annual Computer Science Conference, 331–42. Christchurch, New Zealand, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis, D., and Wolfgang Müller. “Implementing Simultaneous Design: A Case Study.” In Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). PoDTe, UK, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Implementierung Eines Parallelen Validierungswerkzeugs Für STEP-Produktdaten Unter PVM.” TAT’94. Aachen, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
Börger, Egon, Uwe Glässer, and Wolfgang Müller. “The Semantics of Behavioral VHDL’93 Descriptions.” In Proceedings of EURO-DAC’94/EURO-VHDL’94. Grenoble, France, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Ein Paralleles Framework Fuer Die Validierung von STEP-Produktdaten.” Tagungsband: CAD94, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld, Georg, Wolfgang Müller, and N. Wiechers. “Parallel Validation of STEP Files.” In Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94). Poole, UK, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, Georg, and Wolfgang Müller. “Computational Model of a Logical Visual Programming Language.” Workshop Logik in Der Informatik, Jahrestreffen Der Fachgruppe 0.1.6. Paderborn, Germany, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
Felser, Winfried, and Wolfgang Müller. “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring.” In Proceedings of the 1994 ASME Computers in Engineering Conference, 145–54. Minneapolis, MI, 1994.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39578
Müller, Wolfgang, and Bernd Kleinjohann. “Tight Integration and Synchronization of Distributed Graphical Applications.” In Proceedings of the Seventh Annual Database Symposium. San Diego, USA, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39580
Müller, Wolfgang. “Approaching the Denotational Semantics of Behavioral VHDL Descriptions.” In Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications. Brisbane, Australia, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39579
Müller, Wolfgang, Georg Lehrenfeld, and N. Wiechers. “Parallel Validation of STEP Files.” In Proceedings of the 3nd EXPRESS User’s Group Conference. Berlin, 1993.
LibreCat
1992 | Conference Paper | LibreCat-ID: 39582
Müller, Wolfgang, and Bernd Kleinjohann. “The EXPRESS Information Modeling Workbench - A New Approach to Graphical Design Environments.” In Proceedings of the 2nd EXPRESS User’s Group Conference. Dallas TX, 1992.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39584
Müller, Wolfgang. “Contract-Oriented System Design and Specification.” In Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods. Grassau Germany, 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” In Proceedings of the 1st EXPRESS User’s Group Conference. Houston TX, USA, 1991.
LibreCat
1989 | Conference Paper | LibreCat-ID: 39585
Rammig, Franz Josef, and Wolfgang Müller. “ODICE: Object-Oriented Hardware Description in CAD Environment.” In Proc. of the Ninth IFIP Symposium on CHDLs and Their Application. Washington DC, 1989.
LibreCat