Yanis Sellami

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 5

Top Topics

Logic Programming

Modulo Theories

Abductive Reasoning

Top Venues

Proc. ACM Program. Lang.

Publications

Yanis Sellami, Guillaume Girol, Frédéric Recoules, Damien Couroussé, Sébastien Bardin
Inference of Robust Reachability Constraints. Proc. ACM Program. Lang. 8 (POPL) (2024)
Mnacho Echenim, Nicolas Peltier, Yanis Sellami
Ilinva: Using Abduction to Generate Loop Invariants. FroCos (2019)
Mnacho Echenim, Nicolas Peltier, Yanis Sellami
Ilinva: Using Abduction to Generate Loop Invariants. CoRR (2019)
Mnacho Echenim, Nicolas Peltier, Yanis Sellami
A Generic Framework for Implicate Generation Modulo Theories. CoRR (2018)
Mnacho Echenim, Nicolas Peltier, Yanis Sellami
A Generic Framework for Implicate Generation Modulo Theories. IJCAR (2018)