Specification and Formal Verification of Temporal Properties of Production Automation Systems
S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.
LibreCat: /record/33825
DOI: 10.1007/978-3-540-27863-4_13

Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering
T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 2004.
LibreCat: /record/33827

Refinement of Finite State Machines with Complementary Model Checking
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
LibreCat: /record/33830

Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.
LibreCat: /record/33829

The Echo Cancellation Unit Case Study
A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.
LibreCat: /record/33832

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: /record/39053
DOI: 10.1109/HICSS.2004.1265674

The Formal Simulation Semantics of SystemVerilog
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
LibreCat: /record/39055

Model-Based Specification and Execution of Embedded Real-Time Systems
T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.
LibreCat: /record/39060

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: /record/39061
DOI: 10.1109/DATE.2004.1269214

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: /record/39063

Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AIN04, IEEE, Fukuoka, Japan , 2004.
LibreCat: /record/39071
DOI: 10.1109/AINA.2004.1283977

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: /record/39069
DOI: 10.1109/SEFM.2004.1347516

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: /record/39065

Model-Based Design of Embedded Systems
T. Schattkowsky, W. Müller, in: Proceedings of ISORC’04, WIen, 2004.
LibreCat: /record/39068

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: /record/39078

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: /record/39075

Multimodal Dialog Description for Mobile Devices
S. Bleul, W. Müller, R. Schäfer, in: Proceedings of AVI 2004, Gallipoli, Italy, 2004.
LibreCat: /record/39082

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: /record/39350

An ASM Definition of the Dynamic OCL 2.0 Semantics
S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.
LibreCat: /record/39352
DOI: 10.1007/978-3-540-30187-5_17

Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen
D. Dumrauf, Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen, 2004.
LibreCat: /record/47645