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: 38540
Lavagno, L., & Müller, W. (2006). UML: A Next Generation Language for SoC Design.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38543
Schäfer, R., Bleul, S., & Müller, W. (2006). Dialog Modelling for Multiple Devices and Multiple Interaction Modalities. Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006). https://doi.org/10.1007/978-3-540-70816-2_4
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
Krupp, A., & Müller, W. (2006). Classification Trees for Functional Coverage and Random Test Generation. Proceedings of the Design Automation & Test in Europe Conference. https://doi.org/10.1109/DATE.2006.243902
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 39028
Schäfer, R., Ziegler, M., & Müller, W. (2006). Securing Personal Data in Smart Home Environments. Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006).
LibreCat
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, J., & Müller, W. (2006). A Formal Behavioral Semantics for TestML. Proc. of ISOLA 06. https://doi.org/10.1109/ISoLA.2006.37
LibreCat
| DOI
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