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

  • 3 Conference contribution
  • 3 Article

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: Scientific - peer-reviewConference contribution

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-79

Research output: Scientific - peer-reviewConference 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-375

Research output: Scientific - peer-reviewArticle

Open Access
File