What Is Decidable in Separation Logic Beyond Progress, Connectivity and Establishment? - Tanguy Bozec; Nicolas Peltier; Quentin Petitjean 001; Mihaela Sighireanu (IJCAR (2), 2024)

Deciding Satisfiability for Overlaid Symbolic Heaps. - Nicolas Peltier; Quentin Petitjean 001; Mihaela Sighireanu (FroCoS, 2025)

Automated Tools for Inductive Reasoning in Separation Logic. (Outils automatisés pour le raisonnement inductif en logique de séparation). - Quentin Petitjean 001 (2026)