Centrum Wiskunde & Informatica

Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models Article

Journal of Universal Computer Science, 11(6), 1054-1082.

M. Sirjani (Marjan), A. Movaghar (Ali), A. Shali and F.S. de Boer (Frank)

January 2005
De Software-Evolutieparadox Inaugural Lecture

A. van Deursen (Arie)

January 2005
Uiteindelijk loopt elk systeem vast Article

Automatisering Gids, 38(10)

A. van Deursen (Arie)

January 2005
Onderzoekscentrum West, Aflevering 45 Article

I/O ICT Onderzoek, 2(1)

P. Klint (Paul)

January 2005
An intruder model for verifying termination in security protocols Tech Report

J.G. Cederquist

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

J.G. Cederquist

January 2005
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)

January 2005
A distributed tool for breadth-first state space generation Software

B. Lisser (Bert)

January 2005

Previous

Next