- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
SR
Simon Robillard
14
Documents
Identifiants chercheurs
- simon-robillard
- 0000-0003-4751-380X
Présentation
<https://simon-robillard.net/publications.html>
Publications
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 4
- 3
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 3
- 1
- 1
- 4
|
Component-Based Distributed Software Reconfiguration: a Verification-Oriented SurveyACM Computing Surveys, 2024, 56 (1), pp.1-37. ⟨10.1145/3595376⟩
Article dans une revue
hal-04067909v1
|
|
A Comprehensive Framework for Saturation Theorem ProvingJournal 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 ConcertoScience of Computer Programming, 2021, 203, pp.1-31. ⟨10.1016/j.scico.2020.102582⟩
Article dans une revue
hal-03103714v1
|
|
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
Communication dans un congrès
hal-04130173v1
|
|
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⟩
Communication dans un congrès
lirmm-03793406v1
|
|
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⟩
Communication dans un congrès
hal-03536643v1
|
|
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⟩
Communication dans un congrès
hal-03106208v1
|
|
Superposition with Datatypes and CodatatypesIJCAR 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 Coq16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2014, Timisoara, Romania
Communication dans un congrès
hal-01105119v1
|
|
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
Communication dans un congrès
hal-00979092v1
|
|
Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values ProblemACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea
Communication dans un congrès
hal-00905950v1
|
|
Powerlists in Coq: Programming and ReasoningFirst International Symposium on Computing and Networking (CANDAR), 2013, Fukuoka, Japan
Communication dans un congrès
hal-00864818v1
|
|
Enhancing Separation of Concerns, Parallelism, and Formalism in Distributed Software Deployment with Madeus2020
Pré-publication, Document de travail
hal-02737859v1
|