|
 
|
Mathieu Jaume
Publications
2012
- [DJR12a] D. Doligez, M. Jaume, R. Rioboo. "Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment", ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security (PLAS 2012) , June 2012, pp.A paraitre,
- [JR12] M. Jaume, R. Rioboo. "Développement de systèmes sécurisés avec l'atelier Focalize,", 23èmes Journées Francophones des Langages Applicatifs (JFLA 2012), February 2012, pp.104--118, Carnac, France,
Conférence Internationale avec comité de lecture
Conférence Nationale avec comité de lecture
2009
- [CDH09] M. Carlier, C. Dubois, L. Habib, M. Jaume. "Politique de contrôle d'accès multi-niveaux : test de conformité vis à vis des flots avec l'outil FoCaL", AFADL'09 Approches formelles dans l'assistance au développement des Logiciels, Toulouse, January 2009,
Conférence Nationale avec comité de lecture
2008
- [ACD08] P. Ayrault, M. Carlier, D. Delahaye, C. Dubois, D. Doligez, L. Habib, T. Hardin, M. Jaume, C. Morisset, F. Pessaux, P. Weis. "Trusted Software within FoCaL", CE&SAR 2008, Rennes, décembre, December 2008, pp.142-157,
Conférence Nationale avec comité de lecture
2005
- [DJP05] D. Delahaye, M. Jaume, V. Prevosto. "Coq: un outil pour l'enseignement", TSI, Technique et Science Informatiques, vol. 24(9), pp. 1139-1160, 2005
Revue Nationale avec comité de lecture
2004
- [DJP04] C. Dubois, M. Jaume, O. Pons, V. Prevosto. "L'atelier Focal", AFADL, session outils, January 2004,
Conférence Nationale avec comité de lecture
2003
- [DGJ03] C. Dubois, J. Grandguillot, M. Jaume. "Réutilisation de preuves - Une étude pour le système Foc", Journées francophones des langages applicatifs, January 2003,
