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

Semantics Engineering & Materials Science
Algebra Engineering & Materials Science
Axiomatization Mathematics
Process Algebra Mathematics
Model checking Engineering & Materials Science
Network protocols Engineering & Materials Science
Model Checking Mathematics
Bisimulation Mathematics

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

Research Output 2002 2018

Formal Modeling and Analysis of Mobile Ad hoc Networks

Ghassemi Esfahani, F. 2018 232 p.

Research output: ThesisPhD Thesis - Research VU, graduation VU

Open Access
File

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 contribution

Model checking
Model Checking
Automata
Logic
Kripke Models

Detecting useless transitions in pushdown automata

Grune, D., Fokkink, W., Chatzikalymnios, E., Hond, B. & Rutgers, P. 2017 Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Proceedings. Springer/Verlag, Vol. 10168 LNCS, p. 421-434 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10168 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Pushdown Automata
Finite automata
Finite Automata
Automata

Divide and congruence II: From decomposition of modal formulas to preservation of delay and weak bisimilarity

Fokkink, W. & van Glabbeek, R. 1 Dec 2017 In : Information and Computation. 257, p. 79-113 35 p.

Research output: Contribution to journalArticle

Preservation
Congruence
Divides
Decomposition Method
Decomposition

Divide and congruence III: Stability & divergence

Fokkink, W., Glabbeek, R. V. & Luttik, B. 1 Aug 2017 28th International Conference on Concurrency Theory, CONCUR 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 85, 15

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Semantics
Decomposition