Publications

Export 12 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is Pascal Fontaine  [Clear All Filters]
Book Chapter
C. Areces, P. Fontaine, and S. Merz, “Modal Satisfiability via {SMT} Solving”, in Software, Services, and Systems, vol. 8950, R. De Nicola and R. Hennicker, Eds. 2015, p. 30-45.
Conference Paper
P. Fontaine, S. Merz, and C. Weidenbach, “Combination of Disjoint Theories: Beyond Decidability”, in Intl. Joint Conf. Automated Reasoning (IJCAR 2012), Manchester, UK, 2012.
D. Déharbe, P. Fontaine, D. Le Berre, and B. Mazure, “Computing Prime Implicants”, in 13th Intl. Conf. Formal Methods for Computer-Aided Design (FMCAD 2013), Portland, OR, U.S.A., 2013.
P. Chocron, P. Fontaine, and C. Ringeissen, “A Gentle Non-Disjoint Combination of Satisfiability Procedures”, in International Joint Conference on Automated Reasoning (IJCAR), 2014.
P. Chocron, P. Fontaine, and C. Ringeissen, “A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited”, in Proc. Conference on Automated Deduction (CADE), 2015.
P. Chocron, P. Fontaine, and C. Ringeissen, “A Rewriting Approach to the Combination of Data Structures with Bridging Theories”, in Frontiers of Combining Systems ({FroCoS}), 2015.
P. Chocron, P. Fontaine, and C. Ringeissen, “Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions”, in Automated Deduction: Decidability, Complexity, Tractability (ADDCT), 2014.
D. Déharbe, P. Fontaine, Y. Guyot, and L. Voisin, “SMT Solvers for Rodin”, in 3rd Intl. Conf. Abstract State Machines, Alloy, B, VDM, and Z (ABZ 2012), Pisa, Italy, 2012.
C. Areces, D. Déharbe, P. Fontaine, and E. Orbe, “{SyMT}: finding symmetries in {SMT} formulas”, in 11th Intl. Workshop on Satisfiability Modulo Theories (SMT 2013), Helsinki, Finland, 2013.
C. Areces, R. Fervari, and G. Hoffmann, “Tableaux for Relation-Changing Modal Logics”, in Frontiers of Combining Systems, 2013.PDF icon frocos13.pdf (369.18 KB)
Journal Article
D. Déharbe, P. Fontaine, Y. Guyot, and L. Voisin, “Integrating SMT solvers in Rodin”, Science of Computer Programming, 2014.