Marie-Laure Potet

2008
16	EE	Frédéric Dadeau, Julien Lamboley, Thierry Moutet, Marie-Laure Potet: A Verifiable Conformance Relationship between Smart Card Applets and B Security Models. ABZ 2008: 237-250
15	EE	Frédéric Dadeau, Marie-Laure Potet, Régis Tissot: A B Formal Framework for Security Developments in the Domain of Smart Card Applications. SEC 2008: 141-155
2007
14	EE	Nicolas Stouls, Marie-Laure Potet: Security Policy Enforcement Through Refinement Process. B 2007: 216-231
13	EE	Sylvain Boulmé, Marie-Laure Potet: Interpreting Invariant Composition in the B Method Using the Spec# Ownership Relation: A Way to Explain and Relax B Restrictions. B 2007: 4-18
2005
12	EE	Didier Bert, Marie-Laure Potet, Nicolas Stouls: GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties. ZB 2005: 299-318
2004
11		Frédéric Badeau, Didier Bert, Sylvain Boulmé, Christophe Métayer, Marie-Laure Potet, Nicolas Stouls, Laurent Voisin: Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM. Technique et Science Informatiques 23(7): 879-903 (2004)
10		Pierre Bontron, Marie-Laure Potet: Stratégie de couverture de test à un haut niveau d'abstraction. Technique et Science Informatiques 23(7): 905-928 (2004)
2003
9	EE	Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin: Adaptable Translator of B Specifications to Embedded C Programs. FME 2003: 94-113
8	EE	Marie-Laure Potet: Spécifications et développements structurés dans la méthode B. Technique et Science Informatiques 22(1): 61-88 (2003)
2001
7	EE	Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet: Test Purposes: Adapting the Notion of Specification to Testing. ASE 2001: 127-134
2000
6	EE	Pierre Bontron, Marie-Laure Potet: Automatic Construction of Validated B Components from Structured Developments. ZB 2000: 127-147
1998
5	EE	Marie-Laure Potet, Yann Rouzaud: Composition and Refinement in the B-Method. B 1998: 46-65
1995
4		Yves Ledru, Marie-Laure Potet: A VDM Specification of the Steam-Boiler Problem. Formal Methods for Industrial Applications 1995: 283-317
1991
3		Rachid Echahed, Paul Jacquet, Marie-Laure Potet, Sadik Sebbar: Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation. JTASPEFT/WSA 1991: 53-61
1986
2		Paul Jacquet, Marie-Laure Potet: Program Synthesis = Proof Method + Knowledge (Example about Recursive Function Synthesis). ECAI 1986: 345-356
1984
1		Ramon Brena, Ricardo Caferra, Bertram Fronhöfer, Christian Gresse, Philippe Jacquet, Marie-Laure Potet: Program Synthesis Through Problem Splitting: A Method for Subproblem Characterization. AIMSA 1984: 113-120

Coauthor Index

1	Frédéric Badeau	[11]
2	Didier Bert	[9] [11] [12]
3	Pierre Bontron	[6] [7] [10]
4	Sylvain Boulmé	[9] [11] [13]
5	Lydie du Bousquet	[7]
6	Ramon Brena	[1]
7	Ricardo Caferra	[1]
8	Frédéric Dadeau	[15] [16]
9	Rachid Echahed	[3]
10	Bertram Fronhöfer	[1]
11	Christian Gresse	[1]
12	Paul Jacquet	[2] [3]
13	Philippe Jacquet	[1]
14	Julien Lamboley	[16]
15	Yves Ledru	[4] [7]
16	Olivier Maury	[7]
17	Christophe Métayer	[11]
18	Thierry Moutet	[16]
19	Catherine Oriat	[7]
20	Antoine Requet	[9]
21	Yann Rouzaud	[5]
22	Sadik Sebbar	[3]
23	Nicolas Stouls	[11] [12] [14]
24	Régis Tissot	[15]
25	Laurent Voisin	[9] [11]

Colors in the list of coauthors