Bernard Willems

Publication Activity (10 Years)

Years Active: 1996-2000
Publications (10 Years): 0

Publications

Ahmed Bouajjani, Javier Esparza, Alain Finkel, Oded Maler, Peter Rossmanith, Bernard Willems, Pierre Wolper
An efficient automata approach to some problems on context-free grammars. Inf. Process. Lett. 74 (5-6) (2000)
Alain Finkel, Bernard Willems, Pierre Wolper
A direct symbolic approach to model checking pushdown systems. INFINITY (1997)
Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper
The Power of QDDs (Extended Abstract). SAS (1997)
Bernard Willems, Pierre Wolper
Partial-Order Methods for Model Checking: From Linear Time to Branching Time. LICS (1996)