Laurent Mounier

	2009
39		Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Runtime Verification of Safety-Progress Properties. RV 2009: 40-59
38		Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Enforcement monitoring wrt. the safety-progress classification of properties. SAC 2009: 593-600
	2008
37		Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. ICISS 2008: 41-55
36		Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier: j-POST: a Java Toolchain for Property-Oriented Software Testing. Electr. Notes Theor. Comput. Sci. 220(1): 29-41 (2008)
	2007
35		Keqin Li, Laurent Mounier, Roland Groz: Test Generation from Security Policies Specified in Or-BAC. COMPSAC (2) 2007: 255-260
34		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. NCA 2007: 257-260
33		Laurent Mounier, Ludovic Samper, Wassim Znaidi: Worst-case lifetime computation of a wireless sensor network by model-checking. PE-WASUN 2007: 1-8
32		Mischa Dohler, Dominique Barthel, Florence Maraninchi, Laurent Mounier, Stephane Aubert, Christophe Dugas, Aurélien Buhrig, Franck Paugnat, Marc Renaudin, Andrzej Duda, Martin Heusse, Fabrice Valois: The ARESA Project: Facilitating Research, Development and Commercialization of WSNs. SECON 2007: 590-599
31		Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier: A Compositional Testing Framework Driven by Partial Specifications. TestCom/FATES 2007: 107-122
	2006
30		Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier: A Test Calculus Framework Applied to Network Security Policies. FATES/RV 2006: 55-69
29		Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel: GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. InterSense 2006: 3
28		Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier: Confirmation of deadlock potentials detected by runtime analysis. PADTAD 2006: 41-50
27		Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier: Test Generation for Network Security Rules. TestCom 2006: 341-356
	2005
26		Jean-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
24		Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober: IF Validation Environment Tutorial. SPIN 2004: 306-307
	2003
23		Jean-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
21		Marius Bozga, Susanne Graf, Laurent Mounier: IF-2.0: A Validation Environment for Component-Based Real-Time Systems. CAV 2002: 343-348
	2001
20		Marius Bozga, Susanne Graf, Laurent Mounier: Automated Validation of Distributed Software Using the IF Environment. NCA 2001: 268-275
19		Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent: Timed Extensions for SDL. SDL Forum 2001: 223-240
18		Marius 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-
15		Jean-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
12		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. 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
10		Marius 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
5		Jean-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

1	Stephane Aubert	[32]
2	Dominique Barthel	[32]
3	Ananda Basu	[34]
4	Saddek Bensalem	[28]
5	Dominique Borrione	[22]
6	Menouer Boubekeur	[22]
7	Marius Bozga	[10] [12] [13] [14] [16] [17] [18] [19] [20] [21] [24]
8	Aurélien Buhrig	[32]
9	Ghassan Chehaibar	[7]
10	Vianney Darmaillacq	[27]
11	Mischa Dohler	[32]
12	Andrzej Duda	[32]
13	Christophe Dugas	[32]
14	Yliès Falcone	[30] [31] [36] [37] [38] [39]
15	Jean-Claude Fernandez	[1] [2] [3] [4] [5] [6] [8] [10] [12] [13] [14] [17] [23] [26] [27] [28] [30] [31] [36] [37] [38] [39]
16	Hubert Garavel	[5] [7] [8] [9]
17	Lucian Ghirvu	[12] [13] [14] [17]
18	Susanne Graf	[12] [13] [16] [17] [18] [19] [20] [21] [24] [25]
19	Roland Groz	[27] [35]
20	Klaus Havelund	[28]
21	Martin Heusse	[32]
22	Claude Jard	[4] [14]
23	Thierry Jéron	[4] [14]
24	Alain Kerbrat	[6] [8] [10] [14] [16]
25	Jean-Pierre Krimm	[11] [12] [13] [15] [17]
26	Keqin Li	[35]
27	Louis Mandel	[29]
28	Florence Maraninchi	[29] [32]
29	Radu Mateescu	[8]
30	Pierre Morel	[14]
31	Iulian Ober	[16] [19] [24]
32	Cyril Pachon	[23] [26]
33	Franck Paugnat	[32]
34	Marc Poulhiès	[34]
35	Jacques Pulou	[34]
36	Anne Rasse	[5]
37	Marc Renaudin	[22] [32]
38	Jean-Luc Richier	[27] [30] [31] [36]
39	Carlos Rodriguez	[5]
40	Jean-Luc Roux	[19]
41	Ludovic Samper	[29] [33]
42	Joseph Sifakis	[5] [13] [34]
43	Mihaela Sighireanu	[8]
44	Antoine Sirianni	[22]
45	Nadia Tawbi	[7]
46	Fabrice Valois	[32]
47	Daniel Vincent	[16] [19]
48	Wassim Znaidi	[33]
49	Ferruccio Zulian	[7]