Stefan Vijzelaar

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 1

Top Topics

Multiple Valued

Boolean Functions

Top Venues

ACM Trans. Embed. Comput. Syst.

Ershov Memorial Conference

Publications

Stefan Vijzelaar, Wan J. Fokkink
Multi-valued Simulation and Abstraction Using Lattice Operations. ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Stefan Vijzelaar, Wan J. Fokkink
Multi-valued Abstraction Using Lattice Operations. ACSD (2015)
Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal
Bonsai: Cutting Models Down to Size. Ershov Memorial Conference (2014)
Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal
Distributed MAP in the SpinJa Model Checker PDMC (2011)
Stefan Vijzelaar, Herbert Bos, Wan J. Fokkink
Brief announcement: a shared disk on distributed storage. PODC (2010)