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

Research Output 2010 2017

  • 4 Conference contribution
  • 2 Article
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

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, 42.

Research output: Contribution to JournalArticleAcademicpeer-review

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

2011

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

Research output: Contribution to JournalArticleAcademicpeer-review

Open Access
File
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