Research output per year
Research output per year
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.
Network
Recent external collaboration on country level. Dive into details by clicking on the dots or
Research output
-
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
-
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
-
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 AccessFile171 Downloads (Pure)