Centrum Wiskunde & Informatica

NIPS Software

M. Weber (Michael) and S. Schurmans

January 2006
Security of multi-party protocols: Epistemics and verification Magazine Article

D.J.N. van Eijck (Jan), F. Dechesne (Francien), S.-M. Orzan (Simona-Mihaela), J.C. van de Pol (Jaco), E.P. de Vink (Erik) and Y. Wang (Yanjing)

January 2006
VeriGEM: A verification grid for enhanced model checking Magazine Article

B. Haverkort, J.F. Groote (Jan Friso), J.C. van de Pol (Jaco), M. Kuntz and M. Weber (Michael)

January 2006
FNB Daisy-III Player Software

A.J. Jansen (Jack)

January 2006
AMIS/Ambulant Daisy Player Software

A.J. Jansen (Jack) and M. DeMeglio

January 2006
A Behavioral Model for Composition of Software Components Article

L'Objet, 33-76.

F. Arbab (Farhad)

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
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

Previous

Next