dblp.uni-trier.dewww.uni-trier.de

Marie-Laure Potet Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
16EEFré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
15EEFré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
14EENicolas Stouls, Marie-Laure Potet: Security Policy Enforcement Through Refinement Process. B 2007: 216-231
13EESylvain 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
12EEDidier 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
9EEDidier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet, Laurent Voisin: Adaptable Translator of B Specifications to Embedded C Programs. FME 2003: 94-113
8EEMarie-Laure Potet: Spécifications et développements structurés dans la méthode B. Technique et Science Informatiques 22(1): 61-88 (2003)
2001
7EEYves 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
6EEPierre Bontron, Marie-Laure Potet: Automatic Construction of Validated B Components from Structured Developments. ZB 2000: 127-147
1998
5EEMarie-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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)