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.

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


    No photo of A. Adil
    No photo of Faizan Ahmed

    Faizan Ahmed

    Person: Academic

    No photo of Mehmet Akşit

    Mehmet Akşit

    Person: PNUT


    Research Output

    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
    100 Downloads (Pure)

    A methodology for evaluating tooth wear monitoring using timed automata modelling

    Wetselaar, P., Lobbezoo, F., de Jong, P., Choudry, U., van Rooijen, J. & Langerak, R., Mar 2020, In : Journal of Oral Rehabilitation. 47, 3, p. 353-360 8 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
  • 1 Citation (Scopus)
    12 Downloads (Pure)

    Classification with a disordered dopant-atom network in silicon

    Chen, T., Gelder, van, J., van de Ven, B., Amitonov, S., Wilde, de, B., Ruiz, H-C., Broersma, H., Bobbert, P. A., Zwanenburg, F. A. & van der Wiel, W. G., 15 Jan 2020, In : Nature. 577, p. 341-345

    Research output: Contribution to journalArticleAcademicpeer-review

  • Datasets

    Artifact for Automated Verification of Parallel Nested DFS, TACAS’20

    Oortwijn, W. H. M. (Creator), Huisman, M. (Creator), Joosten, S. J. C. (Creator), van de Pol, J. (Creator), 4TU.Centre for Research Data, 2020


    A Modest Markov Automata Tutorial (Artifact)

    Hartmanns, A. (Creator), 4TU.Centre for Research Data, 24 Sep 2019



  • 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

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