Extremes and upcrossing intensities for P-differentiable stationary processes

Given a stationary differentiable in probability process we express the asymptotic behaviour of the tail P{supt[set membership, variant][0,1] [xi](t)>u} for large u through a certain functional of the conditional law ([xi]'(1)[xi](1)>u). Under technical conditions this functional becomes the upcrossing intensity [mu](u) of the level u by [xi](t). However, by not making explicit use of [mu](u) we avoid the often hard-to-verify technical conditions required in the calculus of crossings and to relate upcrossings to extremes. We provide a useful criterion for verifying a standard condition of tightness-type used in the literature on extremes. This criterion is of independent value. Although we do not use crossings theory, our approach has some impact on this subject. Thus we complement existing results due to, e.g. Leadbetter (Ann. Math. Statist. 37 (1983) 260-267) and Marcus (Ann. Probab. 5 (1977) 52-71) by providing a new and useful set of technical conditions which ensure the validity of Rice's formula . As examples of application we study extremes of -valued Gaussian processes with strongly dependent component processes, and of totally skewed moving averages of [alpha]-stable motions. Further we prove Belayev's multi-dimensional version of Rice's formula for outcrossings through smooth surfaces of -valued [alpha]-stable processes.