Laurent Mounier - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause SequencesDumitru Ceara, Laurent Mounier, Marie-Laure Potet. icst 2010: 371-380 [doi]

More Testable PropertiesYliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. pts 2010: 30-46 [doi]

2009

Runtime Verification of Safety-Progress PropertiesYliÃ¨s Falcone, Jean-Claude Fernandez, Laurent Mounier. RV 2009: 40-59 [doi]

Enforcement monitoring wrt. the safety-progress classification of propertiesYliès Falcone, Jean-Claude Fernandez, Laurent Mounier. SAC 2009: 593-600 [doi]

2008

Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of PropertiesYliès Falcone, Jean-Claude Fernandez, Laurent Mounier. iciss 2008: 41-55 [doi]

j-POST: a Java Toolchain for Property-Oriented Software TestingYliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. ENTCS, 220(1):29-41, 2008. [doi]

2007

Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based NetworksAnanda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis. nca 2007: 257-260 [doi]

The ARESA Project: Facilitating Research, Development and Commercialization of WSNsMischa Dohler, Dominique Barthel, Florence Maraninchi, Laurent Mounier, Stephane Aubert, Christophe Dugas, Aurélien Buhrig, Franck Paugnat, Marc Renaudin, Andrzej Duda, Martin Heusse, Fabrice Valois. secon 2007: 590-599 [doi]

A Compositional Testing Framework Driven by Partial SpecificationsYliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. pts 2007: 107-122 [doi]

Test Generation from Security Policies Specified in Or-BACKeqin Li, Laurent Mounier, Roland Groz. compsac 2007: 255-260 [doi]

Worst-case lifetime computation of a wireless sensor network by model-checkingLaurent Mounier, Ludovic Samper, Wassim Znaidi. pe-wasun 2007: 1-8 [doi]

2006

2005

A Model-Based Approach for Robustness TestingJean-Claude Fernandez, Laurent Mounier, Cyril Pachon. pts 2005: 333-348 [doi]

2004

IF Validation Environment TutorialMarius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober. spin 2004: 306-307 [doi]

Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, ProceedingsSusanne Graf, Laurent Mounier, editors, Volume 2989 of Lecture Notes in Computer Science, Springer, 2004.

2003

Validation of asynchronous circuit specifications using IF/CADPDominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Sirianni. vlsi 2003: 86-91

Property Oriented Test Case GenerationJean-Claude Fernandez, Laurent Mounier, Cyril Pachon. fates 2004: 147-163 [doi]

2002

IF-2.0: A Validation Environment for Component-Based Real-Time SystemsMarius Bozga, Susanne Graf, Laurent Mounier. cav 2002: 343-348 [doi]

2001

2000

1999

IF: An intermediate representation for SDL and its applicationsMarius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis. sdl 1999: 423-440

IF: An Intermediate Representation and Validation Environment for Timed Asynchronous SystemsMarius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier. fm 1999: 307-327 [doi]

1997

Protocol Verification with the ALDÉBARAN ToolsetMarius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier. STTT, 1(1-2):166-184, 1997. [doi]

Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring NetworksHubert Garavel, Laurent Mounier. SCP, 29(1-2):171-197, 1997.

Compositional State Space Generation from Lotos ProgramsJean-Pierre Krimm, Laurent Mounier. TACAS 1997: 239-258

1996

Specification and Verification of the PowerScale:::TM::: Bus Arbitration Protocol: An Industrial Experiment with LOTOSGhassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian. forte 1996: 435-450

CADP - A Protocol Validation and Verification ToolboxJean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu. cav 1996: 437-440

1993

Symbolic Equivalence CheckingJean-Claude Fernandez, Alain Kerbrat, Laurent Mounier. cav 1993: 85-96

1992

On-the-fly Verification of Finite Transition SystemsJean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron. fmsd, 1(2/3):251-273, 1992.

A Toolbox for the Verification of LOTOS ProgramsJean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis. ICSE 1992: 246-259 [doi]

1991

"On the Fly" Verification of Behavioural Equivalences and PreordersJean-Claude Fernandez, Laurent Mounier. cav 1992: 181-191

A Tool Set for deciding Behavioral EquivalencesJean-Claude Fernandez, Laurent Mounier. concur 1991: 23-42

1990

Verifying Bisimulations On the Fly Jean-Claude Fernandez, Laurent Mounier. forte 1991: 95-110