Research on Workplace Learning in Times of Digitalisation
C. Harteis, in: Research Approaches on Workplace Learning, Springer International Publishing, Cham, 2022.
LibreCat: /record/30290
DOI: 10.1007/978-3-030-89582-2_19

Jump Search: A Fast Technique for the Synthesis of Approximate Circuits
L.M. Witschen, H. Ghasemzadeh Mohammadi, M. Artmann, M. Platzner, in: Proceedings of the 2019 on Great Lakes Symposium on VLSI  - GLSVLSI ’19, ACM, New York, NY, USA, 2019.
LibreCat: /record/10577
DOI: 10.1145/3299874.3317998

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: /record/38784
DOI: 10.1109/DATE.2006.243902

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: /record/39050
DOI: 10.1109/DEXA.2005.171

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: /record/39061
DOI: 10.1109/DATE.2004.1269214

The Simulation Semantics of SystemC
W. Müller, J. Ruf, D.W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiehl, in: Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, Munich, Germany , 2001.
LibreCat: /record/39421
DOI: 10.1109/DATE.2001.915002

A Generic System for Interactive Real--Time Animation
M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in:  Proceedings International Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA, USA , 1997.
LibreCat: /record/39502
DOI: 10.1109/ECBS.1997.581876