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.
327 Publications
2002 | Conference Paper | LibreCat-ID: 39370
Loeser, Chris, et al. “Distributed Video-on-Demand Services on Peer to Peer Basis.” Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39378
Schäfer, Robbie, et al. “Fuzzy Rules for the Transcoding of HTML Files.” Proceedings of the HICSS-35, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39398
Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints with the OCL.” Proceedings of the UML 2002 - The Unified Modeling Language, Springer-Verlag, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39393
Dangelmeier, Wilhelm, et al. Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen. 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39382
Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” Proceedings of the ISSS02, 2002, doi:10.1145/581199.581234 .
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39387
Plomp, Johan, et al. “Comparing Transcoding Tools for Use with a Generic User Interface Format.” Proceedings of the Extreme Markup Languages 2002, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39403
Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” Proceedings of HICSS-35, 2002, doi:10.1109/HICSS.2002.994469.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39402
Flake, Stephan, and Wolfgang Müller. Temporale Erweiterungen Der OCL - Überblick Und Aussichten. 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