Simon Robillard

Orcid: 0000-0003-4751-380X

According to our database1, Simon Robillard authored at least 16 papers between 2013 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Component-based Distributed Software Reconfiguration:A Verification-oriented Survey.
ACM Comput. Surv., January, 2024

2022
Verified Approximation Algorithms.
Log. Methods Comput. Sci., 2022

A Comprehensive Framework for Saturation Theorem Proving.
J. Autom. Reason., 2022

SMT-Based Planning Synthesis for Distributed System Reconfigurations.
Proceedings of the Fundamental Approaches to Software Engineering, 2022

Goéland: A Concurrent Tableau-Based Theorem Prover (System Description).
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021
Toward safe and efficient reconfiguration with Concerto.
Sci. Comput. Program., 2021

2020
Verified Approximation Algorithms.
Arch. Formal Proofs, 2020

2018
Loop Analysis by Quantification over Iterations.
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Superposition with Datatypes and Codatatypes.
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017
Coming to terms with quantified reasoning.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016
Theory-Specific Reasoning about Loops with Arrays using Vampire.
Proceedings of the Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, 2016

2015
Reasoning About Loops Using Vampire in KeY.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

Reasoning About Loops Using Vampire.
Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014, 2015

2014
Catamorphism Generation and Fusion Using Coq.
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

Formal derivation and extraction of a parallel program for the all nearest smaller values problem.
Proceedings of the Symposium on Applied Computing, 2014

2013
Powerlists in Coq: Programming and Reasoning.
Proceedings of the First International Symposium on Computing and Networking, 2013


  Loading...