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

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

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

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

Krupp, Alexander, and Wolfgang Müller. “Formale Verfeinerung Und Modelchecking von Zeitbehafteten Endlichen Automaten.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Bremen, 2003.
LibreCat: /record/39360

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

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

Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.”https://doi.org/10.1007/3-540-45669-4_8__In Advances in Object Modelling with the OCL, edited by T. Clark and J. Warmer, 150–71. Berlin, Heidelberg: Springer-Verlag, 2002.https://doi.org/10.1007/3-540-45669-4_8 .
LibreCat: /record/34447
DOI: 10.1007/3-540-45669-4_8

Eikerling, H. J., Wolfgang Müller, and J. Wegener. “Werkzeugintegration Und -Verwaltung in Heterogenen Computernetzwerken.” It+ti, 2002, 128–36.
LibreCat: /record/34576

Schäfer, Robbie, Andreas Dangberg, and Wolfgang Müller. “RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents.” In Proceedings of the VHE Workshop. Paderborn, Germany, 2002.
LibreCat: /record/39371

Loeser, Chris, Peter Altenbernd, Michael Ditze, and Wolfgang Müller. “Distributed Video-on-Demand Services on Peer to Peer Basis.” In Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002.
LibreCat: /record/39370

Schäfer, Robbie, Wolfgang Müller, and Andreas Dangberg. “Fuzzy Rules for the Transcoding of HTML Files.” In Proceedings of the HICSS-35. Hawaii, USA, 2002.
LibreCat: /record/39378

Flake, Stephan, and Wolfgang Müller. “A UML Profile for Real-Time Constraints with the OCL.” In Proceedings of the UML 2002 - The Unified Modeling Language. Dresden, Germany: Springer-Verlag, 2002.
LibreCat: /record/39398

Dangelmeier, Wilhelm, C. Darnedde, Stephan Flake, Wolfgang Müller, and U. Pape. “Graphische Spezifikation Und Echtzeitverifikation von Produktionsautomatisierungssystemen.” Tagungsband: 4. Paderborner Frühlingstagung. Paderborn, Germany, 2002.
LibreCat: /record/39393

Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution Semantics of SpecC.”https://doi.org/10.1145/581199.581234 __In Proceedings of the ISS. Nagoya, Japan, 2002.https://doi.org/10.1145/581199.581234  .
LibreCat: /record/39382
DOI: 10.1145/581199.581234 

Plomp, Johan, Robbie Schäfer, and Wolfgang Müller. “Comparing Transcoding Tools for Use with a Generic User Interface Format.” In Proceedings of the Extreme Markup Languages 2002. Montreal, Canada, 2002.
LibreCat: /record/39387

Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.”https://doi.org/10.1109/HICSS.2002.994469__In Proceedings of HICSS-35. Big Island, HI, USA , 2002.https://doi.org/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.” Tagungsband: 2. Workshop “Ablaufmodellierung in Ingenieurwissenschaftlichen Anwendungen.” Halle(Saale), Germany, 2002.
LibreCat: /record/39402

Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented Systems Design through Virtual Prototyps.”https://doi.org/10.1109/ENABL.2001.953425__In Proceedings of IEEE KMN 2001. Cambridge, MA, USA , 2001.https://doi.org/10.1109/ENABL.2001.953425 .
LibreCat: /record/39411
DOI: 10.1109/ENABL.2001.953425

Bauer, M., Heinz-Josef Eikerling, Wolfgang Müller, A. Pawlak, K. Siekierska, D. Soderberg, and X. Warzee. “Advanced Infrastructure for PAN-European Collaborative Engineering.” The E-Business and e-Work Conference and Exhibition. Venice, Italy, 2001.
LibreCat: /record/39407