dblp.uni-trier.dewww.uni-trier.de

Laurent Mounier Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
39EEYliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Runtime Verification of Safety-Progress Properties. RV 2009: 40-59
38EEYliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Enforcement monitoring wrt. the safety-progress classification of properties. SAC 2009: 593-600
2008
37EEYliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. ICISS 2008: 41-55
36EEYliè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
35EEKeqin Li, Laurent Mounier, Roland Groz: Test Generation from Security Policies Specified in Or-BAC. COMPSAC (2) 2007: 255-260
34EEAnanda 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
33EELaurent Mounier, Ludovic Samper, Wassim Znaidi: Worst-case lifetime computation of a wireless sensor network by model-checking. PE-WASUN 2007: 1-8
32EEMischa 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
31EEYliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier: A Compositional Testing Framework Driven by Partial Specifications. TestCom/FATES 2007: 107-122
2006
30EEYliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier: A Test Calculus Framework Applied to Network Security Policies. FATES/RV 2006: 55-69
29EELudovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel: GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. InterSense 2006: 3
28EESaddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier: Confirmation of deadlock potentials detected by runtime analysis. PADTAD 2006: 41-50
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
8EEJean-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
6EEJean-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
3EEJean-Claude Fernandez, Laurent Mounier: "On the Fly" Verification of Behavioural Equivalences and Preorders. CAV 1991: 181-191
2EEJean-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

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)