Simon Robillard

Doktorand vid Chalmers, Data- och informationsteknik, Formella metoder

Visar 8 publikationer

2019

Deductive Program Analysis with First-Order Theorem Provers

Simon Robillard
Doktorsavhandling
2018

An Inference Rule for the Acyclicity Property of Term Algebras

Simon Robillard
Proceedings of the 4th Vampire Workshop
Paper i proceeding
2018

Loop Analysis by Quantification over Iterations

Bernhard Gleiss, Laura Kovacs, Simon Robillard
Paper i proceeding
2018

Superposition with Datatypes and Codatatypes

Jasmin Christian Blanchette, Nicolas Peltier, Simon Robillard
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10900, p. 370-387
Paper i proceeding
2017

Coming to Terms with Quantified Reasoning

Laura Kovacs, Simon Robillard, Andrei Voronkov
SIGPLAN Notices (ACM Special Interest Group on Programming Languages). Vol. 52 (1), p. 260-270
Paper i proceeding
2016

Theory-Specific Reasoning about Loops with Arrays using Vampire

Chen Yuting, Laura Kovacs, Simon Robillard
Proceedings of the 3rd Vampire Workshop. Vol. EPiC volume
Paper i proceeding
2015

Reasoning About Loops Using Vampire in KeY

Wolfgang Ahrendt, Laura Kovacs, Simon Robillard
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9450, p. 434-443
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Det finns inga projekt att visa.
Det kan finnas fler projekt där Simon Robillard medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.