| 2007 |
|---|
| 6 | EE | Pascal Fontaine:
Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class.
VERIFY 2007 |
| 2006 |
|---|
| 5 | EE | David Déharbe,
Pascal Fontaine,
Silvio Ranise,
Christophe Ringeissen:
Decision Procedures for the Formal Analysis of Software.
ICTAC 2006: 366-370 |
| 4 | EE | 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 | EE | Pascal Fontaine,
Silvio Ranise,
Calogero G. Zarba:
Combining Lists with Non-stably Infinite Theories.
LPAR 2004: 51-66 |
| 2003 |
|---|
| 2 | EE | Pascal Fontaine,
E. Pascal Gribomont:
Decidability of Invariant Validation for Paramaterized Systems.
TACAS 2003: 97-112 |
| 2002 |
|---|
| 1 | EE | Pascal Fontaine,
E. Pascal Gribomont:
Using BDDs with Combinations of Theories.
LPAR 2002: 190-201 |
