Documentation
Français (FR)

Anglais (EN)

SR

Simon Robillard

14

Documents

Identifiants chercheurs

simon-robillard
0000-0003-4751-380X

Présentation

Publications

	Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey Hélène Coullon , Ludovic Henrio , Frédéric Loulergue , Simon Robillard ACM Computing Surveys, 2024, 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

	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
	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
	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
	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
	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
	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
	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
	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

	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 Servantie 2020 Pré-publication, Document de travail hal-02737859v1

	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