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.
85 Publications
- 1
- 2
- 3
- 4 (current)
- 5
2011 | Journal Article | LibreCat-ID: 11850 |

A. Krueger, E. Warsitz, and R. Haeb-Umbach, “Speech Enhancement With a GSC-Like Structure Employing Eigenvector-Based Transfer Function Ratios Estimation,” IEEE Transactions on Audio, Speech, and Language Processing, vol. 19, no. 1, pp. 206–219, 2011.
LibreCat
| DOI
| Download (ext.)
2011 | Conference Paper | LibreCat-ID: 2200
T. Kenter, M. Platzner, C. Plessl, and M. Kauschke, “Performance Estimation Framework for Automated Exploration of CPU-Accelerator Architectures,” in Proc. Int. Symp. on Field-Programmable Gate Arrays (FPGA), 2011, pp. 177–180, doi: 10.1145/1950413.1950448.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 37002
T. Xie, W. Müller, and F. Letombe, “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search,” 2011, doi: 10.1109/DSD.2011.83.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 5690 |

C. Bodenstein, G. Schryen, and D. Neumann, “From ‘Take-it-or-leave-it’ offers to ‘Take-it-or-be-left-out’ Ultimatum - A trade mechanism for Online Services,” in 18th European Conference on Information Systems (ECIS 2010), 2010.
LibreCat
| Files available
2010 | Conference Paper | LibreCat-ID: 9760
C. Sondermann-Wölke, T. Hemsel, W. Sextro, J. Gausemeier, and S. Pook, “Guideline for the dependability-oriented design of self-optimizing systems,” in Industrial Informatics (INDIN), 2010 8th IEEE International Conference on, 2010, pp. 739–744.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 46411
Y. T. Azene, R. Roy, D. Farrugia, C. Onisa, J. Mehnen, and H. Trautmann, “Work roll cooling system design optimisation in presence of uncertainty and constrains,” CIRP Journal of Manufacturing Science and Technology, vol. 2, no. 4, pp. 290–298, 2010, doi: https://doi.org/10.1016/j.cirpj.2010.06.001.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 24065
J. Pottebaum, A. M. Japs, S. Prödel, and R. Koch, “Design and modeling of a domain ontology for fire protection,” in ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management, 2010.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37040
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5456965.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37046
M. Becker, H. Zabel, and W. Müller, “A Mixed Level Simulation Environment for Stepwise RTOS Software Refinement,” 2010, doi: 10.1007/978-3-642-15234-4_15.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37039
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie, “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5456965.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34563
Y. Vanderperren, W. Müller, and W. Dahaene, “UML for Electronic Systems Design – A Comprehensive Overview,” Design Automation for Embedded Systems, vol. 12, pp. 261–292, 2008, doi: 10.1007/s10617-008-9028-9.
LibreCat
| DOI
2008 | Journal Article | LibreCat-ID: 34564
R. Schäfer and W. Müller, “Assessment of a Multimodal Interaction and Rendering System against Established Design Principles,” Journal on Multimodal User Interfaces, vol. 2, no. 1, pp. 25–41, 2008, doi: 10.1007/s12193-008-0003-3.
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 5658 |

G. Schryen, “The Impact that Placing Email Addresses on the Internet has on the Receipt of Spam ? An Empirical Analysis,” Computers & Security, vol. 2, no. 5, pp. 361–372, 2007.
LibreCat
| Files available
2006 | Conference Paper | LibreCat-ID: 38107
J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,” Paphos, Cyprus, 2006, doi: 10.1109/ISoLA.2006.37.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39030
T. Schattkowsky and W. Müller, “A UML Virtual Machine for Embedded Systems,” 2005.
LibreCat
2005 | Conference Paper | LibreCat-ID: 39032
T. Schattkowsky and W. Müller, “Transformation of UML State Machines for Direct Execution,” 2005, doi: 10.1109/VLHCC.2005.64.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi: 10.1109/DATE.2004.1269214.
LibreCat
| DOI
- 1
- 2
- 3
- 4 (current)
- 5