Searching for authors named "Pascal Fontaine" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

Combining Non-Stably Infinite, Non-First Order Theories
by Pascal Fontaine, Pascal Gribomont, Fontaine Gribomont — 2004
… Pascal Fontaine 2 and Pascal Gribomont 3 University of Liège (Belgium) A crucial step in the assertional…
Cited by 2 (1 self) – Add To MetaCart

Using BDDs with Combinations of Theories
by Pascal Fontaine, E. Pascal Gribomont — 2002 — In Proceedings of the 9th International Conference on Logic for Programming and Automated Reasoning (LPAR), volume 2514 of LNCS
…Using BDDs with Combinations of Theories ? Pascal Fontaine and E. Pascal Gribomont University…
Cited by 4 (2 self) – Add To MetaCart

Towards a Combination of Heterogeneous Deductive Tools for System Verification: A Case Study on Clock Synchronization, in "Appsem
by Pascal Fontaine, Kamal Gupta, Jean-yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Tiu — 2005
… on Clock Synchronization Pascal Fontaine, Kamal Gupta, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto…
Cited by 1 (0 self) – Add To MetaCart

Proof reconstruction for first-order logic and set-theoretical constructions
by Clément Hurlin, Inria Sophia-antipolis, Amine Chaieb, Tjark Weber, Technische Universität München, Pascal Fontaine, Stephan Merz, Inria Lorraine — 2006 — Sixth International Workshop on Automated Verification of Critical Systems (AVOCS ’06) – Preliminary Proceedings
… Universität München {chaieb,webertj}@(email omitted); Pascal Fontaine, Stephan Merz, INRIA Lorraine and Nancy…
Cited by 2 (0 self) – Add To MetaCart

Expressiveness + automation + soundness: Towards combining SMT solvers and interactive proof assistants
by Pascal Fontaine, Jean-yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Tiu, Loria Inria, Lorraine Université Nancy — 2006 — In Tools and Algorithms for Construction and Analysis of Systems (TACAS
… Assistants Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, and Alwen Tiu LORIA – INRIA…
Cited by 10 (3 self) – Add To MetaCart

Showing 1 through 5.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB