|
 
|
Mélanie Jacquel
|
Doctorant(e) Equipe SYS Parti depuis le 24/04/2013 Mail : melanie.jacquel  gmail.com
Directeur de thèse : Catherine Dubois Co-Directeur(s) : David Delahaye |
Thèse soutenue le 23 avril 2013
Publications
2013
- [JBD13] M. Jacquel, K. Berkani, D. Delahaye, C. Dubois. "Verifying B proof rules using deep embedding and automated theorem proving", Software & Systems Modeling (SoSym), pp. online, 2013, (doi:10.1007/s10270-013-0322-z)
- [DJ13] D. Delahaye, M. Jacquel. "Recovering Intuition from Automated Formal Proofs using Tableaux with Superdeduction", Electronic Journal of Mathematics and Technology (eJMT), vol. 7(2), pp. online, 2013
-
[Jac13]
M. Jacquel.
"Automatisation des preuves pour la vérification des règles de l'Atelier B",
Soutenue le: 23 April 2013,
pp. 190,
Revue Internationale avec comité de lecture
Mémoire de Thèse
2012
- [JBD12] M. Jacquel, K. Berkani, D. Delahaye, C. Dubois. "Tableaux Modulo Theories using Superdeduction: An Application to the Verification of B Proof Rules with the Zenon Automated Theorem Prover", International Joint Conference on Automated Reasoning (IJCAR 2012), June 2012, Vol. 7364, pp.332--338, Series LNAI, Manchester, UK,
- [BDD12] K. Berkani, D. Delahaye, C. Dubois, M. Jacquel, M. Keogh, E. Le Lay. "BCARe : un environnement pour la vérification de règles de l’Atelier B ", Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2012), January 2012, pp.46-49, Grenoble, France,
- [BJL12] K. Berkani, M. Jacquel, E. Le Lay. "BCARe : Contrôle automatique des règles ajoutées à SIEMENS", Titre du livre: "Utilisations industrielles des techniques formelles : méthode B. dirigé par J-L Boulanger. Hermes Science (à paraître)", September 2012, Hermes / Lavoisier, pp. -,
Conférence Internationale avec comité de lecture
Conférence Nationale avec comité de lecture
Chapitres de Livre
2011
- [JBD11] M. Jacquel, K. Berkani, D. Delahaye, C. Dubois. "Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving.", Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, November 2011, Vol. 7041, pp.253-268, Series LNCS, Montevideo, Uruguay,
