Here we discuss the Gaussian approximation for the empirical process under different kinds of dependence assumptions for the underlying stationary sequence. First, we state a general criterion to prove tightness of the empirical process associated with a stationary sequence of uniformly distributed random variables. This tightness criterion can be verified for many different dependence structures. For ρ-mixing sequences, by an application of a Rosenthal-type inequality, tightness is verified under the same condition leading to the usual CLT. For α-dependent sequences whose α-dependent coefficients decay polynomially to zero, it is shown to hold with the help of the Rosenthal inequality stated in Section 3.3. Since the asymptotic behavior of the finite-dimensional distributions of the empirical process is handled via the CLT developed in previous chapters, we then derive the functional CLT for the empirical process associated with the above-mentioned classes of stationary sequences. β-dependent sequences are also investigated by directly proving tightness of the empirical process.