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.

    Profiles

    No photo of A. Adil
    20122019
    No photo of Faizan Ahmed

    Faizan Ahmed

    Person: Academic

    20132014
    No photo of Mehmet Akşit

    Mehmet Akşit

    Person: PNUT

    19882018

    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
    File
    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
    File
  • 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

    Dataset

    A Modest Markov Automata Tutorial (Artifact)

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

    Dataset

    Prizes

  • Beste paper award

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

    Prize

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