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.
264 Publications
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
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
2005 | Conference Paper | LibreCat-ID: 39041
Bleul S, Schäfer R, Müller W. A Dialog Model for Multi Device Interfaces with Different Modalities. In: Proceedings of the HCI International 2005. ; 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39050
Ziegler M, Müller W, Schäfer R, Loeser C. Secure Profile Management in Smart Home Networks. In: Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). IEEE; 2005. doi:10.1109/DEXA.2005.171
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39052
Groppe J, Müller W. Profile Management technology for Smart Customization in Private Home Applications. In: Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). IEEE; 2005. doi:10.1109/DEXA.2005.156
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel J, et al., eds. Integration of Software Specification Techniques for Applications in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag; 2004:206-226. doi:10.1007/978-3-540-27863-4_13
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33827
Schattkowsky T, Müller W, Pawlak A. Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering. In: Fischer L, ed. Workflow Handbook 2004. Workflow Management Coalition (WfMC); 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33830
Krupp A, Müller W. Refinement of Finite State Machines with Complementary Model Checking. In: Mermet J, ed. UML-B System Specification for Proven Electronic Design. Kluwer; 2004:155-168.
LibreCat