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
2008 | Conference Paper | LibreCat-ID: 37075
Zabel H, Müller W. An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. Kleinjohann L, Kleinjohann B, eds. 2008;271. doi:10.1007/978-0-387-09661-2_18
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37072
Zabel H, Müller W. Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. In: Scholl Ch, Disch S, eds. Methoden Und Beschreibungs-Sprachen Zur Modellierung Und Verifikation von Schaltungen Und System. Shaker Verlag; 2008.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37076
Zabel H, Müller W. Simulation mit abstrakten RTOS Modellen in SystemC. 2007;6(4).
LibreCat
2007 | Conference Paper | LibreCat-ID: 37083
Krupp A, Müller W. Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage. In: Proceedings of the 21st European Conference on Modelling and Simulation (ECMS 2007). ; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37080
Großmann J, Fey I, Conrad M, Wewetzer Ch, Müller W. TestML - A Test Exchange Language for Model-based Testing of Embedded Software. In: Proceedings of the Automotive Software Workshop ’06. ; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37079
Müller W. On the Use and Misuse of UML- Application of Diagrams in Engineering. In: Proceedings of the UML for SoC Design Workshop at DAC’07. ; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37085
Schäfer R, Müller W, Marin-López A, Díaz-Sánchez D. Using Smart Cards for Secure and Device Independent User Interfaces. In: Proceedings of the International Conference on Mobile Technology, Applications and Systems (Mobility 2007). ; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38106
Marin A, Müller W, Schäfer R, Almenarez F, Diaz D, Ziegler M. Middleware for Secure Home Access and Control. In: Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007). IEEE; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38100
Schäfer R, Müller W, Marin-López A, Díaz-Sánchez D. Device Independent User Interfaces for Smart Cards. In: Proceedings of the 9th International Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007). ; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38104
Schäfer R, Müller W, Deimann R, Kleinjohann B. A Low-Cost Positioning System for Location-Aware Applications in Smart Homes. In: Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007. ; 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38102
Schäfer R, Müller W. 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. ; 2007.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38533
Müller W, Vanderperren Y. UML and Model-Driven Development for SoC Design. In: Proceedings of CODES/ISSS. ; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38537
Schäfer R, Müller W, Groppe J. Profile Processing and Evolution for Smart Environments. In: Proceedings of the 3rd International Conference on Ubiquitous Intelligence and Computing (UIC-06). ; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38538
Müller W, Zabel H. Towards a Unified Behavioural Modelling Language. In: Proceedings of the UML-SoC Workshop at DAC 2006. ; 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38536
Müller W. UML - The Emerging Hardware Description Language? In: Proc. of FDL’06. ; 2006.
LibreCat
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