Oana Fabiana Andreescu

According to our database, Oana Fabiana Andreescu authored at least 4 papers between 2015 and 2019.

Collaborative distances:

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

2019

Inferring frame conditions with static correlation analysis.

Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer, Benoît Montagu

Proc. ACM Program. Lang., 2019

2017

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

PhD thesis, 2017

2016

Correlating Structured Inputs and Outputs in Functional Specifications.

Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

2015

Dependency Analysis of Functional Specifications with Algebraic Data Structures.

Oana Fabiana Andreescu, Thomas P. Jensen, Stéphane Lescuyer

Proceedings of the Formal Methods and Software Engineering, 2015