Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Boigelot, Bernard - Institut Montefiore, Université de Liège
Verifying Systems with In nite but Regular State Spaces
Book Editors IOS Press, 2003
Model Checking in Practice: An Analysis of the ACCESS.bus TM Protocol using SPIN
UNIVERSITE DE LIEGE Facult'e des Sciences Appliqu'ees
The Power of QDDs Bernard Boigelot 1? , Patrice Godefroid 2 , Bernard Willems 1 and Pierre Wolper 1
Counting the Solutions of Presburger Equations without Enumerating Them ?
On the Construction of Automata from Linear Arithmetic Constraints ?
Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs
On the Expressiveness of Real and Integer Arithmetic Automata
Omega-Regular Model Checking ? Bernard Boigelot, Axel Legay, and Pierre Wolper
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
Symbolic Verification of Communication Protocols with Infinite State Spaces using QDDs
Hybrid Acceleration using Real Vector Automata # (extended abstract)
The Power of Hybrid Acceleration Bernard Boigelot1
On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real
Representing Arithmetic Constraints with Finite Automata: An Overview ?
An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems
Formal Methods in System Design, , ?--?? (1997) fl 1997 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.
Iterating Transducers in the Large # (extended abstract)
The Power of QDDs (Extended Abstract)
A Generalization of Cobham's Theorem to Automata over Real Numbers
Symbolic Verification with Periodic Sets ? Bernard Boigelot ?? and Pierre Wolper
An AutomataTheoretic Approach to Presburger Arithmetic Constraints
