Searching for authors named Bernard Boigelot – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
Symbolic Methods for Exploring Infinite State Spaces
- … Spaces Th`ese pr'esent'ee par Bernard Boigelot en vue de l'obtention du titre de Docteur en Sciences…
- Cited by 29 (3 self) – Add To MetaCart
-
Automata-based Representations for the Verification of Hybrid Systems
- …://www.montefiore.ulg.ac.be/~jodogne/ Supervisor : Bernard Boigelot Keywords : Verication, Hybrid systems, Finite-state representations Abstract…
- Add To MetaCart
-
Representing arithmetic constraints with finite automata: An overview
- … with Automata: An Overview Bernard Boigelot Pierre Wolper This work was partially supported by a FRFC grant: 2…
- Cited by 11 (1 self) – Add To MetaCart
-
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs
- …Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs Bernard…
- Cited by 15 (2 self) – Add To MetaCart
-
The power of hybrid acceleration
- …The Power of Hybrid Acceleration Bernard Boigelot 1⋆ and Frédéric Herbreteau 2⋆⋆ 1 Institut…
- Cited by 1 (0 self) – Add To MetaCart
-
An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract)
- … Wolper and Bernard Boigelot ? Universit'e de Li`ege, Institut Montefiore, B28, 4000 Li`ege Sart Tilman…
- Cited by 34 (2 self) – Add To MetaCart
-
On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract)
- …On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract) Bernard Boigelot…
- Cited by 17 (3 self) – Add To MetaCart
-
Verifying systems with infinite but regular state spaces
- …Verifying Systems with Innite but Regular State Spaces Pierre Wolper, Bernard Boigelot…
- Cited by 40 (0 self) – Add To MetaCart
-
Symbolic Verification with Periodic Sets
- …Symbolic Verification with Periodic Sets ? Bernard Boigelot ?? and Pierre Wolper Universit'e de…
- Cited by 60 (6 self) – Add To MetaCart
-
Model Checking in Practice: An Analysis of the ACCESS.bus™ Protocol using SPIN
- …Model Checking in Practice: An Analysis of the ACCESS.bus TM Protocol using SPIN Bernard Boigelot…
- Cited by 13 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
