Simon Robillard

Doktorand vid Chalmers, Data- och informationsteknik, Formella metoder

Visar 6 publikationer

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. 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. 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.