Follow
Simon Robillard
Title
Cited by
Cited by
Year
Coming to terms with quantified reasoning
L Kovács, S Robillard, A Voronkov
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
592017
A comprehensive framework for saturation theorem proving
U Waldmann, S Tourret, S Robillard, J Blanchette
International Joint Conference on Automated Reasoning, 316-334, 2020
422020
Toward safe and efficient reconfiguration with Concerto
M Chardet, H Coullon, S Robillard
Science of Computer Programming 203, 102582, 2021
182021
Superposition with Datatypes and Codatatypes
JC Blanchette, N Peltier, S Robillard
Technical report, 2018
182018
Vampire
A Voronkov, L Kovács, G Reger, M Suda, E Kotelnikov, S Robillard, ...
142018
Formal derivation and extraction of a parallel program for the all nearest smaller values problem
F Loulergue, S Robillard, J Tesson, J Legaux, Z Hu
Proceedings of the 29th Annual ACM Symposium on Applied Computing, 1577-1584, 2014
112014
SMT-Based Planning Synthesis for Distributed System Reconfigurations.
S Robillard, H Coullon
FASE, 268-287, 2022
92022
Reasoning about loops using vampire in key
W Ahrendt, L Kovács, S Robillard
Logic for Programming, Artificial Intelligence, and Reasoning, 434-443, 2015
92015
Loop Analysis by Quantification over Iterations.
B Gleiss, L Kovács, S Robillard
LPAR, 381-399, 2018
82018
Powerlists in Coq: programming and reasoning
F Loulergue, V Niculescu, S Robillard
2013 First International Symposium on Computing and Networking, 57-65, 2013
72013
Goéland: a Concurrent Tableau-Based Theorem Prover (System Description)
J Cailler, J Rosain, D Delahaye, S Robillard, HL Bouziane
IJCAR 2022-11th International Joint Conference on Automated Reasoning 13385 …, 2022
52022
Theory-Specific Reasoning about Loops with Arrays using Vampire.
YT Chen, L Kovács, S Robillard
Vampire@ IJCAR, 16-32, 2016
42016
Verified approximation algorithms
R Eßmann, T Nipkow, S Robillard
International Joint Conference on Automated Reasoning, 291-306, 2020
32020
Reasoning About Loops Using Vampire.
L Kovács, S Robillard
Vampire Workshop, 52-62, 2015
32015
Vampire 4.4-SMT System Description
G Reger, M Suda, A Voronkov, E Kotelnikov, S Robillard, L Kovács, ...
3
Enhancing Separation of Concerns, Parallelism, and Formalism in Distributed Software Deployment with Madeus
M Chardet, H Coullon, C Pérez, D Pertin, C Servantie, S Robillard
22020
An inference rule for the acyclicity property of term algebras
S Robillard
Vampire, 2017
22017
A comprehensive framework for saturation theorem proving (technical report)
U Waldmann, S Tourret, S Robillard, J Blanchette
Technical report, 2020
2020
Deductive Program Analysis with First-Order Theorem Provers
S Robillard
Department of Computer Science and Engineering, Chalmers University of …, 2019
2019
Analysis of Iterative or Recursive Programs Using a First-Order Theorem Prover
S Robillard
PQDT-Global, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20