International Conferences

2012

1. Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier. A Taint Based Approach for Smart Fuzzing. In Proceedings of SecTest, Giuliano Antoniol, Antonia Bertolino, Yvan Labiche (eds.), Pages 818-825, 2012. (more)
2. Laurent Mounier, Emmanuel Sifakis. Dynamic Information-Flow Analysis for Multi-threaded Applications. In Proceedings of ISoLA, Tiziana Margaria, Bernhard Steffen (eds.), Lecture Notes in Computer Science, Volume 7609, Pages 358-371, Heraklion, Greece, 2012. (more)
3. Sanjay Rawat, Laurent Mounier. Finding Buffer Overflow Inducing Loops in Binary Executables. In Proceedings of Sixth International Conference on Software Security and Reliability (SERE), Pages 177-186, Gaithersburg, Maryland, USA, 2012. (more)

2011

1. Sifakis Emmanuel, Mounier Laurent. Politiques de gestion de protections pour l'implémentation de sections critiques. In Actes des Rencontres du Parallélisme (RenPar), Saint Malo, France, 2011. (more)
2. Sanjay Rawat, Laurent Mounier. Offset-Aware Mutation based Fuzzing for Buffer Overflow Vulnerabilities: Few Preliminary Results. In Proc. of The Second International Workshop on Security Testing (SECTEST), 2011. (more)
3. Nicolas Berthier, Florence Maraninchi, Laurent Mounier. Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems. In ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), Chicago, IL, USA, April 2011. (more)

2010

1. Dumitru Ceara, Laurent Mounier, Marie-Laure Potet. Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences. In ICSTW '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, Pages 371-380, Washington, DC, USA, 2010. (more)
2. Sanjay Rawat, Laurent Mounier. An Evolutionary Computing Approach for Hunting Buffer Overflow Vulnerabilities: A case of aiming in dim light. In Proceedings of 6th EC2ND (European Conference on Computer Network Defense, Berlin, Germany, 2010. (more)
3. Ylies Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More Testable Properties. In Proceedings of ICTSS - 22nd IFIP WG 6.1 International Conference, Alexandre Petrenko, Adenilso da Silva Sim\ ao, José Carlos Maldonado (eds.), Lecture Notes in Computer Science, (best paper award), Volume 6435, Pages 30-46, Natal, Brazil, November 2010. (more)

2009

1. Yliè Falcone, Jean-Claude Fernandez, Laurent Mounier. Runtime Verification of Safety Progress Properties. In Runtime Verification 2009, Lecture Notes in Computer Science, Volume, Grenoble, France, June 2009. (more)
2. Yliè Falcone, Jean-Claude Fernandez, Laurent Mounier. Enforcement Monitoring wrt. the Safety-Progress Classification of Properties. In Proceedings of the 24th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track, 2009. (more)

2008

1. Yliè Falcone, Jean-Claude Fernandez, Laurent Mounier. Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. In International Conference of Information System Security, Volume LNCS 5352, Pages 41-55, Hyderabad, India, December 2008. (more)
2. Yliè Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. j-POST: a Java Toolchain for Property-Oriented Software Testing. In Model-Based Testing (MBT), Budapest, Hungaria, April 2008. (more)

2007

1. Laurent Mounier, Ludovic Samper, Wassim Znaidi. Worst-case lifetime computation of a Wireless Sensor Network by model-checking. In Fourth ACM Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks (PE-WASUN), Chania, Greece, October 2007. (more)
2. 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. In IEEE NCA'07, Cambridge, USA, July 2007. (more)
3. Keqin Li, Laurent Mounier, Roland Groz. Test Generation from Security Policies Specified in Or-BAC. In IEEE COMPSAC'07, Bejing, China, July 2007. (more)
4. Yliè Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. A Compositional Testing Framework Driven by Partial Specifications.. In TESTCOM/FATES, June 2007. (more)
5. M. Dohler, D. Barthel, F. Maraninchi, L. Mounier, S. Aubert, C. Dugas, A. Buhrig, F. Paugnat, M. Renaudin, A. Duda, M. Heusse, F. Valois. The ARESA Project: Facilitating Research, Development and Commercialization of WSNs. In IEEE SECON'07 (Fourth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks), 2007. (more)

2006

1. S. Bensalem, J.-C. Fernandez, K. Havelund, L. Mounier. Confirmation of Deadlock Potentials Detected by Runtime Analysis. In Parallel and Distributed Systems: Testing and Debugging 2006 (PADTAD'06), Seattle, (USA), July 2006. (more)
2. Yliè Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. A Test Calculus Framework Applied to Network Security Policies.. In FATES/RV'06, Pages 55-69, Seattle, USA, July 2006. (more)
3. Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier. Test Generation for Network Security Rules. In TestCom'06, Pages 341-356, New York, USA, June 2006. (more)
4. Ludovic Samper, Florence Maraninchi, Laurent Mounier, Erwan Jahier, Pascal Raymond. On the Importance of Modeling the Environment when Analyzing Sensor Networks. In Proceedings of International Workshop on Wireless Ad-Hoc Networks 2006 (IWWAN 2006), New York (USA), June 2006. (more)
5. Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel. GLONEMO: Global and Accurate Formal Models for the Analysis of Ad-Hoc Sensor Networks. In Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks (InterSense'06), Nice, France, May 2006. (more)

2005

1. V. Darmaillacq, J-C. Fernandez, R. Groz, L. Mounier, J-L. Richier. Éléments de modélisation pour le test de politiques de sécurité. In Colloque sur les RIsques et la Sécurité d'Internet et des Systèmes, CRiSIS, Bourges, France, 2005. (more)
2. J.C. Fernandez, L. Mounier, C. Pachon. A model-based approach for robustness testing. In TestCom 2005, Montreal, Canada, June 2005. (more)

2003

1. Jean-Claude. Fernandez, Laurent Mounier, Cyril Pachon. Property Oriented Test Case Generation. In Proceedings of FATES'03 (Satellite workshop of ASE'03), Montreal, Canada, 2003. (more)
2. Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Sirianni. Validation of asynchronous circuit specifications using IF/CADP. In IFIP Intl. Conference on VLSI, Darmstadt, Germany, December 2003. (more)
3. Menouer Boubekeur, Dominique Borrione, Laurent Mounier, Marc Renaudin, Antoine Sirianni. Modelling CHP descriptions in Labelled Transition Systems for an efficient formal validations of asynchronous circuit specifications. In Forum on Specification and Design Language (FDL'03), Frankfurt, Germany, September 2003. (more)

2002

1. Marius Bozga, Susanne Graf, Laurent Mounier. IF-2.0: A Validation Environment for Component-Based Real-Time Systems. In Proceedings of CAV'02 (Copenhagen, Denmark), K.G. Larsen Ed Brinksma (ed.), LNCS, Volume 2404, Pages 343-348, July 2002. (more)

2001

1. Marius Bozga, David Lesens, Laurent Mounier. Model-Checking Ariane-5 Flight Program. In Proceedings of FMICS'01 (Paris, France), Pages 211-227, 2001. (more)
2. Marius Bozga, Susanne Graf, Laurent Mounier. Automated validation of distributed software using the IF environment. In 2001 IEEE International Symposium on Network Computing and Applications (NCA 2001), 2001. (more)
3. Marius Bozga, Susanne Graf, Laurent Mounier. Automated validation of distributed software using the IF environment. In Workshop on Software Model-checking, associated with CAV 2001, Paris, Scott D. Stoller, Willem Visser (eds.), Electronic Notes in Theoretical Computer Science, Volume 55, July 2001. (more)
4. Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, J.L. Roux, Daniel Vincent. Timed Extensions for SDL. In Proceedings of SDL FORUM'01 (Copenhagen, Denmark), LNCS, Volume 2078, Pages 223-240, June 2001. (more)

2000

1. Jean-Pierre Krimm, Laurent Mounier. Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. In Proceedings of TACAS'00, Pages 266-282, 2000. (more)
2. Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent. SDL for Real-Time: What is Missing?. In Proceedings of SAM'00: 2nd Workshop on SDL and MSC (Grenoble, France), Pages 108-122, June 2000. (more)

1999

1. 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. In Proceedings of SDL FORUM'99 (Montreal, Canada), R. Dssouli, G. Bochmann, Y. Lahav (eds.), Pages 423-440, June 1999. (more)

1997

1. Jean-Pierre Krimm, Laurent Mounier. Compositional State Space Generation from Lotos Programs. In Proceedings of TACAS'97 (Tools and Algorithms for the Construction and Analysis of Systems), Enschede, The Netherlands, Ed Brinksma (ed.), LNCS, Extended version with proofs available as Research Report VERIMAG RR97-01, April 1997. (more)

1996

1. Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian. Specification and Verification of the PowerScale Bus Arbitration Protocol: An Industrial Experiment with LOTOS. In 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), Reinhard Gotzhein, Jan Bredereke (eds.), Full version available as INRIA Research Report 2958, October 1996. (more)

1993

1. J.C. Fernandez, A. Kerbrat, L. Mounier. Symbolic Equivalence Checking. In Proceedings of the 5th Workshop on Computer-Aided Verification (Heraklion, Greece), C. Courcoubetis (ed.), LNCS, Volume 697, June 1993. (more)

1992

1. Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodr\'\iguez, Joseph Sifakis. A Toolbox for the Verification of LOTOS Programs. In Proceedings of the 14th International Conference on Software Engineering ICSE'14 (Melbourne, Australia), Lori A. Clarke (ed.), Pages 246-259, May 1992. (more)

1991

1. Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodr\'\iguez, Joseph Sifakis. Une boîte à outils pour la vérification de programmes LOTOS. In Actes du Colloque Francophone pour l'Ingénierie des Protocoles CFIP'91 (Pau, France), Omar Rafiq (ed.), Pages 479-500, September 1991. (more)
2. Jean-Claude Fernandez, Laurent Mounier. A Tool Set for Deciding Behavioral Equivalences. In Proceedings of CONCUR'91 (Amsterdam, The Netherlands), August 1991. (more)
3. Jean-Claude Fernandez, Laurent Mounier. ``On the Fly'' Verification of Behavioural Equivalences and Preorders. In Proceedings of the 3rd Workshop on Computer-Aided Verification (Aalborg, Denmark), K. G. Larsen (ed.), July 1991. (more)

1990

1. Jean-Claude Fernandez, Laurent Mounier. Verifying Bisimulations ``On the Fly''. In Proceedings of the 3rd International Conference on Formal Description Techniques FORTE'90 (Madrid, Spain), Juan Quemada, José Manas, Enrique V\'azquez (eds.), November 1990. (more)