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.
86 Publications
- 1
- 2
- 3
- 4 (current)
- 5
2010 | Journal Article | LibreCat-ID: 28449
Liebscher, G., Dailey-O’Cain, J., Müller, M., & Reichert, T. (2010). Negotiating identities through pronouns of address in an immigrant community. Pragmatics. Quarterly Publication of the International Pragmatics Association (IPrA), 20(3), 375–400. https://doi.org/10.1075/prag.20.3.04lie
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 6067
Tseng, P., Tuennermann, J., Roker-Knight, N., Winter, D., Scharlau, I., & Bridgeman, B. (2010). Enhancing implicit change detection through action. Perception, 39(10), 1311–1321.
LibreCat
2010 | Journal Article | LibreCat-ID: 46411
Azene, Y. T., Roy, R., Farrugia, D., Onisa, C., Mehnen, J., & Trautmann, H. (2010). Work roll cooling system design optimisation in presence of uncertainty and constrains. CIRP Journal of Manufacturing Science and Technology, 2(4), 290–298. https://doi.org/10.1016/j.cirpj.2010.06.001
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37007
Mischkalla, F., He, D., & Müller, W. (2010). Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456990
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37009
Oliveira, M. F. S., Zabel, H., & Müller, W. (2010). Assertion-Based Verification of RTOS Properties. Proceedings of DATE’10. 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/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. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456965
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37053
Müller, W., da S. Oliveira, M. F., Zabel, H., & Becker, M. (2010). Verification of Real-Time Properties for Hardware-Dependant Software. Proceedings of HLDVT2010. IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA.
LibreCat
2010 | Conference Paper | LibreCat-ID: 37039
Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., & Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings of DATE’10. Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456965
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 11723 |

Bevermeier, M., Peschke, S., & Haeb-Umbach, R. (2009). Robust vehicle localization based on multi-level sensor fusion and online parameter estimation. In 6th Workshop on Positioning Navigation and Communication (WPNC 2009) (pp. 235–242). https://doi.org/10.1109/WPNC.2009.4907833
LibreCat
| DOI
| Download (ext.)
2009 | Conference Paper | LibreCat-ID: 37066
Zabel, H., & Müller, W. (2009). Increased Accuracy through Noise Injection in Abstract RTOS Simulation. Proceedings of DATE’09. Design, Automation & Test in Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090925
LibreCat
| DOI
2008 | Conference Paper | LibreCat-ID: 37075
Zabel, H., & Müller, W. (2008). An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration (L. Kleinjohann & B. Kleinjohann, Eds.; Vol. 271). Springer Verlag. https://doi.org/10.1007/978-0-387-09661-2_18
LibreCat
| DOI
2007 | Journal Article | LibreCat-ID: 10646
Danne, K., Mühlenbernd, R., & Platzner, M. (2007). Server-based execution of periodic tasks on dynamically reconfigurable hardware. IET Computers Digital Techniques, 1(4), 295–302. https://doi.org/10.1049/iet-cdt:20060186
LibreCat
| DOI
2007 | Conference Paper | LibreCat-ID: 11785 |

Haeb-Umbach, R., & Bevermeier, M. (2007). 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, pp. III-277-III–280). https://doi.org/10.1109/ICASSP.2007.366526
LibreCat
| DOI
| Download (ext.)
2007 | Journal Article | LibreCat-ID: 6070 |

Neumann, O., & Scharlau, I. (2007). Experiments on the Fehrer-Raab effect and the “Weather Station Model” of visual backward masking. Psychological Research, 71(6), 667–677.
LibreCat
| Download (ext.)
2007 | Journal Article | LibreCat-ID: 6079 |

Scharlau, I. (2007). Perceptual latency priming: A measure of attentional facilitation. Psychological Research, 71(6), 678–686.
LibreCat
| Download (ext.)
2006 | Journal Article | LibreCat-ID: 6073 |

Scharlau, I., Ansorge, U., & Horstmann, G. (2006). Latency facilitation in temporal-order judgments: Time course of facilitation as a function of judgment type. Acta Psychologica, 122(2), 129–159.
LibreCat
| Download (ext.)
2005 | Conference Paper | LibreCat-ID: 39029
Schattkowsky, T., Müller, W., & Rettberg, A. (2005). A Model-Based Approach for Executable Specification on Reconfigurable Hardware. Proceedings of DATE’05. https://doi.org/10.1109/DATE.2005.20
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 6068 |

Scharlau, I. (2004). Evidence against response bias in temporal order tasks with attention manipulation by masked primes. Psychological Research, 68(4), 224–236.
LibreCat
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 39069
Flake, S., & Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. Proceedings of SEFM´04. Proceedings of the Second International Conference on Software Engineering and Formal Methods. https://doi.org/10.1109/SEFM.2004.1347516
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake, S., & Müller, W. (2003). Formal Semantics of Static and Temporal State-Oriented OCL Constraints. Journal on Software and System Modeling (SoSyM), 2(3), 164–186. https://doi.org/10.1007/s10270-003-0026-x
LibreCat
| DOI
- 1
- 2
- 3
- 4 (current)
- 5