Recherche

Accueil CEDRIC > Laboratoire > Membre > Dubois >

Catherine Dubois

Professeur
Equipe SYS
Parti depuis le 01/02/2016
Mail : dubois

ensiie.fr
Tel : 0169367340
Fax : 0169367305
http://www.ensiie.fr/~dubois

Projets

CertiSkatt

Publications

2017

Conférence Nationale avec comité de lecture

[PDL17] T. Pham, C. Dubois, N. Levy. "Une ligne de produits corrects par construction", AFADL 2017, June 2017, pp.7 p, Montpellier, France,

2016

Conférence Nationale avec comité de lecture

[DLP16] C. Dubois, N. Levy, T. Pham . "Vers un dÃ©veloppement formel non incrÃ©mental", AFADL'2016, June 2016, pp.106-113, BesanÃ§on, France,

2015

Revue Nationale avec comité de lecture

[SDG15] D. Sadoun, C. Dubois, Y. Ghamri-Doudane, B. Grau. "ReprÃ©sentation et vÃ©rification d'un environnement intelligent Ã partir de spÃ©cifications utilisateur en langage naturel", Revue d'Intelligence Artificielle , vol. 29(1), pp. 47-81 , 2015, (doi:10.3166/ria.29.47-81 )

Conférence Nationale avec comité de lecture

[DER15] C. Dubois, S. Elloumi, B. Robillard, C. Vincent. "Graphes et couplages en Coq", JournÃ©es Francophones des langages applicatifs (JFLA), January 2015, pp.235-248, Val d'Ajol, France,

Directions d'ouvrages scientifiques

[DMM15] C. Dubois, P. Masci, D. MÃ©ry. "Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015", July 2015, EPTCS,

Atelier, Poster ou Démonstration dans une Conférence Internationale

[PDL15] T. Pham , C. Dubois, N. Levy. "Towards correct-by-construction product variants of a software product line: GFML, a formal language for feature modules", Formal Methods and Analysis in SPL Engineering (FMSPLE 2015), April 2015, Vol. 182, pp.44-55, London, UK, (DOI: 10.4204/EPTCS.182)

2014

Conférence Internationale avec comité de lecture

[DR14] C. Dubois, R. Rioboo. "Verified functional iterators using the FoCaLiZe environment", Software Engineering and Formal Methods, September 2014, pp.317--331, Series LNCS,
[SDG14] D. Sadoun, C. Dubois, Y. Ghamri-Doudane, B. Grau. "Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology", RuleML, August 2014, Vol. 8620, pp.226-235, Series LNCS, Prague, Czech Republic, (DOI: 10.1007/978-3-319-09870-8_17)
[DDM14] D. Delahaye, C. Dubois, C. MarchÃ©, D. MentrÃ©. "The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations", Abstract State Machines, Alloy, B, VDM, and Z (ABZ), June 2014, pp.-,
[CAD14] R. Cauderlier, A. Assaf, C. Dubois. "Objects and subtyping in the lambda-Pi-calculus modulo,", TYPES 2014, May 2014, pp.2, Paris, France,

Directions d'ouvrages scientifiques

[DD14] D. Delahaye, C. Dubois. "Proceedings of the first workshop about Sets and Tools, SETS 2014, affiliated to ABZ 2014", June 2014, Informal proceedings,
[DGM14] C. Dubois, D. Giannakopoulou, D. MÃ©ry. "Proceedings of the first workshop on Formal Integrated Development Environment, F-IDE 2014, ETAPS satellite event", April 2014, EPTCS,

2013

Revue Internationale avec comité de lecture

[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)

Conférence Internationale avec comité de lecture

[SDG13] D. Sadoun, C. Dubois, Y. Ghamri-Doudane, B. Grau. "From Natural Language Requirements to Formal Specification Using an Ontology", IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI 2013), November 2013, pp.755-760, Herndon, VA, USA, (DOI: 10.1109/ICTAI.2013.116)

Conférence Nationale avec comité de lecture

[DG13] C. Dubois, A. Gotlieb. "Solveurs CP(FD) vÃ©rifiÃ©s formellement", NeuviÃ¨mes JournÃ©es Francophones de Programmation par Contraintes (JFPC 2013), June 2013, pp.115-118, Aix-en-Provence,
[DDT13] D. Delahaye, C. Dubois, P. Tollitte. "RelExt : SynthÃ¨se de code Ã partir de spÃ©cifications inductives ", AFADL 2013, April 2013, pp.4 pages, Nancy, France,

Atelier, Poster ou Démonstration dans une Conférence Internationale

[DFG13] C. Dubois, M. Famelis, M. Gogolla, L. Nobrega, I. Ober, . Seidl, M. VÃ¶lter. "Research Questions for Validation and Verification in the Context of Model-Based Engineering", Model-Driven Engineering, Verification, and Validation (MoDeVVa 2013), satellite event of MODELS 2013, October 2013, pp.10 pages, Miami, Floride, USA,

2012

Conférence Internationale avec comité de lecture

[TDD12] P. Tollitte, D. Delahaye, C. Dubois. "Producing Certified Functional Code from Inductive Specifications", International Conference on Certified Programs and Proofs (CPP 2012), December 2012, Vol. 7679, pp.76-91, Series LNCS, Kyoto, Japan,
[ABD12] P. Ayrault, V. Benayoun, C. Dubois, F. Pessaux. "ML Dependency Analysis for Assessors", International Conference on Software Engineering and Formal Methods (SEFM'12), October 2012, Vol. 7504, pp.278-292, Series LNCS, Thessaloniki, Greece,
[CDG12a] M. Carlier, C. Dubois, A. Gotlieb. "A certified constraint solver over finite domains", Formal Methods (FM 2012) (ex FME), August 2012, Vol. 7436, pp.116-131, Series LNCS, Paris, France,
[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,
[CDG12] M. Carlier, C. Dubois, A. Gotlieb. "A first step in the design of a formally verified constraint-based testing tool: FocalTest", Tests and Proofs , May 2012, Vol. 7305, pp.35--50, Series LNCS, Prague, TCHEQUE, REPUBLIQUE,

Conférence Nationale avec comité de lecture

[SDG12] D. Sadoun, C. Dubois, Y. Ghamri-Doudane, B. Grau. "Formalisation en OWL pour vÃ©rifier les spÃ©cifications d'un environnement intelligent. ", congrÃ¨s francophone sur la Reconnaissance des Formes et l'Intelligence Artificielle (RFIA'12) , January 2012, pp.8 pages, Lyon,
[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,

2011

Conférence Internationale avec comité de lecture

[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,

Conférences invitées

[Dub11] C. Dubois. "Tutorial: introduction to Coq", TOOLS 2011, June 2011, pp.tutorial, Zurich, Switzerland,

2010

Conférence Internationale avec comité de lecture

[CDG10] M. Carlier, C. Dubois, A. Gotlieb. "Constraint Reasoning in FocalTest", ICSOFT'10, 5th Int. Conf. on Software and Data Technologies, July 2010, Vol. 2, pp.82-91, AthÃ¨nes, GrÃ¨ce,

Conférence Nationale avec comité de lecture

[DDT10] D. Delahaye, C. Dubois, P. Tollitte. "GÃ©nÃ©ration de code fonctionnel certifiÃ© Ã partir de spÃ©cifications inductives dans l'environnement Focalize", JournÃ©es Francophones des Langages Applicatifs (JFLA'10), January 2010, pp.55-81, Series Studia informatica universalis , La Ciotat ,

2009

Conférence Nationale avec comité de lecture

[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,

Directions d'ouvrages scientifiques

[DUB09] C. Dubois. "Tests and Proofs", January 2009, Springer,

Rapport Scientifique

[CDG09] M. Carlier, C. Dubois, A. Gotlieb. "Constraint Reasoning in FocalTest", Date de dépot: 2009/01/01, Nb pages 36, (Tech. Rep.: CEDRIC-09-1703)

2008

Conférence Internationale avec comité de lecture

[DC08] C. Dubois, M. Carlier. "Functional Testing in the Focal environment", Tests and Proofs (TAP 2008), April 2008, Vol. 4966, pp.84-98, Series LNCS, Prato, Italy,

Conférence Nationale avec comité de lecture

[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,

2007

Revue Internationale avec comité de lecture

[DM07] C. Dubois, J. Marc Mota. "Geometric modeling with B: formal specification of generalized maps", Journal of Scientific & Practical Computing Journal, vol. 1(2), pp. 9-24, 2007

Revue Nationale avec comité de lecture

[MD07] J. Marc Mota, C. Dubois. "Raffinement de modÃ¨les topologiques : des droites aux 2-G-cartes", TSI, Technique et Science Informatiques, vol. 26(7), pp. 883-908, 2007

Conférence Internationale avec comité de lecture

[DDE07] D. Delahaye, C. Dubois, J. Etienne. "Extracting Purely Functional Contents from Logical Inductive Types", TPHOLs'07 Theorem Proving in Higher Order Logics, Kaiserslautern (Germany), January 2007, Vol. 4732, pp.70-85, Series LNCS,
[JD07a] E. Jaeger, C. Dubois. "Why Would You Trust B ?", LPAR'07 Logic for Programming Artificial Intelligence and Reasoning, Yerevan (Armenia), January 2007, pp.288-302, Series LNCS 4790,
[LLB07] R. Laleau, Y. Ledru, D. Bert, F. Bouquet, M. Lemoine, C. Dubois, V. Viguie Donzeau-Gouge, S. Vignes. "Using Computer Science Modeling Techniques for Airport Security Certification", RCIS''07 First Int. Conf. on Research Challenges in Information Science, Ouarzazate, January 2007, pp.61-72,

2006

Revue Internationale avec comité de lecture

[LVL06] R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Viguie Donzeau-Gouge, C. Dubois, F. Peureux. "Adopting a situational requirements engineering approach for the analysis of civil aviation security standards", Software Process: Improvement and Practice, vol. 11(5), pp. 487Â–503, 2006

Conférence Internationale avec comité de lecture

[DM06] C. Dubois, J. Mota. "A formally verified geometric modelling core", SERP'06 - Int. Conf. on Software Engineering Research and Practice, Las Vegas, USA,, January 2006, pp.643-649, Series CSREA Press,
[LLL06] Y. Ledru, R. Laleau, M. Lemoine, S. Vignes, D. Bert, V. Viguie Donzeau-Gouge, C. Dubois, F. Peureux. "An attempt to combine UML and formal methods to model airport security", CAISEÃ‚Â’06 Forum, January 2006,

Conférence Nationale avec comité de lecture

[MD06] J. Mota, C. Dubois. "Raffinement de donnÃ©es en B Ã©vÃ©nementiel pour les algorithmes gÃ©omÃ©triques", AFADL'06 - Approches Formelles dans l'Assistance au DÃƒÂ©veloppement de Logiciels, Paris, France. 200, January 2006,

Rapport Scientifique

[SAD06] M. Simonot, M. Aponte, C. Dubois. "Ã‰tat de l'art du typage pour l'intÃ©ropÃ©rabilitÃ© entre composants", Date de dépot: 2006/01/01, (Tech. Rep.: CEDRIC-06-1182)

2005

Revue Nationale avec comité de lecture

[DUB05] C. Dubois. " Typage, sÃ»retÃ© et sÃ©curitÃ©", TSI, Technique et Science Informatiques, vol. 24(9), pp. 1187-1190, 2005

Conférence Internationale avec comité de lecture

[LVL05] R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Viguie Donzeau-Gouge, C. Dubois, F. Peureux. "Application of Requirements Engineering Techniques to the Analysis of Civil Aviation Security Standards", SREP'05 International Workshop, In conjunction with 13th IEEE International Requirements Engineering, January 2005,

2004

Revue Nationale avec comité de lecture

[BDF04] K. Berkani, C. Dubois, A. Faivre, J. Falampin. "Validation des rÃ¨gles de base de l'Atelier B", TSI, Technique et Science Informatiques, vol. 23(7), pp. 855-878, 2004

Conférence Internationale avec comité de lecture

[DHV04] C. Dubois, T. Hardin, V. Viguie Donzeau-Gouge. "Building certified components within FOCAL", Symposium on Trends in Functional Programming (TFP04), January 2004, Vol. 5, pp.33-48, Series Trends in Functional Programming ,

Conférence Nationale avec comité de lecture

[DJP04] C. Dubois, M. Jaume, O. Pons, V. Prevosto. "L'atelier Focal", AFADL, session outils, January 2004,

Chapitres de Livre

[DM04] C. Dubois, V. Menissier-Morain. "Apprentissage de la programmation avec OCaml", January 2004,

2003

Conférence Nationale avec comité de lecture

[BDF03] K. Berkani, C. Dubois, A. Faivre, J. Falampin. " Validation des rÃ¨gles de base de l'Atelier B", AFADL'03, January 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,

2002

Revue Nationale avec comité de lecture

[LMA02] F. Ledoux, J. Mota, A. Arnoult, C. Dubois, P. Le Gall, Y. Bertrand. "SpÃ©cifications formelles du chanfreinage", TSI, Technique et Science Informatiques, vol. 21(8), 2002

Conférence Internationale avec comité de lecture

[ABD02] M. Aiguier, D. Bahrami, C. Dubois. "On a Generalised Logicality Theorem", January 2002,

2001

Conférence Internationale avec comité de lecture

[BD01a] O. Boite, C. Dubois. "Proving Type Soundness of a Simply Typed ML-like Language with References", TPHOLs2001, January 2001,

Conférence Nationale avec comité de lecture

[LMA01] F. Ledoux, J. Mota, A. Arnould, C. Dubois, P. Le Gall, Y. Bertrand. "SpÃ©cifications formelles du chanfreinage", AFADL2001, January 2001,

2000

Conférence Internationale avec comité de lecture

[ABD00] M. Aiguier, D. Bahrami, C. Dubois. "Axioms for Rewriting Theory", PLI 2000, Workshop RULE 2000 : First International Workshop on Rule-Based Programming Montreal, Cana, January 2000,

Mémoire de HDR

[DUB00] C. Dubois. "Un parcours de la programmation Ã la preuve", Soutenue le: 01 January 2000,