René Schreurs

Testing of inter-process communication and synchronization of ITP LoadBalancer software via model-checking

Marko van Eekelen, Yaroslav S. Usenko, Stefan ten Hoedt, 2007 .

Analysis of a Session-Layer Protocol in mCRL2

Marko C. J. D. van Eekelen, Yaroslav S. Usenko, Stefan ten Hoedt, 2007, FMICS.

The value of information in a container collection system for end-of-life vehicles

René Schreurs, Harold Krikke, Ieke le Blanc, 2004, OR.

Modeling and verifying a Real--Life Industrial Session--Layer Protocol in mCRL2

M.C.J.D. van Eekelen, Yaroslav S. Usenko, Stefan ten Hoedt, 2007 .