We stand with Ukraine  

Yanis Sellami

Orcid: 0009-0006-8833-3863

According to our database1, Yanis Sellami authored at least 4 papers between 2018 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Inference of Robust Reachability Constraints.
[BibTeX]
[DOI]
Yanis Sellami
,
Guillaume Girol
,
Frédéric Recoules
,
Damien Couroussé
,
Sébastien Bardin
Proc. ACM Program. Lang., January, 2024

2020
Abductive reasoning modulo theories and an application to program verification. (Raisonnement abductif modulo des théories et application à la vérification de programmes).
[BibTeX]
[DOI]
Yanis Sellami
PhD thesis, 2020

2019
Ilinva: Using Abduction to Generate Loop Invariants.
[BibTeX]
[DOI]
Mnacho Echenim
,
Nicolas Peltier
,
Yanis Sellami
Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

2018
A Generic Framework for Implicate Generation Modulo Theories.
[BibTeX]
[DOI]
Mnacho Echenim
,
Nicolas Peltier
,
Yanis Sellami
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018


  Loading...