Fingerprint Dive into the research topics where Formal Methods and Tools is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Model checking Engineering & Materials Science
Specifications Engineering & Materials Science
Testing Engineering & Materials Science
Graph in graph theory Mathematics
Formal methods Engineering & Materials Science
Specification languages Engineering & Materials Science
Temporal logic Engineering & Materials Science
Semantics Engineering & Materials Science

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


No photo of A. Adil
No photo of Mehmet Akşit

Mehmet Akşit

Person: PNUT

Photo of Yeray Barrios

Yeray Barrios

Person: Academic


Research Output 1987 2020

23 Downloads (Pure)

Alice & Eve: A celebration of women in computing

van Huizen, N., Kemper, P., Stoelinga, M. (ed.), Schaafstal, A. (ed.), Huisman, M. (ed.) & Lathouwers, S. (ed.), 2020, Enschede: University of Twente. 133 p.

Research output: Book/ReportBookProfessional

Open Access

Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones

Bloemen, V., Zelst, S. V., Aalst, W. V. D., Dongen, B. V. & Pol, J. V. D., 26 Oct 2019, In : Information systems. (journal pre-proof).

Research output: Contribution to journalArticleAcademicpeer-review

Data structures
Cost functions

A Modest Approach to Modelling and Checking Markov Automata

Butkova, Y., Hartmanns, A. & Hermanns, H., 4 Sep 2019, Proceedings of the 16th International Conference on Quantitative Evaluation of Systems (QEST 2019). Parker, D. & Wolf, V. (eds.). Cham: Springer, p. 52-69 18 p. (Lecture Notes in Computer Science; vol. 11785)(Theoretical Computer Science and General Issues).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

High level languages
Model checking
Process Algebra


best practice
computer science

Beste paper award

Maurice van Keulen (Recipient), Benjamin Kaminski (Recipient), Christoph Matheja (Recipient) & Joost P. Katoen (Recipient), 4 Oct 2018



Best Paper Award SPIN 2017

Wytse H.M. Oortwijn (Recipient), Tom van Dijk (Recipient) & Jaco van de Pol (Recipient), 14 Jul 2017

Prize: Honorary award


Activities 1997 2019

Educators Symposium 2019

Fiona Polack (Chair), Arend Rensink (Chair)
17 Sep 2019

Activity: Participating in or organising an eventOrganising a conference, workshop, ...

What is Software Change?

Arend Rensink (Speaker)
12 Apr 2019

Activity: Talk or presentationInvited talk

11th International Conference on Model Transformation, ICMT 2018

Arend Rensink (Chair), Jesús Sánchez Cuadrado (Chair)
25 Jul 2018

Activity: Participating in or organising an eventOrganising a conference, workshop, ...