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
Assertion-Based Verification of RTOS Properties
M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37040
RTOS-Aware Refinement for TLM2.0-based HW/SW Design
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
LibreCat
| DOI
M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie, in: Proceedings of DATE’10, IEEE, Dresden, 2010.
2010 | Conference Paper | LibreCat-ID: 37053
Verification of Real-Time Properties for Hardware-Dependant Software
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.
LibreCat
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLDVT2010, IEEE, 2010.
2009 | Conference Paper | LibreCat-ID: 11723 | 
Robust vehicle localization based on multi-level sensor fusion and online parameter estimation
M. Bevermeier, S. Peschke, R. Haeb-Umbach, in: 6th Workshop on Positioning Navigation and Communication (WPNC 2009), 2009, pp. 235–242.
LibreCat
| DOI
| Download (ext.)
M. Bevermeier, S. Peschke, R. Haeb-Umbach, in: 6th Workshop on Positioning Navigation and Communication (WPNC 2009), 2009, pp. 235–242.
2009 | Conference Paper | LibreCat-ID: 37066
Increased Accuracy through Noise Injection in Abstract RTOS Simulation
H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.
LibreCat
| DOI
H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.
2008 | Conference Paper | LibreCat-ID: 37075
An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration
H. Zabel, W. Müller, 271 (2008).
LibreCat
| DOI
H. Zabel, W. Müller, 271 (2008).
2007 | Journal Article | LibreCat-ID: 10646
Server-based execution of periodic tasks on dynamically reconfigurable hardware
K. Danne, R. Mühlenbernd, M. Platzner, IET Computers Digital Techniques 1 (2007) 295–302.
LibreCat
| DOI
K. Danne, R. Mühlenbernd, M. Platzner, IET Computers Digital Techniques 1 (2007) 295–302.
2007 | Conference Paper | LibreCat-ID: 11785 |
OFDM Channel Estimation Based on Combined Estimation in Time and Frequency Domain
R. Haeb-Umbach, M. Bevermeier, in: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2007), 2007, pp. III-277-III–280.
LibreCat
| DOI
| Download (ext.)
R. Haeb-Umbach, M. Bevermeier, in: IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2007), 2007, pp. III-277-III–280.
2007 | Journal Article | LibreCat-ID: 6070 |
Experiments on the Fehrer-Raab effect and the 'Weather Station Model' of visual backward masking.
O. Neumann, I. Scharlau, Psychological Research 71 (2007) 667–677.
LibreCat
| Download (ext.)
O. Neumann, I. Scharlau, Psychological Research 71 (2007) 667–677.
2007 | Journal Article | LibreCat-ID: 6079 |
Perceptual latency priming: A measure of attentional facilitation.
I. Scharlau, Psychological Research 71 (2007) 678–686.
LibreCat
| Download (ext.)
I. Scharlau, Psychological Research 71 (2007) 678–686.
2006 | Journal Article | LibreCat-ID: 6073 |
Latency facilitation in temporal-order judgments: Time course of facilitation as a function of judgment type.
I. Scharlau, U. Ansorge, G. Horstmann, Acta Psychologica 122 (2006) 129–159.
LibreCat
| Download (ext.)
I. Scharlau, U. Ansorge, G. Horstmann, Acta Psychologica 122 (2006) 129–159.
2005 | Conference Paper | LibreCat-ID: 39029
A Model-Based Approach for Executable Specification on Reconfigurable Hardware
T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE, Munich, Germany , 2005.
LibreCat
| DOI
T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE, Munich, Germany , 2005.
2004 | Journal Article | LibreCat-ID: 6068 |
Evidence against response bias in temporal order tasks with attention manipulation by masked primes.
I. Scharlau, Psychological Research 68 (2004) 224–236.
LibreCat
| Download (ext.)
I. Scharlau, Psychological Research 68 (2004) 224–236.
2004 | Conference Paper | LibreCat-ID: 39069
Past- and Future-Oriented Time-Bound Temporal Properties with OCL
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
2003 | Journal Article | LibreCat-ID: 34565
Formal Semantics of Static and Temporal State-Oriented OCL Constraints
S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003) 164–186.
LibreCat
| DOI
S. Flake, W. Müller, Journal on Software and System Modeling (SoSyM) 2 (2003) 164–186.
2003 | Journal Article | LibreCat-ID: 6065 |
Direct parameter specification of an attention shift: Evidence from perceptual latency priming.
I. Scharlau, U. Ansorge, Vision Research 43 (2003) 1351–1363.
LibreCat
| Download (ext.)
I. Scharlau, U. Ansorge, Vision Research 43 (2003) 1351–1363.
2003 | Journal Article | LibreCat-ID: 6078 |
Perceptual latency priming by masked and unmasked stimuli: Evidence for an attentional interpretation.
I. Scharlau, O. Neumann, Psychological Research 67 (2003) 184–196.
LibreCat
| Download (ext.)
I. Scharlau, O. Neumann, Psychological Research 67 (2003) 184–196.
2003 | Journal Article | LibreCat-ID: 6086 |
Temporal parameters and time course of perceptual latency priming.
I. Scharlau, O. Neumann, Acta Psychologica 113 (2003) 185–203.
LibreCat
| Download (ext.)
I. Scharlau, O. Neumann, Acta Psychologica 113 (2003) 185–203.
2002 | Journal Article | LibreCat-ID: 6074 |
Leading, but not trailing, primes influence temporal order perception: Further evidence for an attentional account of perceptual latency priming.
I. Scharlau, Perception & Psychophysics 64 (2002) 1346–1360.
LibreCat
| Download (ext.)
I. Scharlau, Perception & Psychophysics 64 (2002) 1346–1360.
2002 | Conference Paper | LibreCat-ID: 39403
Specification of Real-Time Properties for UML Models
S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.