Centrum Wiskunde & Informatica

A computer checked algebraic verification of a distributed summation algorithm Article

Formal Aspects of Computing, 17(1), 19-37.

J.F. Groote (Jan Friso), F. Monin and J.G. Springintveld

January 2005
Capacity of wireless networks with intra- and inter-cell mobility Tech Report

S.C. Borst (Sem) and A. Proutière

January 2005
Verification of a sliding window protocol in $\mu$ CRL and PVS Article

Formal Aspects of Computing, 17(3), 342-388.

B. Badban (Bahareh), W.J. Fokkink (Wan), J.F. Groote (Jan Friso), J. Pang (Jun) and J.C. van de Pol (Jaco)

January 2005
Analysing the BKE-security protocol with $\mu$CRL In Proceedings

S.C.C. Blom (Stefan), J.F. Groote (Jan Friso), S. Mauw (Sjouke) and A. Serebrenik (Alexander)

January 2005
Sojourn time tails in the M/D/1 processor-sharing queue Tech Report

R.R. Egorova (Regina Robertovna), A.P. Zwart (Bert) and O.J. Boxma (Onno)

January 2005
Bliksem boven bliksem Article

Zenit

U. Ebert (Ute) and F. van der Lijn

January 2005
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
Efficient scheduling of multi-user multi-antenna systems Tech Report

K.P. Jagannathan, S.C. Borst (Sem), P.A. Whiting and E. Modiano

January 2005

Previous

Next