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
Krupp, A., Müller, W., & Oliver, I. (2004). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In Ch. Grimm (Ed.), Best of FDL’03 (pp. 301–314). Kluwer.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, A., Müller, W., & Oliver, I. (2004). The Echo Cancellation Unit Case Study. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design (pp. 227–240). Kluwer.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller, W., Schäfer, R., & Bleul, S. (2004). Interactive Multimodal User Interfaces for Mobile Devices. Proceedings of HICCS-37. 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA. https://doi.org/10.1109/HICSS.2004.1265674
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, M., Ecker, W., Kruse, T., & Müller, W. (2004). The Formal Simulation Semantics of SystemVerilog. Proceedings of FDL’04. Forum on specification and Design Languages, Lille, France.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39060
Schattkowsky, T., & Müller, W. (2004). Model-Based Specification and Execution of Embedded Real-Time Systems. Proceedings of DATE’04.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, A., Müller, W., & Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. Proceedings of DATE’04 Designers’ Forum. Proceedings Design, Automation and Test in Europe Conference and Exhibition. https://doi.org/10.1109/DATE.2004.1269214
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39063
Müller, W., & Paelke, V. (2004). A Formal Model of a Framework for Simulation-Based Animation. Proceedings of the Simulation and Visualisation 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky, T., Loeser, C., & Müller, W. (2004). Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. Proceedings of AINA2004. 18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan . https://doi.org/10.1109/AINA.2004.1283977
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, S., & Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. Proceedings of SEFM´04. Proceedings of the Second International Conference on Software Engineering and Formal Methods. https://doi.org/10.1109/SEFM.2004.1347516
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39065
Gausemeier, J., Müller, W., Bauch, J., Radkowski, W., Shen, T., & Paelke, V. (2004). Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality. Proceedings of the Simulation and Visualisation 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39068
Schattkowsky, T., & Müller, W. (2004). Model-Based Design of Embedded Systems. Proceedings of ISORC’04.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39078
Gausemeier, J., Müller, W., Paelke, V., Bauch, J., Shen, Q., & Radkowski, R. (2004). Virtual Prototyping Of Self-Optimizing Mechatronic Systems. Proceedings of the Design 2004. 8th International Design Conference , Dubrovnik.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39075
Loeser, C., Schäfer, R., Müller, W., & Borowski, M. (2004). RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control. Proceedings of SCI’04.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39082
Bleul, S., Müller, W., & Schäfer, R. (2004). Multimodal Dialog Description for Mobile Devices. Proceedings of AVI 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39350
Schäfer, R., Bleul, S., & Müller, W. (2004). A Novel Dialog Model for the Design of Multimodal User Interfaces. Proceedings of EHCI-DSVIS 2005.
LibreCat
2004 | Book (Editor) | LibreCat-ID: 53585
Müller, W., & Martin, G. (Eds.). (2004). Proceedings of the 1st International DAC Workshop of UML for SoC Design.
LibreCat
2004 | Patent | LibreCat-ID: 53589
Dangberg, A., & Müller, W. (2004). Control method for disposing graphical elements.
LibreCat
2003 | Book Chapter | LibreCat-ID: 34446
Müller, W., Ruf, J., & Rosenstiel, W. (2003). An ASM Based SystemC Simulation Semantics. In W. Müller, J. Ruf, & W. Rosenstiel (Eds.), SystemC - Methodologies and Applications (pp. 97–126). Kluwer. https://doi.org/10.1007/0-306-48735-7_4
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake, S., & Müller, W. (2003). Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM), 2(3), 164–186. https://doi.org/10.1007/s10270-003-0026-x
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 39357
Kostienko, T., Müller, W., Pawlak, A., & Schattkowsky, T. (2003). An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation. Proceedings of CE 2003.
LibreCat