20102017
If you made any changes in Pure these will be visible here soon.

Research Output 2010 2017

  • 4 Conference contribution
  • 2 Article
Filter
Conference contribution
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 proceedingConference contributionAcademicpeer-review

Model checking
Model Checking
Automata
Logic
Kripke Models
2015

Bonsai: Cutting models down to size

Vijzelaar, S. J. J., Verstoep, K., Bal, H. E. & Fokkink, W. J., 2015, Perspectives of System Informatics: 9th International Ershov Informatics Conference, PSI 2014, Revised Selected Papers. Virbitskaite, I., Voronkov, A. & Virbitskaite, I. (eds.). Springer - Verlag, p. 361-375 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8974).

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

Model checking
Model Checking
Concurrent
Model
Concretes

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: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review

2010

Brief announcement: A shared disk on distributed storage

Vijzelaar, S. J. J., Bos, H. J. & Fokkink, W. J., 2010, Proc. 29th Symposium on Principles of Distributed Computing - PODC'10. ACM, p. 79-80

Research output: Chapter in Book / Report / Conference proceedingConference contributionAcademicpeer-review