UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):
-
SDG 7 Affordable and Clean Energy -
SDG 14 Life Below Water
Fingerprint
Collaborations and top research areas from the last five years
Profiles
-
Menno Bartels
- Mathematics and Computer Science, Algorithms and Logics for Verification - Doctoral Candidate-TA
Person: OWP : University Teacher / Researcher
-
Roel Bloo
- Mathematics and Computer Science, Algorithms and Logics for Verification - University Lecturer
- Mathematics and Computer Science, Formal System Analysis - University Lecturer
Person: OWP : University Teacher / Researcher
-
Eduardo J. Costa Martins
- Mathematics and Computer Science, Algorithms and Logics for Verification - Doctoral Candidate
Person: Prom. : doctoral candidate (PhD)
-
A Parallel Programming Perspective: Designing AuDaLa and AuDaLogic
Franken, T. T. P., 3 Jun 2026, Eindhoven: Eindhoven University of Technology. 364 p.Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)
Open AccessFile -
A research agenda for active automata learning
Fortz, S. (Corresponding author), Ghassemi, F., Henry, L., Howar, F., Neele, T., Rot, J. & Suilen, M., 19 Feb 2026, (E-pub ahead of print) In: International Journal on Software Tools for Technology Transfer. XXResearch output: Contribution to journal › Article › Academic › peer-review
Open Access -
Expressivity of AuDaLa: Turing Completeness and Possible Extensions
Franken, T. T. P. (Corresponding author) & Neele, T. (Corresponding author), 16 Apr 2026, In: Logical Methods in Computer Science. 22, 2, p. 5:1-5:30 30 p.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile4 Downloads (Pure)
Datasets
-
Infinite-data PBES Quotienting with the mCRL2 toolset
Neele, T. (Contributor), Willemse, T. A. C. (Contributor) & Groote, J. F. (Contributor), Zenodo, 4 Nov 2019
Dataset
-
Dataset with experiments for 'Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems'
Neele, T. (Creator), Willemse, T. A. C. (Creator) & Wesselink, W. (Creator), Zenodo, 9 Jan 2020
Dataset
-
Decomposing Monolithic Processes using the mCRL2 toolset
Laveaux, M. (Creator) & Willemse, T. A. C. (Creator), Zenodo, 3 Jan 2022
Dataset
Prizes
-
CONCUR 2025 Best Paper Award
Neele, T. (Recipient), Aug 2025
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific
-
Explainable Formal Methods with Certificates
Neele, T. (Recipient), 17 Jul 2024
Prize: NWO › Veni › Scientific
-
FORTE Best Artefact Award
Willemse, T. A. C. (Recipient), 20 Jun 2022
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific
File
Press/Media
-
TU/e Researchers Awarded NWO Veni Grants for Innovative Studies in Diverse Fields
Krishnamoorthy, D., Conijn, R., Fitzgerald, B., Dubslaff, C., Hövelmanns, K. & Moerman, P. G.
4/08/23
1 item of Media coverage
Press/Media: Expert Comment
-
Research from Reykjavik University Provide New Insights into Computational Logic (Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?)
8/11/22
1 item of Media coverage
Press/Media: Expert Comment
-
Smart bug-checking for software
Willemse, T. A. C., Groote, J. F. & Neele, T.
14/09/20
3 items of Media coverage
Press/Media: Expert Comment
Student theses
-
An approachable language for formal requirements
Nogarede, K. A. H. M. (Author), Willemse, T. A. C. (Supervisor 1), Schiffelers, R. R. H. (External coach) & Groote, J. F. (Supervisor 2), 11 Dec 2019Student thesis: Master
File -
Automatic Tracing of Release-Log to Code Changes
Lao, J. Y. C. (Author), Krüger, J. (Supervisor 1), Ochoa Venegas, L. (Supervisor 2) & Dubslaff, C. (Supervisor 2), 15 Jul 2025Student thesis: Master
File -
Code generation and model-based testing in context of OIL
Frenken, M. H. M. (Author), Willemse, T. A. C. (Supervisor 1) & van Gool, L. C. M. (External coach), 10 Dec 2019Student thesis: Master
File