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.


Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • 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., 3 Jan 2022, In: Information systems. 103, 0306-4379, 101456.

    Research output: Contribution to journalArticleAcademicpeer-review

    1 Downloads (Pure)
  • Alpinist: An Annotation-Aware GPU Program Optimizer

    Şakar, Ö., Safari, M., Huisman, M. & Wijs, A., 2022, Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II. Fisman, D. & Rosu, G. (eds.). Cham: Springer, p. 332–352 21 p. (Lecture Notes in Computer Science; vol. 13244).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
    9 Downloads (Pure)
  • An Overview of Modest Models and Tools for Real Stochastic Timed Systems

    Hartmanns, A., 21 Mar 2022, Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022. Dubslaff, C. & Luttik, B. (eds.). p. 1-12 12 p. (EPTCS; vol. 355).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access