Stefan Vijzelaar

According to our database, Stefan Vijzelaar authored at least 6 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Multi-valued Simulation and Abstraction Using Lattice Operations.

Stefan Vijzelaar, Wan J. Fokkink

ACM Trans. Embed. Comput. Syst., 2017

Creating Büchi Automata for Multi-valued Model Checking.

Stefan J. J. Vijzelaar, Wan J. Fokkink

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2017

2015

Multi-valued Abstraction Using Lattice Operations.

Stefan Vijzelaar, Wan J. Fokkink

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014

Bonsai: Cutting Models Down to Size.

Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal

Proceedings of the Perspectives of System Informatics, 2014

2011

Distributed MAP in the SpinJa Model Checker

Stefan Vijzelaar, Kees Verstoep, Wan J. Fokkink, Henri E. Bal

Proceedings of the Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, 2011

2010

Brief announcement: a shared disk on distributed storage.

Stefan Vijzelaar, Herbert Bos, Wan J. Fokkink

Proceedings of the 29th Annual ACM Symposium on Principles of Distributed Computing, 2010