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
2006 | Conference Paper | LibreCat-ID: 38109
Müller, W., Rosti, A., Bocchio, S., & Riccobene, E. (2006). UML for ESL Design - Basic Principles, Tools, and Applications. Proc. of ICCAD’06.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38539
Lavagno, L., & Müller, W. (2006). UML: A Next Generation Language for SoC Design.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33822
Schattkowsky, T., Müller, W., & Rettberg, A. (2005). Model Based Specification for Platform Independent Hardware Execution. In G. Martin & W. Müller (Eds.), UML for SoC Design (pp. 63–88). Kluwer.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33824
Martin, G., & Müller, W. (2005). When Worlds Collide: Can UML help SoC Design? In G. Martin & W. Müller (Eds.), UML for SoC Design (pp. 1–15). Kluwer.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, T., Müller, W., & Rettberg, A. (2005). A Model-Based Approach for Executable Specification on Reconfigurable Hardware. Proceedings of DATE’05. https://doi.org/10.1109/DATE.2005.20
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky, T., & Müller, W. (2005). A UML Virtual Machine for Embedded Systems. Proceedings of ISNG 05.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, T., & Müller, W. (2005). Transformation of UML State Machines for Direct Execution. Proceedings of VL/HCC 05. https://doi.org/10.1109/VLHCC.2005.64
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39036
Krupp, A., & Müller, W. (2005). Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39038
Krupp, A., & Müller, W. (2005). Modelchecking von Klassifikationsbaum-Testsequenzen.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39039
Zabel, H., & Müller, W. (2005). Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39041
Bleul, S., Schäfer, R., & Müller, W. (2005). A Dialog Model for Multi Device Interfaces with Different Modalities. Proceedings of the HCI International 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39050
Ziegler, M., Müller, W., Schäfer, R., & Loeser, C. (2005). Secure Profile Management in Smart Home Networks. Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark . https://doi.org/10.1109/DEXA.2005.171
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39052
Groppe, J., & Müller, W. (2005). Profile Management technology for Smart Customization in Private Home Applications. Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark . https://doi.org/10.1109/DEXA.2005.156
LibreCat
| DOI
2005 | Book Chapter | LibreCat-ID: 33823
Martin, G., & Müller, W. (2005). When Worlds Collide: Can UML help SoC Design? In G. Martin & W. Müller (Eds.), UML for SoC Design (pp. 1–15). Kluwer.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33825
Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. 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 (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky, T., Müller, W., & Pawlak, A. (2004). Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In L. Fischer (Ed.), Workflow Handbook 2004. Workflow Management Coalition (WfMC).
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, A., & Müller, W. (2004). Refinement of Finite State Machines with Complementary Model Checking. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design (pp. 155–168). Kluwer.
LibreCat
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 | 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