Centrum Wiskunde & Informatica

The Formal Specification Language mCRL2 In Proceedings

J.F. Groote (Jan Friso), A.H.J. Mathijssen (Aad), Y.S. Usenko (Yaroslav), M.A. Reniers (Michel) and M.J. van Weerdenburg (Muck)

January 2007
Modeling and verifying a Real-Life Industrial Session-Layer Protocol in $\mu$CRL2. Tech Report

Y.S. Usenko (Yaroslav), R. Schreurs (Rene), S. ten Hoedt (Stefan) and M.C.J.D. van Eekelen (Marko)

January 2007
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap In Proceedings

F. Dechesne (Francien), M.R. Mousavi and S.-M. Orzan (Simona-Mihaela)

January 2007
Development of the discrete adjoint for a 3D unstructured Euler solver In Proceedings

G. Carpentieri (Giampietro), B. Koren (Barry) and M.J.L. van Tooren

January 2007
A novel physical model and computational method for non-isentropic, compressible two-fluid flow In Proceedings

J. Wackers (Jeroen) and B. Koren (Barry)

January 2007
Prize winning two-fluid flow method, Best MSc work 2006 Article

Leonardo Times, 44-45.

J. Naber (Jorick) and B. Koren (Barry)

January 2007
An improved front tracking method for the Euler equations Article

Journal of Computational Physics, 224(2), 712-728.

J.A.S. Witteveen (Jeroen), B. Koren (Barry) and P.G. Bakker

January 2007
Modifying a sports car's aerodynamics while preserving its aesthetic appearance, Spyker's C8 Spyder Article

Leonardo Times, 12-13.

D. van der Werff, G. Adriaensen, B. Koren (Barry) and M.J.L. van Tooren

January 2007

Previous

Next