Centrum Wiskunde & Informatica

Modeling and Analysis of Thread-Pools in an Industrial Communication Platform In Proceedings

F.S. de Boer (Frank), T. Chothia (Tom) and M.M. Jaghoori (Mohammad Mahdi)

January 2009
Foreword Preface

P. Balbiani (Philippe), H. van Ditmarsch (Hans) and D.J.N. van Eijck (Jan)

January 2009
Modeling and Analysis of Thread-Pools in an Industrial Communication Platform In Proceedings

F.S. de Boer (Frank), I. Grabe (Immo), M.M. Jaghoori (Mohammad Mahdi), A. Stam and W. Yi

January 2009
XForms 1.1 Test Suite Software

S. Pemberton (Steven) and not CWI et al

January 2009
Symmetry and Partial Order Reduction Techniques in Model Checking Rebeca Article

Acta Informatica, 47(1), 33-66.

M.M. Jaghoori (Mohammad Mahdi), M. Sirjani (Marjan), M.R. Mousavi, E. Khamespanah (Ehsan) and A. Movaghar (Ali)

January 2009
Towards Model Checking Executable UML Specifications in mCRL2 In Proceedings

H.H. Hansen (Helle), J. Ketema, M.R. Mousavi, S.P. Luttik (Bas) and J.C. van de Pol (Jaco)

January 2009
Neighbourhood Structures: Bisimilarity and Basic Model Theory Article

Logical Methods in Computer Science, 5(2)

H.H. Hansen (Helle), C.A. Kupke (Clemens) and E. Pacuit

January 2009
Efficient Multigrid Methods based on improved Coarse Grid Correction Techniques Dissertation

Scientific Computing

H. bin Zubair (Hisham)

January 2009

Previous

Next