Olga Kouchnarenko

ORCID

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 22

Top Venues

CoRR

FACS

Autom. Control. Comput. Sci.

Sci. Comput. Program.

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Salman Farhat, Simon Bliudze, Laurence Duchien, Olga Kouchnarenko
Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems. COORDINATION (2023)
Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko
Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies. Autom. Control. Comput. Sci. 56 (7) (2022)
Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko
Automated Generation of Initial Configurations for Testing Component Systems. FACS (2021)
Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko
Testing adaptation policies for software components. Softw. Qual. J. 28 (3) (2020)
Olga Kouchnarenko, Eric Madelaine
Selected and extended papers from FACS 2016. Sci. Comput. Program. 178 (2019)
Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas
Opacity for linear constraint Markov chains. Discret. Event Dyn. Syst. 28 (1) (2018)
Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
Test Generation from Event System Abstractions to Cover Their States and Transitions. Program. Comput. Softw. 44 (1) (2018)
Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
Under-Approximation Generation Driven by Relevance Predicates and Variants. TAP@STAF (2018)
Julien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko
An Approximation-Based Approach for the Random Exploration of Large Models. TAP@STAF (2018)
Julien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko
An Approximation-based Approach for the Random Exploration of Large Models. CoRR (2018)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron
Assessing SMT and CLP approaches for workflow nets verification. Int. J. Softw. Tools Technol. Transf. 20 (4) (2018)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
Reduction of Workflow Nets for Generalised Soundness Verification. VMCAI (2017)
Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
Approximating Event System Abstractions by Covering Their States and Transitions. Ershov Informatics Conference (2017)
Jacques Julliand, Olga Kouchnarenko, Pierre-Alain Masson, Guillaume Voiron
Two under-approximation techniques for 3-modal abstraction coverage of event systems: Joint effort? TASE (2017)
Olga Kouchnarenko, Jean-François Weber
Component-Based Systems Reconfigurations Using Graph Transformations with GROOVE. Autom. Control. Comput. Sci. 51 (7) (2017)
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
The emptiness problem for tree automata with at least one global disequality constraint is NP-hard. Inf. Process. Lett. 118 (2017)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux, Guillaume Voiron
Workflow Nets Verification: SMT or CLP? FMICS-AVoCS (2016)
Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas
Preserving opacity on Interval Markov Chains under simulation. WODES (2016)
Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas
Probabilistic Opacity in Refinement-Based Modeling. CoRR (2015)
Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko
A rule-based system for automatic decidability and combinability. Sci. Comput. Program. 99 (2015)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data. Ershov Memorial Conference (2015)
Olga Kouchnarenko, Jean-François Weber
Practical Analysis Framework for Component Systems with Dynamic Reconfigurations. ICFEM (2015)
Olga Kouchnarenko, Jean-François Weber
Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime. FACS (2014)
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard. CoRR (2014)
Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko, Catherine Masson
A random testing approach using pushdown automata. Softw. Test. Verification Reliab. 24 (8) (2014)
Arnaud Lanoix, Olga Kouchnarenko
Component Substitution through Dynamic Reconfigurations. FESCA (2014)
Hadrien Bride, Olga Kouchnarenko, Fabien Peureux
Verifying Modal Workflow Specifications Using Constraint Solving. IFM (2014)
Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti, Olga Kouchnarenko
Automatic Decidability: A Schematic Calculus for Theories with Counting Operators. RTA (2013)
Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
Enhancing Approximations for Regular Reachability Analysis. CIAA (2013)
Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
Random Grammar-Based Testing for Covering All Non-terminals. ICST Workshops (2013)
Olga Kouchnarenko, Jean-François Weber
Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns. FACS (2013)
Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
Random Grammar-based Testing for Covering All Non-Terminals. CoRR (2013)
Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
Enhancing Approximations for Regular Reachability Analysis. CoRR (2013)
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
From Linear Temporal Logic Properties to Rewrite Propositions. IJCAR (2012)
Arnaud Lanoix, Olga Kouchnarenko, Samuel Colin, Vincent Poirriez
Relaxing B Sharing Restrictions within CSP||B. SC@TOOLS (2012)
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
Loops and overloops for Tree-Walking Automata. Theor. Comput. Sci. 450 (2012)
Elena Tushkanova, Alain Giorgetti, Christophe Ringeissen, Olga Kouchnarenko
A Rule-Based Framework for Building Superposition-Based Decision Procedures. WRLA (2012)
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
On Positive TAGED with a Bounded Number of Constraints. CIAA (2012)
Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations. FM (2012)
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
Loops and Overloops for Tree Walking Automata. CIAA (2011)
Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko
Combining Proof and Model-checking to Validate Reconfigurable Architectures. Electron. Notes Theor. Comput. Sci. 279 (2) (2011)
Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components. FACS (2011)
Julien Dormoy, Olga Kouchnarenko
Event-based adaptation policies for Fractal components. AICCSA (2010)
Alain Giorgetti, Claude Marché, Elena Tushkanova, Olga Kouchnarenko
Specifying generic Java programs: two case studies. LDTA (2010)
Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot
Component Simulation-based Substitutivity Managing QoS Aspects. Electron. Notes Theor. Comput. Sci. 260 (2010)
Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko
Composition of Services with Constraints. Electron. Notes Theor. Comput. Sci. 263 (2010)
Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot
Component simulation-based substitutivity managing QoS and composition issues. Sci. Comput. Program. 75 (10) (2010)
Julien Dormoy, Olga Kouchnarenko, Arnaud Lanoix
Using Temporal Logic for Dynamic Reconfigurations of Components. FACS (2010)
Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
SAT Solvers for Queries over Tree Automata with Constraints. ICST Workshops (2010)
Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
TAGED Approximations for Temporal Properties Model-Checking. CIAA (2009)
Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
How to Tackle Integer Weighted Automata Positivity. RP (2009)
Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
Handling Non Left-Linear Rules when Completing Tree Automata. Int. J. Found. Comput. Sci. 20 (5) (2009)
Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives. INFINITY (2009)
Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
Handling Left-Quadratic Rules When Completing Tree Automata. Electron. Notes Theor. Comput. Sci. 223 (2008)
Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
Finer Is Better: Abstraction Refinement for Rewriting Approximations. RTA (2008)
Alain Giorgetti, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
Verification of class liveness properties with java modelling language. IET Softw. 2 (6) (2008)
Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
Approximation-based Tree Regular Model-Checking. Nord. J. Comput. 14 (3) (2008)
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
Towards Validating a Platoon of Cristal Vehicles Using CSP||B. AMAST (2008)
Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières
Using CSP||B Components: Application to a Platoon of Vehicles. FMICS (2008)
Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot
How to Handle QoS Aspects in Web Services Substitutivity Verification. WETICE (2007)
Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
Handling Algebraic Properties in Automatic Analysis of Security Protocols. ICTAC (2006)
Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
JML-based verification of liveness properties on a class in isolation. SAVCBS@FSE (2006)
Olga Kouchnarenko, Arnaud Lanoix
How to Verify and Exploit a Refinement of Component-Based Systems. Ershov Memorial Conference (2006)
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
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. CAV (2005)
Olga Kouchnarenko, Arnaud Lanoix
Verifying Invariants of Component-Based Systems through Refinement. AMAST (2004)
Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
Refinement Preserves PLTL Properties. ZB (2003)
Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko
How to Compute the Refinement Relation for Parameterized Systems. MEMOCODE (2003)
Olga Kouchnarenko, Arnaud Lanoix
Refinement and Verification of Synchronized Component-Based Systems. FME (2003)
Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko, David Sinclair
Automatic Approximation for the Verification of Cryptographic Protocols. FASec (2002)
Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
Synchronized Parallel Composition of Event Systems in B. ZB (2002)
Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko
Raffiner pour vérifier des systèmes paramétrés. Tech. Sci. Informatiques 21 (8) (2002)
Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
Reformulation: A Way to Combine Dynamic Properties and B Refinement. FME (2001)
Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. FASE (2000)
Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. ZB (2000)
Olga Kouchnarenko, Philippe Schnoebelen
A Formal Framework for the Analysis of Recursive-Parallel Programs. PaCT (1997)
Olga Kouchnarenko, Philippe Schnoebelen
A model for recursive-parallel programs. INFINITY (1996)

Olga Kouchnarenko.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Olga Kouchnarenko