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
UML: A Next Generation Language for SoC Design
L. Lavagno, W. Müller, in: 2006.
LibreCat
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 

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
 
 

2005 | Conference Paper | LibreCat-ID: 39038 LibreCat
 

2005 | Conference Paper | LibreCat-ID: 39039 LibreCat
 

2005 | Conference Paper | LibreCat-ID: 39041
A Dialog Model for Multi Device Interfaces with Different Modalities
S. Bleul, R. Schäfer, W. Müller, in: Proceedings of the HCI International 2005, Las Vegas, NV, 2005.
LibreCat
 

2005 | Conference Paper | LibreCat-ID: 39050
Secure Profile Management in Smart Home Networks
M. Ziegler, W. Müller, R. Schäfer, C. Loeser, in: Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, Copenhagen, Denmark , 2005.
LibreCat | DOI
 

2005 | Conference Paper | LibreCat-ID: 39052
Profile Management technology for Smart Customization in Private Home Applications
J. Groppe, W. Müller, in: Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, Copenhagen, Denmark , 2005.
LibreCat | DOI
 

2004 | Book Chapter | LibreCat-ID: 33825
Specification and Formal Verification of Temporal Properties of Production Automation Systems
S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.
LibreCat | DOI
 

2004 | Book Chapter | LibreCat-ID: 33827
Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering
T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 2004.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 33830
Refinement of Finite State Machines with Complementary Model Checking
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
LibreCat
 

Filters and Search Terms

(person=16243)

Search

Filter Publications

Display / Sort

Export / Embed