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, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based Verification of RTOS Properties.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457130.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37040
Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456965.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker. “Verification of Real-Time Properties for Hardware-Dependant Software.” In Proceedings of HLDVT2010. IEEE, 2010.
LibreCat
2009 | Conference Paper | LibreCat-ID: 11723 | 
Bevermeier, Maik, Sven Peschke, and Reinhold Haeb-Umbach. “Robust Vehicle Localization Based on Multi-Level Sensor Fusion and Online Parameter Estimation.” In 6th Workshop on Positioning Navigation and Communication (WPNC 2009), 235–42, 2009. https://doi.org/10.1109/WPNC.2009.4907833.
LibreCat
| DOI
| Download (ext.)
2009 | Conference Paper | LibreCat-ID: 37066
Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.” In Proceedings of DATE’09. Nice, France, 2009. https://doi.org/10.1109/DATE.2009.5090925.
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37075
Zabel, Henning, and Wolfgang Müller. “An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration.” Edited by L. Kleinjohann and B. Kleinjohann. IFIP – The International Federation for Information Processing. Dordrecht: Springer Verlag, 2008. https://doi.org/10.1007/978-0-387-09661-2_18.
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 10646
Danne, Klaus, Roland Mühlenbernd, and Marco Platzner. “Server-Based Execution of Periodic Tasks on Dynamically Reconfigurable Hardware.” IET Computers Digital Techniques 1, no. 4 (2007): 295–302. https://doi.org/10.1049/iet-cdt:20060186.
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 11785 |
Haeb-Umbach, Reinhold, and Maik Bevermeier. “OFDM Channel Estimation Based on Combined Estimation in Time and Frequency Domain.” In IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2007), 3:III-277-III–280, 2007. https://doi.org/10.1109/ICASSP.2007.366526.
LibreCat
| DOI
| Download (ext.)
2007 | Journal Article | LibreCat-ID: 6070 |
Neumann, Odmar, and Ingrid Scharlau. “Experiments on the Fehrer-Raab Effect and the ‘Weather Station Model’ of Visual Backward Masking.” Psychological Research 71, no. 6 (2007): 667–77.
LibreCat
| Download (ext.)
2007 | Journal Article | LibreCat-ID: 6079 |
Scharlau, Ingrid. “Perceptual Latency Priming: A Measure of Attentional Facilitation.” Psychological Research 71, no. 6 (2007): 678–86.
LibreCat
| Download (ext.)
2006 | Journal Article | LibreCat-ID: 6073 |
Scharlau, Ingrid, Ulrich Ansorge, and Gernot Horstmann. “Latency Facilitation in Temporal-Order Judgments: Time Course of Facilitation as a Function of Judgment Type.” Acta Psychologica 122, no. 2 (2006): 129–59.
LibreCat
| Download (ext.)
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based Approach for Executable Specification on Reconfigurable Hardware.” In Proceedings of DATE’05. Munich, Germany : IEEE, 2005. https://doi.org/10.1109/DATE.2005.20.
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 6068 |
Scharlau, Ingrid. “Evidence against Response Bias in Temporal Order Tasks with Attention Manipulation by Masked Primes.” Psychological Research 68, no. 4 (2004): 224–36.
LibreCat
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 39069
Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” In Proceedings of SEFM´04. Beijing, China: IEEE, 2004. https://doi.org/10.1109/SEFM.2004.1347516.
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal State-Oriented OCL Constraints.” Journal on Software and System Modeling (SoSyM) 2, no. 3 (2003): 164–86. https://doi.org/10.1007/s10270-003-0026-x.
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 6065 |
Scharlau, Ingrid, and Ulrich Ansorge. “Direct Parameter Specification of an Attention Shift: Evidence from Perceptual Latency Priming.” Vision Research 43, no. 12 (2003): 1351–63.
LibreCat
| Download (ext.)
2003 | Journal Article | LibreCat-ID: 6078 |
Scharlau, Ingrid, and Odmar Neumann. “Perceptual Latency Priming by Masked and Unmasked Stimuli: Evidence for an Attentional Interpretation.” Psychological Research 67, no. 3 (2003): 184–96.
LibreCat
| Download (ext.)
2003 | Journal Article | LibreCat-ID: 6086 |
Scharlau, Ingrid, and Odmar Neumann. “Temporal Parameters and Time Course of Perceptual Latency Priming.” Acta Psychologica 113, no. 2 (2003): 185–203.
LibreCat
| Download (ext.)
2002 | Journal Article | LibreCat-ID: 6074 |
Scharlau, Ingrid. “Leading, but Not Trailing, Primes Influence Temporal Order Perception: Further Evidence for an Attentional Account of Perceptual Latency Priming.” Perception & Psychophysics 64, no. 8 (2002): 1346–60.
LibreCat
| Download (ext.)
2002 | Conference Paper | LibreCat-ID: 39403
Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties for UML Models.” In Proceedings of HICSS-35. Big Island, HI, USA , 2002. https://doi.org/10.1109/HICSS.2002.994469.
LibreCat
| DOI