Départements de recherche

Accueil > Annuaire > annuaire

Annuaire


Retour à la liste

Olga Kouchnarenko

OK_jan2015

Informatique, méthodes formelles, vérification, systèmes à composants

DISC
Equipe : VESONTIO
UFC - UFR ST

    Depuis le 28/04/2016 : Vice-Présidente Recherche et Valorisation de la Recherche, en charge du Conseil académique et de la comission de la recherche, UFC
    Depuis janvier 2017 : Membre du comité du pilotage du projet I-SITE Bourgogne Franche-Comté
    2011-2016 : Directrice du Département Informatique des Systèmes Complexes (DISC) de l'Institut FEMTO-ST, UMR CNRS 6174
    2011-2016 : Membre du Comité de Direction (CODIR) de l'Institut FEMTO-ST, UMR CNRS 6174
    2011-2016 : Membre du Comité exécutif du PIA LABEX ACTION, resp. du WP5
    2011-2016 : Membre du Conseil de l'Ecole Doctorale SPIM

Sites événementiels auxquels je participe

Vous trouverez ici la liste de mes publications. Si vous êtes intéressés par l'une d'entre elles, et ne pouvez pas en obtenir une copie, n'hésitez pas à me contacter

Listes des 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
    Technique et Science Informatiques (TSI) (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