27 citations · 152 across the 31 of their papers we have counts for
3 papers · 1 filter
Zielonka's Recursive Algorithm: dull, weak and solitaire games and tighter bounds
Maciej Gazda, Tim A. C. Willemse
Dull, weak and nested solitaire games are important classes of parity games, capturing, among others, alternation-free mu-calculus and ECTL* model checking problems. These classes…
Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse
We present a sound static analysis technique for fighting the combinatorial explosion of parameterised Boolean equation systems (PBESs). These essentially are systems of mutually r…
Decomposability in Input Output Conformance Testing
Neda Noroozi, Mohammad Reza Mousavi, Tim A. C. Willemse
We study the problem of deriving a specification for a third-party component, based on the specification of the system and the environment in which the component is supposed to res…