264 Publications
2002 | Conference Paper | LibreCat-ID: 39402
Flake, Stephan, and Wolfgang Müller. Temporale Erweiterungen Der OCL - Überblick Und Aussichten. 2002.
LibreCat
2002 | Book (Editor) | LibreCat-ID: 53586
Bücker, Ulrich, et al., editors. Proceedings of the VHE Workshop. 2002.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39411
Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.” Proceedings of IEEE KMN 2001, 2001, doi:10.1109/ENABL.2001.953425.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39407
Bauer, M., et al. Advanced Infrastructure for PAN-European Collaborative Engineering. 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39421
Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, 2001, doi:10.1109/DATE.2001.915002.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39427
Flake, Stephan, et al. “Real-Time Model Checking for the Analysis of Flexible Manufacturing Systems.” Proceedings of ISI 2001, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39432
Müller, Wolfgang, et al. “A Language for the Rapid Prototyping of Mobile Evolving Agents.” Proceedings of the 34th Annual Hawaii International Conference on System Sciences, 2001, doi:10.1109/HICSS.2001.926319.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39431
Lehrenfeld, Georg, et al. “Security Concepts for Agent-Based Systems.” Proceedings of SCASE 01, 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. 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39425
Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces for Resource Management.” Proceedings of ISI 2001, 2001.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
Flake, Stephan, et al. Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
Braatz, A., et al. Prototyping Einer Fahrzeug-Steuerung in Einer Virtuellen 3D-Umgebung. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
Flake, Stephan, et al. Structured English for Model Checking Specification. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39435
Müller, Wolfgang, et al. “A Visual Framework for the Scripting of Parallel Agents.” Proceedings of the IEEE Symposium on Visual Languages, 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.” Proceedings of IECON 2000, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., and Wolfgang Müller. “Morphic Nets: Model Based Design Diagrams.” Proceedings of UKPEW 2000, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake, Stephan, et al. “An Advanced Visual Capture for Model Checking Specifications.” Proceedings of AVI 2000, 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, et al. Virtuelles Prototyping Einer Robotersteuerung Durch Interaktive 3D-Simulation. 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39488
Dücker, M., et al. “Innovative Concepts for Configurating Shared Workspaces through Visual Programming.” Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, 1999, doi:10.1109/HICSS.1999.773046.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations of Complex Systems.” Proceedings of HICSS-32, 1999, doi:10.1109/HICSS.1999.772621.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39468
Dücker, M., et al. Wissenbasierte Konzepte Und Visuelle Interaktive Systeme. 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.” Proceedings of the IEEE Symposium on Visual Languages, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39474
Flake, Stephan, et al. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control.” 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
1999 | Conference Paper | LibreCat-ID: 39477
Müller, Wolfgang, and F. Ullmann. “Scalable System for 3D Audio Raytracing.” Proceedings IEEE International Conference on Multimedia Computing and Systems, 1999, doi: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, Oldenbourg Verlag, 1998, pp. 32–36, doi:10.1524/itit.1998.40.3.32.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39496
Dücker, M., et al. “VIPspace - A Visually Programmable Shared Workspace.” Proceedings. 1998 IEEE Symposium on Visual Languages , 1998, doi:10.1109/VL.1998.706150.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39499
Geiger, Christian, et al. “Authoring Communicating Agents in Virtual Environments.” Proceedings of the Annual Conference for the Computer Human Interaction, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 39493
Geiger, Christian, et al. “SAM - An Animated 3D Programming Language.” Proceedings of the IEEE Symposium on Visual Languages, 1998, doi: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. 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. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
LibreCat
1998 | Book (Editor) | LibreCat-ID: 53587
Müller, Wolfgang, and Franz Josef Rammig, editors. Proceedings Des Workshops Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen. 1998.
LibreCat
1997 | Conference Paper | LibreCat-ID: 39510
Dücker, M., et al. “A Visual Programming Language for Qualitative Data.” Proceedings of the 1997 IEEE Symposium on Visual Languages, 1997, doi:10.1109/VL.1997.626593.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
Dücker, M., et al. “Visual-Textual Prototyping of 4D Scenes.” Proceedings of the 1997 IEEE Symposium on Visual Languages, 1997, doi:10.1109/VL.1997.626601.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39502
Dücker, M., et al. “A Generic System for Interactive Real--Time Animation.” Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, 1997, doi:10.1109/ECBS.1997.581876.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 39513
Aisch, H., et al. Interaktiver Produktdatenaustausch Mit EDIFACT. 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39521
Griebel, P., et al. “Integrating a Constraint Solver into a Real-Time Animation Environment.” Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996, doi:10.1109/VL.1996.545262.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 39517
Dücker, Marita, et al. “Specification and Analysis of Concurrent Systems in a Complete Visual Environment.” Proceedings of the 10th European Simulation Multiconference (ESM’96), 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39526
Geiger, Christian, et al. “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing.” Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996, doi:10.1109/VL.1996.545302.
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 34448
Börger, Egon, et al. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.” Semantics of VHDL, edited by C. Delgado Kloos and Peter T. Breuer, Kluwer Academic Publishers, 1995, pp. 107–39, doi:10.1007/978-1-4615-2237-9_5.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39532
Lehrenfeld, Georg, et al. “Conformance Tests of Very Large STEP Files.” Proceedings of the 4th EXPRESS User’s Group, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39535
Zhao, R., et al. Pen-Based Interfaces for Engineering Environments. 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld, Georg, et al. “Transforming SDL Diagrams Into a Complete Visual Representation.” Proceedings of Symposium on Visual Languages, 1995, doi:10.1109/VL.1995.520803.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39546
Müller, Wolfgang, et al. Validation of EXPRESS Models. 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39531
Müller, Wolfgang, et al. “Guide to EXPRESS-P.” Proceedings of the 4th EXPRESS User’s Group, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39538
Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.” Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, 1995, doi:10.1109/ASPDAC.1995.486383.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39543
Zhao, R., et al. “An Editor for the Rapid Prototyping of EXPRESS-G Models.” Proceedings of the 5th EXPRESS User’s Group, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39550
Müller, Wolfgang, et al. The Process Modeling Language EXPRESS-P. 1995.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39557
Felser, W., and Wolfgang Müller. EXPRESS-P - Eine Erweiterung von ISO 10303-11 Zur Prozessmodellierung. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling, Josef, and Wolfgang Müller. “FADE: A Layout Facility for Graph-Based Diagrams.” Proceedings of the 17th Annual Computer Science Conference, 1994, pp. 331–42.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis, D., and Wolfgang Müller. “Implementing Simultaneous Design: A Case Study.” Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
Müller, Wolfgang, et al. Implementierung Eines Parallelen Validierungswerkzeugs Für STEP-Produktdaten Unter PVM. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
Börger, Egon, et al. “The Semantics of Behavioral VHDL’93 Descriptions.” Proceedings of EURO-DAC’94/EURO-VHDL’94, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld, Georg, et al. Ein Paralleles Framework Fuer Die Validierung von STEP-Produktdaten. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld, Georg, et al. “Parallel Validation of STEP Files.” Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, Georg, and Wolfgang Müller. Computational Model of a Logical Visual Programming Language. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
Felser, Winfried, and Wolfgang Müller. “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring.” Proceedings of the 1994 ASME Computers in Engineering Conference, 1994, pp. 145–54.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39578
Müller, Wolfgang, and Bernd Kleinjohann. “Tight Integration and Synchronization of Distributed Graphical Applications.” Proceedings of the Seventh Annual Database Symposium, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39580
Müller, Wolfgang. “Approaching the Denotational Semantics of Behavioral VHDL Descriptions.” Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39579
Müller, Wolfgang, et al. “Parallel Validation of STEP Files.” Proceedings of the 3nd EXPRESS User’s Group Conference, 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.” Proceedings of the 2nd EXPRESS User’s Group Conference, 1992.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39584
Müller, Wolfgang. “Contract-Oriented System Design and Specification.” Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” Proceedings of the 1st EXPRESS User’s Group Conference, 1991.
LibreCat
1989 | Conference Paper | LibreCat-ID: 39585
Rammig, Franz Josef, and Wolfgang Müller. “ODICE: Object-Oriented Hardware Description in CAD Environment.” Proc. of the Ninth IFIP Symposium on CHDLs and Their Application, 1989.
LibreCat
264 Publications
2002 | Conference Paper | LibreCat-ID: 39402
Flake, Stephan, and Wolfgang Müller. Temporale Erweiterungen Der OCL - Überblick Und Aussichten. 2002.
LibreCat
2002 | Book (Editor) | LibreCat-ID: 53586
Bücker, Ulrich, et al., editors. Proceedings of the VHE Workshop. 2002.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39411
Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.” Proceedings of IEEE KMN 2001, 2001, doi:10.1109/ENABL.2001.953425.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39407
Bauer, M., et al. Advanced Infrastructure for PAN-European Collaborative Engineering. 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39421
Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, 2001, doi:10.1109/DATE.2001.915002.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39427
Flake, Stephan, et al. “Real-Time Model Checking for the Analysis of Flexible Manufacturing Systems.” Proceedings of ISI 2001, 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39432
Müller, Wolfgang, et al. “A Language for the Rapid Prototyping of Mobile Evolving Agents.” Proceedings of the 34th Annual Hawaii International Conference on System Sciences, 2001, doi:10.1109/HICSS.2001.926319.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39431
Lehrenfeld, Georg, et al. “Security Concepts for Agent-Based Systems.” Proceedings of SCASE 01, 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. 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39425
Dangberg, Andreas, and Wolfgang Müller. “Generation of Interactive Visual Interfaces for Resource Management.” Proceedings of ISI 2001, 2001.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
Flake, Stephan, et al. Modellprüfung Für Den Entwurf von Fertigungssteuerungssystemen. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
Braatz, A., et al. Prototyping Einer Fahrzeug-Steuerung in Einer Virtuellen 3D-Umgebung. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
Flake, Stephan, et al. Structured English for Model Checking Specification. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39435
Müller, Wolfgang, et al. “A Visual Framework for the Scripting of Parallel Agents.” Proceedings of the IEEE Symposium on Visual Languages, 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.” Proceedings of IECON 2000, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., and Wolfgang Müller. “Morphic Nets: Model Based Design Diagrams.” Proceedings of UKPEW 2000, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake, Stephan, et al. “An Advanced Visual Capture for Model Checking Specifications.” Proceedings of AVI 2000, 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, et al. Virtuelles Prototyping Einer Robotersteuerung Durch Interaktive 3D-Simulation. 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39488
Dücker, M., et al. “Innovative Concepts for Configurating Shared Workspaces through Visual Programming.” Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences, 1999, doi:10.1109/HICSS.1999.773046.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations of Complex Systems.” Proceedings of HICSS-32, 1999, doi:10.1109/HICSS.1999.772621.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39468
Dücker, M., et al. Wissenbasierte Konzepte Und Visuelle Interaktive Systeme. 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.” Proceedings of the IEEE Symposium on Visual Languages, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39474
Flake, Stephan, et al. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control.” 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
1999 | Conference Paper | LibreCat-ID: 39477
Müller, Wolfgang, and F. Ullmann. “Scalable System for 3D Audio Raytracing.” Proceedings IEEE International Conference on Multimedia Computing and Systems, 1999, doi: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, Oldenbourg Verlag, 1998, pp. 32–36, doi:10.1524/itit.1998.40.3.32.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39496
Dücker, M., et al. “VIPspace - A Visually Programmable Shared Workspace.” Proceedings. 1998 IEEE Symposium on Visual Languages , 1998, doi:10.1109/VL.1998.706150.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39499
Geiger, Christian, et al. “Authoring Communicating Agents in Virtual Environments.” Proceedings of the Annual Conference for the Computer Human Interaction, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 39493
Geiger, Christian, et al. “SAM - An Animated 3D Programming Language.” Proceedings of the IEEE Symposium on Visual Languages, 1998, doi: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. 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. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 1998.
LibreCat
1998 | Book (Editor) | LibreCat-ID: 53587
Müller, Wolfgang, and Franz Josef Rammig, editors. Proceedings Des Workshops Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen. 1998.
LibreCat
1997 | Conference Paper | LibreCat-ID: 39510
Dücker, M., et al. “A Visual Programming Language for Qualitative Data.” Proceedings of the 1997 IEEE Symposium on Visual Languages, 1997, doi:10.1109/VL.1997.626593.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
Dücker, M., et al. “Visual-Textual Prototyping of 4D Scenes.” Proceedings of the 1997 IEEE Symposium on Visual Languages, 1997, doi:10.1109/VL.1997.626601.
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39502
Dücker, M., et al. “A Generic System for Interactive Real--Time Animation.” Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, 1997, doi:10.1109/ECBS.1997.581876.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 39513
Aisch, H., et al. Interaktiver Produktdatenaustausch Mit EDIFACT. 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39521
Griebel, P., et al. “Integrating a Constraint Solver into a Real-Time Animation Environment.” Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996, doi:10.1109/VL.1996.545262.
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 39517
Dücker, Marita, et al. “Specification and Analysis of Concurrent Systems in a Complete Visual Environment.” Proceedings of the 10th European Simulation Multiconference (ESM’96), 1996.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39526
Geiger, Christian, et al. “Visual Modeling and 3D-Representation with a Complete Visual Programming Language --- A Case Study in Manufacturing.” Proceedings of the 1996 IEEE Symposium on Visual Languages, 1996, doi:10.1109/VL.1996.545302.
LibreCat
| DOI
1995 | Book Chapter | LibreCat-ID: 34448
Börger, Egon, et al. “A Formal Definition of an Abstract VHDL’93 Simulator by EA-Machines.” Semantics of VHDL, edited by C. Delgado Kloos and Peter T. Breuer, Kluwer Academic Publishers, 1995, pp. 107–39, doi:10.1007/978-1-4615-2237-9_5.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39532
Lehrenfeld, Georg, et al. “Conformance Tests of Very Large STEP Files.” Proceedings of the 4th EXPRESS User’s Group, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39535
Zhao, R., et al. Pen-Based Interfaces for Engineering Environments. 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39541
Lehrenfeld, Georg, et al. “Transforming SDL Diagrams Into a Complete Visual Representation.” Proceedings of Symposium on Visual Languages, 1995, doi:10.1109/VL.1995.520803.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39546
Müller, Wolfgang, et al. Validation of EXPRESS Models. 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39531
Müller, Wolfgang, et al. “Guide to EXPRESS-P.” Proceedings of the 4th EXPRESS User’s Group, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39538
Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.” Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, 1995, doi:10.1109/ASPDAC.1995.486383.
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 39543
Zhao, R., et al. “An Editor for the Rapid Prototyping of EXPRESS-G Models.” Proceedings of the 5th EXPRESS User’s Group, 1995.
LibreCat
1995 | Conference Paper | LibreCat-ID: 39550
Müller, Wolfgang, et al. The Process Modeling Language EXPRESS-P. 1995.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39557
Felser, W., and Wolfgang Müller. EXPRESS-P - Eine Erweiterung von ISO 10303-11 Zur Prozessmodellierung. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39560
Eikerling, Josef, and Wolfgang Müller. “FADE: A Layout Facility for Graph-Based Diagrams.” Proceedings of the 17th Annual Computer Science Conference, 1994, pp. 331–42.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39565
Hyhuis, D., and Wolfgang Müller. “Implementing Simultaneous Design: A Case Study.” Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39577
Müller, Wolfgang, et al. Implementierung Eines Parallelen Validierungswerkzeugs Für STEP-Produktdaten Unter PVM. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39575
Börger, Egon, et al. “The Semantics of Behavioral VHDL’93 Descriptions.” Proceedings of EURO-DAC’94/EURO-VHDL’94, 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39554
Lehrenfeld, Georg, et al. Ein Paralleles Framework Fuer Die Validierung von STEP-Produktdaten. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39566
Lehrenfeld, Georg, et al. “Parallel Validation of STEP Files.” Proceedings of the 2nd International Conference on Concurrent Engineering & Electronic Design Automation (CEEDA94), 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39569
Lehrenfeld, Georg, and Wolfgang Müller. Computational Model of a Logical Visual Programming Language. 1994.
LibreCat
1994 | Conference Paper | LibreCat-ID: 39572
Felser, Winfried, and Wolfgang Müller. “EXPRESS-P - Extending EXPRESS for Process Modeling and Monitoring.” Proceedings of the 1994 ASME Computers in Engineering Conference, 1994, pp. 145–54.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39578
Müller, Wolfgang, and Bernd Kleinjohann. “Tight Integration and Synchronization of Distributed Graphical Applications.” Proceedings of the Seventh Annual Database Symposium, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39580
Müller, Wolfgang. “Approaching the Denotational Semantics of Behavioral VHDL Descriptions.” Proc. of the 1st Asian Pacific Conference on Hardware Description Languages, Standards and Applications, 1993.
LibreCat
1993 | Conference Paper | LibreCat-ID: 39579
Müller, Wolfgang, et al. “Parallel Validation of STEP Files.” Proceedings of the 3nd EXPRESS User’s Group Conference, 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.” Proceedings of the 2nd EXPRESS User’s Group Conference, 1992.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39584
Müller, Wolfgang. “Contract-Oriented System Design and Specification.” Proceedings of the Workshop on Practical Computer Based Systems Engineering - Its Scope and Methods, 1991.
LibreCat
1991 | Conference Paper | LibreCat-ID: 39583
Lehrenfeld, Georg, and Wolfgang Müller. “Validation of EXPRESS Models Using Prolog.” Proceedings of the 1st EXPRESS User’s Group Conference, 1991.
LibreCat
1989 | Conference Paper | LibreCat-ID: 39585
Rammig, Franz Josef, and Wolfgang Müller. “ODICE: Object-Oriented Hardware Description in CAD Environment.” Proc. of the Ninth IFIP Symposium on CHDLs and Their Application, 1989.
LibreCat