Dependency Analysis of Functional Specifications with Algebraic Data Structures. - Oana Fabiana Andreescu; Thomas P. Jensen; Stéphane Lescuyer (ICFEM, 2015)

Correlating Structured Inputs and Outputs in Functional Specifications. - Oana Fabiana Andreescu; Thomas P. Jensen; Stéphane Lescuyer (SEFM, 2016)

Static analysis of functional programs with an application to the frame problem in deductive verification. (Analyse statique de programmes fonctionnels avec une application au problème du frame dans le domaine de la vérification déductive). - Oana Fabiana Andreescu (2017)

Inferring frame conditions with static correlation analysis. - Oana Fabiana Andreescu; Thomas P. Jensen; Stéphane Lescuyer; Benoît Montagu (Proc. ACM Program. Lang., 2019)