Nombre de documents

38

Pascal Fontaine - Publications


Article dans une revue4 documents

  • Stefano Bosi, Pascal Fontaine, Cuong Le Van. Interest rates parity and no arbitrage as equivalent equilibrium conditions in the international financial assets and goods markets. Mathematical Social Sciences, Elsevier, 2016, 82, pp.26-36. <10.1016/j.mathsocsci.2016.04.002>. <hal-01302524>
  • David Déharbe, Pascal Fontaine, Laurent Voisin, Yoann Guyot. Integrating SMT solvers in Rodin. Science of Computer Programming, Elsevier, 2014, Abstract State Machines, Alloy, B, VDM, and Z — Selected and extended papers from ABZ 2012, 94, pp.14. <hal-01094999>
  • Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine. Combining decision procedures by (model-)equality propagation. Science of Computer Programming, Elsevier, 2010, 240 (2 July 2009), pp.113-128. <10.1016/j.entcs.2009.05.048>. <inria-00543801>
  • Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine. Combining Decision Procedures by (Model-)Equality Propagation. Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of the Eleventh Brazilian Symposium on Formal Methods (SBMF 2008), 240 (2), pp.113-128. <10.1016/j.entcs.2009.05.048>. <inria-00430636>

Communication dans un congrès30 documents

  • Eriká Abrahám, John Abbott, Bernd Becker, Anna Bigatti, Martin Brain, et al.. SC 2 : Satisfiability Checking meets Symbolic Computation (Project Paper). Intelligent Computer Mathematics, Jul 2016, Bialystok, Poland. <http://www.cicm-conference.org/2016/cicm.php>. <hal-01377655>
  • Paula Chocron, Pascal Fontaine, Christophe Ringeissen. A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited. Amy P. Felty and Aart Middeldorp. 25th International Conference on Automated Deduction, CADE-25, Aug 2015, Berlin, Germany. Springer, 9195, pp.419-433, 2015, Lecture Notes in Computer Science. <10.1007/978-3-319-21401-6_29>. <hal-01157898>
  • Haniel Barbosa, Pascal Fontaine. Congruence Closure with Free Variables (Work in Progress). Quantify 2015 : 2nd International Workshop on Quantification, 2015, Berlin, Germany. 2015. <hal-01246036>
  • Maximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine. Adapting Real Quantifier Elimination Methods for Conflict Set Computation. Carsten Lutz; Silvio Ranise. Frontiers of Combining Systems (FroCoS), 2015, Wroclaw, Poland. Springer, 9322, pp.151-166, 2015, LNCS. <http://frocos2015.ii.uni.wroc.pl/>. <10.1007/978-3-319-24246-0_10>. <hal-01240343>
  • Paula Chocron, Pascal Fontaine, Christophe Ringeissen. A Rewriting Approach to the Combination of Data Structures with Bridging Theories. Carsten Lutz and Silvio Ranise. Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Sep 2015, Wroclaw, Poland. Springer, 9322, pp.275--290, Lecture Notes in Computer Science. <10.1007/978-3-319-24246-0_17>. <hal-01206187>
  • Paula Chocron, Pascal Fontaine, Christophe Ringeissen. Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions. Workshop on Automated Deduction: Decidability, Complexity, Tractability, ADDCT 2014. Held as Part of the Vienna Summer of Logic, affiliated with IJCAR 2014 and RTA 2014, Jul 2014, Vienna, Austria. <hal-01087218>
  • Paula Chocron, Pascal Fontaine, Christophe Ringeissen. A Gentle Non-Disjoint Combination of Satisfiability Procedures. Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Jul 2014, Vienna, Austria. Springer, 8562, pp.122-136, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-08587-6_9>. <hal-01087162>
  • Clark Barrett, Leonardo De Moura, Pascal Fontaine. Proofs in satisfiability modulo theories. APPA (All about Proofs, Proofs for All), Jul 2014, Vienna, Austria. 2014. <hal-01095009>
  • David Déharbe, Pascal Fontaine, Daniel Le Berre, Bertrand Mazure. Computing prime implicant. FMCAD - Formal Methods in Computer-Aided Design 2013, Oct 2013, Portland, United States. IEEE, pp.46-52, 2013, <http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD13/proceedings/54418_IEEE%20FMCAD_Complete%20Book.pdf>. <hal-00910363>
  • Carlos Areces, David Déharbe, Pascal Fontaine, Orbe Ezequiel. SyMT: finding symmetries in SMT formulas. 11th International Workshop on Satisfiability Modulo Theories - SMT, Jul 2013, Helsinki, Finland. 2013. <hal-00867816>
  • David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin. SMT solvers for Rodin. John Derrick and John A. Fitzgerald and Stefania Gnesi and Sarfraz Khurshid and Michael Leuschel and Steve Reeves and Elvinia Riccobene. ABZ - Third International Conference on Abstract State Machines, Alloy, B, VDM, and Z - 2012, Jun 2012, Pisa, Italy. Springer, 7316, pp.194-207, 2012, Lecture Notes in Computer Science; Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings. <10.1007/978-3-642-30885-7_14>. <hal-00747269>
  • Pascal Fontaine, Stephan Merz, Christoph Weidenbach. Combination of disjoint theories: beyond decidability. Bernhard Gramlich and Dale Miller and Uli Sattler. IJCAR - 6th International Joint Conference on Automated Reasoning - 2012, Jun 2012, Manchester, United Kingdom. Springer, 7364, pp.256-270, 2012, Lecture Notes in Computer Science; Automated Reasoning 6th International Joint Conference, IJCAR 2012. <10.1007/978-3-642-31365-3_21>. <hal-00747271>
  • Carlos Areces, Pascal Fontaine. Combining theories: the Ackerman and Guarded Fragments. Cesare Tinelli and Viorica Sofronie-Stokkermans. 8th International Symposium Frontiers of Combining Systems - FroCoS 2011, Oct 2011, Saarbrücken, Germany. Springer Verlag, 6989, pp.40--54, 2011, Lecture Notes in Computer Science; Frontiers of Combining Systems. <10.1007/978-3-642-24364-6_4>. <hal-00642529>
  • David Déharbe, Pascal Fontaine, Bruno Woltzenlogel Paleo. Quantifier Inference Rules for SMT proofs. Pascal Fontaine and Aaron Stump. First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland. 2011. <hal-00642535>
  • Frédéric Besson, Pascal Fontaine, Laurent Théry. A Flexible Proof Format for SMT: a Proposal. Pascal Fontaine and Aaron Stump. First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland. 2011, <http://pxtp2011.loria.fr>. <hal-00642544>
  • David Déharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo. Exploiting Symmetry in SMT Problems. Nikolaj Bjrner and Viorica Sofronie-Stokkermans. International Conference on Automated Deduction (CADE), Jul 2011, Wroclaw, Poland. Springer, 6803, pp.222-236, 2011, <10.1007/978-3-642-22438-6_18>. <inria-00617843>
  • Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo. Compression of Propositional Resolution Proofs via Partial Regularization. Nikolaj Bjrner and Viorica Sofronie-Stokkermans. 23rd International Conference on Automated Deduction - CADE-23, Jul 2011, Wroclaw, Poland. Springer, 6803, pp.237-251, 2011, Lecture Notes in Computer Science; CADE. <10.1007/978-3-642-22438-6_19>. <inria-00617846>
  • Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine. GridTPT: a distributed platform for Theorem Prover Testing. 2nd Workshop on Practical Aspects of Automated Reasoning (PAAR), Jul 2010, Edinburgh, United Kingdom. 2010. <inria-00543805>
  • Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo. Exploring and Exploiting Algebraic and Graphical Properties of Resolution. 8th International Workshop on Satisfiability Modulo Theories - SMT 2010, Jul 2010, Edinburgh, United Kingdom. 2010. <inria-00544658>
  • Pascal Fontaine. Combinations of theories for decidable fragments of first-order logic. Silvio Ghilardi and Roberto Sebastiani. 7th International Symposium, FroCoS 2009, Sep 2009, Trento, Italy. Springer Verlag, 5749, pp.263-278, 2009, Lecture Notes in Computer Science; Frontiers of Combining Systems. <10.1007/978-3-642-04222-5_16>. <inria-00430631>
  • Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine. veriT: an open, trustable and efficient SMT-solver. Renate A. Schmidt. 22nd International Conference on Automated Deduction - CADE 22, Aug 2009, Montreal, Canada. Springer Berlin / Heidelberg, 5663, pp.151-156, 2009, Lecture Notes in Computer Science; Automated Deduction – CADE-22. <10.1007/978-3-642-02959-2_12>. <inria-00430634>
  • David Déharbe, Pascal Fontaine, Anamaria Martins Moreira, Stephan Merz, Anderson Santana de Oliveira. Automating model-based software engineering. Colloque d'Informatique: Brésil/INRIA (COLIBRI), Jul 2009, Bento Gonçalves, Brazil. pp.22-27, 2009. <inria-00430637>
  • Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine. Combining decision procedures by (model-)equality propagation. Machado, P. and Andrade, A. and Duran, A. Brazilian Symposium on Formal Methods - SBMF 2008, Aug 2008, Salvador, Bahia, Brazil. 2008. <inria-00337979>
  • Pascal Fontaine. Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class. Bernhard Beckert. 4th International Verification Workshop - VERIFY'07, Jul 2007, Bremen, Germany. 259, pp.37-54, 2007, CEUR Workshop Proceedings; Proceedings of 4th International Verification Workshop in connection with CADE-21 Bremen, Germany, July 15-16, 2007. <inria-00186639>
  • Diego Caminha B. De Oliveira, David Déharbe, Pascal Fontaine. haRVey : satisfaisabilité et théories. Marie-Laure Potet, Pierre-Yves Schobbens, Hubert Toussaint, Germain Saval. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'07, Jun 2007, Namur, Belgique. pp.287-288, 2007, Actes de la 8e conférence - AFADL Approches Formelles dans l'Assistance au. <inria-00186640>
  • Clément Hurlin, Amine Chaib, Pascal Fontaine, Stephan Merz, Tjark Weber. Practical Proof Reconstruction for First-order Logic and Set-Theoretical Constructions. Lucas Dixon, Moa Johansson. The Isabelle Workshop 2007 - Isabelle'07, Jul 2007, Bremen, Germany. pp.2-13, 2007, The 21st Conference on Automated Deduction - CADE-21. <inria-00186638>
  • Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Tiu. Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. Holger Hermanns and Jens Palsberg. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - TACAS'06, Mar 2006, Vienna/Austria, Springer, 3920, pp.167-181, 2006, Lecture Notes in Computer Science; Tools and Algorithms for the Construction and Analysis of Systems. <10.1007/11691372_11>. <inria-00001088>
  • David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen. Decision Procedures for the Formal Analysis of Software. Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone. 3rd International Colloquium on Theoretical Aspects of Computing, ICTAC, Nov 2006, Tunis, Tunisia, Springer, 4281, pp.366--370, 2006, Lecture Notes in Computer Science; Theoretical Aspects of Computing --- ICTAC 2006. <10.1007/11921240_26>. <inria-00117277>
  • David Déharbe, Pascal Fontaine. haRVey: combining reasoners. Stephan Merz and Tobias Nipkow. Automatic Verification of Critical Systems - AVoCS 2006, Sep 2006, Nancy/France, pp.152-156, 2006, Automatic Verification of Critical Systems (AVoCS 2006). <inria-00091662>
  • Pascal Fontaine, Silvio Ranise, Calogero Zarba. Combining Lists with Non-Stably Infinite Theories. Franz Baader; Andrei Voronkov. 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'04), Mar 2005, Montevideo/Uruguay, Springer-Verlag, 3452, pp.51--66, 2005, Lecture Notes in Computer Science; Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings. <10.1007/b106931>. <inria-00000481>

Chapitre d'ouvrage1 document

  • Carlos Areces, Pascal Fontaine, Stephan Merz. Modal Satisfiability via SMT Solving. Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, 8950, Springer, pp.30-45, 2015, Lecture Notes in Computer Science, <10.1007/978-3-319-15545-6_5>. <hal-01127966>

Direction d'ouvrage, Proceedings2 documents

  • Pascal Fontaine, Thomas Sturm, Uwe Waldmann. Foreword to the Special Focus on Constraints and Combinations. Dongming Wang. Switzerland. 9 (3), Springer, 2015, Mathematics in Computer Science, <10.1007/s11786-015-0239-8>. <hal-01239438>
  • Pascal Fontaine, Christophe Ringeissen, Renate Schmidt. Frontiers of Combining Systems. Pascal Fontaine and Christophe Ringeissen and Renate Schmidt. 8152, Springer, pp.359, 2013, Lecture Notes in Artificial Intelligence, 978-3-642-40884-7. <hal-00868424>

Rapport1 document

  • Paula Chocron, Pascal Fontaine, Christophe Ringeissen. A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version). [Research Report] RR-8529, INRIA. 2014. <hal-00985135>