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. Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal. In: Proceedings of IWUMUI’2007 at HCI’2007. ; 2007.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38533
Müller W, Vanderperren Y. UML and Model-Driven Development for SoC Design. In: Proceedings of CODES/ISSS. ; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38537
Schäfer R, Müller W, Groppe J. Profile Processing and Evolution for Smart Environments. In: Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06). ; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38538
Müller W, Zabel H. Towards a Unified Behavioural Modelling Language. In: Proceedings of the UML-SoC Workshop at DAC 2006. ; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38536
Müller W. UML - The Emerging Hardware Description Language? In: Proc. of FDL’06. ; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38540
Lavagno L, Müller W. UML: A Next Generation Language for SoC Design. In: ; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38543
Schäfer R, Bleul S, Müller W. Dialog Modelling for Multiple Devices and Multiple Interaction Modalities. In: Proceedings of the 5th International Workshop on Task Models and Diagrams for User Interface Design (TAMODIA’2006). ; 2006. doi:10.1007/978-3-540-70816-2_4
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
Krupp A, Müller W. Classification Trees for Functional Coverage and Random Test Generation. In: Proceedings of the Design Automation & Test in Europe Conference. IEEE; 2006. doi:10.1109/DATE.2006.243902
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 39028
Schäfer R, Ziegler M, Müller W. Securing Personal Data in Smart Home Environments. In: Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006). ; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38107
Großmann J, Müller W. A Formal Behavioral Semantics for TestML. In: Proc. of ISOLA 06. ; 2006. doi:10.1109/ISoLA.2006.37
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38109
Müller W, Rosti A, Bocchio S, Riccobene E. UML for ESL Design - Basic Principles, Tools, and Applications. In: Proc. of ICCAD’06. ; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38539
Lavagno L, Müller W. UML: A Next Generation Language for SoC Design. In: ; 2006.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33822
Schattkowsky T, Müller W, Rettberg A. Model Based Specification for Platform Independent Hardware Execution. In: Martin G, Müller W, eds. UML for SoC Design. Kluwer; 2005:63-88.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33824
Martin G, Müller W. When Worlds Collide: Can UML help SoC Design? In: Martin G, Müller W, eds. UML for SoC Design. Kluwer; 2005:1-15.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable Specification on Reconfigurable Hardware. In: Proceedings of DATE’05. IEEE; 2005. doi:10.1109/DATE.2005.20
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky T, Müller W. A UML Virtual Machine for Embedded Systems. In: Proceedings of ISNG 05. ; 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky T, Müller W. Transformation of UML State Machines for Direct Execution. In: Proceedings of VL/HCC 05. ; 2005. doi:10.1109/VLHCC.2005.64
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39036
Krupp A, Müller W. Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme. Published online 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39038
Krupp A, Müller W. Modelchecking von Klassifikationsbaum-Testsequenzen. Published online 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39039
Zabel H, Müller W. Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation. Published online 2005.
LibreCat