Partial-Order Methods for Model Checking: From Linear Time to Branching Time. - Bernard Willems; Pierre Wolper (LICS, 1996)

The Power of QDDs (Extended Abstract). - Bernard Boigelot; Patrice Godefroid; Bernard Willems; Pierre Wolper (SAS, 1997)

A direct symbolic approach to model checking pushdown systems. - Alain Finkel; Bernard Willems; Pierre Wolper (INFINITY, 1997)

An efficient automata approach to some problems on context-free grammars. - Ahmed Bouajjani; Javier Esparza; Alain Finkel; Oded Maler; Peter Rossmanith; Bernard Willems; Pierre Wolper (Inf. Process. Lett., 2000)