Simon Robillard
Présentation
Publications
Publications
|
|
Component-Based Distributed Software Reconfiguration: a Verification-Oriented SurveyACM Computing Surveys, 2023, 56 (1), pp.1-37. ⟨10.1145/3595376⟩ |
|
|
A Comprehensive Framework for Saturation Theorem ProvingJournal of Automated Reasoning, 2022, 66 (4), pp.499-539. ⟨10.1007/s10817-022-09621-7⟩ |
|
|
Toward Safe and Efficient Reconfiguration with ConcertoScience of Computer Programming, 2021, 203, pp.1-31. ⟨10.1016/j.scico.2020.102582⟩ |
|
|
Verified Path IndexingCADE 30 - 30th International Conference on Automated Deduction, Jul 2025, Stuttgart, Germany. In press |
|
|
Neurosymbolic AI for Natural Language Inference in French : combining LLMs and theorem provers for semantic parsing and natural language reasoning16th 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 |
|
|
An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude FormalizationICE 2024: 17th Interaction and Concurrency Experience, Jun 2024, Groningen, Netherlands. pp.1-18, ⟨10.4204/EPTCS.414.2⟩ |
|
|
New Datasets for Automatic Detection of Textual Entailment and of Contradictions between Sentences in FrenchLREC-COLING 2024 - Joint International Conference on Computational Linguistics, Language Resources and Evaluation, ELRA; ICCL, May 2024, Turin, Italy. pp.12173-12186 |
|
|
DACCORD : un jeu de données pour la Détection Automatique d'énonCés COntRaDictoires en françaisCORIA-TALN 2023 - 30e Conférence sur le Traitement Automatique des Langues Naturelles, Jun 2023, Paris, France. pp.285-297 |
|
|
Goéland: A Concurrent Tableau-Based Theorem Prover (System Description)IJCAR 2022 - 11th International Joint Conference on Automated Reasoning, Aug 2022, Haifa, Israel. pp.359-368, ⟨10.1007/978-3-031-10769-6_22⟩ |
|
|
SMT-Based Planning Synthesis for Distributed System ReconfigurationsFASE 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⟩ |
|
|
A Comprehensive Framework for Saturation Theorem ProvingIJCAR 2020 (Part I) International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.316-334, ⟨10.1007/978-3-030-51074-9_18⟩ |
|
|
Superposition with Datatypes and CodatatypesIJCAR 2018 - 9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom |
Catamorphism generation and fusion using Coq16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2014, Timisoara, Romania |
|
Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus prochesApproches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2014, Paris, France |
|
Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values ProblemACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea |
|
Powerlists in Coq: Programming and ReasoningFirst International Symposium on Computing and Networking (CANDAR), 2013, Fukuoka, Japan |
|
|
Hybrid AI with LLMs and Theorem Provers for Semantic Parsing and Natural Language Inference for FrenchFoMo 2025 - ELLIS Winter School on Foundation Models, Mar 2025, Amsterdam, Netherlands. , 2025 |
|
|
Enhancing Separation of Concerns, Parallelism, and Formalism in Distributed Software Deployment with Madeus2020 |