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
2003 | Conference Paper | LibreCat-ID: 39364
Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” Proceedings of SERP’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39366
Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment for the Design of Electronic Systems.” Proceedings of CCE’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” Proceedings of SEKE 2003, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.” Proceedings of CCE’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
Krupp, Alexander, and Wolfgang Müller. Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten. 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” Proceedings of FDL’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” Proceedings of the Workshop OCL 2.0 at UML 2003, 2003.
LibreCat
2002 | Book Chapter | LibreCat-ID: 34447
Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” Advances in Object Modelling with the OCL, edited by T. Clark and J. Warmer, Springer-Verlag, 2002, pp. 150–71, doi:10.1007/3-540-45669-4_8.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 34576
Eikerling, H. J., et al. “Werkzeugintegration Und -Verwaltung in Heterogenen Computernetzwerken.” It+ti, Oldenbourg Verlag, 2002, pp. 128–36.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39371
Schäfer, Robbie, et al. “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents.” Proceedings of the VHE Workshop, 2002.
LibreCat
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
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
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
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