Research Output per year
Personal profile
Ancillary activities
No ancillary activities
Ancillary activities are updated daily
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Research Output 2010 2017
Creating Büchi automata for multi-valued model checking
Vijzelaar, S. J. J. & Fokkink, W. J. 2017 Formal Techniques for Distributed Objects, Components, and Systems - 37th IFIP WG 6.1 International Conference, FORTE 2017 Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Proceedings. Springer/Verlag, Vol. 10321 LNCS, p. 210-224 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10321 LNCS)Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Multi-valued simulation and abstraction using lattice operations
Vijzelaar, S. & Fokkink, W. J. 1 Jan 2017 In : ACM Transactions on Embedded Computing Systems. 16, 2, 42Research output: Contribution to journal › Article
Multi-valued abstraction using lattice operations
Vijzelaar, S. J. J. & Fokkink, W. J. 2015 Proc. 15th Conference on Application of Concurrency to System Design - ACSD'15. IEEE, p. 70-79Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Bonsai: cutting models down to size
Vijzelaar, S. J. J., Verstoep, K., Bal, H. E. & Fokkink, W. J. 2014 In : Lecture Notes in Computer Science. 8974, p. 361-375Research output: Contribution to journal › Article
Distributed MAP in the SpinJa model checker
Vijzelaar, S. J. J., Verstoep, K., Fokkink, W. J. & Bal, H. E. 2011 In : Electronic Proceedings in Theoretical Computer Science. 72, p. 84-90Research output: Contribution to journal › Article
Open Access
File