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.
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
-
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
-
Clemens Dubslaff
- Mathematics and Computer Science, Algorithms and Logics for Verification - Assistant Professor
- EAISI - Assistant Professor
- Mathematics and Computer Science, Formal System Analysis - Assistant Professor
Person: UD : Assistant Professor
-
Compiling Binary Decision Diagrams with Interrupt-Based Downsizing
Dubslaff, C. & Wirtz, J., 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Springer, Vol. 3. p. 252-273 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15262 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review
-
Formal Methods in Industry
ter Beek, M. H. (Corresponding author), Chapman, R., Cleaveland, R., Garavel, H., Gu, R., ter Horst, I., Keiren, J. J. A., Lecomte, T., Leuschel, M., Rozier, K. Y., Sampaio, A., Seceleanu, C., Thomas, M., Willemse, T. A. C. & Zhang, L., Mar 2025, In: Formal Aspects of Computing. 37, 1, p. 1-38 38 p., 7.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile -
Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
Neele, T. (Editor) & Wijs, A. (Editor), 2025, Springer. (Lecture Notes in Computer Science; vol. 14624)Research output: Book/Report › Book editing › Academic › peer-review
Datasets
-
Selected Benchmarks for CNF-to-BDD Compilation
Dubslaff, C. (Contributor), Husung, N. (Contributor), Käfer, N. (Contributor) & Wirtz, J. (Creator), Zenodo, 19 Oct 2024
DOI: 10.5281/zenodo.13954564, https://zenodo.org/records/13954564
Dataset
-
Artifact for 'Unfolding State Variables Improves Model Checking'
Stramaglia, A. (Creator), Keiren, J. J. A. (Creator) & Neele, T. (Creator), Zenodo, 10 Jul 2024
DOI: 10.5281/zenodo.12705700, https://zenodo.org/records/12705700
Dataset
-
OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust
Husung, N. (Creator), Dubslaff, C. (Creator), Hermanns, H. (Creator) & Köhl, M. A. (Creator), Zenodo, 26 Oct 2023
DOI: 10.5281/zenodo.10044913, https://zenodo.org10044913 and one more link, https://zenodo.org/records/10578461 (show fewer)
Dataset
Prizes
-
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 -
UNcertainty In COntinuous-time maRkov chaiNs (UNICORN)
Volk, M. (Recipient), 2024
Prize: NWO › Veni › Scientific
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
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 -
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 -
Extraction of Invariants in Parameterised Boolean Equation Systems
Liem, E. (Author), Willemse, T. A. C. (Supervisor 1), 28 Sept 2023Student thesis: Master
File