Skip to Main content

Researcher identifiers

Export Publications

Export the displayed publications:

Open access quantity

50 %

Number of documents

10

Publications of Simon Robillard


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


Journal articles1 document

Conference papers7 documents

  • Simon Robillard, Hélène Coullon. SMT-Based Planning Synthesis for DistributedSystem Reconfigurations. International Conference on Fundamental Approaches to Software Engineering (FASE), Apr 2022, Munich, Germany. ⟨hal-03536643⟩
  • Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette. A Comprehensive Framework for Saturation Theorem Proving. 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⟩. ⟨hal-03106208⟩
  • Jasmin Christian Blanchette, Nicolas Peltier, Simon Robillard. Superposition with Datatypes and Codatatypes. IJCAR 2018 - 9th International Joint Conference on Automated Reasoning, Jul 2018, Oxford, United Kingdom. ⟨hal-01904588⟩
  • Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu. Formal Derivation and Extraction of a Parallel Program for the All Nearest Smaller Values Problem. ACM Symposium on Applied Computing (SAC), 2014, Gyeongju, South Korea. ⟨hal-00905950⟩
  • Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu. Dérivation formelle et extraction d'un programme data-parallèle pour le problème des valeurs inférieures les plus proches. Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), 2014, Paris, France. ⟨hal-00979092⟩
  • Simon Robillard. Catamorphism generation and fusion using Coq. 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), Sep 2014, Timisoara, Romania. ⟨hal-01105119⟩
  • Frédéric Loulergue, Virginia Niculescu, Simon Robillard. Powerlists in Coq: Programming and Reasoning. First International Symposium on Computing and Networking (CANDAR), 2013, Fukuoka, Japan. ⟨hal-00864818⟩

Preprints, Working Papers, ...1 document

  • Maverick Chardet, Hélène Coullon, Christian Pérez, Dimitri Pertin, Charlène Servantie, et al.. Enhancing Separation of Concerns, Parallelism, and Formalism in Distributed Software Deployment with Madeus. 2020. ⟨hal-02737859⟩

Software1 document

  • Simon Robillard, Frédéric Darboux, Francois James, Carine Lucas, Christian Laguerre, et al.. FullSWOF_UI: Full Shallow-Water equations for Overland Flow - User Interface. 2012. ⟨hal-02804667⟩