Personal profile

Ancillary activities

No ancillary activities

Last update Ancillary Activities: Amsterdam (2018-01-22)

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