![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Olga Kouchnarenko
Person information
- affiliation: Université de Franche-Comté, Besançon, France
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c55]Salman Farhat
, Simon Bliudze
, Laurence Duchien
, Olga Kouchnarenko
:
Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems. COORDINATION 2023: 271-291 - 2022
- [j16]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): 606-622 (2022) - 2021
- [c54]Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko:
Automated Generation of Initial Configurations for Testing Component Systems. FACS 2021: 134-152 - 2020
- [j15]Frédéric Dadeau, Jean-Philippe Gros, Olga Kouchnarenko
:
Testing adaptation policies for software components. Softw. Qual. J. 28(3): 1347-1378 (2020)
2010 – 2019
- 2019
- [j14]Olga Kouchnarenko
, Eric Madelaine:
Selected and extended papers from FACS 2016. Sci. Comput. Program. 178: 43-44 (2019) - 2018
- [j13]Béatrice Bérard, Olga Kouchnarenko
, John Mullins
, Mathieu Sassolas:
Opacity for linear constraint Markov chains. Discret. Event Dyn. Syst. 28(1): 83-108 (2018) - [j12]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): 1-14 (2018) - [j11]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): 467-491 (2018) - [c53]Julien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko
:
An Approximation-Based Approach for the Random Exploration of Large Models. TAP@STAF 2018: 27-43 - [c52]Jacques Julliand, Olga Kouchnarenko
, Pierre-Alain Masson, Guillaume Voiron:
Under-Approximation Generation Driven by Relevance Predicates and Variants. TAP@STAF 2018: 63-82 - [i5]Julien Bernard, Pierre-Cyrille Héam, Olga Kouchnarenko:
An Approximation-based Approach for the Random Exploration of Large Models. CoRR abs/1806.04878 (2018) - 2017
- [j10]Olga Kouchnarenko
, Jean-François Weber:
Component-Based Systems Reconfigurations Using Graph Transformations with GROOVE. Autom. Control. Comput. Sci. 51(7): 463-478 (2017) - [j9]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: 6-9 (2017) - [c51]Jacques Julliand, Olga Kouchnarenko
, Pierre-Alain Masson, Guillaume Voiron:
Approximating Event System Abstractions by Covering Their States and Transitions. Ershov Informatics Conference 2017: 211-226 - [c50]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: 1-8 - [c49]Hadrien Bride, Olga Kouchnarenko
, Fabien Peureux:
Reduction of Workflow Nets for Generalised Soundness Verification. VMCAI 2017: 91-111 - [e2]Olga Kouchnarenko, Ramtin Khosravi:
Formal Aspects of Component Software - 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10231, 2017, ISBN 978-3-319-57665-7 [contents] - 2016
- [c48]Hadrien Bride, Olga Kouchnarenko
, Fabien Peureux, Guillaume Voiron:
Workflow Nets Verification: SMT or CLP? FMICS-AVoCS 2016: 39-55 - [c47]Béatrice Bérard, Olga Kouchnarenko
, John Mullins, Mathieu Sassolas:
Preserving opacity on Interval Markov Chains under simulation. WODES 2016: 319-324 - 2015
- [j8]Elena Tushkanova, Alain Giorgetti
, Christophe Ringeissen, Olga Kouchnarenko
:
A rule-based system for automatic decidability and combinability. Sci. Comput. Program. 99: 3-23 (2015) - [c46]Hadrien Bride, Olga Kouchnarenko
, Fabien Peureux:
Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data. Ershov Memorial Conference 2015: 75-90 - [c45]Olga Kouchnarenko
, Jean-François Weber:
Practical Analysis Framework for Component Systems with Dynamic Reconfigurations. ICFEM 2015: 287-303 - [i4]Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas:
Probabilistic Opacity in Refinement-Based Modeling. CoRR abs/1510.04316 (2015) - 2014
- [j7]Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
, Catherine Masson:
A random testing approach using pushdown automata. Softw. Test. Verification Reliab. 24(8): 656-683 (2014) - [c44]Olga Kouchnarenko
, Jean-François Weber:
Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime. FACS 2014: 108-126 - [c43]Hadrien Bride, Olga Kouchnarenko
, Fabien Peureux:
Verifying Modal Workflow Specifications Using Constraint Solving. IFM 2014: 171-186 - [c42]Arnaud Lanoix, Olga Kouchnarenko
:
Component Substitution through Dynamic Reconfigurations. FESCA 2014: 32-46 - [i3]Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko:
The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard. CoRR abs/1412.0839 (2014) - 2013
- [c41]Olga Kouchnarenko
, Jean-François Weber:
Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns. FACS 2013: 234-253 - [c40]Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
:
Random Grammar-Based Testing for Covering All Non-terminals. ICST Workshops 2013: 210-215 - [c39]Elena Tushkanova, Christophe Ringeissen, Alain Giorgetti
, Olga Kouchnarenko
:
Automatic Decidability: A Schematic Calculus for Theories with Counting Operators. RTA 2013: 303-318 - [c38]Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko
:
Enhancing Approximations for Regular Reachability Analysis. CIAA 2013: 331-339 - [i2]Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko:
Enhancing Approximations for Regular Reachability Analysis. CoRR abs/1311.6605 (2013) - [i1]Aloïs Dreyfus, Pierre-Cyrille Héam, Olga Kouchnarenko:
Random Grammar-based Testing for Covering All Non-Terminals. CoRR abs/1311.6606 (2013) - 2012
- [j6]Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
:
Loops and overloops for Tree-Walking Automata. Theor. Comput. Sci. 450: 43-53 (2012) - [c37]Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
:
From Linear Temporal Logic Properties to Rewrite Propositions. IJCAR 2012: 316-331 - [c36]Julien Dormoy, Olga Kouchnarenko
, Arnaud Lanoix:
When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations. FM 2012: 171-186 - [c35]Arnaud Lanoix, Olga Kouchnarenko
, Samuel Colin, Vincent Poirriez
:
Relaxing B Sharing Restrictions within CSP||B. SC@TOOLS 2012: 35-50 - [c34]Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
:
On Positive TAGED with a Bounded Number of Constraints. CIAA 2012: 329-336 - [c33]Elena Tushkanova, Alain Giorgetti
, Christophe Ringeissen, Olga Kouchnarenko
:
A Rule-Based Framework for Building Superposition-Based Decision Procedures. WRLA 2012: 221-239 - 2011
- [c32]Julien Dormoy, Olga Kouchnarenko
, Arnaud Lanoix:
Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components. FACS 2011: 115-132 - [c31]Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
:
Loops and Overloops for Tree Walking Automata. CIAA 2011: 166-177 - [c30]Arnaud Lanoix, Julien Dormoy, Olga Kouchnarenko
:
Combining Proof and Model-checking to Validate Reconfigurable Architectures. FESCA@ETAPS 2011: 43-57 - 2010
- [j5]Pierre-Cyrille Héam, Olga Kouchnarenko
, Jérôme Voinot:
Component simulation-based substitutivity managing QoS and composition issues. Sci. Comput. Program. 75(10): 898-917 (2010) - [c29]Julien Dormoy, Olga Kouchnarenko
:
Event-based adaptation policies for Fractal components. AICCSA 2010: 1-8 - [c28]Julien Dormoy, Olga Kouchnarenko
, Arnaud Lanoix:
Using Temporal Logic for Dynamic Reconfigurations of Components. FACS 2010: 200-217 - [c27]Pierre-Cyrille Héam, Vincent Hugot, Olga Kouchnarenko
:
SAT Solvers for Queries over Tree Automata with Constraints. ICST Workshops 2010: 343-348 - [c26]Alain Giorgetti
, Claude Marché, Elena Tushkanova, Olga Kouchnarenko
:
Specifying generic Java programs: two case studies. LDTA 2010: 8
2000 – 2009
- 2009
- [j4]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): 837-849 (2009) - [c25]Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
:
How to Tackle Integer Weighted Automata Positivity. RP 2009: 79-92 - [c24]Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
:
TAGED Approximations for Temporal Properties Model-Checking. CIAA 2009: 135-144 - [c23]Philippe Balbiani
, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko
:
Composition of Services with Constraints. FACS@FMWeek 2009: 31-46 - [c22]Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
:
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives. INFINITY 2009: 57-72 - 2008
- [j3]Alain Giorgetti
, Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
:
Verification of class liveness properties with java modelling language. IET Softw. 2(6): 500-514 (2008) - [j2]Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko:
Approximation-based Tree Regular Model-Checking. Nord. J. Comput. 14(3): 216-241 (2008) - [c21]Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko
, Jeanine Souquières:
Towards Validating a Platoon of Cristal Vehicles Using CSP||B. AMAST 2008: 139-144 - [c20]Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko
, Jeanine Souquières:
Using CSP||B Components: Application to a Platoon of Vehicles. FMICS 2008: 103-118 - [c19]Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
:
Finer Is Better: Abstraction Refinement for Rewriting Approximations. RTA 2008: 48-62 - [c18]Yohan Boichut, Roméo Courbis, Pierre-Cyrille Héam, Olga Kouchnarenko
:
Handling Left-Quadratic Rules When Completing Tree Automata. RP 2008: 61-70 - [c17]Pierre-Cyrille Héam, Olga Kouchnarenko
, Jérôme Voinot:
Component Simulation-based Substitutivity Managing QoS Aspects. FACS 2008: 109-123 - 2007
- [c16]Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot:
How to Handle QoS Aspects in Web Services Substitutivity Verification. WETICE 2007: 333-338 - 2006
- [c15]Olga Kouchnarenko
, Arnaud Lanoix:
How to Verify and Exploit a Refinement of Component-Based Systems. Ershov Memorial Conference 2006: 297-309 - [c14]Yohan Boichut, Pierre-Cyrille Héam, Olga Kouchnarenko
:
Handling Algebraic Properties in Automatic Analysis of Security Protocols. ICTAC 2006: 153-167 - [c13]Julien Groslambert, Jacques Julliand, Olga Kouchnarenko
:
JML-based verification of liveness properties on a class in isolation. SAVCBS@FSE 2006: 41-48 - [e1]Jacques Julliand, Olga Kouchnarenko:
B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings. Lecture Notes in Computer Science 4355, Springer 2006, ISBN 3-540-68760-2 [contents] - 2005
- [c12]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: 281-285 - 2004
- [c11]Olga Kouchnarenko
, Arnaud Lanoix:
Verifying Invariants of Component-Based Systems through Refinement. AMAST 2004: 289-303 - 2003
- [c10]Olga Kouchnarenko
, Arnaud Lanoix:
Refinement and Verification of Synchronized Component-Based Systems. FME 2003: 341-358 - [c9]Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko
:
How to Compute the Refinement Relation for Parameterized Systems. MEMOCODE 2003: 103-112 - [c8]Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
:
Refinement Preserves PLTL Properties. ZB 2003: 408-420 - 2002
- [j1]Françoise Bellegarde, Celina Charlet, Olga Kouchnarenko:
Raffiner pour vérifier des systèmes paramétrés. Tech. Sci. Informatiques 21(8): 1121-1149 (2002) - [c7]Frédéric Oehl, Gérard Cécé, Olga Kouchnarenko
, David Sinclair:
Automatic Approximation for the Verification of Cryptographic Protocols. FASec 2002: 33-48 - [c6]Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
:
Synchronized Parallel Composition of Event Systems in B. ZB 2002: 436-457 - 2001
- [c5]Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
:
Reformulation: A Way to Combine Dynamic Properties and B Refinement. FME 2001: 2-19 - 2000
- [c4]Françoise Bellegarde, Jacques Julliand, Olga Kouchnarenko
:
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation. FASE 2000: 266-283 - [c3]Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko
:
Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants. ZB 2000: 230-249
1990 – 1999
- 1997
- [b1]Olga Kouchnarenko:
Sémantique des programmes récursifs-parallèles et méthodes pour leur analyse. (Semantics of recursive-parallel programs and methods for their analysis). Joseph Fourier University, Grenoble, France, 1997 - [c2]Olga Kouchnarenko
, Philippe Schnoebelen:
A Formal Framework for the Analysis of Recursive-Parallel Programs. PaCT 1997: 45-59 - 1996
- [c1]Olga Kouchnarenko
, Philippe Schnoebelen:
A model for recursive-parallel programs. INFINITY 1996: 30
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint