Centrum Wiskunde & Informatica

Bug hunting with false negatives Tech Report

J.R. Calamé (Jens), N. Ioustinova (Natalia), J.C. van de Pol (Jaco) and N. Sidorova

January 2006
A Framework for Automatically Checking Anonymity with mCRL In Proceedings

T. Chothia (Tom), S.-M. Orzan (Simona-Mihaela), J. Pang (Jun) and M.T. Dashti (Mohammad)

January 2006
The generalized two-server problem Article

Journal of the ACM, 1-22.

R.A. Sitters (René) and L. Stougie (Leen)

January 2006
Q-Automata: Modelling the Resource Usage of Concurrent Components In Proceedings

T. Chothia (Tom) and J. Kleijn

January 2006
Analysing the Mute Anonymous File-Sharing System Using the pi-calculus In Proceedings

T. Chothia (Tom)

January 2006
Presenting Functors by Operations and Equations, in Foundations of Software Science and Computation Structures In Proceedings

M.M. Bonsangue (Marcello) and A. Kurz (Alexander)

January 2006
Modeling component connectors in Reo by constraint automata Article

Science of Computer Programming, 75-113.

F. Arbab (Farhad), C. Baier, J.J.M.M. Rutten (Jan) and M. Sirjani (Marjan)

January 2006
A Behavioral Model for Composition of Software Components Article

L'Objet, 33-76.

F. Arbab (Farhad)

January 2006

Previous

Next