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.

Profiles

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

Mehmet Akşit

Person: PNUT

19882018
Photo of Yeray Barrios

Yeray Barrios

Person: Academic

20152018

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
File

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
Costs
Experiments

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

Automata
Modeling
High level languages
Model checking
Process Algebra

Prizes

best practice
computer science
Sweden
education
news

Beste paper award

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

Prize

Uncertainty

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

trucks
diagrams

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