Towards model-based test generation and validation for TTCN3 Tech Report

W.J. Fokkink (Wan), P.H. Deussen, N. Ioustinova (Natalia), J. Seubers and J.C. van de Pol (Jaco)

On the quest for impartiality: Design and analysis of a fair non-repudiation protocol Tech Report

J.G. Cederquist

An intruder model for verifying termination in security protocols Tech Report

J.G. Cederquist

An assertion-based proof system for multithreaded Java Article

E. Abraham (Erika), F.S. de Boer (Frank), W.P. de Roever and M. Steffen

Onderzoekscentrum West, Aflevering 45 Article

P. Klint (Paul)

Uiteindelijk loopt elk systeem vast Article

A. van Deursen (Arie)

Solving scheduling problems by untimed model checking In Proceedings

A.J. Wijs (Anton), J.C. van de Pol (Jaco) and E. Bortnik

Integrated Formal Methods - 5th International Conference, IFM 2005 Proceedings