Bernard Willems

According to our database, Bernard Willems authored at least 4 papers between 1996 and 2000.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2000

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

1997

A direct symbolic approach to model checking pushdown systems.

Alain Finkel, Bernard Willems, Pierre Wolper

Proceedings of the Second International Workshop on Verification of Infinite State Systems, 1997

The Power of QDDs (Extended Abstract).

Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper

Proceedings of the Static Analysis, 4th International Symposium, 1997

1996

Partial-Order Methods for Model Checking: From Linear Time to Branching Time.

Bernard Willems, Pierre Wolper

Proceedings of the Proceedings, 1996