Asma Tafat

Most-cited papers

1. Binary Heaps Formally Verified in Why3

   Asma Tafat, C. Marché

   201110 citations

   Semantic Scholar

   Save

2. A Refinement Methodology for Object-Oriented Programs

   Asma Tafat, Sylvain Boulmé, C. Marché

   2010Formal Verification of Object-Oriented Software10 citations Open access

   Semantic Scholar

   Save

3. Weakest Precondition Calculus, Revisited using Why3

   C. Marché, Asma Tafat

   20125 citations

   Semantic Scholar

   Save

4. A Refinement Approach for Correct-by-Construction Object-Oriented Programs

   Asma Tafat, Sylvain Boulmé, C. Marché

   20103 citations

   Semantic Scholar

   Save

5. Scientific Foundations - Proof of Imperative andObject-Oriented programs

   Romain Bardou, François Bobot, S. Boldo, J. Filliâtre +6 more

   20110 citations

   Semantic Scholar

   Save

6. Other Grants and Activities - National initiatives

   J. Filliâtre, C. Marché, G. Melquiond, Kalyan Krishnamani +12 more

   20100 citations

   Semantic Scholar

   Save

7. Approach for Correct-by-Construction

   O. Programs, Asma Tafat, Sylvain Boulm, Claude March

   20100 citations

   Semantic Scholar

   Save

8. To cite this version

   Asma Tafat, Sylvain Boulm, Claude March, Bernhard Beckert

   20100 citations

   Semantic Scholar

   Save

9. Other Grants and Activities - European initiatives

   C. Marché, Romain Bardou, François Bobot, Asma Tafat

   20100 citations

   Semantic Scholar

   Save