Research output per year
Research output per year
Fingerprint
Dive into the research topics where Algorithms and Logics for Verification 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/territory level. Dive into details by clicking on the dots or
Profiles
-
Tim A.C. Willemse
- Mathematics and Computer Science, Formal System Analysis - Associate Professor
- Mathematics and Computer Science, Algorithms and Logics for Verification - Associate Professor
- EAISI High Tech Systems - Associate Professor
Person: UHD : Associate Professor
-
On-The-Fly Solving for Symbolic Parity Games
Laveaux, M., Wesselink, W. & Willemse, T. A. C., 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, Proceedings. Fisman, D. & Rosu, G. (eds.). Springer, p. 137-155 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13244 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open Access -
On-The-Fly Solving for Symbolic Parity Games
Laveaux, M., Wesselink, W. & Willemse, T. A. C., 2022, In: CoRR. abs/2201.09607Research output: Contribution to journal › Article › Academic
-
A Detailed Account of The Inconsistent Labelling Problem of Stutter-Preserving Partial-Order Reduction
Neele, T., Valmari, A. & Willemse, T. A. C., 21 Jul 2021, In: Logical Methods in Computer Science. 17, 3, p. 8:1–8:27 27 p., 8.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile14 Downloads (Pure)
Press / Media
-
Smart bug-checking for software
Tim A.C. Willemse, Jan Friso Groote & Thomas Neele
14/09/20
3 items of Media coverage
Press/Media: Expert Comment
Student theses
-
An approachable language for formal requirements
Author: Nogarede, K. A. H. M., 11 Dec 2019Supervisor: Willemse, T. A. C. (Supervisor 1), Schiffelers, R. R. H. (External coach) & Groote, J. F. (Supervisor 2)
Student thesis: Master
File -
Code generation and model-based testing in context of OIL
Author: Frenken, M. H. M., 10 Dec 2019Supervisor: Willemse, T. A. C. (Supervisor 1) & van Gool, L. C. M. (External coach)
Student thesis: Master
File -
New algorithms and heuristics for solving Variability Parity Games
Author: Degeling, K., 19 Nov 2021Supervisor: Willemse, T. A. C. (Supervisor 1)
Student thesis: Master
File