S. Flake and W. Müller, “Expressing Property Specification Patterns with OCL,” 2003.
LibreCat: /record/39364

T. Schattkowsky and W. Müller, “Distributed Engineering Environment for the Design of Electronic Systems,” 2003.
LibreCat: /record/39366

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

J. Wang and W. Müller, “SmartCard for Secure Collaborative Engineering,” 2003.
LibreCat: /record/39367

A. Krupp and W. Müller, “Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten.” Bremen, 2003.
LibreCat: /record/39360

A. Krupp and W. Müller, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” 2003.
LibreCat: /record/39368

S. Flake and W. Müller, “Formal Semantics of OCL Messages,” 2003.
LibreCat: /record/39369

S. Flake and W. Müller, “An OCL Extension for Real-Time Constraints,” in Advances in Object Modelling with the OCL, T. Clark and J. Warmer, Eds. Berlin, Heidelberg: Springer-Verlag, 2002, pp. 150–171.
LibreCat: /record/34447
DOI: 10.1007/3-540-45669-4_8

H. J. Eikerling, W. Müller, and J. Wegener, “Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken,” it+ti, pp. 128–136, 2002.
LibreCat: /record/34576

R. Schäfer, A. Dangberg, and W. Müller, “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents,” 2002.
LibreCat: /record/39371

C. Loeser, P. Altenbernd, M. Ditze, and W. Müller, “Distributed Video-on-Demand Services on Peer to Peer Basis,” 2002.
LibreCat: /record/39370

R. Schäfer, W. Müller, and A. Dangberg, “Fuzzy Rules for the Transcoding of HTML Files,” 2002.
LibreCat: /record/39378

S. Flake and W. Müller, “A UML Profile for Real-Time Constraints with the OCL,” 2002.
LibreCat: /record/39398

W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, and U. Pape, “Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen.” Paderborn, Germany, 2002.
LibreCat: /record/39393

W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of SpecC,”10.1145/581199.581234 __2002, doi:10.1145/581199.581234  .
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

J. Plomp, R. Schäfer, and W. Müller, “Comparing Transcoding Tools for Use with a Generic User Interface Format,” 2002.
LibreCat: /record/39387

S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,”10.1109/HICSS.2002.994469__presented at the Proceedings of the 35th Annual Hawaii International Conference on System Sciences, Big Island, HI, USA , 2002, doi:10.1109/HICSS.2002.994469 .
LibreCat: /record/39403
DOI: 10.1109/HICSS.2002.994469

S. Flake and W. Müller, “Temporale Erweiterungen der OCL - Überblick und Aussichten.” Halle(Saale), Germany, 2002.
LibreCat: /record/39402

S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design through Virtual Prototyps,”10.1109/ENABL.2001.953425__presented at the Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, doi:10.1109/ENABL.2001.953425 .
LibreCat: /record/39411
DOI: 10.1109/ENABL.2001.953425

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