Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
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