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, S., & Müller, W. (2003). Expressing Property Specification Patterns with OCL. Proceedings of SERP’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39366
Schattkowsky, T., & Müller, W. (2003). Distributed Engineering Environment for the Design of Electronic Systems. Proceedings of CCE’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39363
Flake, S., & Müller, W. (2003). Semantics of State-Oriented Expressions in the Object Constraint Language. Proceedings of SEKE 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39367
Wang, J., & Müller, W. (2003). SmartCard for Secure Collaborative Engineering. Proceedings of CCE’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39360
Krupp, A., & Müller, W. (2003). Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39368
Krupp, A., & Müller, W. (2003). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. Proceedings of FDL’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39369
Flake, S., & Müller, W. (2003). Formal Semantics of OCL Messages. Proceedings of the Workshop OCL 2.0 at UML 2003.
LibreCat
2002 | Book Chapter | LibreCat-ID: 34447
Flake, S., & Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark & J. Warmer (Eds.), Advances in Object Modelling with the OCL (pp. 150–171). Springer-Verlag. https://doi.org/10.1007/3-540-45669-4_8
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 34576
Eikerling, H. J., Müller, W., & Wegener, J. (2002). Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken. It+ti, 128–136.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39371
Schäfer, R., Dangberg, A., & Müller, W. (2002). RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents. Proceedings of the VHE Workshop.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39370
Loeser, C., Altenbernd, P., Ditze, M., & Müller, W. (2002). 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).
LibreCat
2002 | Conference Paper | LibreCat-ID: 39378
Schäfer, R., Müller, W., & Dangberg, A. (2002). Fuzzy Rules for the Transcoding of HTML Files. Proceedings of the HICSS-35.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39398
Flake, S., & Müller, W. (2002). A UML Profile for Real-Time Constraints with the OCL. Proceedings of the UML 2002 - The Unified Modeling Language.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39393
Dangelmeier, W., Darnedde, C., Flake, S., Müller, W., & Pape, U. (2002). Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39382
Müller, W., Dömer, R., & Gerstlauer, A. (2002). The Formal Execution Semantics of SpecC. Proceedings of the ISSS02. https://doi.org/10.1145/581199.581234
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39387
Plomp, J., Schäfer, R., & Müller, W. (2002). Comparing Transcoding Tools for Use with a Generic User Interface Format. Proceedings of the Extreme Markup Languages 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 39403
Flake, S., & Müller, W. (2002). Specification of Real-Time Properties for UML Models. Proceedings of HICSS-35. Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA . https://doi.org/10.1109/HICSS.2002.994469
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 39402
Flake, S., & Müller, W. (2002). Temporale Erweiterungen der OCL - Überblick und Aussichten.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39411
Flake, S., Geiger, C., Müller, W., & Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. Proceedings of IEEE KMN 2001. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. https://doi.org/10.1109/ENABL.2001.953425
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39407
Bauer, M., Eikerling, H.-J., Müller, W., Pawlak, A., Siekierska, K., Soderberg, D., & Warzee, X. (2001). Advanced Infrastructure for PAN-European Collaborative Engineering.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39421
Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., & Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. Proceedings of the Design, Automation, and Test in Europe (DATE’01). Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001. https://doi.org/10.1109/DATE.2001.915002
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39427
Flake, S., Müller, W., Pape, U., & Ruf, J. (2001). Real-Time Model Checking for the Analysis of flexible Manufacturing Systems. Proceedings of ISI 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39432
Müller, W., Meyer, A., & Zabel, H. (2001). A Language for the Rapid Prototyping of Mobile Evolving Agents. Proceedings of the 34th Annual Hawaii International Conference on System Sciences. https://doi.org/10.1109/HICSS.2001.926319
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39431
Lehrenfeld, G., Müller, W., & Tellmann, R. (2001). Security Concepts for Agent-Based Systems. Proceedings of SCASE 01.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39406
Flake, S., & Müller, W. (2001). Spezifikation von Echtzeiteigenschaften mit OCL für eine MFERT-basierte Fallstudie.
LibreCat
2001 | Conference Paper | LibreCat-ID: 39425
Dangberg, A., & Müller, W. (2001). Generation of Interactive Visual Interfaces for Resource Management. Proceedings of ISI 2001.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39434
Flake, S., Müller, W., Pape, U., & Ruf, J. (2000). Modellprüfung für den Entwurf von Fertigungssteuerungssystemen.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39444
Braatz, A., Flake, S., Müller, W., & Westkämper, E. (2000). Prototyping einer Fahrzeug-steuerung in einer virtuellen 3D-Umgebung.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39461
Flake, S., Müller, W., & Ruf, J. (2000). Structured English for Model Checking Specification.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39435
Müller, W., Meyer, A., & Zabel, H. (2000). A Visual Framework for the Scripting of Parallel Agents. Proceedings of the IEEE Symposium on Visual Languages.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39439
Bhatt, P. C. P., & Müller, W. (2000). A Methodology for the Protocol-Centered Design of Agent-Based Systems. Proceedings of IECON 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39442
Bhatt, P. C. P., & Müller, W. (2000). Morphic Nets: Model Based Design Diagrams. Proceedings of UKPEW 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 39464
Flake, S., Müller, W., & Ruf, J. (2000). An Advanced Visual Capture for Model Checking Specifications. Proceedings of AVI 2000.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39481
Geiger, C., Lehrenfeld, G., & Müller, W. (1999). Virtuelles Prototyping einer Robotersteuerung durch interaktive 3D-Simulation.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39488
Dücker, M., Müller, W., & Rubart, J. (1999). Innovative Concepts for Configurating Shared Workspaces through Visual Programming. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui, HI, USA . https://doi.org/10.1109/HICSS.1999.773046
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, C., Lehrenfeld, G., & Müller, W. (1999). Visual Specification, Modeling, and Illustrations of Complex Systems. Proceedings of HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii. https://doi.org/10.1109/HICSS.1999.772621
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39468
Dücker, M., Flake, S., Geiger, C., Müller, W., Paelke, V., Reimann, C., Rosenbach, W., Zimmermann, D., & Zelder, S. (1999). Wissenbasierte Konzepte und visuelle interaktive Systeme. 23rd German Annual Symposium on Artificial Intelligence, Bonn.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39471
Dangberg, A., & Müller, W. (1999). Generation of Interactive Visual Environments for Direct Manipulation of Database Content. Proceedings of the IEEE Symposium on Visual Languages.
LibreCat
1999 | Conference Paper | LibreCat-ID: 39474
Flake, S., Geiger, C., Lehrenfeld, G., Müller, W., & Paelke, V. (1999). 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. 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS, New York, NY, USA . https://doi.org/10.1109/NAFIPS.1999.781697
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39477
Müller, W., & Ullmann, F. (1999). Scalable System for 3D Audio Raytracing. Proceedings IEEE International Conference on Multimedia Computing and Systems. https://doi.org/10.1109/MMCS.1999.778592
LibreCat
| DOI
1998 | Journal Article | LibreCat-ID: 34578
Müller, W., & Sturm, J. (1998). Visuelle Spezifikations- und Modellierungstechniken. It - Information Technology, 32–36. https://doi.org/10.1524/itit.1998.40.3.32
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39496
Dücker, M., Müller, W., & Rubart, J. (1998). VIPspace - A Visually Programmable Shared Workspace. Proceedings. 1998 IEEE Symposium on Visual Languages . 1998 IEEE Symposium on Visual Languages , Halifax, NS, Canada . https://doi.org/10.1109/VL.1998.706150
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39499
Geiger, C., Lehrenfeld, G., & Müller, W. (1998). Authoring Communicating Agents in Virtual Environments. Proceedings of the Annual Conference for the Computer Human Interaction.
LibreCat
1998 | Conference Paper | LibreCat-ID: 39493
Geiger, C., Müller, W., & Rosenbach, W. (1998). SAM - An Animated 3D Programming Language. Proceedings of the IEEE Symposium on Visual Languages. 1998 IEEE Symposium on Visual Languages, Halifax, Canada. https://doi.org/10.1109/VL.1998.706167
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 39489
Geiger, C., & Müller, W. (1998). Visuelle Spezifikation, Modellierung und Animation im Systementwurf.
LibreCat
1997 | Conference Paper | LibreCat-ID: 39510
Dücker, M., Geiger, C., Lehrenfeld, G., Müller, W., & Tahedl, C. (1997). A Visual Programming Language for Qualitative Data. Proceedings of the 1997 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1997.626593
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39505
Dücker, M., Geiger, C., Hunstock, R., Lehrenfeld, G., & Müller, W. (1997). Visual-Textual Prototyping of 4D Scenes. Proceedings of the 1997 IEEE Symposium on Visual Languages. 1997 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1997.626601
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39502
Dücker, M., Lehrenfeld, G., Müller, W., & Tahedl, C. (1997). A Generic System for Interactive Real--Time Animation. Proceedings International Conference and Workshop on Engineering of Computer-Based Systems. https://doi.org/10.1109/ECBS.1997.581876
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 39513
Aisch, H., Joosten, M., Müller, W., & Buijs, F. (1996). Interaktiver Produktdatenaustausch mit EDIFACT.
LibreCat
1996 | Conference Paper | LibreCat-ID: 39521
Griebel, P., Lehrenfeld, G., Müller, W., Tahedl, C., & Uhr, H. (1996). Integrating a Constraint Solver into a Real-Time Animation Environment. Proceedings of the 1996 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1996.545262
LibreCat
| DOI