Publications de Jean-Luc Richier

Load the BibTeX file

Ouvrages

1. Lydie du Bousquet, Jean-Luc Richier, (eds). Feature Interactions in Software and Communication Systems IX, International Conference on Feature Interactions in Software and Communication Systems, ICFI 2007. IOS Press, Grenoble, France, Septembre 2007.
2. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique, 4ème édition. O'Reilly, Novembre 2005.
3. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique, 3ème édition. O'Reilly, Mars 2002.
4. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique, 2ème édition. O'Reilly, Juin 1999.
5. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique. O'Reilly, Mars 1998.

Articles de journaux

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, Juin 2011.
2. V. Darmaillacq, J-.C. Fernandez, R. Groz, L. Mounier, J-.L. 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, 2006.
3. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Feature interaction detection using synchronous approach and testing. Computer Networks and ISDN Systems, 32(4):419-431, Avril 2000.
4. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Test et approche synchrone pour la détection d'interactions de services téléphoniques. Calculateurs Parallèles, Réseaux et Systèmes répartis, 11(4):419-446, Décembre 1999.

Conférences internationales

1. Yves Ledru, Jean-Luc Richier, Akram Idani, Mohamed-Amine Labiadh. From KAOS to RBAC: A Case Study in Designing Access Control Rules from a Requirements Analysis. In Conference on Network and Information Systems Security (SAR-SSI 2011), Pages 157-164, La Rochelle, France, Mai 2011.
2. Yves Ledru, Muhammad Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh. Validation of Security Policies by the Animation of Z Specifications. In SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, Ruth Breu, Jason Crampton, Jorge Lobo (eds.), Pages 155-164, Innsbruck, Austria, 2011.
3. Ajitha Rajan, Lydie du Bousquet, Yves Ledru, German Vega, Jean-Luc Richier. Assertion-based test oracles for home automation systems. In Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES'10, Pages 45-52, New York, NY, USA, 2010. url
4. Lydie du Bousquet, Ajitha Rajan, Catherine Oriat, Jean-Luc Richier, German Vega. Service specification and validation in the context of the home. In 10th International Conference on Feature Interactions (ICFI 2009), Pages 207-219, Lisbon, Portugal, Juin 2009.
5. Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. j-POST: a Java Toolchain for Property-Oriented Software Testing. In Fourth Workshop on Model-Based Testing (MBT'08), a satellite event of ETAPS'08, March 29 - April 6, 2008, Budapest, Electronic Notes in Theoretical Computer Science, Volume 220(1), Pages 29-41, Mars 2008.
6. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. A Compositional Testing Framework Driven by Partial Specifications. In 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, Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (eds.), Lecture Notes in Computer Science, Volume 4581, Pages 107-122, 2007.
7. Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier. Test Generation for Network Security Rules. In Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, M. Ümit Uyar, Ali Y. Duale, Mariusz A. Fecko (eds.), Lecture Notes in Computer Science, Volume 3964, Pages 341-356, 2006.
8. Y. Falcone, J.C. Fernandez, L. Mounier, J.L Richier. A Test Calculus Framework Applied to Network Security Policies. In Formal Approaches to Testing and Runtime Verification (FATES/RV'06), LNCS 4262, Pages 55-69, Seattle, USA, Août 2006.
9. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Testing about some eventuality properties of synchronous software: a case study. In Synchronous Languages, Applications, and Programming (SLAP'03), Pages 105-121, Juillet 2003.
10. K. Berkani, R. Cave, S. Coudert, F. Klay, P. Le Gall, F. Ouabdesselam, J.-L. Richier. An Environment for Interactive Service Specification. In 7th International Workshop on Feature Interactions in Telecommunication and Software Systems (FIW'03), Pages 25-41, Ottawa, Juin 2003.
11. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Specification-based Testing of Synchronous Software. In 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems (FMICS'2000), S. Gnesi, I. Schieferdecker, A. Rennoch (eds.), Pages 123-139, Berlin, Avril 2000.
12. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Lutess: a specification-driven testing environment for synchronous software. In 21st International Conference on Software Engineering (ICSE'99), Pages 267-276, Los Angeles, Mai 1999.
13. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Lutess : a testing environment for synchronous software. In Tool support for System Specification, Development, and Verification, Advances in Computing Science (TOOLS'98), Pages 48-61, Malente, Germany, 1998.
14. L. du Bousquet, F. Ouabdesselam, J.-L. Richier. Expressing and implementing operational profiles for reactive software validation. In 9th International Symposium on Software Reliability Engineering (ISSRE'98), Pages 222-230, Paderborn, Germany, Novembre 1998.
15. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Incremental feature validation : a synchronous point of view. In Feature Interactions in Telecommunication Systems V (FIW'98), Pages 262-275, Lund, Suède, Octobre 1998.

Communications avec actes

1. Karim Hossen, Roland Groz, Jean-Luc Richier. Security Vulnerabilities Detection Using Model Inference for Applications and Security Protocols. In Second International Workshop on Security Testing (SECTEST 2011), Workshop of the IEEE Fourth International Conference on Software Testing, Verification and Validation (ICST2011), Pages 534-536, Berlin, Germany, Mars 2011.
2. Y. Ledru, A. Idani, J. Milhau, M.-N. Qamar, R. Laleau, J.-L. Richier, M.-A. Labiadh. Taking into account functional models in the validation of IS security policies. In WISSE 2011, Advanced Information Systems Engineering Workshops - CAiSE 2011 International Workshops, Camille Salinesi, Oscar Pastor (eds.), Lecture Notes in Business Information Processing, Volume 83, Pages 592-606, London, UK, 2011.
3. Vianney Darmaillacq, Jean-Luc Richier, Roland Groz. Test generation and execution for security rules in temporal logic. In First International Workshop on Security Testing, a satellite event of ICST 2008, April 9-11, 2008, Lillehammer, Norway, Avril 2008.
4. 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, Octobre 2005.
5. G. Bernot, H. Jouve, F. Klay, F. Ouabdesselam, J.-L. Richier. Aide à l'intégration de services par la génération de tests. In 3ème atelier AFADL, Pages 9-20, Grenoble, Janvier 2000.
6. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, N. Zuanon. Lutess: a validation tool for synchronous software. In International Workshop Tool Support for System Specification, Development and Verification, Malente, Allemagne, 1998.
7. L. du Bousquet, F. Ouabdesselam, J.-L. Richier. Telecommunication software validation using a synchronous approach. In First IEEE Workshop on Application-Specific Software Engineering and Technology (ASSET'98), Dallas, USA, Mars 1998.
8. L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon. Environnement pour le test d'applications synchrones. In 2ème Congrès sur la Modélisation des systèmes réactifs, Pages 51-60, Cachan, France, Mars 1998.

Autres communications

1. L. du Bousquet, F. Ouabdesselam, I. Parissis, J.-L. Richier, J. Vassy, N. Zuanon. Black-box testing of reactive synchronous software. SoftTest: UK Testing Research II, Septembre 2003.
2. L. du Bousquet, F. Ouabdesselam, J.-L. Richier. Validation incrémentale de spécifications de services. Séminaire de mi-parcours des CTI 95, CNET Issy, Octobre 1997.