Travelled to:
1 × South Africa
2 × Italy
2 × USA
Collaborated with:
D.L.Métayer E.Mazza L.Mounier S.Bardin R.Bonichon M.Puys L.Dureuil R.Echahed P.Jacquet S.Sebbar B.Farinier D.Bert S.Boulmé A.Requet L.Voisin F.Recoules Y.Ledru L.d.Bousquet P.Bontron O.Maury C.Oriat M.Maarek V.V.T.Tong N.Craipeau S.Frénot R.Hardouin
Talks about:
approach (3) program (2) specif (2) studi (2) adapt (2) test (2) architectur (1) transform (1) translat (1) quantifi (1)
Person: Marie-Laure Potet
DBLP: Potet:Marie=Laure
Contributed to:
Wrote 8 papers:
- ICST-2014-PotetMPD #approach #control flow #evaluation #injection #named #robust
- Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections (MLP, LM, MP, LD), pp. 213–222.
- ICSE-2010-MetayerMTMPCFH #approach #case study #overview #re-engineering
- Liability in software engineering: overview of the LISE approach and illustration on a case study (DLM, MM, VVTT, EM, MLP, NC, SF, RH), pp. 135–144.
- SEFM-2010-MetayerMP #architecture #design
- Designing Log Architectures for Legal Evidence (DLM, EM, MLP), pp. 156–165.
- FME-2003-BertBPRV #adaptation #c #embedded #source code #specification
- Adaptable Translator of B Specifications to Embedded C Programs (DB, SB, MLP, AR, LV), pp. 94–113.
- ASE-2001-LedruBBMOP #adaptation #specification #testing
- Test Purposes: Adapting the Notion of Specification to Testing (YL, LdB, PB, OM, CO, MLP), pp. 127–134.
- WSA-1991-EchahedJPS #case study #comparative #equation #program transformation
- Equational Reasonning and the Completion Procedure. A Comparative Study in Program Transformation (RE, PJ, MLP, SS), pp. 53–61.
- ASE-2019-RecoulesBBMP #assembly
- Get Rid of Inline Assembly through Verification-Oriented Lifting (FR, SB, RB, LM, MLP), pp. 577–589.
- CAV-2018-FarinierBBP #approach #generative #quantifier
- Model Generation for Quantified Formulas: A Taint-Based Approach (BF, SB, RB, MLP), pp. 294–313.