Access content directly
SR

Simon Robillard

14
Documents
Researcher identifiers

Presentation

<https://simon-robillard.net/publications.html>

Publications

Image document

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

Maximos Skandalis , Richard Moot , Simon Robillard
CORIA-TALN 2023 : 30e Conférence sur le Traitement Automatique des Langues Naturelles, Jun 2023, Paris, France. pp.285-297
Conference papers hal-04130173v1
Image document

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

Julie Cailler , Johann Rosain , David Delahaye , Simon Robillard , Hinde Lilia Bouziane
IJCAR 2022 - 11th International Joint Conference on Automated Reasoning, Aug 2022, Haifa, Israel. pp.359-368, ⟨10.1007/978-3-031-10769-6_22⟩
Conference papers lirmm-03793406v1
Image document

SMT-Based Planning Synthesis for Distributed System Reconfigurations

Simon Robillard , Hélène Coullon
FASE 2022 : 25th International Conference on Fundamental Approaches to Software Engineering, Apr 2022, Munich, Germany. pp.268-287, ⟨10.1007/978-3-030-99429-7_15⟩
Conference papers hal-03536643v1
Image document

A Comprehensive Framework for Saturation Theorem Proving

Uwe Waldmann , Sophie Tourret , Simon Robillard , Jasmin Blanchette
IJCAR 2020 (Part I) International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.316-334, ⟨10.1007/978-3-030-51074-9_18⟩
Conference papers hal-03106208v1
Image document

Superposition with Datatypes and Codatatypes

Jasmin Christian Blanchette , Nicolas Peltier , Simon Robillard
IJCAR 2018 - 9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom
Conference papers hal-01904588v1

Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus proches

Frédéric Loulergue , Simon Robillard , Julien Tesson , Joeffrey Legaux , Zhenjiang Hu
Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2014, Paris, France
Conference papers hal-00979092v1

Catamorphism generation and fusion using Coq

Simon Robillard
16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2014, Timisoara, Romania
Conference papers hal-01105119v1

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
ACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea
Conference papers hal-00905950v1

Powerlists in Coq: Programming and Reasoning

Frédéric Loulergue , Virginia Niculescu , Simon Robillard
First International Symposium on Computing and Networking (CANDAR), 2013, Fukuoka, Japan
Conference papers hal-00864818v1