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.
282 Publications
2003 | Journal Article | LibreCat-ID: 34565
Flake, S., & Müller, W. (2003). Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM), 2(3), 164–186. https://doi.org/10.1007/s10270-003-0026-x
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39357
Kostienko, T., Müller, W., Pawlak, A., & Schattkowsky, T. (2003). An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation. Proceedings of CE 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39355
Loeser, C., Müller, W., Berger, F., & Eikerling, H.-J. (2003). Peer-to-Peer for Virtual Home Environments. Proceedings of HICCS-36.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39354
Eikerling, H.-J., Müller, W., Schattkowski, T., & Wegner, J. (2003). Tool Integration and Management in Heterogeneous Computer Networks. Proceedings of DATE’03.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39365
Schäfer, R., & Müller, W. (2003). Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks. Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing.
LibreCat
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 | Book (Editor) | LibreCat-ID: 53586
Bücker, U., Eikerling, H. J., & Müller, W. (Eds.). (2002). Proceedings of the VHE Workshop.
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