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

Personal profile

Ancillary activities

No ancillary activities

Ancillary activities are updated daily

Fingerprint Dive into the research topics where Stefan Vijzelaar is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 2 Similar Profiles
Model checking Engineering & Materials Science
Model Checking Mathematics
Automata Mathematics
Logic Mathematics
Kripke Models Mathematics
Linear Temporal Logic Mathematics
Temporal logic Engineering & Materials Science
Proposition Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2010 2017

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

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

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