Content available in repository
Content available in repository
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
-
Roel Bloo
- Mathematics and Computer Science, Algorithms and Logics for Verification - University Lecturer
Person: OWP : University Teacher / Researcher
-
Clemens Dubslaff
- Mathematics and Computer Science, Algorithms and Logics for Verification - Assistant Professor
Person: UD : Assistant Professor
-
Louis C.M. van Gool
- Mathematics and Computer Science, Algorithms and Logics for Verification - University Researcher
- Mathematics and Computer Science, Formal System Analysis - University Researcher
Person: OWP : University Teacher / Researcher
-
A Unifying Formal Approach to Importance Values in Boolean Functions
Harder, H., Jantsch, S., Baier, C. & Dubslaff, C., 14 May 2023, In: arXiv. 2023, 33 p., 2305.08103.Research output: Contribution to journal › Article › Academic
Open AccessFile -
More for Less: Safe Policy Improvement With Stronger Performance Guarantees
Wienhöft, P., Suilen, M., Simão, T. D., Dubslaff, C., Baier, C. & Jansen, N., 13 Apr 2023, In: arXiv. 2023, 15 p., 2305.07958.Research output: Contribution to journal › Article › Academic
Open AccessFile1 Downloads (Pure) -
On the Foundations of Cycles in Bayesian Networks
Baier, C., Dubslaff, C., Hermanns, H. & Käfer, N., 20 Jan 2023, In: CoRR. abs/2301.08608Research output: Contribution to journal › Article › Academic
Datasets
-
Decomposing Monolithic Processes using the mCRL2 toolset
Laveaux, M. (Contributor) & Willemse, T. A. C. (Contributor), Zenodo, 12 Jul 2021
Dataset
-
Decomposing Monolithic Processes using the mCRL2 toolset
Laveaux, M. (Creator) & Willemse, T. A. C. (Creator), Zenodo, 3 Jan 2022
Dataset
-
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
Prizes
-
FORTE Best Artefact Award
Willemse, Tim A.C. (Recipient), 20 Jun 2022
Prize: Other › Career, activity or publication related prizes (lifetime, best paper, poster etc.) › Scientific
File
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