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
2004 | Conference Paper | LibreCat-ID: 39078
Virtual Prototyping Of Self-Optimizing Mechatronic Systems
J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, R. Radkowski, in: Proceedings of the Design 2004, Dubrovnik, 2004.
LibreCat
J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, R. Radkowski, in: Proceedings of the Design 2004, Dubrovnik, 2004.
2004 | Conference Paper | LibreCat-ID: 39075
RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control
C. Loeser, R. Schäfer, W. Müller, M. Borowski, in: Proceedings of SCI’04, Orlando, USA, 2004.
LibreCat
C. Loeser, R. Schäfer, W. Müller, M. Borowski, in: Proceedings of SCI’04, Orlando, USA, 2004.
2004 | Conference Paper | LibreCat-ID: 39082
Multimodal Dialog Description for Mobile Devices
S. Bleul, W. Müller, R. Schäfer, in: Proceedings of AVI 2004, Gallipoli, Italy, 2004.
LibreCat
S. Bleul, W. Müller, R. Schäfer, in: Proceedings of AVI 2004, Gallipoli, Italy, 2004.
2004 | Conference Paper | LibreCat-ID: 39350
A Novel Dialog Model for the Design of Multimodal User Interfaces
R. Schäfer, S. Bleul, W. Müller, in: Proceedings of EHCI-DSVIS 2005, Tremsbüttel, Hamburg, 2004.
LibreCat
R. Schäfer, S. Bleul, W. Müller, in: Proceedings of EHCI-DSVIS 2005, Tremsbüttel, Hamburg, 2004.
2003 | Book Chapter | LibreCat-ID: 34446
An ASM Based SystemC Simulation Semantics
W. Müller, J. Ruf, W. Rosenstiel, in: W. Müller, J. Ruf, W. Rosenstiel (Eds.), SystemC - Methodologies and Applications, Kluwer, Dordrecht, 2003, pp. 97–126.
LibreCat
| DOI
W. Müller, J. Ruf, W. Rosenstiel, in: W. Müller, J. Ruf, W. Rosenstiel (Eds.), SystemC - Methodologies and Applications, Kluwer, Dordrecht, 2003, pp. 97–126.
2003 | Journal Article | LibreCat-ID: 34565
Formal Semantics of Static and Temporal State-Oriented OCL Constraints
S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003) 164–186.
LibreCat
| DOI
S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003) 164–186.
2003 | Conference Paper | LibreCat-ID: 39357
An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation
T. Kostienko, W. Müller, A. Pawlak, T. Schattkowsky, in: Proceedings of CE 2003, Madeira, Portugal, 2003.
LibreCat
T. Kostienko, W. Müller, A. Pawlak, T. Schattkowsky, in: Proceedings of CE 2003, Madeira, Portugal, 2003.
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.