|
Search the dblp DataBase
Laurent Mounier:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
IF: A Validation Environment for Timed Asynchronous Systems. [Citation Graph (0, 0)][DBLP] CAV, 2000, pp:543-547 [Conf]
- Marius Bozga, Susanne Graf, Laurent Mounier
IF-2.0: A Validation Environment for Component-Based Real-Time Systems. [Citation Graph (0, 0)][DBLP] CAV, 2002, pp:343-348 [Conf]
- Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
CADP - A Protocol Validation and Verification Toolbox. [Citation Graph (0, 0)][DBLP] CAV, 1996, pp:437-440 [Conf]
- Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier
Symbolic Equivalence Checking. [Citation Graph (0, 0)][DBLP] CAV, 1993, pp:85-96 [Conf]
- Jean-Claude Fernandez, Laurent Mounier
"On the Fly" Verification of Behavioural Equivalences and Preorders. [Citation Graph (0, 0)][DBLP] CAV, 1991, pp:181-191 [Conf]
- Jean-Claude Fernandez, Laurent Mounier
A Tool Set for deciding Behavioral Equivalences. [Citation Graph (0, 0)][DBLP] CONCUR, 1991, pp:23-42 [Conf]
- Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
A Test Calculus Framework Applied to Network Security Policies. [Citation Graph (0, 0)][DBLP] FATES/RV, 2006, pp:55-69 [Conf]
- Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon
Property Oriented Test Case Generation. [Citation Graph (0, 0)][DBLP] FATES, 2003, pp:147-163 [Conf]
- Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. [Citation Graph (0, 0)][DBLP] World Congress on Formal Methods, 1999, pp:307-327 [Conf]
- Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian
Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS. [Citation Graph (0, 0)][DBLP] FORTE, 1996, pp:435-450 [Conf]
- Jean-Claude Fernandez, Laurent Mounier
Verifying Bisimulations "On the Fly". [Citation Graph (0, 0)][DBLP] FORTE, 1990, pp:95-110 [Conf]
- Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis
A Toolbox for the Verification of LOTOS Programs. [Citation Graph (0, 0)][DBLP] ICSE, 1992, pp:246-259 [Conf]
- Marius Bozga, Susanne Graf, Laurent Mounier
Automated Validation of Distributed Software Using the IF Environment. [Citation Graph (0, 0)][DBLP] NCA, 2001, pp:268-275 [Conf]
- Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon
A Model-Based Approach for Robustness Testing. [Citation Graph (0, 0)][DBLP] TestCom, 2005, pp:333-348 [Conf]
- Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier
Test Generation for Network Security Rules. [Citation Graph (0, 0)][DBLP] TestCom, 2006, pp:341-356 [Conf]
- Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent
SDL for Real-Time: What is Missing? [Citation Graph (0, 0)][DBLP] SAM, 2000, pp:108-0 [Conf]
- Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis
IF: An intermediate representation for SDL and its applications. [Citation Graph (0, 0)][DBLP] SDL Forum, 1999, pp:423-440 [Conf]
- Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent
Timed Extensions for SDL. [Citation Graph (0, 0)][DBLP] SDL Forum, 2001, pp:223-240 [Conf]
- Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober
IF Validation Environment Tutorial. [Citation Graph (0, 0)][DBLP] SPIN, 2004, pp:306-307 [Conf]
- Jean-Pierre Krimm, Laurent Mounier
Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. [Citation Graph (0, 0)][DBLP] TACAS, 2000, pp:266-282 [Conf]
- Jean-Pierre Krimm, Laurent Mounier
Compositional State Space Generation from Lotos Programs. [Citation Graph (0, 0)][DBLP] TACAS, 1997, pp:239-258 [Conf]
- Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Sirianni
Validation of asynchronous circuit specifications using IF/CADP. [Citation Graph (0, 0)][DBLP] VLSI-SOC, 2003, pp:86-91 [Conf]
- Marius Bozga, Susanne Graf, Laurent Mounier
Automated validation of distributed software using the IF environment. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
- Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron
On-the-fly Verification of Finite Transition Systems. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 1992, v:1, n:2/3, pp:251-273 [Journal]
- Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier
Verification and test generation for the SSCOP protocol. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2000, v:36, n:1, pp:27-52 [Journal]
- Hubert Garavel, Laurent Mounier
Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1997, v:29, n:1-2, pp:171-197 [Journal]
- Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier
Protocol Verification with the ALDÉBARAN Toolset. [Citation Graph (0, 0)][DBLP] STTT, 1997, v:1, n:1-2, pp:166-184 [Journal]
- Keqin Li 0002, Laurent Mounier, Roland Groz
Test Generation from Security Policies Specified in Or-BAC. [Citation Graph (0, 0)][DBLP] COMPSAC (2), 2007, pp:255-260 [Conf]
- Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks. [Citation Graph (0, 0)][DBLP] NCA, 2007, pp:257-260 [Conf]
- Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier
A Compositional Testing Framework Driven by Partial Specifications. [Citation Graph (0, 0)][DBLP] TestCom/FATES, 2007, pp:107-122 [Conf]
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. [Citation Graph (, )][DBLP]
Confirmation of deadlock potentials detected by runtime analysis. [Citation Graph (, )][DBLP]
Worst-case lifetime computation of a wireless sensor network by model-checking. [Citation Graph (, )][DBLP]
Enforcement monitoring wrt. the safety-progress classification of properties. [Citation Graph (, )][DBLP]
Runtime Verification of Safety-Progress Properties. [Citation Graph (, )][DBLP]
GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. [Citation Graph (, )][DBLP]
The ARESA Project: Facilitating Research, Development and Commercialization of WSNs. [Citation Graph (, )][DBLP]
j-POST: a Java Toolchain for Property-Oriented Software Testing. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.304secs
|