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.
264 Publications
2003 | Conference Paper | LibreCat-ID: 39355
Peer-to-Peer for Virtual Home Environments
C. Loeser, W. Müller, F. Berger, H.-J. Eikerling, in: Proceedings of HICCS-36, Hawaii, USA, 2003.
LibreCat
C. Loeser, W. Müller, F. Berger, H.-J. Eikerling, in: Proceedings of HICCS-36, Hawaii, USA, 2003.
2003 | Conference Paper | LibreCat-ID: 39354
Tool Integration and Management in Heterogeneous Computer Networks
H.-J. Eikerling, W. Müller, T. Schattkowski, J. Wegner, in: Proceedings of DATE’03, Munich, Germany, 2003.
LibreCat
H.-J. Eikerling, W. Müller, T. Schattkowski, J. Wegner, in: Proceedings of DATE’03, Munich, Germany, 2003.
2003 | Conference Paper | LibreCat-ID: 39365
Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks
R. Schäfer, W. Müller, in: Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing, Acapulco, Mexico, 2003.
LibreCat
R. Schäfer, W. Müller, in: Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing, Acapulco, Mexico, 2003.
2003 | Conference Paper | LibreCat-ID: 39364
Expressing Property Specification Patterns with OCL
S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.
LibreCat
S. Flake, W. Müller, in: Proceedings of SERP’03, Las Vegas, NV, 2003.
2003 | Conference Paper | LibreCat-ID: 39366
Distributed Engineering Environment for the Design of Electronic Systems
T. Schattkowsky, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.
LibreCat
T. Schattkowsky, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.
2003 | Conference Paper | LibreCat-ID: 39363
Semantics of State-Oriented Expressions in the Object Constraint Language
S. Flake, W. Müller, in: Proceedings of SEKE 2003, San Francisco, 2003.
LibreCat
S. Flake, W. Müller, in: Proceedings of SEKE 2003, San Francisco, 2003.
2003 | Conference Paper | LibreCat-ID: 39367
SmartCard for Secure Collaborative Engineering
J. Wang, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.
LibreCat
J. Wang, W. Müller, in: Proceedings of CCE’03, Poznan Poland, 2003.
2003 | Conference Paper | LibreCat-ID: 39360
Formale Verfeinerung und Modelchecking von zeitbehafteten endlichen Automaten
A. Krupp, W. Müller, (2003).
LibreCat
A. Krupp, W. Müller, (2003).
2003 | Conference Paper | LibreCat-ID: 39368
Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
A. Krupp, W. Müller, in: Proceedings of FDL’03, Frankfurt, Germany, 2003.
LibreCat
A. Krupp, W. Müller, in: Proceedings of FDL’03, Frankfurt, Germany, 2003.
2003 | Conference Paper | LibreCat-ID: 39369
Formal Semantics of OCL Messages
S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003, San Francisco, USA, 2003.
LibreCat
S. Flake, W. Müller, in: Proceedings of the Workshop OCL 2.0 at UML 2003, San Francisco, USA, 2003.
2002 | Book Chapter | LibreCat-ID: 34447
An OCL Extension for Real-Time Constraints
S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.
LibreCat
| DOI
S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.
2002 | Journal Article | LibreCat-ID: 34576
Werkzeugintegration und -verwaltung in heterogenen Computernetzwerken
H.J. Eikerling, W. Müller, J. Wegener, It+ti (2002) 128–136.
LibreCat
H.J. Eikerling, W. Müller, J. Wegener, It+ti (2002) 128–136.
2002 | Book (Editor) | LibreCat-ID: 53586
Proceedings of the VHE Workshop
U. Bücker, H.J. Eikerling, W. Müller, eds., Proceedings of the VHE Workshop, Paderborn, Germany, 2002.
LibreCat
U. Bücker, H.J. Eikerling, W. Müller, eds., Proceedings of the VHE Workshop, Paderborn, Germany, 2002.
2002 | Conference Paper | LibreCat-ID: 39371
RDL/TT - A Description Language for Profile-Dependent Transcoding of XML Documents
R. Schäfer, A. Dangberg, W. Müller, in: Proceedings of the VHE Workshop, Paderborn, Germany, 2002.
LibreCat
R. Schäfer, A. Dangberg, W. Müller, in: Proceedings of the VHE Workshop, Paderborn, Germany, 2002.
2002 | Conference Paper | LibreCat-ID: 39370
Distributed Video-on-Demand Services on Peer to Peer Basis
C. Loeser, P. Altenbernd, M. Ditze, W. Müller, in: Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002.
LibreCat
C. Loeser, P. Altenbernd, M. Ditze, W. Müller, in: Proceedings of the Intl. Workshop on Real-Time LANs in the Internet Age (RTLIA 2002), 2002.
2002 | Conference Paper | LibreCat-ID: 39378
Fuzzy Rules for the Transcoding of HTML Files
R. Schäfer, W. Müller, A. Dangberg, in: Proceedings of the HICSS-35, Hawaii, USA, 2002.
LibreCat
R. Schäfer, W. Müller, A. Dangberg, in: Proceedings of the HICSS-35, Hawaii, USA, 2002.
2002 | Conference Paper | LibreCat-ID: 39398
A UML Profile for Real-Time Constraints with the OCL
S. Flake, W. Müller, in: Proceedings of the UML 2002 - The Unified Modeling Language, Springer-Verlag, Dresden, Germany, 2002.
LibreCat
S. Flake, W. Müller, in: Proceedings of the UML 2002 - The Unified Modeling Language, Springer-Verlag, Dresden, Germany, 2002.
2002 | Conference Paper | LibreCat-ID: 39393
Graphische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen
W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, U. Pape, (2002).
LibreCat
W. Dangelmeier, C. Darnedde, S. Flake, W. Müller, U. Pape, (2002).
2002 | Conference Paper | LibreCat-ID: 39382
The Formal Execution Semantics of SpecC
W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya, Japan, 2002.
LibreCat
| DOI
W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya, Japan, 2002.
2002 | Conference Paper | LibreCat-ID: 39387
Comparing Transcoding Tools for Use with a Generic User Interface Format
J. Plomp, R. Schäfer, W. Müller, in: Proceedings of the Extreme Markup Languages 2002, Montreal, Canada, 2002.
LibreCat
J. Plomp, R. Schäfer, W. Müller, in: Proceedings of the Extreme Markup Languages 2002, Montreal, Canada, 2002.