- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
SR
Simon Robillard
14
Documents
Researcher identifiers
simon-robillard
-
0000-0003-4751-380X
Presentation
<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
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 3
- 1
- 2
- 1
- 3
- 1
- 1
- 4
Component-Based Distributed Software Reconfiguration: a Verification-Oriented SurveyACM Computing Surveys, In press, ⟨10.1145/3595376⟩
Journal articles
hal-04067909v1
|
|
|
A Comprehensive Framework for Saturation Theorem ProvingJournal of Automated Reasoning, 2022, 66 (4), pp.499-539. ⟨10.1007/s10817-022-09621-7⟩
Journal articles
hal-03909983v1
|
|
Toward Safe and Efficient Reconfiguration with ConcertoScience of Computer Programming, 2021, 203, pp.1-31. ⟨10.1016/j.scico.2020.102582⟩
Journal articles
hal-03103714v1
|
|
DACCORD : un jeu de données pour la Détection Automatique d'énonCés COntRaDictoires en françaisTALN 2023 - 30e Conférence sur le Traitement Automatique des Langues Naturelles, Jun 2023, Paris, France. pp.285-297
Conference papers
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⟩
Conference papers
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⟩
Conference papers
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⟩
Conference papers
hal-03106208v1
|
|
Superposition with Datatypes and CodatatypesIJCAR 2018 - 9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom
Conference papers
hal-01904588v1
|
Catamorphism generation and fusion using Coq16th 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 ProblemACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea
Conference papers
hal-00905950v1
|
|
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
Conference papers
hal-00979092v1
|
|
Powerlists in Coq: Programming and ReasoningFirst International Symposium on Computing and Networking (CANDAR), 2013, Fukuoka, Japan
Conference papers
hal-00864818v1
|
|
Enhancing Separation of Concerns, Parallelism, and Formalism in Distributed Software Deployment with Madeus2020
Preprints, Working Papers, ...
hal-02737859v1
|