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.
327 Publications
2007 | Conference Paper | LibreCat-ID: 38106
Middleware for Secure Home Access and Control
A. Marin, W. Müller, R. Schäfer, F. Almenarez, D. Diaz, M. Ziegler, in: Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007), IEEE, White Plains, New York, USA, 2007.
LibreCat
A. Marin, W. Müller, R. Schäfer, F. Almenarez, D. Diaz, M. Ziegler, in: Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007), IEEE, White Plains, New York, USA, 2007.
2007 | Conference Paper | LibreCat-ID: 38100
Device Independent User Interfaces for Smart Cards
R. Schäfer, W. Müller, A. Marin-López, D. Díaz-Sánchez, in: Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007), Singapore, 2007.
LibreCat
R. Schäfer, W. Müller, A. Marin-López, D. Díaz-Sánchez, in: Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007), Singapore, 2007.
2007 | Conference Paper | LibreCat-ID: 38104
A Low-Cost Positioning System for Location-Aware Applications in Smart Homes
R. Schäfer, W. Müller, R. Deimann, B. Kleinjohann, in: Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007, San Jose, USA, 2007.
LibreCat
R. Schäfer, W. Müller, R. Deimann, B. Kleinjohann, in: Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007, San Jose, USA, 2007.
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.
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).
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
S. Bleul, R. Schäfer, W. Müller, in: Proceedings of the HCI International 2005, Las Vegas, NV, 2005.
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
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.
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
J. Groppe, W. Müller, in: Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, Copenhagen, Denmark , 2005.
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
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.
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
T. Schattkowsky, W. Müller, A. Pawlak, in: L. Fischer (Ed.), Workflow Handbook 2004, Workflow Management Coalition (WfMC), Lighthouse Point, FL, USA, 2004.
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
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
2004 | Book Chapter | LibreCat-ID: 33829
Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.
LibreCat
A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.
2004 | Book Chapter | LibreCat-ID: 33832
The Echo Cancellation Unit Case Study
A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.
LibreCat
A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.
2004 | Conference Paper | LibreCat-ID: 39053
Interactive Multimodal User Interfaces for Mobile Devices
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
LibreCat
| DOI
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
2004 | Conference Paper | LibreCat-ID: 39055
The Formal Simulation Semantics of SystemVerilog
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
LibreCat
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
2004 | Conference Paper | LibreCat-ID: 39060
Model-Based Specification and Execution of Embedded Real-Time Systems
T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.
LibreCat
T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.
2004 | Conference Paper | LibreCat-ID: 39061
Formal Refinement and Model Checking of An Echo Cancellation Unit
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
LibreCat
| DOI
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
2004 | Conference Paper | LibreCat-ID: 39063
A Formal Model of a Framework for Simulation-Based Animation
W. Müller, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
LibreCat
W. Müller, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
2004 | Conference Paper | LibreCat-ID: 39071
Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE, Fukuoka, Japan , 2004.
LibreCat
| DOI
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE, Fukuoka, Japan , 2004.
2004 | Conference Paper | LibreCat-ID: 39069
Past- and Future-Oriented Time-Bound Temporal Properties with OCL
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
2004 | Conference Paper | LibreCat-ID: 39065
Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality
J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
LibreCat
J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
2004 | Conference Paper | LibreCat-ID: 39068
Model-Based Design of Embedded Systems
T. Schattkowsky, W. Müller, in: Proceedings of ISORC’04, WIen, 2004.
LibreCat
T. Schattkowsky, W. Müller, in: Proceedings of ISORC’04, WIen, 2004.
2004 | Conference Paper | LibreCat-ID: 39078
Virtual Prototyping Of Self-Optimizing Mechatronic Systems
J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, R. Radkowski, in: Proceedings of the Design 2004, Dubrovnik, 2004.
LibreCat
J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, R. Radkowski, in: Proceedings of the Design 2004, Dubrovnik, 2004.
2004 | Conference Paper | LibreCat-ID: 39075
RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control
C. Loeser, R. Schäfer, W. Müller, M. Borowski, in: Proceedings of SCI’04, Orlando, USA, 2004.
LibreCat
C. Loeser, R. Schäfer, W. Müller, M. Borowski, in: Proceedings of SCI’04, Orlando, USA, 2004.
2004 | Conference Paper | LibreCat-ID: 39082
Multimodal Dialog Description for Mobile Devices
S. Bleul, W. Müller, R. Schäfer, in: Proceedings of AVI 2004, Gallipoli, Italy, 2004.
LibreCat
S. Bleul, W. Müller, R. Schäfer, in: Proceedings of AVI 2004, Gallipoli, Italy, 2004.
2004 | Conference Paper | LibreCat-ID: 39350
A Novel Dialog Model for the Design of Multimodal User Interfaces
R. Schäfer, S. Bleul, W. Müller, in: Proceedings of EHCI-DSVIS 2005, Tremsbüttel, Hamburg, 2004.
LibreCat
R. Schäfer, S. Bleul, W. Müller, in: Proceedings of EHCI-DSVIS 2005, Tremsbüttel, Hamburg, 2004.
2004 | Conference Paper | LibreCat-ID: 39352
An ASM Definition of the Dynamic OCL 2.0 Semantics
S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.
2003 | Book Chapter | LibreCat-ID: 34446
An ASM Based SystemC Simulation Semantics
W. Müller, J. Ruf, W. Rosenstiel, in: W. Müller, J. Ruf, W. Rosenstiel (Eds.), SystemC - Methodologies and Applications, Kluwer, Dordrecht, 2003, pp. 97–126.
LibreCat
| DOI
W. Müller, J. Ruf, W. Rosenstiel, in: W. Müller, J. Ruf, W. Rosenstiel (Eds.), SystemC - Methodologies and Applications, Kluwer, Dordrecht, 2003, pp. 97–126.
2003 | Journal Article | LibreCat-ID: 34565
Formal Semantics of Static and Temporal State-Oriented OCL Constraints
S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003) 164–186.
LibreCat
| DOI
S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003) 164–186.
2003 | Conference Paper | LibreCat-ID: 39357
An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation
T. Kostienko, W. Müller, A. Pawlak, T. Schattkowsky, in: Proceedings of CE 2003, Madeira, Portugal, 2003.
LibreCat
T. Kostienko, W. Müller, A. Pawlak, T. Schattkowsky, in: Proceedings of CE 2003, Madeira, Portugal, 2003.
2003 | Conference Paper | LibreCat-ID: 39355
Peer-to-Peer for Virtual Home Environments
C. Loeser, W. Müller, F. Berger, H.-J. Eikerling, in: Proceedings of HICCS-36, Hawaii, USA, 2003.
LibreCat
C. Loeser, W. Müller, F. Berger, H.-J. Eikerling, in: Proceedings of HICCS-36, Hawaii, USA, 2003.
2003 | Conference Paper | LibreCat-ID: 39354
Tool Integration and Management in Heterogeneous Computer Networks
H.-J. Eikerling, W. Müller, T. Schattkowski, J. Wegner, in: Proceedings of DATE’03, Munich, Germany, 2003.
LibreCat
H.-J. Eikerling, W. Müller, T. Schattkowski, J. Wegner, in: Proceedings of DATE’03, Munich, Germany, 2003.
2003 | Conference Paper | LibreCat-ID: 39365
Adaptive profiles for Multi-Modal Interaction in Intelligent Frameworks
R. Schäfer, W. Müller, in: Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing, Acapulco, Mexico, 2003.
LibreCat
R. Schäfer, W. Müller, in: Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing, Acapulco, Mexico, 2003.