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, Robbie, and Wolfgang Müller. “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. Lancaster, United Kingdom, 2007.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38533
Müller, Wolfgang, and Yves Vanderperren. “UML and Model-Driven Development for SoC Design.” In Proceedings of CODES/ISSS. Seoul, Korea, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38537
Schäfer, Robbie, Wolfgang Müller, and Jinghua Groppe. “Profile Processing and Evolution for Smart Environments.” In Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06). Wuhan, China, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38538
Müller, Wolfgang, and Henning Zabel. “Towards a Unified Behavioural Modelling Language.” In Proceedings of the UML-SoC Workshop at DAC 2006. San Francisco, USA, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38536
Müller, Wolfgang. “UML - The Emerging Hardware Description Language?” In Proc. of FDL’06. Darmstadt, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38540
Lavagno, Luciano, and Wolfgang Müller. “UML: A Next Generation Language for SoC Design,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38543
Schäfer, Robbie, Steffen Bleul, and Wolfgang Müller. “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). Hasselt, Belgium, 2006. https://doi.org/10.1007/978-3-540-70816-2_4.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional Coverage and Random Test Generation.” In Proceedings of the Design Automation & Test in Europe Conference. Munich, Germany: IEEE, 2006. https://doi.org/10.1109/DATE.2006.243902.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 39028
Schäfer, Robbie, Max Ziegler, and Wolfgang Müller. “Securing Personal Data in Smart Home Environments.” In Proceedings of the Workshop on Privacy Enhanced Personalization (CHI 2006). Montreal, Canada, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” In Proc. of ISOLA 06. Paphos, Cyprus, 2006. https://doi.org/10.1109/ISoLA.2006.37.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38109
Müller, Wolfgang, Alberto Rosti, Sara Bocchio, and Elvinia Riccobene. “UML for ESL Design - Basic Principles, Tools, and Applications.” In Proc. of ICCAD’06. San Jose, USA, 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38539
Lavagno, Luciano, and Wolfgang Müller. “UML: A Next Generation Language for SoC Design,” 2006.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33822
Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “Model Based Specification for Platform Independent Hardware Execution.” In UML for SoC Design, edited by Grant Martin and Wolfgang Müller, 63–88. Kluwer, 2005.
LibreCat
2005 | Book Chapter | LibreCat-ID: 33824
Martin, Grant, and Wolfgang Müller. “When Worlds Collide: Can UML Help SoC Design?” In UML for SoC Design, edited by Grant Martin and Wolfgang Müller, 1–15. Kluwer, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” In Proceedings of DATE’05. Munich, Germany : IEEE, 2005. https://doi.org/10.1109/DATE.2005.20.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” In Proceedings of ISNG 05. Las Vegas, NV, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” In Proceedings of VL/HCC 05. Dallas, TX, USA, 2005. https://doi.org/10.1109/VLHCC.2005.64.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39036
Krupp, Alexander, and Wolfgang Müller. “Testmuster Für Nichtkontinuierliche Reglerelemente in Der Klassifikationsbaummethode Für Eingebettete Systeme.” Automotive Software Engineering. Bonn, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39038
Krupp, Alexander, and Wolfgang Müller. “Modelchecking von Klassifikationsbaum-Testsequenzen.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Munich, Germany, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39039
Zabel, Henning, and Wolfgang Müller. “Analyse von Synchronen Kommunikationsnetzwerken Durch Laufzeiteffiziente Formale Verifikation.” Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV). Munich, Germany, 2005.
LibreCat