Ban3

Informations sur l'auteur

Laurent Mounier

http://pistou.imag.fr/site/author/1916

  
 

Publications de l'auteur

La liste contient 37 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer reviewed journal [ACL]
2011
1
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier.
Runtime enforcement monitors: composition, synthesis, and enforcement abilities.
Formal Methods in System Design, 38(3):223--262, jun 2011.
bibtex/ html
2
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier.
What can you Verify and Enforce at Runtime?.
STTT: Software Tools for Technology Transfer - Special issue on Runtime Verification. Invited paper, to appear, 2011.
bibtex/ html
1997
3
Hubert Garavel, Laurent Mounier.
Jan Friso Groote, Martin Rem.
Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks.
scp, 29(1--2):171--197, jul 1997. Note: Special issue on Industrially Relevant Applications of Formal Analysis Techniques. Full version available as INRIA Research Report~RR-2986.
bibtex/ html
1992
4
Jean-Claude Fernandez, Claude Jard, Thierry Jéron, Laurent Mounier.
``On the Fly'' Verification of Finite Transition Systems.
Formal Methods in System Design, 1992.
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2011
5
Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier.
Finding Software Vulnerabilities by Smart Fuzzing.
IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST2011), :427-430, Berlin, Germany, mar 2011.
bibtex/ html
2010
6
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier.
More Testable Properties.
In ICTSS’10: 22nd IFIP International Conference on Testing Software and Systems, 2010.
bibtex/ html
2009
7
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier.
Runtime Verification of Safety-Progress Properties.
In RV’09: workshop on Runtime Verification, 2009.
bibtex/ html
8
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier.
Enforcement Monitoring wrt. the Safety-Progress Classification of Properties.
In SAC’09: 24th Annual ACM Symposium on Applied Computing – Software Verification and Testing Track, 2009.
bibtex/ html
2008
9
Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier.
j-POST: a Java Toolchain for Property-Oriented Software Testing.
Fourth Workshop on Model-Based Testing (MBT'08), a satellite event of ETAPS'08, March 29 - April 6, 2008, Budapest, 220(1):29-41, Electronic Notes in Theoretical Computer Science, mar 2008.
bibtex/ html
10
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier.
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties.
In ICISS’08: International Conference on Information Systems Security, 2008.
bibtex/ html
2007
11
M. Dohler, Dominique Barthel, S. Aubert, C. Dugas, Florence Maraninchi, Laurent Mounier, A. Buhrig, F. Paugnat, Marc Renaudin, Andrzej Duda, Martin Heusse, Fabrice Valois.
The ARESA Project : Facilitating Research, Development and Commercialization of WSNs.
Proc. of IEEE SECON 2007, San Diego, jun 2007. Note: selective A.
Www-128x128 [ abstract ]
bibtex/ html
12
Keqin Li, Laurent Mounier, Roland Groz.
Test Generation from Security Policies Specified in Or-BAC.
COMPSAC - IWSSE Workshop (IEEE International Workshop on Security in Software Engineering), :255--260, Beijing, jul 2007.
bibtex/ html
13
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier.
Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp.
A Compositional Testing Framework Driven by Partial Specifications.
Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, 4581:107-122, Lecture Notes in Computer Science, 2007.
bibtex/ html
2006
14
Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier.
A Test Calculus Framework Applied to Network Security Policies.
Formal Approaches to Testing and Runtime Verification (FATES/RV'06), LNCS 4262, :55-69, Seattle, USA, aug 2006.
bibtex/ html
15
Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier.
M. Umit Uyar, Ali Y. Duale, Mariusz A. Fecko.
Test Generation for Network Security Rules.
Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, 3964:341-356, Lecture Notes in Computer Science, 2006.
bibtex/ html
2004
16
Grégory Batt, Damien Bergamini, Hubert Garavel, Radu Mateescu.
Susanne Graf, Laurent Mounier.
Model Checking Genetic Regulatory Networks using GNA and CADP.
Proceedings of the 11th International SPIN Workshop on Model Checking of Software SPIN'2004 (Barcelona, Spain), 2989:156--161, Lecture Notes in Computer Science, apr 2004.
bibtex/ html
17
Hubert Garavel, Radu Mateescu.
Susanne Graf, Laurent Mounier.
SEQ.OPEN: A Tool for Efficient Trace-Based Verification.
Proceedings of the 11th International SPIN Workshop on Model Checking of Software SPIN'2004 (Barcelona, Spain), 2989:150--155, Lecture Notes in Computer Science, apr 2004.
bibtex/ html
2003
18
Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Sirianni.
Manfred Glesner, Ricardo Augusto da Luz Reis, Hans Eveking, Vincent John Mooney iii, Leandro Soares Indrusiak, Peter Zipf.
Validation of Asynchronous Circuit Specifications using IF/CADP.
Proceedings of the International Conference on Very Large Scale Integration of System-on-Chip VLSI-SoC 2003 (Darmstadt, Germany), :86--91, Darmstadt, dec 2003.
bibtex/ html
2002
19
Marius Bozga, Susanne Graf, Laurent Mounier.
Kim G. Larsen, Ed Brinksma.
IF-2.0: A Validation Environment for Component-Based Real-Time Systems.
Proceedings of the Conference on Computer-Aided Verification CAV'2002 (Copenhagen, Denmark), 2404, lncs, jul 2002.
bibtex/ html
1999
20
Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier.
Jeannette Wing, Jim Woodcock.
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.
Proceedings of World Congress on Formal Methods in the Development of Computing Systems FM'99 (Toulouse, France), sep 1999.
bibtex/ html
1997
21
Jean-Pierre Krimm, Laurent Mounier.
Ed Brinksma.
Compositional State Space Generation from LOTOS Programs.
Proceedings of TACAS'97 Tools and Algorithms for the Construction and Analysis of Systems (University of Twente, Enschede, The Netherlands), 1217, lncs, Berlin, apr 1997. Note: Extended version with proofs available as Research Report VERIMAG~RR97-01.
bibtex/ html
1996
22
Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian.
Reinhard Gotzhein, Jan Bredereke.
Specification and Verification of the PowerScale Bus Arbitration Protocol: An Industrial Experiment with LOTOS.
Proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification FORTE/PSTV'96 (Kaiserslautern, Germany), :435--450, oct 1996. Note: Full version available as INRIA Research Report~RR-2958.
bibtex/ html
23
Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Radu Mateescu, Laurent Mounier, Mihaela Sighireanu.
Rajeev Alur, Thomas A. Henzinger.
CADP (CÆSAR/ALDEBARAN Development Package): A Protocol Validation and Verification Toolbox.
Proceedings of the 8th Conference on Computer-Aided Verification (New Brunswick, New Jersey, USA), 1102:437--440, lncs, aug 1996.
bibtex/ html
1993
24
Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier.
C. Courcoubetis.
Symbolic Equivalence Checking.
Proceedings of the 5th Workshop on Computer-Aided Verification (Heraklion, Greece), 697, lncs, jun 1993.
bibtex/ html
1992
25
Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodríguez, Joseph Sifakis.
Lori A. Clarke.
A Toolbox for the Verification of LOTOS Programs.
Proceedings of the 14th International Conference on Software Engineering ICSE'14 (Melbourne, Australia), :246--259, may 1992.
bibtex/ html
1991
26
Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodríguez, Joseph Sifakis.
Omar Rafiq.
Une boîte à outils pour la vérification de programmes LOTOS.
Actes du Colloque Francophone pour l'Ingénierie des Protocoles CFIP'91 (Pau, France), :479--500, Paris, sep 1991.
bibtex/ html
27
Jean-Claude Fernandez, Laurent Mounier.
Kim G. Larsen, Arne Skou.
``On the Fly'' Verification of Behavioural Equivalences and Preorders.
Proceedings of the 3rd Workshop on Computer-Aided Verification (Aalborg, Denmark), 575, lncs, Berlin, jul 1991.
bibtex/ html
28
Jean-Claude Fernandez, Laurent Mounier.
A Tool Set for Deciding Behavioral Equivalences.
Proceedings of CONCUR'91 (Amsterdam, The Netherlands), aug 1991.
bibtex/ html
1990
29
Jean-Claude Fernandez, Laurent Mounier.
Juan Quemada, José Manas, Enrique Vázquez.
Verifying Bisimulations ``On the Fly''.
Proceedings of the 3rd International Conference on Formal Description Techniques FORTE'90 (Madrid, Spain), nov 1990.
bibtex/ html
National peer reviewed journal [ACLN]
2006
30
Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier.
Tester la conformité d'un réseau à une politique de sécurité.
Revue de l'Electricité et de l'Electronique, 6/7:33-43, Juin-Juillet 2006.
bibtex/ html
National peer-reviewed conference proceedings [ACTN]
2005
31
Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier.
Éléments de modélisation pour le test de politiques de sécurité.
Colloque sur les RIsques et la Sécurité d'Internet et des Systèmes, CRiSIS, Bourges, oct 2005.
bibtex/ html
Doctoral Dissertations and Habilitations Theses [TH]
1992
32
Laurent Mounier.
Méthodes de vérification de spécifications comportementales~: étude et mise en œuvre.
Thèse de Doctorat, Université Joseph~Fourier (Grenoble), jan 1992.
bibtex/ html
Scientific popularization [OV]
2011
33
J P Archambault, E Baccelli, S Boldo, Denis Bouhineau, P Cégielski, T Clausen, Gilles Dowek, I Guessarian, S Lopès, Laurent Mounier, B Nguyen, Franck Quessette, Anne Rasse, B Rozoy, C Timsit, T. Viéville, Jean-Marc Vincent.
Une introduction à la science informatique: Pour les enseignants de la discipline informatique au lycée.
CNDP-CRDP Eds, 2011.
Www-128x128
bibtex/ html
Other Publications [AP]
2010
34
Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier.
More Testable Properties.
Technical Report, (RR-7279), 2010. Note: Extended version.
bibtex/ html
1995
35
Jean-Claude Fernandez, Laurent Mounier.
A Local Checking Algorithm for Boolean Equation Systems.
Rapport SPECTRE, (95-07), VERIMAG, Grenoble, mar 1995.
bibtex/ html
1994
36
Laurent Mounier.
A LOTOS Specification of a Transit-Node.
Rapport SPECTRE, (94-8), VERIMAG, Grenoble, mar 1994.
bibtex/ html
1991
37
Simon Bainbridge, Laurent Mounier.
Specification and Verification of a Reliable Multicast Protocol.
Technical Report, (HPL-91-163), Hewlett-Packard Laboratories, Bristol, U.K., oct 1991.
bibtex/ html