Assertion-Based Verification of RTOS Properties
M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.

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.

Verification of Real-Time Properties for Hardware-Dependant Software
W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of HLD, IEEE, 2010.

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.

Increased Accuracy through Noise Injection in Abstract RTOS Simulation
H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.

An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration
H. Zabel, W. Müller, 271 (2008).

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.

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.

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.

Perceptual latency priming: A measure of attentional facilitation.
I. Scharlau, Psychological Research 71 (2007) 678–686.

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.

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.

Evidence against response bias in temporal order tasks with attention manipulation by masked primes.
I. Scharlau, Psychological Research 68 (2004) 224–236.

Past- and Future-Oriented Time-Bound Temporal Properties with OCL
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.

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.

Direct parameter specification of an attention shift: Evidence from perceptual latency priming.
I. Scharlau, U. Ansorge, Vision Research 43 (2003) 1351–1363.

Perceptual latency priming by masked and unmasked stimuli: Evidence for an attentional interpretation.
I. Scharlau, O. Neumann, Psychological Research 67 (2003) 184–196.

Temporal parameters and time course of perceptual latency priming.
I. Scharlau, O. Neumann, Acta Psychologica 113 (2003) 185–203.

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.

Specification of Real-Time Properties for UML Models
S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA , 2002.