Mélanie Jacquel

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Modulo Theories

Answer Set Programming

Decision Procedures

Top Venues

Softw. Syst. Model.

Conservatoire national des arts et métiers, Paris, France (PHD)

Education History

Conservatoire national des arts et métiers, Paris, France

PHD

Publications

David Delahaye, Mélanie Jacquel
Recovering Intuition from Automated Formal Proofs using Tableaux with Superdeduction. CoRR (2015)
Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
Verifying B proof rules using deep embedding and automated theorem proving. Softw. Syst. Model. 14 (1) (2015)
Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
Tableaux Modulo Theories Using Superdeduction. CoRR (2015)
Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
Tableaux Modulo Theories Using Superdeduction - An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover. IJCAR (2012)
Mélanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois
Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving. SEFM (2011)