Travelled to:1 × France
1 × Germany
1 × Iceland
1 × Israel
1 × Italy
1 × Poland
1 × South Africa
1 × The Netherlands
2 × Canada
2 × Denmark
2 × United Kingdom
3 × Spain
4 × USA
Collaborated with:P.Wolper P.Godefroid J.Brusten J.Degbomont F.Herbreteau A.Legay S.Jodogne S.Rassart L.Latour J.Leroux V.Bruyère L.Bronne B.Willems
Talks about:automata (11) real (6) arithmet (5) use (4) constraint (3) symbol (3) number (3) linear (3) hybrid (3) state (3)
Person: Bernard Boigelot
DBLP: Boigelot:Bernard
Contributed to:
2012
20092009
20082007
2006
20042003
2002
2001
20012000199819981997
199719971996
199619951994Wrote 22 papers:
- LATA-2012-BoigelotBD
- Automata-Based Symbolic Representations of Polyhedra (BB, JB, JFD), pp. 3–20.
- CADE-2009-BoigelotBL #automaton #theorem
- A Generalization of Semenov’s Theorem to Automata over Real Numbers (BB, JB, JL), pp. 469–484.
- LATA-2009-BoigelotD #automaton #finite #set #visualisation
- Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization (BB, JFD), pp. 200–211.
- ICALP-B-2008-BoigelotBB #automaton #finite #multi #on the #set
- On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases (BB, JB, VB), pp. 112–123.
- ICALP-2007-BoigelotB #automaton #theorem
- A Generalization of Cobham’s Theorem to Automata over Real Numbers (BB, JB), pp. 813–824.
- CAV-2006-BoigelotH #hybrid #power of
- The Power of Hybrid Acceleration (BB, FH), pp. 438–451.
- TACAS-2004-BoigelotLW #model checking
- ω-Regular Model Checking (BB, AL, PW), pp. 561–575.
- CAV-2003-BoigelotHJ #automaton #hybrid #using
- Hybrid Acceleration Using Real Vector Automata (BB, FH, SJ), pp. 193–205.
- CAV-2003-BoigelotLW #in the large #transducer
- Iterating Transducers in the Large (BB, AL, PW), pp. 223–235.
- ICLP-2002-BoigelotW #automaton #constraints #finite #overview #perspective #representation
- Representing Arithmetic Constraints with Finite Automata: An Overview (BB, PW), pp. 1–19.
- CIAA-2001-BoigelotL #equation
- Counting the Solutions of Presburger Equations without Enumerating Them (BB, LL), pp. 40–51.
- IJCAR-2001-BoigelotJW #automaton #integer #linear #on the #using
- On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables (BB, SJ, PW), pp. 611–625.
- TACAS-2000-WolperB #automaton #constraints #linear #on the
- On the Construction of Automata from Linear Arithmetic Constraints (PW, BB), pp. 1–19.
- CAV-1998-WolperB #infinity #verification
- Verifying Systems with Infinite but Regular State Spaces (PW, BB), pp. 88–97.
- ICALP-1998-BoigelotRW #automaton #integer #on the
- On the Expressiveness of Real and Integer Arithmetic Automata (BB, SR, PW), pp. 152–163.
- CAV-1997-BoigelotBR #analysis #hybrid #linear #reachability
- An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (BB, LB, SR), pp. 167–178.
- SAS-1997-BoigelotGWW #power of
- The Power of QDDs (BB, PG, BW, PW), pp. 172–186.
- TACAS-1997-BoigelotG #automation #source code #specification #synthesis
- Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs (BB, PG), pp. 321–333.
- CAV-1996-BoigelotG #communication #infinity #protocol #using #verification
- Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (BB, PG), pp. 1–12.
- FME-1996-BoigelotG #analysis #model checking #protocol #using
- Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN (BB, PG), pp. 465–478.
- SAS-1995-WolperB #approach #constraints
- An Automata-Theoretic Approach to Presburger Arithmetic Constraints (PW, BB), pp. 21–32.
- CAV-1994-BoigelotW #set #verification
- Symbolic Verification with Periodic Sets (BB, PW), pp. 55–67.