BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Potet:Marie=Laure

Contributed to:

ICST 20142014
ICSE 20102010
SEFM 20102010
FME 20032003
ASE 20012001
ASE 20192019
CAV (2) 20182018

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.