Travelled to:1 × Austria
1 × Finland
1 × France
1 × Italy
1 × United Kingdom
Collaborated with:A.Savary M.Frappier L.Burdy A.Requet G.Grimaud J.Vandewalle M.Leuschel L.d.Bousquet Y.Ledru O.Maury C.Oriat
Talks about:base (3) model (2) test (2) java (2) card (2) use (2) intermedi (1) approach (1) softwar (1) languag (1)
Person: Jean-Louis Lanet
DBLP: Lanet:Jean=Louis
Contributed to:
2015
2013
2004
2003
1999Wrote 5 papers:
- SEFM-2015-SavaryFLL #modelling #robust #testing #using
- Model-Based Robustness Testing in Event-B Using Mutation (AS, MF, ML, JLL), pp. 132–147.
- IFM-2013-SavaryFL #bytecode #detection #modelling #testing #using #verification
- Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing (AS, MF, JLL), pp. 223–237.
- ASE-2004-BousquetLMOL #case study #validation
- Case Study in JML-Based Software Validation (LdB, YL, OM, CO, JLL), pp. 294–297.
- FME-2003-BurdyRL #approach #correctness #developer #java
- Java Applet Correctness: A Developer-Oriented Approach (LB, AR, JLL), pp. 422–439.
- ESEC-FSE-1999-GrimaudLV #named #smarttech
- FACADE: A Typed Intermediate Language Dedicated to Smart Cards (GG, JLL, JJV), pp. 476–493.