Simon Robillard

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 19

Top Topics

Approximation Algorithms

Automated Deduction

Top Venues

Publications

Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard
Component-based Distributed Software Reconfiguration:A Verification-oriented Survey. ACM Comput. Surv. 56 (1) (2024)
Maximos Skandalis, Richard Moot, Christian Retoré, Simon Robillard
New Datasets for Automatic Detection of Textual Entailment and of Contradictions between Sentences in French. LREC/COLING (2024)
Maximos Skandalis, Richard Moot, Simon Robillard
DACCORD : un jeu de données pour la Détection Automatique d'énonCés COntRaDictoires en français. CORIA-TALN (1) (2023)
Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette
A Comprehensive Framework for Saturation Theorem Proving. J. Autom. Reason. 66 (4) (2022)
Simon Robillard, Hélène Coullon
SMT-Based Planning Synthesis for Distributed System Reconfigurations. FASE (2022)
Robin Eßmann, Tobias Nipkow, Simon Robillard, Ujkan Sulejmani
Verified Approximation Algorithms. Log. Methods Comput. Sci. 18 (1) (2022)
Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard, Hinde-Lilia Bouziane
Goéland: A Concurrent Tableau-Based Theorem Prover (System Description). IJCAR (2022)
Robin Eßmann, Tobias Nipkow, Simon Robillard
Verified Approximation Algorithms. CoRR (2021)
Maverick Chardet, Hélène Coullon, Simon Robillard
Toward safe and efficient reconfiguration with Concerto. Sci. Comput. Program. 203 (2021)
Robin Eßmann, Tobias Nipkow, Simon Robillard
Verified Approximation Algorithms. IJCAR (2) (2020)
Robin Eßmann, Tobias Nipkow, Simon Robillard
Verified Approximation Algorithms. Arch. Formal Proofs 2020 (2020)
Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette
A Comprehensive Framework for Saturation Theorem Proving. IJCAR (1) (2020)
Jasmin Christian Blanchette, Nicolas Peltier, Simon Robillard
Superposition with Datatypes and Codatatypes. IJCAR (2018)
Bernhard Gleiss, Laura Kovács, Simon Robillard
Loop Analysis by Quantification over Iterations. LPAR (2018)
Laura Kovács, Simon Robillard, Andrei Voronkov
Coming to terms with quantified reasoning. POPL (2017)
Laura Kovács, Simon Robillard, Andrei Voronkov
Coming to Terms with Quantified Reasoning. CoRR (2016)
Yuting Chen, Laura Kovács, Simon Robillard
Theory-Specific Reasoning about Loops with Arrays using Vampire. Vampire@IJCAR (2016)
Laura Kovács, Simon Robillard
Reasoning About Loops Using Vampire. Vampire Workshop (2015)
Wolfgang Ahrendt, Laura Kovács, Simon Robillard
Reasoning About Loops Using Vampire in KeY. LPAR (2015)
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. SAC (2014)
Simon Robillard
Catamorphism Generation and Fusion Using Coq. SYNASC (2014)
Frédéric Loulergue, Virginia Niculescu, Simon Robillard
Powerlists in Coq: Programming and Reasoning. CANDAR (2013)