Publications

Category article

2017

  • The emptiness problem for tree automata with at least one global disequality constraint is NP-hard
    Information Processing Letters (Volume 118, feb 2017, Pages :6 - 9)
    Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
    pdf | doi | bibtex

2015

  • A rule-based system for automatic decidability and combinability
    Science of Computer Programming (Volume 99, Issue (C), mar 2015, Pages :3 - 23)
    Tushkanova, Elena | Giorgetti, Alain | Ringeissen, Christophe | Kouchnarenko, Olga
    pdf | doi | bibtex

2014

  • A random testing approach using pushdown automata
    Software Testing, Verification and Reliability (Volume 24, Issue (8), jun 2014, Pages :656 - 683)
    Dreyfus, Aloïs | Heam, Pierre-Cyrille | Kouchnarenko, Olga | Masson, Catherine
    doi | bibtex

2012

  • Loops and Overloops for Tree-Walking Automata
    Theoretical Computer Science (Volume 450, sep 2012, Pages :43--53)
    Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
    pdf | bibtex

2010

  • Assemblage des composants digne de confiance : de l'ingénierie des besoins aux spécifications formelles
    Génie Logiciel (Volume 95, dec 2010, Pages :13--18)
    Chouali, Samir | Dormoy, Julien | Hammad, Ahmed | Hufflen, Jean-Michel | Mouelhi, Sebti | Kouchnarenko, Olga | Mountassir, Hassan | Tatibouet, Bruno
    bibtex
  • Composition of Services with Constraints
    Electronic Notes in Theoretical Computer Science (ENTCS) (Volume 263, jun 2010, Pages :31 - 46)
    Balbiani, Philippe | Cheikh, Fahima | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    pdf | doi | bibtex
  • Component Simulation-based Substitutivity Managing QoS and Composition Issues
    Electronic Notes in Theoretical Computer Science (ENTCS) (Volume 260, jan 2010, Pages :109 - 123)
    Heam, Pierre-Cyrille | Kouchnarenko, Olga | Voinot, Jérôme
    pdf | doi | bibtex
  • Component simulation-based substitutivity managing QoS and composition issues
    Science of Computer Programming (Volume 75, Issue (10), 2010, Pages :898--917)
    Heam, Pierre-Cyrille | Kouchnarenko, Olga | Voinot, Jérôme
    pdf | bibtex

2009

  • Handling Non Left-Linear Rules When Completing Tree Automata
    International Journal of Foundations of Computer Science (IJFCS) (Volume 20, Issue (5), oct 2009, Pages :837 - 849)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga | Courbis, Roméo
    pdf | doi | bibtex
  • Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
    Electronic Notes in Theoretical Computer Science (ENTCS) (Volume 239, jul 2009, Pages :57 - 72)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    pdf | doi | bibtex
  • Politiques d'adaptation pour la reconfiguration du composant de localisation
    Journal européen des systèmes automatisés (JESA) (Volume 43, Issue (7-8-9), nov 2009, Pages :773 - 789)
    Mountassir, Hassan | Kouchnarenko, Olga | Dormoy, Julien
    pdf | bibtex

2008

  • Approximation-based Tree Regular Model-Checking
    Nordic Journal of Computing (Volume 14, Issue (3), 2008, Pages :216 - 241)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    pdf | bibtex
  • Verification of class liveness properties with Java modeling language
    IET Software (Volume 2, Issue (6), dec 2008, Pages :500 - 514)
    Julliand, Jacques | Giorgetti, Alain | Groslambert, Julien | Kouchnarenko, Olga
    pdf | doi | bibtex

2007

  • Vérifier automatiquement les protocoles de sécurité
    Techniques de l'ingénieur (oct 2007, Pages pp 1 - 8)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex

2002

  • Raffiner pour vérifier des systèmes paramètrés
    TSI (Technique et Science Informatiques) (Volume 8, Issue (21), 2002, Pages :1121--1149)
    Bellegarde, Françoise | Charlet, Célina | Kouchnarenko, Olga
    bibtex

Category incollection

2004

  • How to Compute the Refinement Relation for Parameterized Systems
    Formal Methods and Models for System Design - A System Level Perspective (Publisher : Springer / , Editor : Gupta, R. and Le Guenic P. and Talpin J.P., Volume , Issue , Edition : , Series , Chapter 2, 2004, Pages , )
    Bellegarde, Françoise | Charlet, Célina | Kouchnarenko, Olga
    pdf | bibtex

Category inproceedings

2017

  • Reduction of Workflow Nets for Generalised Soundness Verification
    18th International Conference on Verification, Model-Checking, and Abstract Interpretation (VMCAI'17) / Paris, France (Publisher : Springer, Volume 10145, 2017)
    Bride, Hadrien | Peureux, Fabien | Kouchnarenko, Olga
    pdf | doi | bibtex

2016

  • Preserving Opacity on Interval Markov Chains under Simulation
    WODES'16, 13th Int. Workshop on Discrete Event Systems / Xi'an, China (Publisher : IEEE, 2016, Pages pages 319 - 324)
    Bérard, Béatrice | Kouchnarenko, Olga | Mullins, John | Sassolas, Mathieu
    doi | bibtex
  • Comparing CLP(FD) and SMT Approaches Applied to Workflow Nets Verification
    15 èmes journées Approches Formelles dans l’Assistance au Développement de Logiciels (AFADL 2016) (Publisher : FEMTO-ST, 2016, Pages pages 11 - 12)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien | Voiron, Guillaume
    pdf | bibtex
  • Workflow Nets Verification: SMT or CLP?
    Critical Systems: Formal Methods and Automated Verification (Publisher : Springer, Volume 9933, 2016, Pages pages 39 - 55)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien | Voiron, Guillaume
    doi | bibtex

2015

  • Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime
    Formal Aspects of Component Software / Bertinoro, Italy (Publisher : Springer, Volume 8997, 2015, Pages pages 108 - 126)
    Kouchnarenko, Olga | Weber, Jean-François
    pdf | doi | bibtex
  • Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
    Perspectives of System Informatics / Kazan, Russia (Publisher : Springer, Volume 9609, 2015, Pages pages 75 - 90)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
    doi | bibtex
  • Practical Analysis Framework for Component Systems with Dynamic Reconfigurations
    ICFEM'15, 17th Int. Conf. on Formal Engineering Methods / Paris, France (Publisher : Springer, Volume 9407, 2015, Pages pages 287 - 303)
    Kouchnarenko, Olga | Weber, Jean-François
    doi | bibtex

2014

  • Component Substitution through Dynamic Reconfigurations
    FESCA 2014, 11th Int. Workshop on Formal Engineering approaches to Software Components and Architectures / Grenoble, France (Volume 147, 2014, Pages pages 32--46)
    Lanoix, Arnaud | Kouchnarenko, Olga
    pdf | doi | bibtex
  • Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns
    FACS 2013, 10th Int. Symposium on Formal Aspects of Component Software, Revised Selected Papers / Nanchang, China (Publisher : Springer, Volume 8348, 2014, Pages pages 234 - 253)
    Kouchnarenko, Olga | Weber, Jean-François
    doi | bibtex
  • Verifying Modal Workflow Specifications using Constraint Solving
    IFM'14, 11-th Int. Conf. on Integrated Formal Methods / Bertinoro, Italy (Publisher : Springer, Volume 8739, 2014, Pages pages 171--186)
    Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
    pdf | doi | bibtex

2013

  • Automatic Decidability: A Schematic Calculus for Theories with Counting Operators
    RTA 2013, 24th Int. Conf. on Rewriting Techniques and Applications / Dagstuhl, Germany (Publisher : Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Volume 21, 2013, Pages pages 303--318)
    Tushkanova, Elena | Ringeissen, Christophe | Giorgetti, Alain | Kouchnarenko, Olga
    pdf | doi | bibtex
  • Random Grammar-Based Testing for Covering All Non-terminals
    CSTVA 2013, 5-th Int. Workshop on Constraints in Software Testing Verification and Analysis. Held in conjunction with ICST 2013 / Luxemburg, Luxemburg (Publisher : IEEE, 2013, Pages pages 210 - 215)
    Dreyfus, Aloïs | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    pdf | bibtex
  • Enhancing Approximations for Regular Reachability Analysis
    CIAA 2013, 18-th Int. Conf. on Implementation and Application of Automata / Halifax, NS, Canada (Publisher : Springer, Volume 7982, 2013, Pages pages 331--339)
    Dreyfus, Aloïs | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    pdf | doi | bibtex

2012

  • From Linear Temporal Logic Properties to Rewrite Propositions
    IJCAR 2012, 6th Int. Joint Conf. on Automated Reasoning / Manchester, UK (Volume 7364, 2012, Pages pages 316-331)
    Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
    doi | bibtex
  • Relaxing B Sharing Restrictions within CSP||B
    SC 2012, 11th Int. Conf. on Software Composition / Prague, Czech Republic (Volume 7306, 2012, Pages pages 35--50)
    Lanoix, Arnaud | Kouchnarenko, Olga | Colin, Samuel | Poirriez, Vincent
    doi | bibtex
  • When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations
    FM 2012, 18th Int. Symposium on Formal Methods / Paris, France (Volume 7436, 2012, Pages pages 171--186)
    Dormoy, Julien | Kouchnarenko, Olga | Lanoix, Arnaud
    doi | bibtex
  • A Rule-Based Framework for Building Superposition-Based Decision Procedures
    WRLA'12, 9th Int. Workshop on Rewriting Logic and its Applications, joint to the ETAPS 2012 Int. Conf. / Tallinn, Estonia (Volume 7571, 2012, Pages pages 221--239)
    Tushkanova, Elena | Giorgetti, Alain | Ringeissen, Christophe | Kouchnarenko, Olga
    pdf | doi | bibtex
  • On Positive TAGED with a Bounded Number of Constraints
    CIAA 2012, 17th Int. Conf. on Implementation and Application of Automata / Porto, Portugal (Volume 7381, 2012, Pages pages 329--336)
    Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
    pdf | doi | bibtex

2011

  • Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components
    FACS 2011, 8th Int. Symposium on Formal Aspects of Component Software / Oslo, Norway (Volume 7253, 2011, Pages pages 115--132)
    Dormoy, Julien | Kouchnarenko, Olga | Lanoix, Arnaud
    bibtex
  • Combining Proof and Model-checking to Validate Reconfigurable Architectures
    FESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS / Saarbrücken, Germany (Volume 279, Issue 2, 2011, Pages pages 43--57)
    Lanoix, Arnaud | Dormoy, Julien | Kouchnarenko, Olga
    doi | bibtex
  • Loops and overloops for tree walking automata
    CIAA'11, 6-th Int. Conf. on Implementation and Application of Automata / Blois, France (Volume 6807, 2011, Pages pages 166--177)
    Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
    doi | bibtex

2010

  • SAT Solvers for Queries over Tree Automata with Constraints
    CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010 / Paris, France (2010, Pages pages 343--348)
    Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
    pdf | doi | bibtex
  • Specifying Generic Java Programs: two case studies
    LDTA 2010, 10th Workshop on Language Descriptions, Tools, and Applications / Paphos, Cyprus (2010, Pages pages 8:1--8:8)
    Giorgetti, Alain | Marché, Claude | Tushkanova, Elena | Kouchnarenko, Olga
    pdf | doi | bibtex
  • Event-based Adaptation Policies for Fractal Components
    AICCSA 2010, ACS/IEEE Int. Conf. on Computer Systems and Applications / Hammamet, Tunisia (2010, Pages pages 1--8)
    Dormoy, Julien | Kouchnarenko, Olga
    doi | bibtex
  • Using Temporal Logic for Dynamic Reconfigurations of Components
    FACS 2010, 7th Int. Ws. on Formal Aspects of Component Software / Guimaraes, Portugal (Volume 6921, 2010, Pages pages 200--217)
    Dormoy, Julien | Kouchnarenko, Olga | Lanoix, Arnaud
    pdf | doi | bibtex
  • Approximations par réécriture pour deux problèmes indécidables
    AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels / Poitiers, France (2010, Pages pages 7--10)
    Courbis, Roméo | Heam, Pierre-Cyrille | Jourdan, Pierre | Kouchnarenko, Olga
    bibtex
  • EVA4Fractal: adaptation de composants Fractal basée sur des événements
    AFADL'10, Congrès Approches Formelles dans l'Assistance au Développement de Logiciels / Poitiers, France (2010, Pages pages 245--278)
    Dormoy, Julien | Dreyfus, Aloïs | Kouchnarenko, Olga
    pdf | bibtex

2009

  • How to Tackle Integer Weighted Automata Positivity
    RP'09, 3rd Int. Workshop on Reachability Problems / Paris, France (Volume 5797, 2009, Pages pages 79--92)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    doi | bibtex
  • TAGED Approximations for Temporal Properties Model-Checking
    CIAA'09, 14th Int. Conf. and Application of Automata / Sydney, Australia (Volume 5642, 2009, Pages pages 135--144)
    Heam, Pierre-Cyrille | Kouchnarenko, Olga | Courbis, Roméo
    doi | bibtex
  • Petri Nets with May/Must Semantics
    CS&P 2009, Concurrency, Specification, and Programming / Kraków-Przegorzaly, Poland (Volume 1, 2009, Pages pages 291--302)
    Kouchnarenko, Olga | Sidorova, Natalia | Trcka, Nikola
    bibtex

2008

  • Finer is better: Abstraction Refinement for Rewriting Approximations
    RTA'08, 19th int. conf. on Rewriting Techniques and Applications / Hagenberg, Austria (Volume 5117, 2008, Pages pages 48--62)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga | Courbis, Roméo
    bibtex
  • Towards Validating a Platoon of Cristal Vehicles Using CSP||B
    AMAST'08, 12th Int. Conf. on Algebraic Methodology and Software Technology / Urbana, IL, United States (Volume 5140, 2008, Pages pages 139--144)
    Kouchnarenko, Olga | Lanoix, Arnaud | Souquières, J. | Colin, Samuel
    bibtex
  • Using CSP||B Components: Application to a Platoon of Vehicles
    FMICS'08, 13th workshop on Formal Methods for Industrial Critical Systems / L'Aquila, Italy (Volume 5596, 2008, Pages pages 103--118)
    Kouchnarenko, Olga | Lanoix, Arnaud | Souquières, J. | Colin, Samuel
    doi | bibtex
  • Handling Left-Quadratic Rules When Completing Tree Automata
    RP'08 proceedings, Workshop on Reachability Problems in Computational Models / Liverpool, United Kingdom (Publisher : Journal of Supercomputing, Volume 223, 2008, Pages pages 61--70)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga | Courbis, Roméo
    doi | bibtex

2007

  • How to Handle QoS Aspects in Web Services Substitutivity Verification
    WETICE'07, 16th IEEE Int. Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises / Paris, France (2007, Pages pages 333--338)
    Heam, Pierre-Cyrille | Kouchnarenko, Olga | Voinot, Jérôme
    bibtex
  • Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives
    INFINITY'07, Int. Ws. on Verification of Infinite-State Systems, joint to CONCUR'07 / Lisboa, Portugal (2007, Pages pages 44--53)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex

2006

  • How to Refine and to Exploit a Refinement of Component-based Systems
    PSI 2006, Pesrpectives of System Informatics, 6th Int. Andrei Ershov Memorial Conf. / Novosibirsk, Akademgorodok, Russian Federation (Volume 4378, 2006, Pages pages 297--309)
    Kouchnarenko, Olga | Lanoix, Arnaud
    bibtex
  • Handling Algebraic Properties in Automatic Analysis of Security Protocols
    ICTAC 2006, Int. Colloquium on Theoretical Aspects of Computing / Tunis, Tunisia (Volume 4281, 2006, Pages pages 153--167)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex
  • JML-based Verification of Liveness Properties on a Class
    SAVCBS'06, Specification and Verification of Component-Based Systems / Portland, Oregon, United States (2006, Pages pages 41--48)
    Julliand, Jacques | Groslambert, Julien | Kouchnarenko, Olga
    bibtex

2005

  • The Avispa Tool for the automated validation of internet security protocols and applications
    CAV 2005, 17th Int. Conf. on Computer Aided Verification / Edinburgh, Scotland, United Kingdom (Publisher : Springer, Volume 3576, 2005, Pages pages 281--285)
    Armando, A. | Basin, D. | Boichut, Yohan | Chevalier, Y. | Compagna, L. | Cuellar, J. | Hankes Drielsma, P. | Heam, Pierre-Cyrille | Kouchnarenko, Olga | Mantovani, J. | Moedersheim, S. | von Oheimb, D. | Rusinowitch, M. | Santiago, J. | Turuani, M. | Viganò, L. | Vigneron, L.
    bibtex

2004

  • Improvements on the Genet and Klay Technique to Automatically Verify Security Protocols
    Proc. Int. Ws. on Automated Verification of Infinite-State Systems (AVIS'2004), joint to ETAPS'04 / Barcelona, Spain (2004, Pages pages 1--11)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga | Oehl, F.
    bibtex
  • Verifying Invariants of Component-based Systems through Refinement
    10th Int. Conf. on Algebraic Methodology and Software Technology (AMAST'04) / Stirling, Scotland (Publisher : Springer, Volume 3116, 2004, Pages pages 289--303)
    Kouchnarenko, Olga | Lanoix, Arnaud
    bibtex

2003

  • Refinement Preserves PLTL Properties
    Third International Conference of B and Z Users ZB'03 - Formal Specification and Development in Z and B / Turku, Finland (Volume 2651, 2003, Pages pages 408--420)
    Darlot, Christophe | Julliand, Jacques | Kouchnarenko, Olga
    bibtex
  • How to Compute the Refinement Relation for Parameterized Systems
    Proc. of the Int. ACM& IEEE Conf. on Formal Methods and Models for Codesign, MEMOCODE'2003 / Mont St-Michel, France (2003, Pages pages 103--112)
    Bellegarde, Françoise | Charlet, Célina | Kouchnarenko, Olga
    bibtex
  • Refinement and Verification of Synchronized Component-based Systems
    Formal Method Europe 2003 (FM'03) / Pisa, Italy (Publisher : Springer, Volume 2805, 2003, Pages pages 341--358)
    Kouchnarenko, Olga | Lanoix, Arnaud
    bibtex
  • SynCo: a Refinement Analysis Tool for Synchronized Component-based Systems
    FM'03 Tool Exhibition Notes / Pisa, Italie (2003, Pages pages 47--51)
    Kouchnarenko, Olga | Lanoix, Arnaud
    bibtex
  • Automatic Approximation for the Verification of Cryptographic Protocols
    Int. Conf. on Formal Aspects of Security, FASec 2002 / London, United Kingdom (Publisher : Springer, Volume 2629, 2003, Pages pages 33--48)
    Oehl, F. | Cece, Gérard | Kouchnarenko, Olga | Sinclair, D.
    bibtex
  • Raffinement de systèmes à composants synchronisés
    Conférences MSR'03 - Modélisation des Systèmes Réactifs / Metz, France (Publisher : Hermès, Volume RS/hors série, 2003, Pages pages 225--240)
    Kouchnarenko, Olga | Lanoix, Arnaud
    bibtex

2002

  • Synchronized Parallel Composition of Event Systems in B
    2nd International Conference of B and Z Users, ZB2002 / Grenoble, France (Volume 2272, 2002, Pages pages 436--457)
    Bellegarde, Françoise | Julliand, Jacques | Kouchnarenko, Olga
    bibtex

2001

  • Reformulation: a Way to Combine Dynamic Properties and B Refinement
    FME 2001 (Formal Methods Europe) / Berlin, Germany (Publisher : Springer, Volume 2021, 2001, Pages pages 2--19)
    Bellegarde, Françoise | Darlot, Christophe | Julliand, Jacques | Kouchnarenko, Olga
    bibtex
  • Comment limiter la spécification de l'équité dans les systèmes d'événements B ?
    Actes du Congrès AFADL 2001, (Approches Formelles pour l'Aide au Développement de Logiciels) / Nancy, France (2001, Pages pages 205--220)
    Bellegarde, Françoise | Chouali, Samir | Julliand, Jacques | Kouchnarenko, Olga
    bibtex
  • Raffiner pour vérifier une classe de systèmes paramétrès
    Actes du Congrès AFADL 2001, (Approches Formelles pour l'Aide au Développement de Logiciels) / Nancy, France (2001, Pages pages 189--204)
    Bellegarde, Françoise | Charlet, Célina | Kouchnarenko, Olga
    bibtex
  • How to Verify LTL perperties of Infinite Refined Systems by Proof and Model-Checking Cooperation
    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 (2001)
    Bellegarde, Françoise | Darlot, Christophe | Julliand, Jacques | Kouchnarenko, Olga
    bibtex

2000

  • Ready-simulation is not Ready to Express a Modular Refinement Relation
    Fondamental Aspects of Software Engineering 2000, FASE'2000 / Berlin, Germany (Volume 1783, 2000, Pages pages 266--283)
    Bellegarde, Françoise | Julliand, Jacques | Kouchnarenko, Olga
    bibtex
  • Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants
    Conference ZB 2000 / York, United Kingdom (Publisher : Springer, Volume 1878, 2000, Pages pages 230--249)
    Bellegarde, Françoise | Darlot, Christophe | Julliand, Jacques | Kouchnarenko, Olga
    bibtex

1998

  • Approches intentionnelles pour les méthodes symboliques
    Workshop on Modeling and Verification / Marseille, France (1998)
    Kouchnarenko, Olga
    bibtex

Category misc

2013

  • A Random Testing using Pushdown Automata
    LINA, UMR CNRS 6241 Nantes 09-12 Dec 2013 (dec 2013)
    Kouchnarenko, Olga
    bibtex
  • A Random Testing Using Pushdown Automata
    Communication au LINA, UMR CNRS 6241, 9-12-2013, Nantes, France (dec 2013)
    Kouchnarenko, Olga
    bibtex

2004

  • TA4SP
    ( 2004)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex

2003

  • SynCo
    ( 2003)
    Lanoix, Arnaud | Kouchnarenko, Olga
    bibtex

Category techreport

2017

  • Approximating Event System Abstractions by Covering their States and Transitions
    (feb 2017, Research Report, Number RR–FEMTO-ST–2496)
    Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
    bibtex

2010

  • Random Generation of Positive TAGEDs wrt. the Emptiness Problem
    (nov 2010, Research Report, Number RR-7441)
    Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
    bibtex

2009

  • Specifying and Proving a Sorting Algorithm
    (oct 2009, Research Report, Number RR2009-03)
    Giorgetti, Alain | Kouchnarenko, Olga | Tushkanova, Elena
    bibtex
  • Modular Specification of Java Programs
    ( 2009, Research Report, Number RR-7097)
    Giorgetti, Alain | Kouchnarenko, Olga | Tushkanova, Elena | Marché, Claude
    bibtex

2007

  • Towards Formalizing QoS of Web Services with Weighted Automata
    (jun 2007, Research Report, Number RR-6218)
    Heam, Pierre-Cyrille | Kouchnarenko, Olga | Voinot, Jérôme
    bibtex

2006

  • Automatic Abstraction Generation: How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users
    (nov 2006, Research Report, Number RR-6039)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex
  • Handling Algebraic Properties in Automatic Analysis of Security Protocols
    (mar 2006, Research report, Number RR-5857)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex
  • How to Refine and to Exploit a Refinement of Component-based Systems
    (apr 2006, Research report, Number RR-5898)
    Kouchnarenko, Olga | Lanoix, Arnaud
    bibtex

2005

  • Automatic Verification of Security Protocols Using Approximations
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (jan 2005, Research Report, Number RR2005-01)
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex
  • Verification of Liveness Properties with JML
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (nov 2005, Research Report, Number RR2005-04)
    Bellegarde, Françoise | Groslambert, Julien | Huisman, M. | Julliand, Jacques | Kouchnarenko, Olga
    bibtex

2004

  • Abstractions
    AVISPA project (apr 2004, Delivrable D5.1, Number )
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex
  • AVISPA tool
    AVISPA project tool vs 2 (jul 2004, Delivrable 4.5, Number )
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex
  • Infinite State Model Checking
    AVISPA project (sep 2004, Delivrable D5.2, Number )
    Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
    bibtex
  • Verifying some PLTL Properties through Component-based Refinement
    LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté (oct 2004, Research report, Number RR2004-09)
    Kouchnarenko, Olga | Lanoix, Arnaud
    bibtex

2003

  • Using Acceleration to Compute Parameterized Systems Refinement
    INRIA (jan 2003, Research report, Number RR-4716)
    Bellegarde, Françoise | Charlet, Célina | Kouchnarenko, Olga
    bibtex
  • Refinement and Verification of Synchronized Component-based Systems
    INRIA (jun 2003, Research report, Number RR-4862)
    Kouchnarenko, Olga | Lanoix, Arnaud
    bibtex

2002

  • Automatic Approximation for the Verification of Cryptographic Protocols
    INRIA (oct 2002, Rapport de Recherche, Number RR-4599)
    Oehl, F. | Cece, Gérard | Kouchnarenko, Olga | Synclair, D.
    bibtex

Category unpublished

1999

  • Sémantique des programmes récursifs parallèles et méthodes pour leur analyse (feb 1999)
    Kouchnarenko, Olga
    bibtex
  • Combination of Proof Techniques and Model-Checking in Verifying a design by refinement and Expressiveness (feb 1999)
    Kouchnarenko, Olga
    bibtex