Research output per year
Research output per year
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.
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Lukas Armborst
- Formal Methods and Tools - Internal PhD Candidate
- Digital Society Institute - Internal PhD Candidate
Person: Academic
-
A Case in Point: Verification and Testing of a EULYNX Interface
Bouwman, M., Wal, D. V. D., Luttik, B., Stoelinga, M. & Rensink, A., Mar 2023, In: Formal aspects of computing. 35, 1, p. 1–38 2.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile4 Citations (Scopus)9 Downloads (Pure) -
A Practitioner's Guide to MDP Model Checking Algorithms
Hartmanns, A., Junges, S., Quatmann, T. & Weininger, M., 22 Apr 2023, Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer Nature, Vol. 13993. p. 469-488 20 p. (Lecture Notes in Computer Science; vol. 13993).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile1 Citation (Scopus)8 Downloads (Pure) -
A reply: On the need for program contracts
Huisman, M., 11 May 2023, In: Journal of cross-disciplinary research in computational law. 1, 3, p. 19-20 2 p.Research output: Contribution to journal › Comment/Letter to the editor › Academic
Open AccessFile
Datasets
-
PhD Thesis Artifact: Correct Optimized GPU Programs
Safari, M. (Creator), 4TU.Centre for Research Data, 31 Jan 2022
DOI: 10.4121/19055453.v1
Dataset
-
PhD Thesis Artifact: Correct Optimized GPU Programs
Safari, M. (Creator), 4TU.Centre for Research Data, 31 Jan 2022
DOI: 10.4121/19055453
Dataset
-
Attack time analysis in dynamic attack trees via integer linear programming
Lopuhaä - Zwakenberg, M. A. (Creator), Zenodo, 30 Sept 2021
Dataset
Prizes
-
2018 Best Practices in Education Award
Mader, Angelika H. (Recipient), Fehnker, Ansgar (Recipient) & Schaafstal, Alma M. (Recipient), 9 Oct 2018
Prize
-
Beste paper award
van Keulen, Maurice (Recipient), Kaminski, Benjamin (Recipient), Matheja, Christoph (Recipient) & Katoen, Joost-Pieter (Recipient), 4 Oct 2018
Prize
-
Best Paper Award SPIN 2017
Oortwijn, Wytse H.M. (Recipient), van Dijk, Tom (Recipient) & van de Pol, Jaco (Recipient), 14 Jul 2017
Prize: Honorary award
Activities
-
5th International Workshop on Open and Original Problems in Software Language Engineering, OOPSLE 2020 (Event)
Vadim Zaytsev (Editor)
2020Activity: Publication peer-review and editorial work › Publication Peer-review
-
What is Software Change?
Arend Rensink (Speaker)
12 Apr 2019Activity: Talk or presentation › Invited talk
-
Educators Symposium 2019
Fiona Polack (Chair) & Arend Rensink (Chair)
17 Sept 2019Activity: Participating in or organising an event › Organising a conference, workshop, ...