Simon Robillard

Publications (9)
Projects (0)

Showing 9 publications

2019

Deductive Program Analysis with First-Order Theorem Provers

Simon Robillard

Doctoral thesis

2018

Loop Analysis by Quantification over Iterations

Bernhard Gleiss, Laura Kovacs, Simon Robillard

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

Paper in 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 in 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 in 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 in proceeding

2017

Coming to terms with quantified reasoning

Laura Kovacs, Simon Robillard, Andrei Voronkov

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

Journal article

2016

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

Simon Robillard

Licentiate thesis

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 in 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 in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.

There might be more projects where Simon Robillard participates, but you have to be logged in as a Chalmers employee to see them.