Flake, Stephan, and Wolfgang Müller. “Expressing Property Specification Patterns with OCL.” Proceedings of SERP’03, 2003.
LibreCat: /record/39364

Schattkowsky, Tim, and Wolfgang Müller. “Distributed Engineering Environment for the Design of Electronic Systems.” Proceedings of CCE’03, 2003.
LibreCat: /record/39366

Flake, Stephan, and Wolfgang Müller. “Semantics of State-Oriented Expressions in the Object Constraint Language.” Proceedings of SEKE 2003, 2003.
LibreCat: /record/39363

Wang, J., and Wolfgang Müller. “SmartCard for Secure Collaborative Engineering.” Proceedings of CCE’03, 2003.
LibreCat: /record/39367

Krupp, Alexander, and Wolfgang Müller. Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten. 2003.
LibreCat: /record/39360

Krupp, Alexander, and Wolfgang Müller. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” Proceedings of FDL’03, 2003.
LibreCat: /record/39368

Flake, Stephan, and Wolfgang Müller. “Formal Semantics of OCL Messages.” Proceedings of the Workshop OCL 2.0 at UML 2003, 2003.
LibreCat: /record/39369

Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.”10.1007/3-540-45669-4_8__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: /record/34447
DOI: 10.1007/3-540-45669-4_8

Eikerling, H. J., et al. “Werkzeugintegration Und -Verwaltung in Heterogenen Computernetzwerken.” It+ti, Oldenbourg Verlag, 2002, pp. 128–36.
LibreCat: /record/34576

Schäfer, Robbie, et al. “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents.” Proceedings of the VHE Workshop, 2002.
LibreCat: /record/39371

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: /record/39370

Schäfer, Robbie, et al. “Fuzzy Rules for the Transcoding of HTML Files.” Proceedings of the HICSS-35, 2002.
LibreCat: /record/39378

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: /record/39398

Dangelmeier, Wilhelm, et al. Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen. 2002.
LibreCat: /record/39393

Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.”10.1145/581199.581234 __Proceedings of the ISS, 2002, doi:10.1145/581199.581234 .
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

Plomp, Johan, et al. “Comparing Transcoding Tools for Use with a Generic User Interface Format.” Proceedings of the Extreme Markup Languages 2002, 2002.
LibreCat: /record/39387

Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.”10.1109/HICSS.2002.994469__Proceedings of HICSS-35, 2002, doi:10.1109/HICSS.2002.994469.
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

Flake, Stephan, and Wolfgang Müller. Temporale Erweiterungen Der OCL - Überblick Und Aussichten. 2002.
LibreCat: /record/39402

Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.”10.1109/ENABL.2001.953425__Proceedings of IEEE KMN 2001, 2001, doi:10.1109/ENABL.2001.953425.
LibreCat: /record/39411
DOI: 10.1109/ENABL.2001.953425

Bauer, M., et al. Advanced Infrastructure for PAN-European Collaborative Engineering. 2001.
LibreCat: /record/39407