Bernard Boigelot

According to our database, Bernard Boigelot authored at least 32 papers between 1994 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2023

Universal First-Order Quantification over Automata.

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain

Proceedings of the Implementation and Application of Automata, 2023

Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates.

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Decidability of difference logics with unary predicates.

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain

Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, 2022

2021

Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper).

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain

Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, 2021

2018

Efficient Symbolic Representation of Convex Polyhedra in High-Dimensional Spaces.

Bernard Boigelot, Isabelle Mainz

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

An Efficient Algorithm to Decide Periodicity of b-Recognisable Sets Using MSDF Convention.

Bernard Boigelot, Isabelle Mainz, Victor Marsault, Michel Rigo

Proceedings of the 44th International Colloquium on Automata, Languages, and Programming, 2017

2014

Lipschitz robust control from off-policy trajectories.

Raphael Fonteneau, Damien Ernst, Bernard Boigelot, Quentin Louveaux

Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Acceleration of Affine Hybrid Transformations.

Bernard Boigelot, Frédéric Herbreteau, Isabelle Mainz

Proceedings of the Automated Technology for Verification and Analysis, 2014

2012

Automata-Based Symbolic Representations of Polyhedra.

Bernard Boigelot, Julien Brusten, Jean-François Degbomont

Proceedings of the Language and Automata Theory and Applications, 2012

2009

Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization.

Bernard Boigelot, Jean-François Degbomont

Proceedings of the Language and Automata Theory and Applications, 2009

A Generalization of Semenov's Theorem to Automata over Real Numbers.

Bernard Boigelot, Julien Brusten, Jérôme Leroux

Proceedings of the Automated Deduction, 2009

2008

On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases.

Bernard Boigelot, Julien Brusten, Véronique Bruyère

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

2007

A Generalization of Cobham's Theorem to Automata over Real Numbers.

Bernard Boigelot, Julien Brusten

Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

2006

The Power of Hybrid Acceleration.

Bernard Boigelot, Frédéric Herbreteau

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Number-Set Representations for Infinite-State Verification.

Bernard Boigelot

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

2004

Omega-Regular Model Checking.

Bernard Boigelot, Axel Legay, Pierre Wolper

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2004

2003

Iterating Transducers in the Large (Extended Abstract).

Bernard Boigelot, Axel Legay, Pierre Wolper

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

Hybrid Acceleration Using Real Vector Automata (Extended Abstract).

Bernard Boigelot, Frédéric Herbreteau, Sébastien Jodogne

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Representing Arithmetic Constraints with Finite Automata: An Overview.

Bernard Boigelot, Pierre Wolper

Proceedings of the Logic Programming, 18th International Conference, 2002

2001

Counting the Solutions of Presburger Equations without Enumerating Them.

Bernard Boigelot, Louis Latour

Proceedings of the Implementation and Application of Automata, 2001

On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables.

Bernard Boigelot, Sébastien Jodogne, Pierre Wolper

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

On the Construction of Automata from Linear Arithmetic Constraints.

Pierre Wolper, Bernard Boigelot

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

1998

Symbolic Methods for Exploring Infinite State Spaces.

Bernard Boigelot

PhD thesis, 1998

On the Expressiveness of Real and Integer Arithmetic Automata (Extended Abstract).

Bernard Boigelot, Stéphane Rassart, Pierre Wolper

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

Verifying Systems with Infinite but Regular State Spaces.

Pierre Wolper, Bernard Boigelot

Proceedings of the Computer Aided Verification, 10th International Conference, 1998

1997

Automatic Synthesis of Specifications from the Dynamic Observation of Reactive Programs.

Bernard Boigelot, Patrice Godefroid

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

The Power of QDDs (Extended Abstract).

Bernard Boigelot, Patrice Godefroid, Bernard Willems, Pierre Wolper

Proceedings of the Static Analysis, 4th International Symposium, 1997

An Improved Reachability Analysis Method for Strongly Linear Hybrid Systems (Extended Abstract).

Bernard Boigelot, Louis Bronne, Stéphane Rassart

Proceedings of the Computer Aided Verification, 9th International Conference, 1997

1996

Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN.

Bernard Boigelot, Patrice Godefroid

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

Symbolic Verification of Communication Protocols with Infinite State Spaces Using QDDs (Extended Abstract).

Bernard Boigelot, Patrice Godefroid

Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995

An Automata-Theoretic Approach to Presburger Arithmetic Constraints (Extended Abstract)

Pierre Wolper, Bernard Boigelot

Proceedings of the Static Analysis, 1995

1994

Symbolic Verification with Periodic Sets.

Bernard Boigelot, Pierre Wolper

Proceedings of the Computer Aided Verification, 6th International Conference, 1994