Kai Baukus

Publication Activity (10 Years)

Years Active: 1999-2004
Publications (10 Years): 0

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Kai Baukus, Ron van der Meyden
A Knowledge Based Analysis of Cache Coherence. ICFEM (2004)
Kai Baukus, Yassine Lakhnech, Karsten Stahl
Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness. VMCAI (2002)
Kai Baukus, Yassine Lakhnech, Karsten Stahl
Verification of Parameterized Protocols. J. Univers. Comput. Sci. 7 (2) (2001)
Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech
Networks of Processes with Parameterized State Space. Electron. Notes Theor. Comput. Sci. 50 (4) (2001)
Kai Baukus, Yassine Lakhnech, Karsten Stahl
Verifying Universal Properties of Parameterized Networks. FTRTFT (2000)
Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl
Abstracting WS1S Systems to Verify Parameterized Networks. TACAS (2000)
Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen
Divide, Abstract, and Model-Check. SPIN (1999)