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.
173 Publications
2007 | Journal Article | LibreCat-ID: 10646
Danne, K., Mühlenbernd, R., & Platzner, M. (2007). Server-based execution of periodic tasks on dynamically reconfigurable hardware. IET Computers Digital Techniques, 1(4), 295–302. https://doi.org/10.1049/iet-cdt:20060186
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 38104
Schäfer, R., Müller, W., Deimann, R., & Kleinjohann, B. (2007). A Low-Cost Positioning System for Location-Aware Applications in Smart Homes. Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007.
LibreCat
2006 | Conference Paper | LibreCat-ID: 9548
Richter, B., Twiefel, J., Hemsel, T., & Wallaschek, J. (2006). Model based design of piezoelectric generators utilizing geometrical and material properties. In ASME 2006 International Mechanical Engineering Congress and Exposition. Chicago, Illinois, USA. https://doi.org/doi:10.1115/IMECE2006-14862
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, J., & Müller, W. (2006). A Formal Behavioral Semantics for TestML. Proc. of ISOLA 06. https://doi.org/10.1109/ISoLA.2006.37
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky, T., & Müller, W. (2005). A UML Virtual Machine for Embedded Systems. Proceedings of ISNG 05.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, T., & Müller, W. (2005). Transformation of UML State Machines for Direct Execution. Proceedings of VL/HCC 05. https://doi.org/10.1109/VLHCC.2005.64
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, A., Müller, W., & Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. Proceedings of DATE’04 Designers’ Forum. Proceedings Design, Automation and Test in Europe Conference and Exhibition. https://doi.org/10.1109/DATE.2004.1269214
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 11778 | 
Haeb-Umbach, R. (2001). Automatic generation of phonetic regression class trees for MLLR adaptation. IEEE Transactions on Speech and Audio Processing, 9(3), 299–302. https://doi.org/10.1109/89.906003
LibreCat
| DOI
| Download (ext.)
2001 | Conference Paper | LibreCat-ID: 39411
Flake, S., Geiger, C., Müller, W., & Ruf, J. (2001). Customer-Oriented Systems Design through Virtual Prototyps. Proceedings of IEEE KMN 2001. Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises. https://doi.org/10.1109/ENABL.2001.953425
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39421
Müller, W., Ruf, J., Hoffmann, D. W., Gerlach, J., Kropf, T., & Rosenstiehl, W. (2001). The Simulation Semantics of SystemC. Proceedings of the Design, Automation, and Test in Europe (DATE’01). Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001. https://doi.org/10.1109/DATE.2001.915002
LibreCat
| DOI
2000 | Mastersthesis | LibreCat-ID: 2433
Plessl, C., & Maurer, S. (2000). Hardware/Software Codesign in Speech Compression Applications. Computer Engineering and Networks Lab, ETH Zurich, Switzerland.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8915
Hemsel, T., & Wallaschek, J. (2000). State of the art and development trends of ultrasonic linear motors. In Ultrasonics Symposium, 2000 IEEE (Vol. 1, pp. 663–666 vol.1). https://doi.org/10.1109/ULTSYM.2000.922635
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, C., Lehrenfeld, G., & Müller, W. (1999). Visual Specification, Modeling, and Illustrations of Complex Systems. Proceedings of HICSS-32. Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences 1999, Maui, Hawaii. https://doi.org/10.1109/HICSS.1999.772621
LibreCat
| DOI