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.
8 Publications
2024 | Conference Paper | LibreCat-ID: 56166
Kulkarni PJ, Tissen D, Bernijazov R, Dumitrescu R. Towards Automated Design: Automatically Generating Modeling Elements with Prompt Engineering and Generative Artificial Intelligence. In: Malmqvist J, Candi M, Saemundsson R, Bystrom F, Isaksson O, eds. DS 130: Proceedings of NordDesign 2024. ; 2024:617-625. doi:10.35199/NORDDESIGN2024.66
LibreCat
| Files available
| DOI
2022 | Book Chapter | LibreCat-ID: 30290
Harteis C. Research on Workplace Learning in Times of Digitalisation. In: Research Approaches on Workplace Learning. Springer International Publishing; 2022. doi:10.1007/978-3-030-89582-2_19
LibreCat
| Files available
| DOI
2019 | Conference Paper | LibreCat-ID: 10577
Witschen LM, Ghasemzadeh Mohammadi H, Artmann M, Platzner M. Jump Search: A Fast Technique for the Synthesis of Approximate Circuits. In: Proceedings of the 2019 on Great Lakes Symposium on VLSI - GLSVLSI ’19. New York, NY, USA: ACM; 2019. doi:10.1145/3299874.3317998
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
2005 | Conference Paper | LibreCat-ID: 39050
Ziegler M, Müller W, Schäfer R, Loeser C. Secure Profile Management in Smart Home Networks. In: Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). IEEE; 2005. doi:10.1109/DEXA.2005.171
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
Krupp A, Müller W, Oliver I. Formal Refinement and Model Checking of An Echo Cancellation Unit. In: Proceedings of DATE’04 Designers’ Forum. ; 2004. doi:10.1109/DATE.2004.1269214
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39421
Müller W, Ruf J, Hoffmann DW, Gerlach J, Kropf T, Rosenstiehl W. The Simulation Semantics of SystemC. In: Proceedings of the Design, Automation, and Test in Europe (DATE’01). IEEE; 2001. doi:10.1109/DATE.2001.915002
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 39502
Dücker M, Lehrenfeld G, Müller W, Tahedl C. A Generic System for Interactive Real--Time Animation. In: Proceedings International Conference and Workshop on Engineering of Computer-Based Systems. ; 1997. doi:10.1109/ECBS.1997.581876
LibreCat
| DOI