Steven de Oliveira

According to our database, Steven de Oliveira authored at least 5 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

An Efficient Black-Box Support of Advanced Coverage Criteria for Klee.

Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet, Romain Soulat

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

2018

Finding constancy in linear routines. (Recherche de constance dans les routines linéaires).

Steven de Oliveira

PhD thesis, 2018

Left-Eigenvectors Are Certificates of the Orbit Problem.

Steven de Oliveira, Virgile Prevosto, Peter Habermehl, Saddek Bensalem

Proceedings of the Reachability Problems - 12th International Conference, 2018

2017

Synthesizing Invariants by Solving Solvable Loops.

Steven de Oliveira, Saddek Bensalem, Virgile Prevosto

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Polynomial Invariants by Linear Algebra.

Steven de Oliveira, Saddek Bensalem, Virgile Prevosto

Proceedings of the Automated Technology for Verification and Analysis, 2016