Research Output per year
Personal profile
Ancillary activities
No ancillary activities
Ancillary activities are updated daily
Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.
- 1 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
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 proceeding › Conference contribution › Academic › peer-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 Journal › Article › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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-79Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-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-90Research output: Contribution to Journal › Article › Academic › peer-review
Open Access
File