Simon Robillard

Publikationer (9)
Projekt (0)

Visar 9 publikationer

2019

Deductive Program Analysis with First-Order Theorem Provers

Simon Robillard

Doktorsavhandling

2018

Loop Analysis by Quantification over Iterations

Bernhard Gleiss, Laura Kovacs, Simon Robillard

EPiC Series in Computing. Vol. 57, p. 381-399

Paper i proceeding

2018

An Inference Rule for the Acyclicity Property of Term Algebras

Simon Robillard

Proceedings of the 4th Vampire Workshop. Vol. 53, p. 20-32

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 LNAI, 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

2017

Coming to terms with quantified reasoning

Laura Kovacs, Simon Robillard, Andrei Voronkov

ACM SIGPLAN Notices. Vol. 52 (1), p. 260-270

Artikel i vetenskaplig tidskrift

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

2016

Analysis of Iterative or Recursive Programs Using a First-Order Theorem Prover

Simon Robillard

Licentiatavhandling

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

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

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.