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
2007 | Conference Paper | LibreCat-ID: 38102
Schäfer, R., & Müller, W. (2007). Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal. Proceedings of IWUMUI’2007 at HCI’2007.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38533
Müller, W., & Vanderperren, Y. (2006). UML and Model-Driven Development for SoC Design. Proceedings of CODES/ISSS.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38537
Schäfer, R., Müller, W., & Groppe, J. (2006). Profile Processing and Evolution for Smart Environments. Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06).
LibreCat
2006 | Conference Paper | LibreCat-ID: 38538
Müller, W., & Zabel, H. (2006). Towards a Unified Behavioural Modelling Language. Proceedings of the UML-SoC Workshop at DAC 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38536
Müller, W. (2006). UML - The Emerging Hardware Description Language? Proc. of FDL’06.
LibreCat
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