 | 2009 |
|---|
| 9 |       | Thomas Bouton,
Diego Caminha B. de Oliveira,
David Déharbe,
Pascal Fontaine:
veriT: An Open, Trustable and Efficient SMT-Solver.
CADE 2009: 151-156 |
| 8 | | Pascal Fontaine:
Combinations of Theories for Decidable Fragments of First-Order Logic.
FroCos 2009: 263-278 |
| 7 | | Diego Caminha B. de Oliveira,
David Déharbe,
Pascal Fontaine:
Combining Decision Procedures by (Model-)Equality Propagation.
Electr. Notes Theor. Comput. Sci. 240: 113-128 (2009) |
| 2007 |
|---|
| 6 | | Pascal Fontaine:
Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class.
VERIFY 2007 |
| 2006 |
|---|
| 5 | | David Déharbe,
Pascal Fontaine,
Silvio Ranise,
Christophe Ringeissen:
Decision Procedures for the Formal Analysis of Software.
ICTAC 2006: 366-370 |
| 4 | | Pascal Fontaine,
Jean-Yves Marion,
Stephan Merz,
Leonor Prensa Nieto,
Alwen Fernanto Tiu:
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants.
TACAS 2006: 167-181 |
| 2004 |
|---|
| 3 | | Pascal Fontaine,
Silvio Ranise,
Calogero G. Zarba:
Combining Lists with Non-stably Infinite Theories.
LPAR 2004: 51-66 |
| 2003 |
|---|
| 2 | | Pascal Fontaine,
E. Pascal Gribomont:
Decidability of Invariant Validation for Paramaterized Systems.
TACAS 2003: 97-112 |
| 2002 |
|---|
| 1 | | Pascal Fontaine,
E. Pascal Gribomont:
Using BDDs with Combinations of Theories.
LPAR 2002: 190-201 |
