dblp.uni-trier.de

Laurent Mounier

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL - ACM Guide - CiteSeer - CSB - Google

2007
31EEKeqin Li, Laurent Mounier, Roland Groz: Test Generation from Security Policies Specified in Or-BAC. COMPSAC (2) 2007: 255-260
30EEAnanda 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. NCA 2007: 257-260
29EEYliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier: A Compositional Testing Framework Driven by Partial Specifications. TestCom/FATES 2007: 107-122
2006
28EEYliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier: A Test Calculus Framework Applied to Network Security Policies. FATES/RV 2006: 55-69
27EEVianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier: Test Generation for Network Security Rules. TestCom 2006: 341-356
2005
26EEJean-Claude Fernandez, Laurent Mounier, Cyril Pachon: A Model-Based Approach for Robustness Testing. TestCom 2005: 333-348
2004
25 Susanne Graf, Laurent Mounier: Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings Springer 2004
24EEMarius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober: IF Validation Environment Tutorial. SPIN 2004: 306-307
2003
23EEJean-Claude Fernandez, Laurent Mounier, Cyril Pachon: Property Oriented Test Case Generation. FATES 2003: 147-163
22 Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Sirianni: Validation of asynchronous circuit specifications using IF/CADP. VLSI-SOC 2003: 86-91
2002
21EEMarius Bozga, Susanne Graf, Laurent Mounier: IF-2.0: A Validation Environment for Component-Based Real-Time Systems. CAV 2002: 343-348
2001
20EEMarius Bozga, Susanne Graf, Laurent Mounier: Automated Validation of Distributed Software Using the IF Environment. NCA 2001: 268-275
19EEMarius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent: Timed Extensions for SDL. SDL Forum 2001: 223-240
18EEMarius Bozga, Susanne Graf, Laurent Mounier: Automated validation of distributed software using the IF environment. Electr. Notes Theor. Comput. Sci. 55(3): (2001)
2000
17 Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier: IF: A Validation Environment for Timed Asynchronous Systems. CAV 2000: 543-547
16 Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent: SDL for Real-Time: What is Missing? SAM 2000: 108-
15EEJean-Pierre Krimm, Laurent Mounier: Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. TACAS 2000: 266-282
14 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. Sci. Comput. Program. 36(1): 27-52 (2000)
1999
13 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. SDL Forum 1999: 423-440
12EEMarius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier: IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. World Congress on Formal Methods 1999: 307-327
1997
11 Jean-Pierre Krimm, Laurent Mounier: Compositional State Space Generation from Lotos Programs. TACAS 1997: 239-258
10EEMarius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier: Protocol Verification with the ALDÉBARAN Toolset. STTT 1(1-2): 166-184 (1997)
9 Hubert Garavel, Laurent Mounier: Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks. Sci. Comput. Program. 29(1-2): 171-197 (1997)
1996
8 Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu: CADP - A Protocol Validation and Verification Toolbox. CAV 1996: 437-440
7 Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian: Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS. FORTE 1996: 435-450
1993
6 Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier: Symbolic Equivalence Checking. CAV 1993: 85-96
1992
5EEJean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis: A Toolbox for the Verification of LOTOS Programs. ICSE 1992: 246-259
4 Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron: On-the-fly Verification of Finite Transition Systems. Formal Methods in System Design 1(2/3): 251-273 (1992)
1991
3 Jean-Claude Fernandez, Laurent Mounier: "On the Fly" Verification of Behavioural Equivalences and Preorders. CAV 1991: 181-191
2 Jean-Claude Fernandez, Laurent Mounier: A Tool Set for deciding Behavioral Equivalences. CONCUR 1991: 23-42
1990
1 Jean-Claude Fernandez, Laurent Mounier: Verifying Bisimulations "On the Fly". FORTE 1990: 95-110

Coauthor Index

1Ananda Basu [30]
2Dominique Borrione [22]
3Menouer Boubekeur [22]
4Marius Bozga [10] [12] [13] [14] [16] [17] [18] [19] [20] [21] [24]
5Ghassan Chehaibar [7]
6Vianney Darmaillacq [27]
7Yliès Falcone [28] [29]
8Jean-Claude Fernandez [1] [2] [3] [4] [5] [6] [8] [10] [12] [13] [14] [17] [23] [26] [27] [28] [29]
9Hubert Garavel [5] [7] [8] [9]
10Lucian Ghirvu [12] [13] [14] [17]
11Susanne Graf [12] [13] [16] [17] [18] [19] [20] [21] [24] [25]
12Roland Groz [27] [31]
13Claude Jard [4] [14]
14Thierry Jéron [4] [14]
15Alain Kerbrat [6] [8] [10] [14] [16]
16Jean-Pierre Krimm [11] [12] [13] [15] [17]
17Keqin Li [31]
18Radu Mateescu [8]
19Pierre Morel [14]
20Iulian Ober [16] [19] [24]
21Cyril Pachon [23] [26]
22Marc Poulhiès [30]
23Jacques Pulou [30]
24Anne Rasse [5]
25Marc Renaudin [22]
26Jean-Luc Richier [27] [28] [29]
27Carlos Rodriguez [5]
28Jean-Luc Roux [19]
29Joseph Sifakis [5] [13] [30]
30Mihaela Sighireanu [8]
31Antoine Sirianni [22]
32Nadia Tawbi [7]
33Daniel Vincent [16] [19]
34Ferruccio Zulian [7]

Colors in the list of coauthors

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Wed Mar 12 02:24:58 2008