Travelled to:1 × Australia
1 × Brazil
1 × Estonia
1 × France
1 × Greece
1 × The Netherlands
2 × Denmark
2 × Germany
3 × Canada
7 × USA
Collaborated with:J.Fernandez J.Krimm Y.Falcone J.Richier R.Groz C.Pachon M.Bozga S.Graf S.Bekrar C.Bekrar A.Kerbrat M.Potet N.Berthier F.Maraninchi L.Ghirvu H.Garavel M.Puys L.Dureuil T.Jéron H.Marchand V.Darmaillacq F.Recoules S.Bardin R.Bonichon R.Mateescu M.Sighireanu A.Rasse C.Rodríguez J.Sifakis
Talks about:test (6) system (5) properti (4) generat (4) verif (4) valid (4) asynchron (3) composit (3) approach (3) program (3)
Person: Laurent Mounier
DBLP: Mounier:Laurent
Contributed to:
201420122011
2011
2010
2009
2008
20072006200620052003
20022000
2000
1999199719961993
19921991
2019Wrote 22 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.
- ICST-2012-BekrarBGM #approach #fuzzing
- A Taint Based Approach for Smart Fuzzing (SB, CB, RG, LM), pp. 818–825.
- ICST-2011-BekrarBGM #fuzzing
- Finding Software Vulnerabilities by Smart Fuzzing (SB, CB, RG, LM), pp. 427–430.
- LCTES-2011-BerthierMM #embedded #operating system #programming
- Synchronous programming of device drivers for global resource control in embedded operating systems (NB, FM, LM), pp. 81–90.
- ICTSS-2010-FalconeFJMM
- More Testable Properties (YF, JCF, TJ, HM, LM), pp. 30–46.
- SAC-2009-FalconeFM #classification #monitoring
- Enforcement monitoring wrt. the safety-progress classification of properties (YF, JCF, LM), pp. 593–600.
- MBT-2008-FalconeMFR #java #named #testing
- j-POST: a Java Toolchain for Property-Oriented Software Testing (YF, LM, JCF, JLR), pp. 29–41.
- TestCom-FATES-2007-FalconeFMR #composition #framework #specification #testing
- A Compositional Testing Framework Driven by Partial Specifications (YF, JCF, LM, JLR), pp. 107–122.
- FATES-RV-2006-FalconeFMR #calculus #framework #network #policy #security
- A Test Calculus Framework Applied to Network Security Policies (YF, JCF, LM, JLR), pp. 55–69.
- TestCom-2006-DarmaillacqFGMR #generative #network #security #testing
- Test Generation for Network Security Rules (VD, JCF, RG, LM, JLR), pp. 341–356.
- TestCom-2005-FernandezMP #approach #modelling #robust #testing
- A Model-Based Approach for Robustness Testing (JCF, LM, CP), pp. 333–348.
- FATES-2003-FernandezMP #generative #testing
- Property Oriented Test Case Generation (JCF, LM, CP), pp. 147–163.
- CAV-2002-BozgaGM #component #realtime #validation
- IF-2.0: A Validation Environment for Component-Based Real-Time Systems (MB, SG, LM), pp. 343–348.
- CAV-2000-BozgaFGGKM #named #validation
- IF: A Validation Environment for Timed Asynchronous Systems (MB, JCF, LG, SG, JPK, LM), pp. 543–547.
- TACAS-2000-KrimmM #communication #composition #generative #partial order #reduction
- Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems (JPK, LM), pp. 266–282.
- FM-v1-1999-BozgaFGGKM #named #representation #validation
- IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems (MB, JCF, LG, SG, JPK, LM), pp. 307–327.
- TACAS-1997-KrimmM #composition #generative #source code
- Compositional State Space Generation from Lotos Programs (JPK, LM), pp. 239–258.
- CAV-1996-FernandezGKMMS #named #protocol #validation #verification
- CADP — A Protocol Validation and Verification Toolbox (JCF, HG, AK, LM, RM, MS), pp. 437–440.
- CAV-1993-FernandezKM #equivalence
- Symbolic Equivalence Checking (JCF, AK, LM), pp. 85–96.
- ICSE-1992-FernandezGMRRS #source code #verification
- A Toolbox for the Verification of LOTOS Programs (JCF, HG, LM, AR, CR, JS), pp. 246–259.
- CAV-1991-FernandezM #behaviour #on the fly #verification
- “On the Fly” Verification of Behavioural Equivalences and Preorders (JCF, LM), pp. 181–191.
- ASE-2019-RecoulesBBMP #assembly
- Get Rid of Inline Assembly through Verification-Oriented Lifting (FR, SB, RB, LM, MLP), pp. 577–589.