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