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


2004 | Book Chapter | LibreCat-ID: 33829
A. Krupp, W. Müller, and I. Oliver, “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems,” in Best of FDL’03, Ch. Grimm, Ed. Dordrecht: Kluwer, 2004, pp. 301–314.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 33832
A. Krupp, W. Müller, and I. Oliver, “The Echo Cancellation Unit Case Study,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 227–240.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 39053
W. Müller, R. Schäfer, and S. Bleul, “Interactive Multimodal User Interfaces for Mobile Devices,” presented at the 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA, 2004, doi: 10.1109/HICSS.2004.1265674.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 39055
M. Zambaldi, W. Ecker, T. Kruse, and W. Müller, “The Formal Simulation Semantics of SystemVerilog,” presented at the Forum on specification and Design Languages, Lille, France, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 39060
T. Schattkowsky and W. Müller, “Model-Based Specification and Execution of Embedded Real-Time Systems,” 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 39061
A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi: 10.1109/DATE.2004.1269214.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 39063
W. Müller and V. Paelke, “A Formal Model of a Framework for Simulation-Based Animation,” 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 39071
T. Schattkowsky, C. Loeser, and W. Müller, “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks,” presented at the 18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan , 2004, doi: 10.1109/AINA.2004.1283977.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 39069
S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,” presented at the Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi: 10.1109/SEFM.2004.1347516.
LibreCat | DOI
 

2004 | Conference Paper | LibreCat-ID: 39065
J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, and V. Paelke, “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality,” 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 39068
T. Schattkowsky and W. Müller, “Model-Based Design of Embedded Systems,” 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 39078
J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, and R. Radkowski, “Virtual Prototyping Of Self-Optimizing Mechatronic Systems,” presented at the 8th International Design Conference , Dubrovnik, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 39075
C. Loeser, R. Schäfer, W. Müller, and M. Borowski, “RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control,” 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 39082
S. Bleul, W. Müller, and R. Schäfer, “Multimodal Dialog Description for Mobile Devices,” 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 39350
R. Schäfer, S. Bleul, and W. Müller, “A Novel Dialog Model for the Design of Multimodal User Interfaces,” 2004.
LibreCat
 

2004 | Book (Editor) | LibreCat-ID: 53585
W. Müller and G. Martin, Eds., Proceedings of the 1st International DAC Workshop of UML for SoC Design. San Diego CA, USA, 2004.
LibreCat
 

2004 | Patent | LibreCat-ID: 53589
A. Dangberg and W. Müller, “Control method for disposing graphical elements.” 2004.
LibreCat
 

2003 | Book Chapter | LibreCat-ID: 34446
W. Müller, J. Ruf, and W. Rosenstiel, “An ASM Based SystemC Simulation Semantics,” in SystemC - Methodologies and Applications, W. Müller, J. Ruf, and W. Rosenstiel, Eds. Dordrecht: Kluwer, 2003, pp. 97–126.
LibreCat | DOI
 

2003 | Journal Article | LibreCat-ID: 34565
S. Flake and W. Müller, “Formal Semantics of Static and Temporal State-Oriented OCL Constraints,” Journal on Software and System Modeling (SoSyM), vol. 2, no. 3, pp. 164–186, 2003, doi: 10.1007/s10270-003-0026-x.
LibreCat | DOI
 

2003 | Conference Paper | LibreCat-ID: 39357
T. Kostienko, W. Müller, A. Pawlak, and T. Schattkowsky, “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation,” 2003.
LibreCat
 

Filters and Search Terms

(person=16243)

status=public

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed