CWI Institutional Repository
Scholarly works by researchers at Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands-
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 -
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
-
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
-
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
-
Schedulability of Asynchronous Real-Time Concurrent Objects Article
Journal of Logic and Algebraic Programming, 402-416.M.M. Jaghoori (Mohammad Mahdi), F.S. de Boer (Frank), T. Chothia (Tom) and M. Sirjani (Marjan)
January 2009
-
Decomposing port automata In Proceedings
January 2009 -
January 2009
-
Faster scannerless GLR parsing In Proceedings
G.R. Economopoulos (Giorgos Robert), P. Klint (Paul) and J.J. Vinju (Jurgen)
January 2009