Stéphane Lescuyer

According to our database, Stéphane Lescuyer authored at least 10 papers between 2007 and 2019.

Collaborative distances:

• Dijkstra number of four.
• 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

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

ProvenCore: Towards a Verified Isolation Micro-Kernel.

Stéphane Lescuyer

Proceedings of the International Workshop on MILS: Architecture and Assurance for Secure Systems, 2015

2011

Formalizing and Implementing a Reflexive Tactic for Automated Deduction in Coq. (Formalisation et developpement d'une tactique reflexive pour la demonstration automatique en coq).

Stéphane Lescuyer

PhD thesis, 2011

First-Class Containers in Coq.

Stéphane Lescuyer

Stud. Inform. Univ., 2011

2009

Faire bonne figure avec MLPOST.

Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer

Stud. Inform. Univ., 2009

Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme.

Stéphane Lescuyer, Sylvain Conchon

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

2007

CC(X): Semantic Combination of Congruence Closure with Solvable Theories.

Sylvain Conchon, Evelyne Contejean, Johannes Kanig, Stéphane Lescuyer

Proceedings of the 5th International Workshop on Satisfiability Modulo Theories, 2007

Handling Polymorphism in Automated Deduction.

Jean-François Couchot, Stéphane Lescuyer

Proceedings of the Automated Deduction, 2007