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.
151 Publications
2006 | Conference Paper | LibreCat-ID: 9548
Richter, Björn, et al. “Model Based Design of Piezoelectric Generators Utilizing Geometrical and Material Properties.” ASME 2006 International Mechanical Engineering Congress and Exposition, 2006, doi:doi:10.1115/IMECE2006-14862.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” Proc. of ISOLA 06, 2006, doi:10.1109/ISoLA.2006.37.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded Systems.” Proceedings of ISNG 05, 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” Proceedings of VL/HCC 05, 2005, doi:10.1109/VLHCC.2005.64.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” Proceedings of DATE’04 Designers’ Forum, 2004, doi:10.1109/DATE.2004.1269214.
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 11778 | 
Haeb-Umbach, Reinhold. “Automatic Generation of Phonetic Regression Class Trees for MLLR Adaptation.” IEEE Transactions on Speech and Audio Processing, vol. 9, no. 3, 2001, pp. 299–302, doi:10.1109/89.906003.
LibreCat
| DOI
| Download (ext.)
2001 | Conference Paper | LibreCat-ID: 39411
Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.” Proceedings of IEEE KMN 2001, 2001, doi:10.1109/ENABL.2001.953425.
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 39421
Müller, Wolfgang, et al. “The Simulation Semantics of SystemC.” Proceedings of the Design, Automation, and Test in Europe (DATE’01), IEEE, 2001, doi:10.1109/DATE.2001.915002.
LibreCat
| DOI
2000 | Mastersthesis | LibreCat-ID: 2433
Plessl, Christian, and Simon Maurer. Hardware/Software Codesign in Speech Compression Applications. Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8915
Hemsel, Tobias, and Jörg Wallaschek. “State of the Art and Development Trends of Ultrasonic Linear Motors.” Ultrasonics Symposium, 2000 IEEE, vol. 1, 2000, pp. 663–66 vol.1, doi:10.1109/ULTSYM.2000.922635.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 39487
Geiger, Christian, et al. “Visual Specification, Modeling, and Illustrations of Complex Systems.” Proceedings of HICSS-32, 1999, doi:10.1109/HICSS.1999.772621.
LibreCat
| DOI