Bernard Boigelot

Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs

Bernard Boigelot, Patrice Godefroid · Formal Methods in System Design · 1999 · 139 citations · Full text

Computing, Computer Science, Computer Systems +16

Symbolic Methods for Exploring Infinite State Spaces

Bernard Boigelot · 1998 · 125 citations · Full text

Computing, Computer Science, Algorithms +16

The Power of QDDs

Bernard Boigelot, Patrice Godefroid, Bernard Willems et al. · Lecture notes in computer science · 1997 · 72 citations

Natural Sciences, Electrical Engineering, Quantum Mechanics +1

An effective decision procedure for linear arithmetic over the integers and reals

Bernard Boigelot, Sébastien Jodogne, Pierre Wolper · ACM Transactions on Computational Logic · 2005 · 72 citations · Full text

Computing, Computer Science, Mathematics +14

On iterating linear transformations over recognizable sets of integers

Bernard Boigelot · Theoretical Computer Science · 2003 · 43 citations · Full text

Natural Sciences, Computer Science, Mathematics +9