Boigelot Bernard

Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique

Montefiore Institute

See author's contact details

: 0009-0009-4721-3824
: 292052944

Main Referenced Co-authors

Wolper, Pierre (11)

Brusten, Julien (7)

Ernst, Damien (6)

Fontaine, Pascal (6)

Fonteneau, Raphaël (6)

Main Referenced Keywords

automata (10); Automata (8); symbolic state-space exploration (5); verification (5); acceleration (4);

Main Referenced Unit & Research Centers

Biosystem Engineering Department, Gembloux Agro-Bio Tech and Montefiore Institute, Université de Liège (1)

LUCID-ULiège (1)

Mathématiques (1)

Montefiore Institute - Montefiore Institute of Electrical Engineering and Computer Science - ULiège (1)

Main Referenced Disciplines

Computer science (53)

Engineering, computing & technology: Multidisciplinary, general & others (3)

Mathematics (2)

Physics (2)

Architecture (1)

Publications (total 59)

Search in publications

The most downloaded

1312 downloads

Boigelot, B. (1998). Symbolic Methods for Exploring Infinite State Spaces [Doctoral thesis, ULiège - Université de Liège]. ORBi-University of Liège. https://orbi.uliege.be/handle/2268/74874 https://hdl.handle.net/2268/74874

The most cited

158 citations (OpenAlex)

Wolper, P., & Boigelot, B. (1998). Verifying Systems with Infinite but Regular State Spaces. Lecture Notes in Computer Science, 1427, 88-97. doi:10.1007/BFb0028736 https://hdl.handle.net/2268/74875