Publication

Divide and congruence: from decomposition of modalities to preservation of branching bisimulation In Proceedings

W.J. Fokkink (Wan), R.J. van Glabbeek (Rob) and P. de Wind

Documenting software systems using types Article

A. van Deursen (Arie) and L.M.F. Moonen (Leon)

Aiding in the comprehension of testsuites In Proceedings

B. Cornelissen, A. van Deursen (Arie) and L.M.F. Moonen (Leon)

Discovering faults in idiom-based exception handling In Proceedings

M. Bruntink (Magiel), A. van Deursen (Arie) and T. Tourwé (Tom)

Performance analysis of admission control for integrated services with minimum rate guarantees In Proceedings

O.J. Boxma (Onno), A.F. Gabor, R. Núñez Queija (Rudesindo) and H.-P. Tan (Hwee-Pink)

De architectuur van Ajax ontrafeld Article

A. Mesbah (Ali) and A. van Deursen (Arie)

Proceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation Proceedings

Applying and combining three different aspect mining techniques Article

M. Ceccato, A.M. Marin (Marius), K. Mens, L.M.F. Moonen (Leon), P. Tonella and T. Tourwé (Tom)