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.
62 Publications
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties. In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457130
LibreCat
| DOI
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: 37053
Müller W, da S. Oliveira MF, Zabel H, Becker M. Verification of Real-Time Properties for Hardware-Dependant Software. In: Proceedings of HLDVT2010. IEEE; 2010.
LibreCat
2009 | Conference Paper | LibreCat-ID: 11723 | 
Bevermeier M, Peschke S, Haeb-Umbach R. Robust vehicle localization based on multi-level sensor fusion and online parameter estimation. In: 6th Workshop on Positioning Navigation and Communication (WPNC 2009). ; 2009:235-242. doi:10.1109/WPNC.2009.4907833
LibreCat
| DOI
| Download (ext.)
2009 | Conference Paper | LibreCat-ID: 37066
Zabel H, Müller W. Increased Accuracy through Noise Injection in Abstract RTOS Simulation. In: Proceedings of DATE’09. ; 2009. doi:10.1109/DATE.2009.5090925
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37075
Zabel H, Müller W. An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration. Kleinjohann L, Kleinjohann B, eds. 2008;271. doi:10.1007/978-0-387-09661-2_18
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: 11785 |
Haeb-Umbach R, Bevermeier M. OFDM Channel Estimation Based on Combined Estimation in Time and Frequency Domain. In: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2007). Vol 3. ; 2007:III-277-III-280. doi:10.1109/ICASSP.2007.366526
LibreCat
| DOI
| Download (ext.)
2007 | Journal Article | LibreCat-ID: 6070 |
Neumann O, Scharlau I. Experiments on the Fehrer-Raab effect and the “Weather Station Model” of visual backward masking. Psychological Research. 2007;71(6):667-677.
LibreCat
| Download (ext.)
2007 | Journal Article | LibreCat-ID: 6079 |
Scharlau I. Perceptual latency priming: A measure of attentional facilitation. Psychological Research. 2007;71(6):678-686.
LibreCat
| Download (ext.)
2006 | Journal Article | LibreCat-ID: 6073 |
Scharlau I, Ansorge U, Horstmann G. Latency facilitation in temporal-order judgments: Time course of facilitation as a function of judgment type. Acta Psychologica. 2006;122(2):129-159.
LibreCat
| Download (ext.)
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable Specification on Reconfigurable Hardware. In: Proceedings of DATE’05. IEEE; 2005. doi:10.1109/DATE.2005.20
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 6068 |
Scharlau I. Evidence against response bias in temporal order tasks with attention manipulation by masked primes. Psychological Research. 2004;68(4):224-236.
LibreCat
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 39069
Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties with OCL. In: Proceedings of SEFM´04. IEEE; 2004. doi:10.1109/SEFM.2004.1347516
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake S, Müller W. Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM). 2003;2(3):164-186. doi:10.1007/s10270-003-0026-x
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 6065 |
Scharlau I, Ansorge U. Direct parameter specification of an attention shift: Evidence from perceptual latency priming. Vision Research. 2003;43(12):1351-1363.
LibreCat
| Download (ext.)
2003 | Journal Article | LibreCat-ID: 6078 |
Scharlau I, Neumann O. Perceptual latency priming by masked and unmasked stimuli: Evidence for an attentional interpretation. Psychological Research. 2003;67(3):184-196.
LibreCat
| Download (ext.)
2003 | Journal Article | LibreCat-ID: 6086 |
Scharlau I, Neumann O. Temporal parameters and time course of perceptual latency priming. Acta Psychologica. 2003;113(2):185-203.
LibreCat
| Download (ext.)
2002 | Journal Article | LibreCat-ID: 6074 |
Scharlau I. Leading, but not trailing, primes influence temporal order perception: Further evidence for an attentional account of perceptual latency priming. Perception & Psychophysics. 2002;64(8):1346-1360.
LibreCat
| Download (ext.)
2002 | Conference Paper | LibreCat-ID: 39403
Flake S, Müller W. Specification of Real-Time Properties for UML Models. In: Proceedings of HICSS-35. ; 2002. doi:10.1109/HICSS.2002.994469
LibreCat
| DOI