Brief announcement: a shared disk on distributed storage. - Stefan Vijzelaar; Herbert Bos; Wan J. Fokkink (PODC, 2010)

Distributed MAP in the SpinJa Model Checker - Stefan Vijzelaar; Kees Verstoep; Wan J. Fokkink; Henri E. Bal (PDMC, 2011)

Bonsai: Cutting Models Down to Size. - Stefan Vijzelaar; Kees Verstoep; Wan J. Fokkink; Henri E. Bal (Ershov Memorial Conference, 2014)

Multi-valued Abstraction Using Lattice Operations. - Stefan Vijzelaar; Wan J. Fokkink (ACSD, 2015)

Creating Büchi Automata for Multi-valued Model Checking. - Stefan J. J. Vijzelaar; Wan J. Fokkink (FORTE, 2017)

Multi-valued Simulation and Abstraction Using Lattice Operations. - Stefan Vijzelaar; Wan J. Fokkink (ACM Trans. Embed. Comput. Syst., 2017)