Steven de Oliveira

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 8

Top Topics

Correlation Matrix

Imperative Programs

Top Venues

University of Paris-Saclay, France (PHD)

Education History

University of Paris-Saclay, France

PHD

Publications

Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. SAC (2023)
Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat
An Efficient Black-Box Support of Advanced Coverage Criteria for Klee. CoRR (2022)
Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem
Left-Eigenvectors Are Certificates of the Orbit Problem. RP (2018)
Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem
Left-eigenvectors are certificates of the Orbit Problem. CoRR (2018)
Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
Synthesizing Invariants by Solving Solvable Loops. ATVA (2017)
Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
Polynomial invariants by linear algebra. CoRR (2016)
Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
Synthesizing invariants by solving solvable loops. CoRR (2016)
Steven de Oliveira, Saddek Bensalem, Virgile Prevosto
Polynomial Invariants by Linear Algebra. ATVA (2016)