Catherine Dubois

2008
16	EE	Matthieu Carlier, Catherine Dubois: Functional Testing in the Focal Environment. TAP 2008: 84-98
2007
15	EE	Éric Jaeger, Catherine Dubois: Why Would You Trust B ? LPAR 2007: 288-302
14		Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes: Using Computer Science Modeling Techniques for Airport Security Certification. RCIS 2007: 61-72
13	EE	David Delahaye, Catherine Dubois, Jean-Frédéric Étienne: Extracting Purely Functional Contents from Logical Inductive Types. TPHOLs 2007: 70-85
2006
12	EE	Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux: An attempt to combine UML and formal methods to model airport security. CAiSE Forum 2006
11		Catherine Dubois, Jean-Marc Mota: A Formally Verified Geometric Modelling Core. Software Engineering Research and Practice 2006: 643-649
10	EE	Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux: Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Software Process: Improvement and Practice 11(5): 487-503 (2006)
2004
9		Catherine Dubois, Thérèse Hardin, Véronique Donzeau-Gouge: Building certified components within FOCAL. Trends in Functional Programming 2004: 33-48
8		Karim Berkani, Catherine Dubois, Alain Faivre, Jérôme Falampin: Validation des règles de base de l'Atelier B. Technique et Science Informatiques 23(7): 855-878 (2004)
2003
7		Catherine Dubois, J. Grandguillot, Mattieu Jaume: Réutilisation de preuves formelles : une étude pour le système FoC. JFLA 2003: 63-75
2002
6	EE	Marc Aiguier, Diane Bahrami, Catherine Dubois: On a Generalised Logicality Theorem. AISC 2002: 51-63
5	EE	Franck Ledoux, Jean-Marc Mota, Agnès Arnould, Catherine Dubois, Pascale Le Gall, Yves Bertrand: Spécifications formelles du chanfreinage. Technique et Science Informatiques 21(8): 1073-1098 (2002)
2000
4		Catherine Dubois: Proving ML Type Soundness Within Coq. TPHOLs 2000: 126-144
1999
3		Catherine Dubois, Valérie Ménissier-Morain: Certification of a Type Inference Tool for ML: Damas-Milner within Coq. J. Autom. Reasoning 23(3-4): 319-346 (1999)
1995
2		Catherine Dubois, François Rouaix, Pierre Weis: Generic Polymorphism. POPL 1995: 118-129
1987
1		Véronique Donzeau-Gouge, Catherine Dubois, Philippe Facon, F. Jean: Development of a Programming Environment for Setl. ESEC 1987: 21-32

Coauthor Index

1	Marc Aiguier	[6]
2	Agnès Arnould	[5]
3	Diane Bahrami	[6]
4	Karim Berkani	[8]
5	Didier Bert	[10] [12] [14]
6	Yves Bertrand	[5]
7	Fabrice Bouquet	[14]
8	Matthieu Carlier	[16]
9	David Delahaye	[13]
10	Véronique Donzeau-Gouge	[1] [9] [10] [12] [14]
11	Jean-Frédéric Étienne	[13]
12	Philippe Facon	[1]
13	Alain Faivre	[8]
14	Jérôme Falampin	[8]
15	Pascale Le Gall	[5]
16	J. Grandguillot	[7]
17	Thérèse Hardin	[9]
18	Éric Jaeger	[15]
19	Mattieu Jaume	[7]
20	F. Jean	[1]
21	Régine Laleau (Regine Laleau)	[10] [12] [14]
22	Franck Ledoux	[5]
23	Yves Ledru	[10] [12] [14]
24	Michel Lemoine	[10] [12] [14]
25	Valérie Ménissier-Morain	[3]
26	Jean-Marc Mota	[5] [11]
27	Fabien Peureux	[10] [12]
28	François Rouaix	[2]
29	Sylvie Vignes	[10] [12] [14]
30	Pierre Weis	[2]

Colors in the list of coauthors