Accéder directement au contenu
SR

Simon Robillard

4
Documents
Identifiants chercheurs

Présentation

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

Publications

frederic-loulergue
Image document

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

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

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