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

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

Bisimulation Mathematics
Branching Mathematics
Timed Automata Mathematics
Computing Mathematics
Equivalence Mathematics
Model checking Engineering & Materials Science
Game Mathematics
Specification Mathematics

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

Research Output 2017 2018

Parity game reductions

Cranen, S., Keiren, J. J. A. & Willemse, T. A. C., Aug 2018, In : Acta Informatica. 55, 5, p. 401-444 44 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Model checking

An O(m log n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation

Groote, J. F., Jansen, D. N., Keiren, J. J. A. & Wijs, A. J., 23 Jun 2017, In : Acm Transactions on Computational Logic. 18, 2, 13.

Research output: Contribution to journalArticleAcademicpeer-review

Bisimulation
Branching
Equivalence
Computing
Time Complexity

Corrections to "A Menagerie of Timed Automata"

Keiren, J. J. A., Fontana, P. & Cleaveland, R., Oct 2017, In : Acm Computing Surveys. 50, 3, p. 1-8 8 p., 42.

Research output: Contribution to journalArticleAcademicpeer-review

Timed Automata
Expressiveness
Defects
Invariant
Computing

Games for Bisimulations and Abstraction

de Frutos Escrig, D., Keiren, J. J. A. & Willemse, T. A. C., 28 Nov 2017, In : Logical Methods in Computer Science. 13, 4, 40 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Bisimulation
Game
Specification
Specifications
Process Algebra