 | 2004 |
|---|
| 7 |       | Kai Baukus,
Ron van der Meyden:
A Knowledge Based Analysis of Cache Coherence.
ICFEM 2004: 99-114 |
| 2002 |
|---|
| 6 | | Kai Baukus,
Yassine Lakhnech,
Karsten Stahl:
Parameterized Verification of a Cache Coherence Protocol: Safety and Liveness.
VMCAI 2002: 317-330 |
| 2001 |
|---|
| 5 | | Kai Baukus,
Karsten Stahl,
Saddek Bensalem,
Yassine Lakhnech:
Networks of Processes with Parameterized State Space.
Electr. Notes Theor. Comput. Sci. 50(4): (2001) |
| 4 | | Kai Baukus,
Yassine Lakhnech,
Karsten Stahl:
Verification of Parameterized Protocols.
J. UCS 7(2): 141-158 (2001) |
| 2000 |
|---|
| 3 | | Kai Baukus,
Yassine Lakhnech,
Karsten Stahl:
Verifying Universal Properties of Parameterized Networks.
FTRTFT 2000: 291-303 |
| 2 | | Kai Baukus,
Saddek Bensalem,
Yassine Lakhnech,
Karsten Stahl:
Abstracting WS1S Systems to Verify Parameterized Networks.
TACAS 2000: 188-203 |
| 1999 |
|---|
| 1 | | Karsten Stahl,
Kai Baukus,
Yassine Lakhnech,
Martin Steffen:
Divide, Abstract, and Model-Check.
SPIN 1999: 57-76 |
