Publication

Modeling component connectors in Reo by constraint automata Article

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

A Behavioral Model for Composition of Software Components Article

F. Arbab (Farhad)

AMIS/Ambulant Daisy Player Software

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

FNB Daisy-III Player Software

A.J. Jansen (Jack)

Proportionate Flow Shop Games Tech Report

A. Estévez-Fernandéz (Arantza), M.A. Mosquera, P. Borm and H. Hamers

Proceedings of the 2nd workshop on linking aspect technology and evolution, Bonn, Germany, 20.03.2006 Tech Report

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)

Continuity for self-destructive percolation in the plane Tech Report

J. van den Berg (Rob), R.M. Brouwer (Rachel) and B. Vagvölgyi (Balint)