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 | Patent | LibreCat-ID: 53589
Control method for disposing graphical elements
A. Dangberg, W. Müller, (2004).
LibreCat
A. Dangberg, W. Müller, (2004).
2004 | Conference Paper | LibreCat-ID: 39053
Interactive Multimodal User Interfaces for Mobile Devices
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
LibreCat
| DOI
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
2004 | Conference Paper | LibreCat-ID: 39055
The Formal Simulation Semantics of SystemVerilog
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
LibreCat
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
2004 | Conference Paper | LibreCat-ID: 39060
Model-Based Specification and Execution of Embedded Real-Time Systems
T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.
LibreCat
T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.
2004 | Conference Paper | LibreCat-ID: 39061
Formal Refinement and Model Checking of An Echo Cancellation Unit
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
LibreCat
| DOI
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
2004 | Conference Paper | LibreCat-ID: 39063
A Formal Model of a Framework for Simulation-Based Animation
W. Müller, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
LibreCat
W. Müller, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
2004 | Conference Paper | LibreCat-ID: 39071
Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE, Fukuoka, Japan , 2004.
LibreCat
| DOI
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE, Fukuoka, Japan , 2004.
2004 | Conference Paper | LibreCat-ID: 39069
Past- and Future-Oriented Time-Bound Temporal Properties with OCL
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
2004 | Conference Paper | LibreCat-ID: 39065
Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality
J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
LibreCat
J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
2004 | Conference Paper | LibreCat-ID: 39068
Model-Based Design of Embedded Systems
T. Schattkowsky, W. Müller, in: Proceedings of ISORC’04, WIen, 2004.
LibreCat
T. Schattkowsky, W. Müller, in: Proceedings of ISORC’04, WIen, 2004.
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.