Divide, Abstract, and Model-Check. - Karsten Stahl; Kai Baukus; Yassine Lakhnech; Martin Steffen (SPIN, 1999)

Verifying Universal Properties of Parameterized Networks. - Kai Baukus; Yassine Lakhnech; Karsten Stahl (FTRTFT, 2000)

Abstracting WS1S Systems to Verify Parameterized Networks. - Kai Baukus; Saddek Bensalem; Yassine Lakhnech; Karsten Stahl (TACAS, 2000)

Networks of Processes with Parameterized State Space. - Kai Baukus; Karsten Stahl; Saddek Bensalem; Yassine Lakhnech (VEPAS, 2001)

Verification of Parameterized Protocols. - Kai Baukus; Yassine Lakhnech; Karsten Stahl (J. Univers. Comput. Sci., 2001)

Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness. - Kai Baukus; Yassine Lakhnech; Karsten Stahl (VMCAI, 2002)

Abstraction-based verification of parameterized networks. - Kai Baukus (2003)

A Knowledge Based Analysis of Cache Coherence. - Kai Baukus; Ron van der Meyden (ICFEM, 2004)