Olga Kouchnarenko

According to our database, Olga Kouchnarenko authored at least 73 papers between 1996 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems.

Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko

Proceedings of the Coordination Models and Languages, 2023

2022

Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies.

Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko

Autom. Control. Comput. Sci., December, 2022

2021

Automated Generation of Initial Configurations for Testing Component Systems.

Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko

Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

2020

Testing adaptation policies for software components.

Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko

Softw. Qual. J., 2020

2019

Selected and extended papers from FACS 2016.

Olga Kouchnarenko, Eric Madelaine

Sci. Comput. Program., 2019

2018

Assessing SMT and CLP approaches for workflow nets verification.

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron

Int. J. Softw. Tools Technol. Transf., 2018

Test Generation from Event System Abstractions to Cover Their States and Transitions.

Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron

Program. Comput. Softw., 2018

Opacity for linear constraint Markov chains.

Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas

Discret. Event Dyn. Syst., 2018

Under-Approximation Generation Driven by Relevance Predicates and Variants.

Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron

Proceedings of the Tests and Proofs - 12th International Conference, 2018

An Approximation-Based Approach for the Random Exploration of Large Models.

Julien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the Tests and Proofs - 12th International Conference, 2018

2017

The emptiness problem for tree automata with at least one global disequality constraint is NP-hard.

Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko

Inf. Process. Lett., 2017

Component-Based Systems Reconfigurations Using Graph Transformations with GROOVE.

Olga Kouchnarenko, Jean-François Weber

Autom. Control. Comput. Sci., 2017

Reduction of Workflow Nets for Generalised Soundness Verification.

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort?

Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Approximating Event System Abstractions by Covering Their States and Transitions.

Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron

Proceedings of the Perspectives of System Informatics, 2017

2016

Preserving opacity on Interval Markov Chains under simulation.

Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Workflow Nets Verification: SMT or CLP?

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron

Proceedings of the Critical Systems: Formal Methods and Automated Verification, 2016

2015

A rule-based system for automatic decidability and combinability.

Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko

Sci. Comput. Program., 2015

Probabilistic Opacity in Refinement-Based Modeling.

Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas

CoRR, 2015

Practical Analysis Framework for Component Systems with Dynamic Reconfigurations.

Olga Kouchnarenko, Jean-François Weber

Proceedings of the Formal Methods and Software Engineering, 2015

Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data.

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux

Proceedings of the Perspectives of System Informatics, 2015

2014

A random testing approach using pushdown automata.

Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko, Catherine Masson

Softw. Test. Verification Reliab., 2014

Component Substitution through Dynamic Reconfigurations.

Arnaud Lanoix, Olga Kouchnarenko

Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard.

Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko

CoRR, 2014

Verifying Modal Workflow Specifications Using Constraint Solving.

Hadrien Bride, Olga Kouchnarenko, Fabien Peureux

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime.

Olga Kouchnarenko, Jean-François Weber

Proceedings of the Formal Aspects of Component Software - 11th International Symposium, 2014

2013

Enhancing Approximations for Regular Reachability Analysis.

Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the Implementation and Application of Automata, 2013

Automatic Decidability: A Schematic Calculus for Theories with Counting Operators.

Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko

Proceedings of the 24th International Conference on Rewriting Techniques and Applications, 2013

Random Grammar-Based Testing for Covering All Non-terminals.

Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns.

Olga Kouchnarenko, Jean-François Weber

Proceedings of the Formal Aspects of Component Software - 10th International Symposium, 2013

2012

Loops and overloops for Tree-Walking Automata.

Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko

Theor. Comput. Sci., 2012

A Rule-Based Framework for Building Superposition-Based Decision Procedures.

Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko

Proceedings of the Rewriting Logic and Its Applications - 9th International Workshop, 2012

On Positive TAGED with a Bounded Number of Constraints.

Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko

Proceedings of the Implementation and Application of Automata, 2012

Relaxing B Sharing Restrictions within CSP||B.

Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez

Proceedings of the Software Composition - 11th International Conference, 2012

When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations.

Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix

Proceedings of the FM 2012: Formal Methods, 2012

From Linear Temporal Logic Properties to Rewrite Propositions.

Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Combining Proof and Model-checking to Validate Reconfigurable Architectures.

Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko

Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2011

Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components.

Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

2010

Component simulation-based substitutivity managing QoS and composition issues.

Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot

Sci. Comput. Program., 2010

Specifying generic Java programs: two case studies.

Alain Giorgetti, Claude Marché, Elena Tushkanova, Olga Kouchnarenko

Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, 2010

SAT Solvers for Queries over Tree Automata with Constraints.

Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko

Proceedings of the Third International Conference on Software Testing, 2010

Using Temporal Logic for Dynamic Reconfigurations of Components.

Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Event-based adaptation policies for Fractal components.

Julien Dormoy, Olga Kouchnarenko

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

2009

Handling Non Left-Linear Rules when Completing Tree Automata.

Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko

Int. J. Found. Comput. Sci., 2009

Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives.

Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the Joint Proceedings of the 8th, 2009

Composition of Services with Constraints.

Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

TAGED Approximations for Temporal Properties Model-Checking.

Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the Implementation and Application of Automata, 2009

How to Tackle Integer Weighted Automata Positivity.

Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the Reachability Problems, 3rd International Workshop, 2009

2008

Approximation-based Tree Regular Model-Checking.

Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko

Nord. J. Comput., 2008

Verification of class liveness properties with java modelling language.

Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko

IET Softw., 2008

Component Simulation-based Substitutivity Managing QoS Aspects.

Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot

Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Handling Left-Quadratic Rules When Completing Tree Automata.

Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the Second Workshop on Reachability Problems in Computational Models, 2008

Finer Is Better: Abstraction Refinement for Rewriting Approximations.

Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the Rewriting Techniques and Applications, 19th International Conference, 2008

Using CSP||B Components: Application to a Platoon of Vehicles.

Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières

Proceedings of the Formal Methods for Industrial Critical Systems, 2008

Towards Validating a Platoon of Cristal Vehicles Using CSP||B.

Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières

Proceedings of the Algebraic Methodology and Software Technology, 2008

2007

How to Handle QoS Aspects in Web Services Substitutivity Verification.

Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot

Proceedings of the 16th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (WETICE 2007), 2007

2006

JML-based verification of liveness properties on a class in isolation.

Julien Groslambert, Jacques Julliand, Olga Kouchnarenko

Proceedings of the 2006 Conference on Specification and Verification of Component-Based Systems, 2006

Handling Algebraic Properties in Automatic Analysis of Security Protocols.

Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko

Proceedings of the Theoretical Aspects of Computing, 2006

How to Verify and Exploit a Refinement of Component-Based Systems.

Olga Kouchnarenko, Arnaud Lanoix

Proceedings of the Perspectives of Systems Informatics, 2006

2005

The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications.

Alessandro Armando, David A. Basin, Yohan Boichut, Yannick Chevalier, Luca Compagna, Jorge Cuéllar, Paul Hankes Drielsma, Pierre-Cyrille Héam, Olga Kouchnarenko, Jacopo Mantovani, Sebastian Mödersheim, David von Oheimb, Michaël Rusinowitch, Judson Santiago, Mathieu Turuani, Luca Viganò, Laurent Vigneron

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Verifying Invariants of Component-Based Systems through Refinement.

Olga Kouchnarenko, Arnaud Lanoix

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Refinement Preserves PLTL Properties.

Christophe Darlot, Jacques Julliand, Olga Kouchnarenko

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

How to Compute the Refinement Relation for Parameterized Systems.

Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

Refinement and Verification of Synchronized Component-Based Systems.

Olga Kouchnarenko, Arnaud Lanoix

Proceedings of the FME 2003: Formal Methods, 2003

2002

Raffiner pour vérifier des systèmes paramétrés.

Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko

Tech. Sci. Informatiques, 2002

Synchronized Parallel Composition of Event Systems in B.

Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

Automatic Approximation for the Verification of Cryptographic Protocols.

Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair

Proceedings of the Formal Aspects of Security, First International Conference, 2002

2001

Reformulation: A Way to Combine Dynamic Properties and B Refinement.

Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants.

Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

Ready-Simulation Is Not Ready to Express a Modular Refinement Relation.

Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1997

Sémantique des programmes récursifs-parallèles et méthodes pour leur analyse. (Semantics of recursive-parallel programs and methods for their analysis).

Olga Kouchnarenko

PhD thesis, 1997

A Formal Framework for the Analysis of Recursive-Parallel Programs.

Olga Kouchnarenko, Philippe Schnoebelen

Proceedings of the Parallel Computing Technologies, 1997

1996

A model for recursive-parallel programs.

Olga Kouchnarenko, Philippe Schnoebelen

Proceedings of the First International Workshop on Verification of Infinite State Systems, 1996