Back to INDEX

  Publications of Olga Kouchnarenko  

Articles in journal or book chapters
  1. Philippe Balbiani, Fahima Cheikh, Pierre-Cyrille Héam, and Olga Kouchnarenko. Composition of Services with Constraints. ENTCS, selected papers of FACS'09, 263:31--46, 2010. [bibtex]


  2. Samir Chouali, Julien Dormoy, Ahmed Hammad, Jean-Michel Hufflen, Sebti Mouelhi, Olga Kouchnarenko, Hassan Mountassir, Bruno Tatibouët, and others. Assemblage des composants digne de confiance : de l'ingénierie des besoins aux spécifications formelles. Génie Logiciel, 95:13--18, December 2010. [bibtex]


  3. Pierre-Cyrille Héam, Olga Kouchnarenko, and Jérôme Voinot. Component Simulation-based Substitutivity Managing QoS Aspects. ENTCS, Electronic Notes Theoretical Computer Science, special issue on FACS'08 selected best papers, 260:109--123, 2010. [bibtex]


  4. Pierre-Cyrille Héam, Olga Kouchnarenko, and Jérôme Voinot. Component simulation-based substitutivity managing QoS and composition issues. Science of Computer Programming, 75(10):898--917, 2010. [bibtex]


  5. Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, and Olga Kouchnarenko. Handling Non Left-Linear Rules When Completing Tree Automata. IJFCS, Intern. Journal of Foundations of Computer Science, 20(5):837--849, 2009. [bibtex]


  6. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives. ENTCS, Electronic Notes in Theoretical Computer Science, 239:57--72, 2009. Note: Infinity 2006, 2007, 2008 Best papers. [bibtex]


  7. Julien Dormoy, Olga Kouchnarenko, and Hassan Mountassir. Politiques d'adaptation pour la reconfiguration du composant de localisation. JESA, Journal européen des systèmes automatisés, 43(7-8-9):773--789, November 2009. Note: Edition spéciale MSR'09 - Modélisation des systèmes réactifs. [bibtex]


  8. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Approximation-based Tree Regular Model-Checking. Nordic Journal of Computing, 14:194--219, 2008. [bibtex]


  9. Alain Giorgetti, Julien Groslambert, Jacques Julliand, and Olga Kouchnarenko. Verification of class liveness properties with Java modeling language. IET Software, 2(6):500--514, December 2008. [bibtex]


  10. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Vérifier automatiquement les protocoles de sécurité. Techniques de l'ingénieur, pp 1--8, October 2007. Note: Référence TI : RE95. [bibtex]


  11. Françoise Bellegarde, Célina Charlet, and Olga Kouchnarenko. How to Compute the Refinement Relation for Parameterized Systems. In R. Gupta, Le Guenic P., and Talpin J.P., editors, Formal Methods and Models for System Design - A System Level Perspective, chapter 2. Springer, 2004. Note: ISBN 1-4020-8051-4. [bibtex]


  12. Françoise Bellegarde, Célina Charlet, and Olga Kouchnarenko. Raffiner pour vérifier des systèmes paramètrés. TSI (Technique et Science Informatiques), 8(21):1121--1149, 2002. [bibtex]


  13. Olga Kouchnarenko and S. Pinchinat. Intensional Approaches for Symbolic Methods. Electronic Notes of Theoretical Computer Science, 18, 1998. [bibtex]


Conference articles
  1. Julien Dormoy, Olga Kouchnarenko, and Arnaud Lanoix. Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components. In FACS 2011, 8th Int. Symposium on Formal Aspects of Component Software, volume * of LNCS, Oslo, Norway, pages ***--***, September 2011. Springer. Note: To appear in the LNCS series. [bibtex]


  2. Pierre-Cyrille Héam, Vincent Hugot, and Olga Kouchnarenko. Loops and overloops for tree walking automata. In CIAA'11, 6-th Int. Conf. on Implementation and Application of Automata, volume 6807 of LNCS, Blois, France, pages 166--177, July 2011. Springer. [bibtex]


  3. Arnaud Lanoix, Julien Dormoy, and Olga Kouchnarenko. Combining Proof and Model-checking to Validate Reconfigurable Architectures. In FESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS, volume 279-2 of ENTCS, Electronic Notes in Theoretical Computer Science, Saarbrücken, Germany, pages 43--57, April 2011. [bibtex]


  4. Roméo Courbis, Pierre-Cyrille Héam, Pierre Jourdan, and Olga Kouchnarenko. Approximations par réécriture pour deux problèmes indécidables. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 7--10, June 2010. Note: Papier court. [bibtex]


  5. Julien Dormoy, Aloïs Dreyfus, and Olga Kouchnarenko. EVA4Fractal: adaptation de composants Fractal basée sur des événements. In AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels, Poitiers, France, pages 245--278, June 2010. Note: Papier court. [bibtex]


  6. Julien Dormoy and Olga Kouchnarenko. Event-based Adaptation Policies for Fractal Components. In AICCSA 2010, ACS/IEEE Int. Conf. on Computer Systems and Applications, Hammamet, Tunisia, pages 1--8, May 2010. IEEE Computer Society Press. [bibtex]


  7. Julien Dormoy, Olga Kouchnarenko, and Arnaud Lanoix. Using Temporal Logic for Dynamic Reconfigurations of Components. In FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software, volume 6921 of LNCS, Guimaraes, Portugal, pages 200--217, October 2010. Springer. [bibtex]


  8. Pierre-Cyrille Héam, Vincent Hugot, and Olga Kouchnarenko. SAT Solvers for Queries over Tree Automata with Constraints. In CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010, Paris, France, pages 343--348, April 2010. IEEE Computer Society Press. [bibtex]


  9. Elena Tushkanova, Alain Giorgetti, Claude Marché, and Olga Kouchnarenko. Specifying Generic Java Programs: two case studies. In LDTA 2010, 10th Workshop on Language Descriptions, Tools, and Applications, Paphos, Cyprus, pages 8:1--8:8, March 2010. ACM. [bibtex]


  10. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. How to Tackle Integer Weighted Automata Positivity. In Olivier Bournez and Igor Potapov, editors, RP'09, 3rd Int. Workshop on Reachability Problems, volume 5797 of LNCS, Paris, France, pages 79--92, September 2009. Springer. [bibtex]


  11. Roméo Courbis, Pierre-Cyrille Héam, and Olga Kouchnarenko. TAGED Approximations for Temporal Properties Model-Checking. In Sebastian Maneth, editor, CIAA'09, 14th Int. Conf. and Application of Automata, volume 5642 of LNCS, Sydney, Australia, pages 135--144, July 2009. Springer. [bibtex]


  12. Olga Kouchnarenko, Natalia Sidorova, and Nikola Trcka. Petri Nets with May/Must Semantics. In CS&P 2009, Concurrency, Specification, and Programming, volume 1, Kraków-Przegorzaly, Poland, pages 291--302, 2009. Humboldt University. [bibtex]


  13. Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, and Olga Kouchnarenko. Finer is better: Abstraction Refinement for Rewriting Approximations. In A. Voronkov, editor, RTA'08, 19th int. conf. on Rewriting Techniques and Applications, volume 5117 of LNCS, Hagenberg, Austria, pages 48--62, July 2008. Springer. [bibtex]


  14. Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, and Olga Kouchnarenko. Handling Left-Quadratic Rules When Completing Tree Automata. In RP'08 proceedings, Workshop on Reachability Problems in Computational Models, volume 223 of ENTCS, Electronic Notes in Theoretical Computer Science, Liverpool, United Kingdom, pages 61--70, 2008. Elsevier. [bibtex]


  15. S. Colin, Arnaud Lanoix, Olga Kouchnarenko, and J. Souquières. Towards Validating a Platoon of Cristal Vehicles Using CSP||B. In AMAST'08, 12th Int. Conf. on Algebraic Methodology and Software Technology, volume 5140 of LNCS, Urbana, IL, United States, pages 139--144, July 2008. Springer. [bibtex]


  16. S. Colin, Arnaud Lanoix, Olga Kouchnarenko, and J. Souquières. Using CSP||B Components: Application to a Platoon of Vehicles. In FMICS'08, 13th workshop on Formal Methods for Industrial Critical Systems, volume 5596 of LNCS, L'Aquila, Italy, pages 103--118, September 2008. [bibtex]


  17. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives. In INFINITY'07, Int. Ws. on Verification of Infinite-State Systems, joint to CONCUR'07, Lisboa, Portugal, pages 44--53, September 2007. Note: The final version will be published in EN in Theoretical Computer Science, Elsevier. [bibtex]


  18. Pierre-Cyrille Héam, Olga Kouchnarenko, and Jérôme Voinot. How to Handle QoS Aspects in Web Services Substitutivity Verification. In WETICE'07, 16th IEEE Int. Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises, Paris, France, pages 333--338, June 2007. IEEE Computer Society Press. [bibtex]


  19. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Handling Algebraic Properties in Automatic Analysis of Security Protocols. In ICTAC 2006, Int. Colloquium on Theoretical Aspects of Computing, volume 4281 of LNCS, Tunis, Tunisia, pages 153--167, November 2006. Springer. [bibtex]


  20. Julien Groslambert, Jacques Julliand, and Olga Kouchnarenko. JML-based Verification of Liveness Properties on a Class. In SAVCBS'06, Specification and Verification of Component-Based Systems, Portland, Oregon, United States, pages 41--48, November 2006. [bibtex]


  21. Olga Kouchnarenko and Arnaud Lanoix. How to Refine and to Exploit a Refinement of Component-based Systems. In I. Virbitskaite and A. Voronkov, editors, PSI 2006, Pesrpectives of System Informatics, 6th Int. Andrei Ershov Memorial Conf., volume 4378 of LNCS, Novosibirsk, Akademgorodok, Russian Federation, pages 297--309, June 2006. Springer. [bibtex]


  22. A. Armando, D. Basin, Yohan Boichut, Y. Chevalier, L. Compagna, J. Cuellar, P. Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, J. Mantovani, S. Moedersheim, D. von Oheimb, M. Rusinowitch, J. Santiago, M. Turuani, L. Viganò, and L. Vigneron. The Avispa Tool for the automated validation of internet security protocols and applications. In CAV 2005, 17th Int. Conf. on Computer Aided Verification, volume 3576 of LNCS, Edinburgh, Scotland, United Kingdom, pages 281--285, July 2005. Springer. [bibtex]


  23. Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko, and F. Oehl. Improvements on the Genet and Klay Technique to Automatically Verify Security Protocols. In Proc. Int. Ws. on Automated Verification of Infinite-State Systems (AVIS'2004), joint to ETAPS'04, Barcelona, Spain, pages 1--11, April 2004. Note: The final version will be published in EN in Theoretical Computer Science, Elsevier. [bibtex]


  24. Olga Kouchnarenko and Arnaud Lanoix. Verifying Invariants of Component-based Systems through Refinement. In C. Rattray, S. Maharaj, and C. Shankland, editors, 10th Int. Conf. on Algebraic Methodology and Software Technology (AMAST'04), volume 3116 of LNCS, Stirling, Scotland, pages 289--303, July 2004. Springer.
    Keywords: invariance properties, refinement, compositional verification, synchronized product, preservation. [Abstract] [bibtex]


  25. Françoise Bellegarde, Célina Charlet, and Olga Kouchnarenko. How to Compute the Refinement Relation for Parameterized Systems. In Proc. of the Int. ACM& IEEE Conf. on Formal Methods and Models for Codesign, MEMOCODE'2003, Mont St-Michel, France, pages 103--112, June 2003. [bibtex]


  26. Christophe Darlot, Jacques Julliand, and Olga Kouchnarenko. Refinement Preserves PLTL Properties. In Third International Conference of B and Z Users ZB'03 - Formal Specification and Development in Z and B, volume 2651 of LNCS, Turku, Finland, pages 408--420, June 2003. [bibtex]


  27. Olga Kouchnarenko and Arnaud Lanoix. Raffinement de systèmes à composants synchronisés. In D. Méry, N. Rezg, and X. Xie, editors, Conférences MSR'03 - Modélisation des Systèmes Réactifs, volume RS/hors série, Metz, France, pages 225--240, October 2003. Hermes.
    Keywords: Systèmes de transitions, composition, raffinement, synchronisation, composant synchronisé. [Abstract] [bibtex]


  28. Olga Kouchnarenko and Arnaud Lanoix. Refinement and Verification of Synchronized Component-based Systems. In Mandrioli D. Araki K., Gnesi S., editor, Formal Method Europe 2003 (FM'03), volume 2805 of LNCS, Pisa, Italy, pages 341--358, September 2003. Springer.
    Keywords: composition, synchronization, refinement, algorithmic verification, compositional verification, reachability analysis. [Abstract] [bibtex]


  29. Olga Kouchnarenko and Arnaud Lanoix. SynCo: a Refinement Analysis Tool for Synchronized Component-based Systems. In Margaria T., editor, FM'03 Tool Exhibition Notes, Pisa, Italie, pages 47--51, September 2003.
    Keywords: labelled transition system, components, synchronization, compositional verification, refinement. [Abstract] [bibtex]


  30. F. Oehl, Gérard Cécé, Olga Kouchnarenko, and D. Sinclair. Automatic Approximation for the Verification of Cryptographic Protocols. In Int. Conf. on Formal Aspects of Security, FASec 2002, volume 2629 of LNCS, London, United Kingdom, pages 33--48, November 2003. Springer. Note: Revised paper of the FASec 2002 conference. [bibtex]


  31. Françoise Bellegarde, Jacques Julliand, and Olga Kouchnarenko. Synchronized Parallel Composition of Event Systems in B. In 2nd International Conference of B and Z Users, ZB2002, volume 2272 of LNCS, Grenoble, France, pages 436--457, January 2002. [bibtex]


  32. Françoise Bellegarde, Célina Charlet, and Olga Kouchnarenko. Raffiner pour vérifier une classe de systèmes paramétrès. In Actes du Congrès AFADL 2001, (Approches Formelles pour l'Aide au Développement de Logiciels), Nancy, France, pages 189--204, June 2001. [bibtex]


  33. Françoise Bellegarde, Samir Chouali, Jacques Julliand, and Olga Kouchnarenko. Comment limiter la spécification de l'équité dans les systèmes d'événements B ?. In Actes du Congrès AFADL 2001, (Approches Formelles pour l'Aide au Développement de Logiciels), Nancy, France, pages 205--220, June 2001. [bibtex]


  34. Françoise Bellegarde, Christophe Darlot, Jacques Julliand, and Olga Kouchnarenko. How to Verify LTL perperties of Infinite Refined Systems by Proof and Model-Checking Cooperation. In Proc. of the Int. Workshop on Automated Verification of Infinite-State Systems (AVIS'2001), joint to FME'01, Naval Research Laboratory Technical Memorandum, Berlin, Germany, March 2001. [bibtex]


  35. Françoise Bellegarde, Christophe Darlot, Jacques Julliand, and Olga Kouchnarenko. Reformulation: a Way to Combine Dynamic Properties and B Refinement. In FME 2001 (Formal Methods Europe), volume 2021 of LNCS, Berlin, Germany, pages 2--19, March 2001. Springer. [bibtex]


  36. Françoise Bellegarde, Christophe Darlot, Jacques Julliand, and Olga Kouchnarenko. Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. In Conference ZB 2000, volume 1878 of LNCS, York, United Kingdom, pages 230--249, August 2000. Springer. [bibtex]


  37. Françoise Bellegarde, Jacques Julliand, and Olga Kouchnarenko. Ready-simulation is not Ready to Express a Modular Refinement Relation. In Fondamental Aspects of Software Engineering 2000, FASE'2000, volume 1783 of LNCS, Berlin, Germany, pages 266--283, March 2000. [bibtex]


  38. Olga Kouchnarenko. Approches intentionnelles pour les méthodes symboliques. In Workshop on Modeling and Verification, Marseille, France, December 1998. [bibtex]


Books and proceedings
  1. Jacques Julliand and Olga Kouchnarenko, editors. B 2007: Formal Specification and Development in B, volume 4355 of LNCS. Springer, Besancon, France, January 2007. [bibtex]


Internal reports
  1. Pierre-Cyrille Héam, Vincent Hugot, and Olga Kouchnarenko. Random Generation of Positive TAGEDs wrt. the Emptiness Problem. Research Report RR-7441, INRIA, November 2010. Note: 43 pages.
    Keywords: tree automata with constraints, TAGED, membership problem, emptiness problem, random generation, difficult cases. [Abstract] [bibtex]


  2. Elena Tushkanova, Alain Giorgetti, and Olga Kouchnarenko. Specifying and Proving a Sorting Algorithm. Research Report RR2009-03, LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté, October 2009. Note: 35 pages. [Abstract] [bibtex]


  3. Elena Tushkanova, Alain Giorgetti, Claude Marché, and Olga Kouchnarenko. Modular Specification of Java Programs. Research Report RR-7097, INRIA, 2009. [Abstract] [bibtex]


  4. Pierre-Cyrille Héam, Olga Kouchnarenko, and Jérôme Voinot. Towards Formalizing QoS of Web Services with Weighted Automata. Research Report RR-6218, INRIA, June 2007. Note: 22 pages. [bibtex]


  5. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Automatic Abstraction Generation: How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users. Research Report RR-6039, INRIA, November 2006. [bibtex]


  6. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Handling Algebraic Properties in Automatic Analysis of Security Protocols. Research report RR-5857, INRIA, March 2006.
    Keywords: VERIFICATION, SECURITY PROTOCOLS, APPROXIMATIONS. [Abstract] [bibtex]


  7. Olga Kouchnarenko and Arnaud Lanoix. How to Refine and to Exploit a Refinement of Component-based Systems. Research report RR-5898, INRIA, April 2006.
    Keywords: COMPONENT-BASED SYSTEMS, MODULES, REFINEMENT, LTL PROPERTIES, COMPOSITION, VERIFICATION. [Abstract] [bibtex]


  8. Françoise Bellegarde, Julien Groslambert, M. Huisman, Jacques Julliand, and Olga Kouchnarenko. Verification of Liveness Properties with JML. Research Report RR2005-04, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, November 2005.
    Keywords: Java Modeling Language, JML, Liveness, Verification. [bibtex]


  9. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Automatic Verification of Security Protocols Using Approximations. Research Report RR2005-01, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, January 2005.
    Keywords: Security protocols, Verification, Approximations, Abstractions. [Abstract] [bibtex]


  10. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. AVISPA tool. Delivrable 4.5, AVISPA project tool vs 2, July 2004. Note: 24 pages, written with others AVISPA members. [bibtex]


  11. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Abstractions. Delivrable D5.1, AVISPA project, April 2004. Note: 30 pages, written with others AVISPA members. [bibtex]


  12. Yohan Boichut, Pierre-Cyrille Héam, and Olga Kouchnarenko. Infinite State Model Checking. Delivrable D5.2, AVISPA project, September 2004. Note: 30 pages, written with others AVISPA members. [bibtex]


  13. Olga Kouchnarenko and Arnaud Lanoix. Verifying some PLTL Properties through Component-based Refinement. Research report RR2004-09, LIFC - Laboratoire d'Informatique de l'Université de Franche Comté, October 2004.
    Keywords: component-based systems, refinement, PLTL properties, compositional verification. [Abstract] [bibtex]


  14. Françoise Bellegarde, Célina Charlet, and Olga Kouchnarenko. Using Acceleration to Compute Parameterized Systems Refinement. Research report RR-4716, INRIA, January 2003. [bibtex]


  15. Olga Kouchnarenko and Arnaud Lanoix. Refinement and Verification of Synchronized Component-based Systems. Research report RR-4862, INRIA, June 2003.
    Keywords: composition, synchronization, refinement, algorithmic verification, compositional verification, reachability analysis. [Abstract] [bibtex]


  16. F. Oehl, Gérard Cécé, Olga Kouchnarenko, and D. Synclair. Automatic Approximation for the Verification of Cryptographic Protocols. Rapport de Recherche RR-4599, INRIA, October 2002. [bibtex]


Other publications
  1. Olga Kouchnarenko. Combination of Proof Techniques and Model-Checking in Verifying a design by refinement and Expressiveness. , February 1999. [bibtex]


  2. Olga Kouchnarenko. Sémantique des programmes récursifs parallèles et méthodes pour leur analyse. , February 1999. [bibtex]


Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html