Simon Robillard

Identifiants chercheurs

IdHAL :

simon-robillard

ORCID :

0000-0003-4751-380X

Présentation

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

Publications

Article dans une revue (3)

Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey Hélène Coullon,Ludovic Henrio,Frédéric Loulergue,Simon Robillard ACM Computing Surveys, 2023, 56 (1), pp.1-37. ⟨10.1145/3595376⟩ Article dans une revue hal-04067909v1
A Comprehensive Framework for Saturation Theorem Proving Uwe Waldmann,Sophie Tourret,Simon Robillard,Jasmin Blanchette Journal of Automated Reasoning, 2022, 66 (4), pp.499-539. ⟨10.1007/s10817-022-09621-7⟩ Article dans une revue hal-03909983v1
Toward Safe and Efficient Reconfiguration with Concerto Maverick Chardet,Hélène Coullon,Simon Robillard Science of Computer Programming, 2021, 203, pp.1-31. ⟨10.1016/j.scico.2020.102582⟩ Article dans une revue hal-03103714v1

Communication dans un congrès (13)

Verified Path Indexing Mohamed Chaabani,Simon Robillard CADE 30 - 30th International Conference on Automated Deduction, Jul 2025, Stuttgart, Germany. In press Communication dans un congrès lirmm-05239240v1
Neurosymbolic AI for Natural Language Inference in French : combining LLMs and theorem provers for semantic parsing and natural language reasoning Maximos Skandalis,Lasha Abzianidze,Richard Moot,Christian Retoré,Simon Robillard 16th International Conference on Computational Semantics (IWCS 2025), Heinrich Heine University (HHU) Düsseldorf; ACL Special Interest Group on Computational Semantics (SIGSEM), Sep 2025, Düsseldorf, Germany. pp.242-253 Communication dans un congrès hal-05350875v1
An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization Farid Arfi,Hélène Coullon,Frédéric Loulergue,Jolan Philippe,Simon Robillard ICE 2024: 17th Interaction and Concurrency Experience, Jun 2024, Groningen, Netherlands. pp.1-18, ⟨10.4204/EPTCS.414.2⟩ Communication dans un congrès hal-04572043v1
New Datasets for Automatic Detection of Textual Entailment and of Contradictions between Sentences in French Maximos Skandalis,Richard Moot,Christian Retoré,Simon Robillard LREC-COLING 2024 - Joint International Conference on Computational Linguistics, Language Resources and Evaluation, ELRA; ICCL, May 2024, Turin, Italy. pp.12173-12186 Communication dans un congrès hal-04589573v2
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 Communication dans un congrès hal-04130173v1
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⟩ Communication dans un congrès lirmm-03793406v1
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⟩ Communication dans un congrès hal-03536643v1
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⟩ Communication dans un congrès hal-03106208v1
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 Communication dans un congrès hal-01904588v1
Catamorphism generation and fusion using Coq Simon Robillard 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2014, Timisoara, Romania Communication dans un congrès 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 Communication dans un congrès hal-00905950v1
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 Communication dans un congrès hal-00979092v1
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 Communication dans un congrès hal-00864818v1

Poster de conférence (1)

Hybrid AI with LLMs and Theorem Provers for Semantic Parsing and Natural Language Inference for French Maximos Skandalis,Lasha Abzianidze,Richard Moot,Simon Robillard FoMo 2025 - ELLIS Winter School on Foundation Models, Mar 2025, Amsterdam, Netherlands. , 2025 Poster de conférence hal-05002405v1

Pré-publication, Document de travail (1)

Enhancing Separation of Concerns, Parallelism, and Formalism in Distributed Software Deployment with Madeus Maverick Chardet,Hélène Coullon,Christian Pérez,Dimitri Pertin,Charlène Servantieet al. 2020 Pré-publication, Document de travail hal-02737859v1

Logiciel (2)

Concerto-D in Maude Farid Arfi,Hélène Coullon,Frédéric Loulergue,Jolan Philippe,Simon Robillard 2024, ⟨swh:1:dir:32a2fe14ad750c01d73d2bd101ef0c2f2e440f62;origin=https://hal.archives-ouvertes.fr/hal-04654817;visit=swh:1:snp:ad21f1e90f6cf2549821eb2142ab6657817241f1;anchor=swh:1:rel:9689c8ed0577d56bfb7885c6ed94e9ce0020eca3;path=/⟩ Logiciel hal-04654817v1
FullSWOF_UI: Full Shallow-Water equations for Overland Flow - User Interface Simon Robillard,Frédéric Darboux,Christian Laguerre,Carine Lucas,Marion Juré 2012, ⟨swh:1:dir:b8592c246d5893a9ae4d43e92f3c6b4919e35ec7⟩ Logiciel hal-02804667v2