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.
163 Publications
2010 | Conference Paper | LibreCat-ID: 24065
Pottebaum J, Japs AM, Prödel S, Koch R. Design and modeling of a domain ontology for fire protection. In: French S, Tomaszewski B, Zobel C, eds. ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management. ; 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37040
Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456965
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
Becker M, Zabel H, Müller W. A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_15
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37039
Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware Refinement for TLM2.0-based HW/SW Design. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5456965
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 17272
Vollmer A-L, Lohan KS, Fischer K, et al. People modify their tutoring behavior in robot-directed interaction for action learning. In: Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning. IEEE; 2009:1-6. doi:10.1109/DEVLRN.2009.5175516
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 11820 | 
Ion V, Haeb-Umbach R. A Novel Uncertainty Decoding Rule With Applications to Transmission Error Robust Speech Recognition. IEEE Transactions on Audio, Speech, and Language Processing. 2008;16(5):1047-1060. doi:10.1109/TASL.2008.925879
LibreCat
| DOI
| Download (ext.)
2008 | Journal Article | LibreCat-ID: 34563
Vanderperren Y, Müller W, Dahaene W. UML for Electronic Systems Design – A Comprehensive Overview. Design Automation for Embedded Systems. 2008;12:261-292. doi:10.1007/s10617-008-9028-9
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34564
Schäfer R, Müller W. Assessment of a Multimodal Interaction and Rendering System against Established Design Principles. Journal on Multimodal User Interfaces. 2008;2(1):25-41. doi:10.1007/s12193-008-0003-3
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 5658 |
Schryen G. The Impact that Placing Email Addresses on the Internet has on the Receipt of Spam ? An Empirical Analysis. Computers & Security. 2007;2(5):361-372.
LibreCat
| Files available
2007 | Conference Paper | LibreCat-ID: 6508
Kaufmann P, Platzner M. MOVES: A Modular Framework for Hardware Evolution. In: Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007). IEEE; 2007:447-454. doi:10.1109/ahs.2007.73
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 10646
Danne K, Mühlenbernd R, Platzner M. Server-based execution of periodic tasks on dynamically reconfigurable hardware. IET Computers Digital Techniques. 2007;1(4):295-302. doi:10.1049/iet-cdt:20060186
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 38104
Schäfer R, Müller W, Deimann R, Kleinjohann B. A Low-Cost Positioning System for Location-Aware Applications in Smart Homes. In: Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007. ; 2007.
LibreCat
2006 | Conference Paper | LibreCat-ID: 9548
Richter B, Twiefel J, Hemsel T, Wallaschek J. Model based design of piezoelectric generators utilizing geometrical and material properties. In: ASME 2006 International Mechanical Engineering Congress and Exposition. Chicago, Illinois, USA; 2006. doi:doi:10.1115/IMECE2006-14862
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
Großmann J, Müller W. A Formal Behavioral Semantics for TestML. In: Proc. of ISOLA 06. ; 2006. doi:10.1109/ISoLA.2006.37
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
Schattkowsky T, Müller W. A UML Virtual Machine for Embedded Systems. In: Proceedings of ISNG 05. ; 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky T, Müller W. Transformation of UML State Machines for Direct Execution. In: Proceedings of VL/HCC 05. ; 2005. doi:10.1109/VLHCC.2005.64
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 | Journal Article | LibreCat-ID: 11778 |
Haeb-Umbach R. Automatic generation of phonetic regression class trees for MLLR adaptation. IEEE Transactions on Speech and Audio Processing. 2001;9(3):299-302. doi:10.1109/89.906003
LibreCat
| DOI
| Download (ext.)
2001 | Conference Paper | LibreCat-ID: 39411
Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through Virtual Prototyps. In: Proceedings of IEEE KMN 2001. ; 2001. doi:10.1109/ENABL.2001.953425
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