Asymptotic normality of high level-large time crossings of a Gaussian process

Abstract

We prove the asymptotic normality of the standardized number of crossings of a centered stationary mixing Gaussian process when both the level and the time horizon go to infinity in such a way that the expected number of crossings also goes to infinity.

18 pages, corrected version