Kai Baukus

According to our database, Kai Baukus authored at least 8 papers between 1999 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

A Knowledge Based Analysis of Cache Coherence.

Kai Baukus, Ron van der Meyden

Proceedings of the Formal Methods and Software Engineering, 2004

2003

Abstraction-based verification of parameterized networks.

Kai Baukus

PhD thesis, 2003

2002

Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness.

Kai Baukus, Yassine Lakhnech, Karsten Stahl

Proceedings of the Verification, 2002

2001

Verification of Parameterized Protocols.

Kai Baukus, Yassine Lakhnech, Karsten Stahl

J. Univers. Comput. Sci., 2001

Networks of Processes with Parameterized State Space.

Kai Baukus, Karsten Stahl, Saddek Bensalem, Yassine Lakhnech

Proceedings of the Verification of Parameterized Systems, 2001

2000

Abstracting WS1S Systems to Verify Parameterized Networks.

Kai Baukus, Saddek Bensalem, Yassine Lakhnech, Karsten Stahl

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Verifying Universal Properties of Parameterized Networks.

Kai Baukus, Yassine Lakhnech, Karsten Stahl

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999

Divide, Abstract, and Model-Check.

Karsten Stahl, Kai Baukus, Yassine Lakhnech, Martin Steffen

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999