Simon Robillard

Chalmers tekniska högskola

H-index: 8

Europe-Sweden

About Simon Robillard

Simon Robillard, With an exceptional h-index of 8 and a recent h-index of 6 (since 2020), a distinguished researcher at Chalmers tekniska högskola, specializes in the field of automated reasoning, program verification, superposition.

His recent articles reflect a diverse array of research interests and contributions to the field:

Goéland: a Concurrent Tableau-Based Theorem Prover (System Description)

SMT-Based Planning Synthesis for Distributed System Reconfigurations.

Toward safe and efficient reconfiguration with Concerto

Verified approximation algorithms

A comprehensive framework for saturation theorem proving

Enhancing Separation of Concerns, Parallelism, and Formalism in Distributed Software Deployment with Madeus

Simon Robillard Information

University	Chalmers tekniska högskola
Position	PhD student
Citations(all)	214
Citations(since 2020)	163
Cited By	116
hIndex(all)	8
hIndex(since 2020)	6
i10Index(all)	6
i10Index(since 2020)	4
Email	Access Email
University Profile Page	Chalmers tekniska högskola
Google Scholar	View Google Scholar Profile

Simon Robillard Skills & Research Interests

automated reasoning

program verification

superposition

Simon Robillard

Chalmers tekniska högskola

About Simon Robillard

Simon Robillard Information

Simon Robillard Skills & Research Interests

Top articles of Simon Robillard

Goéland: a Concurrent Tableau-Based Theorem Prover (System Description)

Simon Robillard

SMT-Based Planning Synthesis for Distributed System Reconfigurations.

Simon Robillard

Toward safe and efficient reconfiguration with Concerto

Simon Robillard

Verified approximation algorithms

Tobias Nipkow

Simon Robillard

A comprehensive framework for saturation theorem proving

Simon Robillard

Jasmin Blanchette

Enhancing Separation of Concerns, Parallelism, and Formalism in Distributed Software Deployment with Madeus

Dimitri Pertin

Simon Robillard