Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds

by Maciej Gazda, Tim A.C. Willemse
Published 2013-07-01

Expressiveness and Completeness in Abstraction

by Tim A.C. Willemse, Maciej Gazda
Published 2012-08-01

Improvement in Small Progress Measures

by Maciej Gazda, Tim A.C. Willemse
Published 2015-09-01

Analysis of Boolean Equation Systems through Structure Graphs

by Michel A. Reniers, Tim A.C. Willemse
Published 2010-02-01

A Comparison of BDD-Based Parity Game Solvers

by Lisette Sanchez, Wieger Wesselink, Tim A.C. Willemse
Published 2018-09-01

A framework for the extended evaluation of ABAC policies

by Charles Morisset, Tim A. C. Willemse, Nicola Zannone
Published 2019-02-01

Decomposability in Input Output Conformance Testing

by Neda Noroozi, Mohammad Reza Mousavi, Tim A.C. Willemse
Published 2013-03-01

Towards a Feature mu-Calculus Targeting SPL Verification

by Maurice H. ter Beek, Erik P. de Vink, Tim A. C. Willemse
Published 2016-03-01