Centrum Wiskunde & Informatica

A distributed algorithm for strong bisimulation reduction of state spaces Article

International Journal on Software Tools for Technology Transfer, 7(1), 74-86.

S.C.C. Blom (Stefan) and S.-M. Orzan (Simona-Mihaela)

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
several tools for TT-MEDAL, Tipsy, etc, and maintained the distributed software for FACS Software

B. Lisser (Bert)

January 2005
(a) object-oriented layer library for the µ CRL library, (b) object-oriented AST library for Aldébaran LTSs, (c) µ CRL specification abstractor (reengineering based on (a)), (d) abstract test trace selector (based on (b)), (e) test data constraint generat Software

J.R. Calamé (Jens)

January 2005
Guest editors' introduction: 10th WCRE Working Conference on Reverse Engineering Article

IEEE Transactions on Software Engineering, 31(2), 97-98.

A. van Deursen (Arie) and E. Stroulia

January 2005

Previous

Next