Journals

• Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey
  Hélène Coullon, Ludovic Henrio, Frédéric Loulergue & Simon Robillard (May, 2023).
  In ACM Computing Surveys
  Publisher: ACM.
• A Comprehensive Framework for Saturation Theorem Proving
  Uwe Waldmann, Sophie Tourret, Simon Robillard & Jasmin Blanchette (June, 2022).
  In Journal of Automated Reasoning (JAR)
  Publisher: Springer.
• Verified Approximation Algorithms
  Robin Eßmann, Tobias Nipkow, Simon Robillard & Ujkan Sulejmani (2022, February).
  In Logical Methods in Computer Science
  Publisher: Episciences.
• Toward Safe and Efficient Reconfiguration with Concerto
  Maverick Chardet, Hélène Coullon & Simon Robillard (2021, March).
  In Science of Computer Programming
  Publisher: Elsevier.

Conferences

• DACCORD: un jeu de données pour la Détection Automatique d'énonCés COntRaDictoires en français.
  Maximos Skandalis, Richard Moot, & Simon Robillard (June, 2023).
  In Actes de la 30e Conférence sur le Traitement Automatique des Langues Naturelles (TALN)
  Publisher: ATALA.
• Goéland: A Concurrent Tableau-Based Theorem Prover (System Description)
  Julie Cailler, Johann Rosain, David Delahaye Simon Robillard & Hinde Lilia Bouziane (August, 2022).
  In 11th International Joint Conference On Automated Reasoning (IJCAR 2022)
  Publisher: Springer.
• SMT-Based Planning Synthesis for Distributed System Reconfigurations
  Simon Robillard, Hélène Coullon (April, 2022).
  In 25th International Conference on Fundamental Approaches to Software Engineering (FASE 2022)
  Publisher: Springer.
• A Comprehensive Framework for Saturation Theorem Proving
  Uwe Waldmann, Sophie Tourret, Simon Robillard & Jasmin Blanchette (June, 2020).
  In 10th International Joint Conference On Automated Reasoning (IJCAR 2020)
  Publisher: Springer.
• Verified Approximation Algorithms
  Robin Eßmann, Tobias Nipkow & Simon Robillard (June, 2020).
  In 10th International Joint Conference On Automated Reasoning (IJCAR 2020)
  Publisher: Springer.
• Loop Analysis by Quantification over Iterations.
  Bernhard Gleiss, Laura Kovács & Simon Robillard (2018, October).
  In 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 22)
  Publisher: Easychair.
• Superposition with Datatypes and Codatatypes.
  Jasmin Blanchette, Nicolas Peltier & Simon Robillard (2018, June).
  In 9th International Joint Conference On Automated Reasoning (IJCAR 2018)
  Publisher: Springer.
• Coming to terms with quantified reasoning.
  Laura Kovács, Simon Robillard & Andrei Voronkov (2017, January).
  In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017)
  Publisher: ACM.
• Reasoning about loops using Vampire in KeY.
  Wolfgang Ahrendt, Laura Kovács & Simon Robillard (2015, November).
  In 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 20)
  Publisher: Springer Berlin Heidelberg.
• Catamorphism generation and fusion using Coq.
  Simon Robillard (2014, September).
  In 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2014)
  Publisher: IEEE.
• Formal derivation and extraction of a parallel program for the all nearest smaller values problem.
  Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, & Zhenjiang Hu (2014, March).
  In Proceedings of the 29th Annual ACM Symposium on Applied Computing (SAC 2014)
  Publisher: ACM.
• Powerlists in Coq: programming and reasoning.
  Frédéric Loulergue, Virginia Niculescu, & Simon Robillard (2013, December).
  In First International Symposium on Computing and Networking (CANDAR 2013)
  Publisher: IEEE.

Workshops

• An inference rule for the acyclicity property of term algebras.
  Simon Robillard (2018, June).
  In Proceedings of the 4th Vampire Workshop
  Publisher: EasyChair
  

• Theory-specific reasoning about loops with arrays using Vampire.
  YuTing Chen, Laura Kovács & Simon Robillard (2017, March).
  In Proceedings of the 3rd Vampire Workshop
  Publisher: EasyChair
  

• Reasoning about loops using Vampire.
  Laura Kovács & Simon Robillard (2016, February).
  In Proceedings of the 1st and 2nd Vampire Workshops
  Publisher: EasyChair
  

Theses

• Deductive Program Analysis with First-Order Theorem Provers.
  Simon Robillard (2019, May).
  Thesis for the Degree of Doctor of Philosophy
  
• Analysis of Iterative or Recursive Programs Using a First-Order Theorem Prover.
  Simon Robillard (2016, December).
  Thesis for the Degree of Licenciate of Engineering