Recherche

Rechercher

Accueil CEDRIC > Laboratoire > Membre > Jforest >

Julien Forest

Equipe SYS
Mail : julien.forest

ensiie.fr
Tel : (33)0169367338
Fax : (33)(33)15880
http://www.ensiie.fr/~forest/

Julien's Tag-Cloud :

Publications

2016

Conférence Nationale avec comité de lecture

[BCF16] A. Bosser, P. Courtieu, J. Forest, M. Aponte. "Une preuve est (un programme) une histoire", Actes des Vingt-septiÃ¨mes JournÃ©es Francophones des Langages Applicatifs JFLA 2016, January 2016, pp.171-172, Saint Malo, France,

2011

Conférence Internationale avec comité de lecture

[BCF11] A. Bosser, P. Courtieu, J. Forest, M. Cavazza. "Structural Analysis of Narratives with the Coq Proof Assistant.", Interactive theorem proving (TPHOLs), August 2011, Vol. 6898, pp.55--70, Series Lecture Notes in Computer Science, Berg en Dal, The Netherlands,
[CCF11a] E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain. "Automated Certified Proofs with CiME 3", 22nd Int. Conf. on Rewriting Techniques and Applications, May 2011, Vol. 10, pp.21-30, Series LIPIcs, Novi Sad, Serbie,

Rapport Scientifique

[BCC11] A. Bosser, M. Cavazza, P. Courtieu, J. Forest. "Structural Analysis of Narratives with the Coq Proof Assistant", Date de dépot: 2011/03/01, Nb pages 16, (Tech. Rep.: CEDRIC-11-2061)
[CCF11] E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain. "Automated Certified Proofs with CiME3", Date de dépot: 2011/02/01, Nb pages 11, (Tech. Rep.: CEDRIC-11-2044)

2010

Conférence Internationale avec comité de lecture

[CCF10] E. Contejean, P. Courtieu, J. Forest, A. Paskevich, O. Pons, X. Urbain. "A3PAT, an Approach for Certified Automated Termination Proofs", PEPM'10 Proceedings of the 2010 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, Madrid, Spain, January 2010, pp.10,

2008

Conférence Internationale avec comité de lecture

[CFU08b] P. Courtieu, J. Forest, X. Urbain. "Certifying a Termination Criterion Based on Graphs, without Graphs", TPHOLs'08 Theorem Proving in Higher Order Logics, MontrÃ©al, Canada, January 2008, Vol. 5170, pp.183-198, Series Lecture Notes in Computer Science, Montreal, Canada,

Rapport Scientifique

[CFU08a] E. Contejean, J. Forest, X. Urbain. "Deep-Embedded Unification", Date de dépot: 2008/01/01, (Tech. Rep.: CEDRIC-08-1547)

2007

Conférence Internationale avec comité de lecture

[CCF07a] E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain. "Certification of automated termination proofs", 6th Int. Symp. on Frontiers of Combining Systems, Liverpool, Royaume-Uni, January 2007, pp.148-162, Series LNAI 4720,

Rapport Scientifique

[CCF07] E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain. "Certification of automated termination proofs", Date de dépot: 2007/01/01, (Tech. Rep.: CEDRIC-07-1185)