Simon Robillard

24 papers A* 1A 3B 3Misc 2Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2025 A conf
Verified Path Indexing.
CADE
Mohamed Chaabani, Simon Robillard
2024 — conf
An Overview of the Decentralized Reconfiguration Language Concerto-D through its Maude Formalization.
ICE
Farid Arfi, Hélène Coullon, Frédéric Loulergue, Jolan Philippe, Simon Robillard
2024 J jnl
Component-based Distributed Software Reconfiguration:A Verification-oriented Survey.
ACM Comput. Surv.
Hélène Coullon, Ludovic Henrio, Frédéric Loulergue, Simon Robillard
2024 — conf
New Datasets for Automatic Detection of Textual Entailment and of Contradictions between Sentences in French.
LREC/COLING
Maximos Skandalis, Richard Moot, Christian Retoré, Simon Robillard
2023 — conf
DACCORD : un jeu de données pour la Détection Automatique d'énonCés COntRaDictoires en français.
CORIA-TALN (1)
Maximos Skandalis, Richard Moot, Simon Robillard
2022 J jnl
A Comprehensive Framework for Saturation Theorem Proving.
J. Autom. Reason.
Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette
2022 A conf
Goéland: A Concurrent Tableau-Based Theorem Prover (System Description).
IJCAR
Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard, Hinde-Lilia Bouziane
2022 B conf
SMT-Based Planning Synthesis for Distributed System Reconfigurations.
FASE
Simon Robillard, Hélène Coullon
2022 J jnl
Verified Approximation Algorithms.
Log. Methods Comput. Sci.
Robin Eßmann, Tobias Nipkow, Simon Robillard, Ujkan Sulejmani
2021 J jnl
Toward safe and efficient reconfiguration with Concerto.
Sci. Comput. Program.
Maverick Chardet, Hélène Coullon, Simon Robillard
2021 J jnl
Verified Approximation Algorithms.
CoRR
Robin Eßmann, Tobias Nipkow, Simon Robillard
2020 — conf
A Comprehensive Framework for Saturation Theorem Proving.
IJCAR (1)
Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette
2020 — conf
Verified Approximation Algorithms.
IJCAR (2)
Robin Eßmann, Tobias Nipkow, Simon Robillard
2020 J jnl
Verified Approximation Algorithms.
Arch. Formal Proofs
Robin Eßmann, Tobias Nipkow, Simon Robillard
2018 B conf
Loop Analysis by Quantification over Iterations.
LPAR
Bernhard Gleiss, Laura Kovács, Simon Robillard
2018 A conf
Superposition with Datatypes and Codatatypes.
IJCAR
Jasmin Christian Blanchette, Nicolas Peltier, Simon Robillard
2017 A* conf
Coming to terms with quantified reasoning.
POPL
Laura Kovács, Simon Robillard, Andrei Voronkov
2016 J jnl
Coming to Terms with Quantified Reasoning.
CoRR
Laura Kovács, Simon Robillard, Andrei Voronkov
2016 — conf
Theory-Specific Reasoning about Loops with Arrays using Vampire.
Vampire@IJCAR
Yuting Chen, Laura Kovács, Simon Robillard
2015 B conf
Reasoning About Loops Using Vampire in KeY.
LPAR
Wolfgang Ahrendt, Laura Kovács, Simon Robillard
2015 — conf
Reasoning About Loops Using Vampire.
Vampire Workshop
Laura Kovács, Simon Robillard
2014 Misc conf
Catamorphism Generation and Fusion Using Coq.
SYNASC
Simon Robillard
2014 Misc conf
Formal derivation and extraction of a parallel program for the all nearest smaller values problem.
SAC
Frédéric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu
2013 — conf
Powerlists in Coq: Programming and Reasoning.
CANDAR
Frédéric Loulergue, Virginia Niculescu, Simon Robillard