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
H. Zabel and W. Müller, “An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration,” vol. 271. Springer Verlag, Dordrecht, 2008, doi: 10.1007/978-0-387-09661-2_18.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37072
H. Zabel and W. Müller, “Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC,” in Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System, 2008.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37076
H. Zabel and W. Müller, “Simulation mit abstrakten RTOS Modellen in SystemC,” vol. 6, no. 4. Paderborn, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37083
A. Krupp and W. Müller, “Systematic Testbench Specification for Constrained Randomized Test and Functional Coverage,” 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37080
J. Großmann, I. Fey, M. Conrad, Ch. Wewetzer, and W. Müller, “TestML - A Test Exchange Language for Model-based Testing of Embedded Software,” 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37079
W. Müller, “On the Use and Misuse of UML- Application of Diagrams in Engineering,” 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 37085
R. Schäfer, W. Müller, A. Marin-López, and D. Díaz-Sánchez, “Using Smart Cards for Secure and Device Independent User Interfaces,” 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38106
A. Marin, W. Müller, R. Schäfer, F. Almenarez, D. Diaz, and M. Ziegler, “Middleware for Secure Home Access and Control,” presented at the 5th Conference on Pervasive Computing and Communications (PerCom 2007), White Plains, New York, USA, 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38100
R. Schäfer, W. Müller, A. Marin-López, and D. Díaz-Sánchez, “Device Independent User Interfaces for Smart Cards,” 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38104
R. Schäfer, W. Müller, R. Deimann, and B. Kleinjohann, “A Low-Cost Positioning System for Location-Aware Applications in Smart Homes,” 2007.
LibreCat
2007 | Conference Paper | LibreCat-ID: 38102
R. Schäfer and W. Müller, “Evaluation of a Multimodal System Based on Dialogue Models and Transformations International Workshop on Usability of User Interfaces: From Monomodal to Multimodal,” 2007.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38533
W. Müller and Y. Vanderperren, “UML and Model-Driven Development for SoC Design,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38537
R. Schäfer, W. Müller, and J. Groppe, “Profile Processing and Evolution for Smart Environments,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38538
W. Müller and H. Zabel, “Towards a Unified Behavioural Modelling Language,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38536
W. Müller, “UML - The Emerging Hardware Description Language?,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38540
L. Lavagno and W. Müller, “UML: A Next Generation Language for SoC Design,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38543
R. Schäfer, S. Bleul, and W. Müller, “Dialog Modelling for Multiple Devices and Multiple Interaction Modalities,” 2006, doi: 10.1007/978-3-540-70816-2_4.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38784
A. Krupp and W. Müller, “Classification Trees for Functional Coverage and Random Test Generation,” 2006, doi: 10.1109/DATE.2006.243902.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 39028
R. Schäfer, M. Ziegler, and W. Müller, “Securing Personal Data in Smart Home Environments,” 2006.
LibreCat
2006 | Conference Paper | LibreCat-ID: 38107
J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,” Paphos, Cyprus, 2006, doi: 10.1109/ISoLA.2006.37.
LibreCat
| DOI