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
-
Turán numbers of general star forests in hypergraphs
Zhang, L. P., Broersma, H. & Wang, L., Jan 2025, In: Discrete mathematics. 348, 1, 14 p., 114219.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile1 Citation (Scopus)271 Downloads (Pure) -
A comparison of anomaly detection algorithms with applications on recoater streaking in an additive manufacturing process
Stribos, R., bouman, R., Jimenez, L., Slot, M. & Stoelinga, M. I. A., 22 Aug 2024, (E-pub ahead of print/First online) In: Rapid prototyping journal.Research output: Contribution to journal › Article › Academic › peer-review
-
Adaptive Differentially Quantized Subspace Perturbation (ADQSP): A Unified Framework for Privacy-Preserving Distributed Average Consensus
Li, Q., Gundersen, J. S., Lopuhaä-Zwakenberg, M. & Heusdens, R., 2024, In: IEEE transactions on information forensics and security. 19, p. 1780-1793 14 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile2 Citations (Scopus)36 Downloads (Pure)
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
DOI: 10.4121/uuid:36c00955-5574-44d9-9b26-340f7a1ea03b
Dataset
-
A Modest Markov Automata Tutorial (Artifact)
Hartmanns, A. (Creator) & Hermanns, H. (Contributor), 4TU.Centre for Research Data, 24 Sept 2019
DOI: 10.4121/uuid:5a73169e-b494-411b-b3a8-051e62efba9e
Dataset
-
A Modest Approach to Modelling and Checking Markov Automata (Artifact)
Butkova, Y. (Creator), Hartmanns, A. (Contributor) & Hermanns, H. (Contributor), 4TU.Centre for Research Data, 5 Sept 2019
DOI: 10.4121/uuid:98d571be-cdd4-4e5a-a589-7c5b1320e569, https://doi.org/10.1007/978-3-030-30281-8_4
Dataset
Prizes
-
2018 Best Practices in Education Award
Mader, A. H. (Recipient), Fehnker, A. (Recipient) & Schaafstal, A. M. (Recipient), 9 Oct 2018
Prize
-
Beste paper award
van Keulen, M. (Recipient), Kaminski, B. (Recipient), Matheja, C. (Recipient) & Katoen, J. P. (Recipient), 4 Oct 2018
Prize
Activities
-
5th International Workshop on Open and Original Problems in Software Language Engineering, OOPSLE 2020 (Event)
Zaytsev, V. (Editor)
2020Activity: Publication peer-review and editorial work › Publication Peer-review
-
What is Software Change?
Rensink, A. (Speaker)
12 Apr 2019Activity: Talk or presentation › Invited talk
-
Educators Symposium 2019
Polack, F. (Chair) & Rensink, A. (Chair)
17 Sept 2019Activity: Participating in or organising an event › Organising a conference, workshop, ...
Press/Media
-
-
Podcast: Tune in: data-driven maintenance marvels in new podcast series
15/12/23
1 Media contribution
Press/Media: Research