Skip to content

Eindhoven
University of
Technology

Algorithms and Logics for Verification

Meet some of our Researchers

Associate Professor

Tim Willemse

Assistant Professor

Clemens Dubslaff

See all our researchers

Recent Publications

See all publications

Our most recent peer reviewed publications

On the Foundations of Cycles in Bayesian Networks
Principles of Systems Design. Lecture Notes in Computer Science (2023)
Christel Baier,Clemens Dubslaff,Holger Hermanns,Nikolai Käfer
Partial-order reduction for parity games and parameterised Boolean equation systems
International Journal on Software Tools for Technology Transfer (2022)
Thomas Neele,Tim A.C. Willemse,Wieger Wesselink,Antti Valmari
Formal verification of OIL component specifications using mCRL2
International Journal on Software Tools for Technology Transfer (2022)
Olav Bunte,Louis C.M. van Gool,Tim A.C. Willemse
Formal methods and tools for industrial critical systems
International Journal on Software Tools for Technology Transfer (2022)
Maurice H. ter Beek,Kim G. Larsen,Dejan Ničković,Tim A.C. Willemse
Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation.
(2022)
Jan Friso Groote,Kevin H. J. Jilissen,Maurice Laveaux,P. H. M. van Spaendonck,Tim A. C. Willemse