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
R. Schäfer and W. Müller, “Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal,” 2007.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38533
W. Müller and Y. Vanderperren, “UML and Model-Driven Development for SoC Design,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38537
R. Schäfer, W. Müller, and J. Groppe, “Profile Processing and Evolution for Smart Environments,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38538
W. Müller and H. Zabel, “Towards a Unified Behavioural Modelling Language,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38536
W. Müller, “UML - The Emerging Hardware Description Language?,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38540
L. Lavagno and W. Müller, “UML: A Next Generation Language for SoC Design,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38543
R. Schäfer, S. Bleul, and W. Müller, “Dialog Modelling for Multiple Devices and Multiple Interaction Modalities,” 2006, doi: 10.1007/978-3-540-70816-2_4.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
A. Krupp and W. Müller, “Classification Trees for Functional Coverage and Random Test Generation,” 2006, doi: 10.1109/DATE.2006.243902.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 39028
R. Schäfer, M. Ziegler, and W. Müller, “Securing Personal Data in Smart Home Environments,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38107
J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,” Paphos, Cyprus, 2006, doi: 10.1109/ISoLA.2006.37.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38109
W. Müller, A. Rosti, S. Bocchio, and E. Riccobene, “UML for ESL Design - Basic Principles, Tools, and Applications,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38539
L. Lavagno and W. Müller, “UML: A Next Generation Language for SoC Design,” 2006.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33822
T. Schattkowsky, W. Müller, and A. Rettberg, “Model Based Specification for Platform Independent Hardware Execution,” in UML for SoC Design, G. Martin and W. Müller, Eds. Kluwer, 2005, pp. 63–88.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33824
G. Martin and W. Müller, “When Worlds Collide: Can UML help SoC Design?,” in UML for SoC Design, G. Martin and W. Müller, Eds. Kluwer, 2005, pp. 1–15.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39029
T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for Executable Specification on Reconfigurable Hardware,” 2005, doi: 10.1109/DATE.2005.20.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
T. Schattkowsky and W. Müller, “A UML Virtual Machine for Embedded Systems,” 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
T. Schattkowsky and W. Müller, “Transformation of UML State Machines for Direct Execution,” 2005, doi: 10.1109/VLHCC.2005.64.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39036
A. Krupp and W. Müller, “Testmuster für nichtkontinuierliche Reglerelemente in der Klassifikationsbaummethode für eingebettete Systeme.” Bonn, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39038
A. Krupp and W. Müller, “Modelchecking von Klassifikationsbaum-Testsequenzen.” Munich, Germany, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39039
H. Zabel and W. Müller, “Analyse von synchronen Kommunikationsnetzwerken durch laufzeiteffiziente formale Verifikation.” Munich, Germany, 2005.
LibreCat