Simon Robillard

According to our database, Simon Robillard authored at least 18 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Component-based Distributed Software Reconfiguration:A Verification-oriented Survey.

Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard

ACM Comput. Surv., January, 2024

New Datasets for Automatic Detection of Textual Entailment and of Contradictions between Sentences in French.

Maximos Skandalis, Richard Moot, Christian Retoré, Simon Robillard

Proceedings of the 2024 Joint International Conference on Computational Linguistics, 2024

2023

DACCORD : un jeu de données pour la Détection Automatique d'énonCés COntRaDictoires en français.

Maximos Skandalis, Richard Moot, Simon Robillard

Proceedings of the Actes de CORIA-TALN 2023. Actes de la 30e Conférence sur le Traitement Automatique des Langues Naturelles, TALN 2023 - Volume 1 : travaux de recherche originaux, 2023

2022

Verified Approximation Algorithms.

Robin Eßmann, Tobias Nipkow, Simon Robillard, Ujkan Sulejmani

Log. Methods Comput. Sci., 2022

A Comprehensive Framework for Saturation Theorem Proving.

Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette

J. Autom. Reason., 2022

SMT-Based Planning Synthesis for Distributed System Reconfigurations.

Simon Robillard, Hélène Coullon

Proceedings of the Fundamental Approaches to Software Engineering, 2022

Goéland: A Concurrent Tableau-Based Theorem Prover (System Description).

Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard, Hinde-Lilia Bouziane

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Toward safe and efficient reconfiguration with Concerto.

Maverick Chardet, Hélène Coullon, Simon Robillard

Sci. Comput. Program., 2021

2020

Verified Approximation Algorithms.

Robin Eßmann, Tobias Nipkow, Simon Robillard

Arch. Formal Proofs, 2020

2018

Loop Analysis by Quantification over Iterations.

Bernhard Gleiss, Laura Kovács, Simon Robillard

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Superposition with Datatypes and Codatatypes.

Jasmin Christian Blanchette, Nicolas Peltier, Simon Robillard

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Coming to terms with quantified reasoning.

Laura Kovács, Simon Robillard, Andrei Voronkov

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

Theory-Specific Reasoning about Loops with Arrays using Vampire.

Yuting Chen, Laura Kovács, Simon Robillard

Proceedings of the Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, 2016

2015

Reasoning About Loops Using Vampire in KeY.

Wolfgang Ahrendt, Laura Kovács, Simon Robillard

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Reasoning About Loops Using Vampire.

Laura Kovács, Simon Robillard

Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, 2015

2014

Catamorphism Generation and Fusion Using Coq.

Simon Robillard

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

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

Proceedings of the Symposium on Applied Computing, 2014

2013

Powerlists in Coq: Programming and Reasoning.

Frédéric Loulergue, Virginia Niculescu, Simon Robillard

Proceedings of the First International Symposium on Computing and Networking, 2013