The institute

FEMTO-ST

Directory

Olga Kouchnarenko

Professor

Software Science and Technologies

DISC department
VESONTIO team

UFC - UFR ST

E-mail:: okouchna [at] femto-st.fr
Address:: DISC - UFR-ST (Campus La Bouloie)
Bât C - 16 route de Gray CS11809
25030 BESANCON cedex

Olga Kouchnarenko's publications

View all publications (81)2023 (2)2022 (1)2021 (2)2020 (1)2019 (1)2018 (5)2017 (8)2016 (4)2015 (4)2014 (4)2013 (5)2012 (6)2011 (3)2010 (11)2009 (8)2008 (6)2007 (4)2006 (6)

2023 (2)

inproceedings - Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems
18th International Conference on Distributed Computed Techniques (IFIP-DisCoTec 2023) / Lisbon, Portugal (Publisher : Springer, Volume 13908, Series Lecture Notes in Computer Science (LNCS), 2023, Pages pages 271 - 291)
Farhat, Salman | Bliudze, Simon | Duchien, Laurence | Kouchnarenko, Olga
doi | bibtex@inproceedings{48e8baea-5304-439e-9ef8-cccb33af9af8, title = {Toward Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems}, author = {Farhat, Salman and Bliudze, Simon and Duchien, Laurence and Kouchnarenko, Olga}, year = {2023}, address = {Lisbon, Portugal}, booktitle = {18th International Conference on Distributed Computed Techniques (IFIP-DisCoTec 2023)}, editor = {48e8baea-5304-439e-9ef8-cccb33af9af8-editor.pdf}, month = {jun}, pages = {271 - 291}, volume = {13908}, doi = {10.1007/978-3-031-35361-1_15}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
techreport - Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems
(apr 2023)
Farhat, Salman | Bliudze, Simon | Duchien, Laurence | Kouchnarenko, Olga
bibtex@techreport{f151442d-a08a-4dbc-b254-95d6849fe5bd, title = {Run-time Coordination of Reconfiguration Requests in Cloud Computing Systems}, author = {Farhat, Salman and Bliudze, Simon and Duchien, Laurence and Kouchnarenko, Olga}, year = {2023}, editor = {f151442d-a08a-4dbc-b254-95d6849fe5bd-editor.pdf}, month = {apr} }

2022 (1)

article - Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies
Automatic Control and Computer Sciences (Volume 56, Issue (7), dec 2022, Pages :606 - 622)
Dadeau, Frédéric | Gros, Jean Philippe | Kouchnarenko, Olga
pdf | doi

2021 (2)

inproceedings - Automated Generation of Initial Configurations for Testing Component Systems
17th International Conference on Formal Aspects of Component Software (FACS 2021) / Grenoble (Online), France (Volume 13077, Series Lecture Notes in Computer Science (LNCS), 2021, Pages pages 134 -152)
Dadeau, Frédéric | Gros, Jean Philippe | Kouchnarenko, Olga
pdf | doi | bibtex@inproceedings{758b46f4-afb6-4bf6-b6ff-7f1a70d3ffc2, title = {Automated Generation of Initial Configurations for Testing Component Systems}, author = {Dadeau, Fr\'ed\'eric and Gros, Jean Philippe and Kouchnarenko, Olga}, year = {2021}, address = {Grenoble (Online), France}, booktitle = {17th International Conference on Formal Aspects of Component Software (FACS 2021)}, month = {oct}, pages = {134 -152}, url = {https://publiweb.femto-st.fr/tntnet/entries/18148/documents/author/data}, volume = {13077}, doi = {10.1007/978-3-030-90636-8_8}, series = {Lecture Notes in Computer Science (LNCS)} }
article - Online Testing of Dynamic Reconfigurations w.r.t. Adaptation Policies
Modeling and Analysis of Information Systems (Volume 28, Issue (1), 2021, Pages :52 -73)
Dadeau, Frédéric | Gros, Jean Philippe | Kouchnarenko, Olga
pdf | doi

2020 (1)

article - Testing adaptation policies for software components
Software Quality Journal (Volume 28, Issue (3), sep 2020, Pages :1347 - 1378)
Dadeau, Frédéric | Gros, Jean Philippe | Kouchnarenko, Olga
pdf | doi

2019 (1)

proceedings - Science of Computer Programming, Special Issue on Formal Aspects of Component Software
/ Besançon, France (Volume 178, Issue 1, oct 2019)
Kouchnarenko, Olga | Madelaine, Eric
pdf | doi | bibtex@proceedings{1b275e75-801f-4a1a-824b-5b26efedbeda, title = {Science of Computer Programming, Special Issue on Formal Aspects of Component Software}, author = {Kouchnarenko, Olga and Madelaine, Eric}, year = {2019}, address = {Besan\c{c}on, France}, month = {oct}, number = {1}, pages = {43 - 44}, url = {https://publiweb.femto-st.fr/tntnet/entries/17367/documents/author/data}, volume = {178}, doi = {10.1016/j.scico.2019.03.007}, journal = {Science of Computer Programming} }

2018 (5)

article - Assessing SMT and CLP approaches for workflow nets verification
International Journal on Software Tools for Technology Transfer (STTT) (Volume 20, Issue (1), aug 2018, Pages :467 - 491)
Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
pdf | doi
inproceedings - An Approximation-based Approach for the Random Exploration of Large Models
12th International Conference on Tests & Proofs (TAP 2018) / Toulouse, France (Volume 10889, Series Lecture Notes in Computer Science (LNCS), 2018, Pages pages 27 - 43)
Bernard, Julien | Heam, Pierre-Cyrille | Kouchnarenko, Olga
pdf | doi | bibtex@inproceedings{0fdca214-5785-4c2e-b1dc-a9b7a04dadb0, title = {An Approximation-based Approach for the Random Exploration of Large Models}, author = {Bernard, Julien and Heam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2018}, address = {Toulouse, France}, booktitle = {12th International Conference on Tests \& Proofs (TAP 2018)}, month = {jun}, pages = {27 - 43}, url = {https://publiweb.femto-st.fr/tntnet/entries/14817/documents/author/data}, volume = {10889}, doi = {10.1007/978-3-319-92994-1_2}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - Under-Approximation Generation Driven by Relevance Predicates and Variants
12th International Conference on Tests & Proofs (TAP 2018) / Toulouse, France (Volume 10889, Series Lecture Notes in Computer Science (LNCS), 2018, Pages pages 63 - 82)
Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
pdf | doi | bibtex@inproceedings{7063778b-25e3-4d0f-99eb-f916c1211f61, title = {Under-Approximation Generation Driven by Relevance Predicates and Variants}, author = {Julliand, Jacques and Kouchnarenko, Olga and Masson, Pierre-Alain and Voiron, Guillaume}, year = {2018}, address = {Toulouse, France}, booktitle = {12th International Conference on Tests \& Proofs (TAP 2018)}, month = {jun}, pages = {63 - 82}, url = {https://publiweb.femto-st.fr/tntnet/entries/14898/documents/author/data}, volume = {10889}, doi = {10.1007/978-3-319-92994-1_4}, series = {Lecture Notes in Computer Science (LNCS)} }
article - Test Generation from Event System Abstractions to Cover Their States and Transitions
Programming and Computer Software (Volume 44, Issue (1), mar 2018, Pages :1 - 14)
Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
doi
article - Opacity for linear constraint Markov chains
Discrete Event Dynamic Systems-Theory and applications (Volume 28, Issue (1), mar 2018, Pages :83 - 108)
Bérard, Béatrice | Kouchnarenko, Olga | Mullins, John | Sassolas, Mathieu
pdf | doi

2017 (8)

proceedings - Formal Aspects of Component Software
/ Besançon, France (Volume 10231, Series Lecture Notes in Computer Science (LNCS), oct 2017)
Kouchnarenko, Olga | Khosravi, Ramtin
pdf | doi | bibtex@proceedings{23537220-2811-4b4a-b3c7-297d1bbf5e38, title = {Formal Aspects of Component Software}, author = {Kouchnarenko, Olga and Khosravi, Ramtin}, year = {2017}, address = {Besan\c{c}on, France}, booktitle = {13th International Conference on Formal Aspects of Component Software (FACS 2016)}, month = {oct}, url = {https://publiweb.femto-st.fr/tntnet/entries/17366/documents/author/data}, volume = {10231}, doi = {10.1007/978-3-319-57666-4}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - Two Under-Approximation Techniques for 3-Modal Abstraction Coverage of Event Systems: Joint Effort?
11th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2017) / Nice, France (2017, Pages pages 8)
Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
pdf | doi | bibtex@inproceedings{49fff33e-1ac2-4978-a14c-442f458ca728, title = {Two Under-Approximation Techniques for 3-Modal Abstraction Coverage of Event Systems: Joint Effort?}, author = {Julliand, Jacques and Kouchnarenko, Olga and Masson, Pierre-Alain and Voiron, Guillaume}, year = {2017}, address = {Nice, France}, booktitle = {11th IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2017)}, editor = {49fff33e-1ac2-4978-a14c-442f458ca728-editor.pdf}, month = {sep}, pages = {8}, url = {https://publiweb.femto-st.fr/tntnet/entries/14120/documents/author/data}, doi = {10.1109/TASE.2017.8285632}, organization = {IEEE} }
inproceedings - Approximer des abstractions de systèmes d'événements en couvrant leurs états et leurs transitions
16ème Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL 2017) / Montpellier, France (2017, Pages pages 93 - 94)
Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
pdf | bibtex@inproceedings{1a6fce37-8dde-45ef-ad44-c9f14ecdd3dc, title = {Approximer des abstractions de syst\`emes d'\'ev\'enements en couvrant leurs \'etats et leurs transitions}, author = {Julliand, Jacques and Kouchnarenko, Olga and Masson, Pierre-Alain and Voiron, Guillaume}, year = {2017}, address = {Montpellier, France}, booktitle = {16\`eme Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels (AFADL 2017)}, editor = {Akram IDANI et Nikolai KOSMATOV}, month = {jun}, pages = {93 - 94}, url = {https://publiweb.femto-st.fr/tntnet/entries/14215/documents/author/data} }
inproceedings - Approximating Event System Abstractions by Covering their States and Transitions
11th International Andrei Ershov Informatics Conference, Perspectives of System Informatics (PSI 2017) / Moscou, Russian Federation (Volume 10742, Series Lecture Notes in Computer Science (LNCS), 2017, Pages pages 211 - 226)
Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
pdf | doi | bibtex@inproceedings{f1fc216d-09fc-43f2-8ef2-d98ae43fd8eb, title = {Approximating Event System Abstractions by Covering their States and Transitions}, author = {Julliand, Jacques and Kouchnarenko, Olga and Masson, Pierre-Alain and Voiron, Guillaume}, year = {2017}, address = {Moscou, Russian Federation}, booktitle = {11th International Andrei Ershov Informatics Conference, Perspectives of System Informatics (PSI 2017)}, editor = {A. K. Petrenko and A. Voronkov}, month = {jun}, pages = {211 - 226}, url = {https://publiweb.femto-st.fr/tntnet/entries/14216/documents/author/data}, volume = {10742}, doi = {10.1007/978-3-319-74313-4_16}, series = {Lecture Notes in Computer Science (LNCS)} }
article - 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
techreport - Approximating Event System Abstractions by Covering their States and Transitions
(feb 2017, Research Report)
Julliand, Jacques | Kouchnarenko, Olga | Masson, Pierre-Alain | Voiron, Guillaume
bibtex@techreport{f8d77ef8-6af0-4f6e-b9fd-bf893bd9ca29, title = {Approximating Event System Abstractions by Covering their States and Transitions}, author = {Julliand, Jacques and Kouchnarenko, Olga and Masson, Pierre-Alain and Voiron, Guillaume}, year = {2017}, month = {feb}, url = {https://publiweb.femto-st.fr/tntnet/entries/13785/documents/author/data} }
inproceedings - Reduction of Workflow Nets for Generalised Soundness Verification
18th International Conference on Verification, Model-Checking, and Abstract Interpretation (VMCAI 2017) / Paris, France (Publisher : Springer, Volume 10145, Series Lecture Notes in Computer Science (LNCS), 2017, Pages pages 91 - 111)
Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
pdf | doi | bibtex@inproceedings{1ee19fcb-5d5b-4a30-96d1-a182f5d5854e, title = {Reduction of Workflow Nets for Generalised Soundness Verification}, author = {Bride, Hadrien and Kouchnarenko, Olga and Peureux, Fabien}, year = {2017}, address = {Paris, France}, booktitle = {18th International Conference on Verification, Model-Checking, and Abstract Interpretation (VMCAI 2017)}, month = {jan}, pages = {91 - 111}, url = {https://publiweb.femto-st.fr/tntnet/entries/13418/documents/author/data}, volume = {10145}, doi = {10.1007/978-3-319-52234-0_6}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
article - Component-Based Systems Reconfigurations Using Graph Transformations with GROOVE
Automatic Control and Computer Sciences (Volume 51, Issue (7), 2017, Pages :463 - 478)
Kouchnarenko, Olga | Weber, Jean-François
doi

2016 (4)

inproceedings - Workflow Nets Verification: SMT or CLP?
International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016) / Pisa, Italy (Publisher : Springer, Volume 9933, Series Lecture Notes in Computer Science (LNCS), 2016, Pages pages 39 - 55)
Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien | Voiron, Guillaume
pdf | doi | bibtex@inproceedings{49c82c45-eec1-4465-8322-e9b7027e766a, title = {Workflow Nets Verification: SMT or CLP?}, author = {Bride, Hadrien and Kouchnarenko, Olga and Peureux, Fabien and Voiron, Guillaume}, year = {2016}, address = {Pisa, Italy}, booktitle = {International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS 2016)}, month = {sep}, pages = {39 - 55}, url = {https://publiweb.femto-st.fr/tntnet/entries/13247/documents/author/data}, volume = {9933}, doi = {10.1007/978-3-319-45943-1_3}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - 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) / Besançon, France (Publisher : FEMTO-ST, 2016, Pages pages 11 - 12)
Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien | Voiron, Guillaume
pdf | bibtex@inproceedings{4dd26268-6b3b-4c8d-93f9-e3ed6fde8ce3, title = {Comparing CLP(FD) and SMT Approaches Applied to Workflow Nets Verification}, author = {Bride, Hadrien and Kouchnarenko, Olga and Peureux, Fabien and Voiron, Guillaume}, year = {2016}, address = {Besan\c{c}on, France}, booktitle = {15\`emes Journ\'ees Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels (AFADL 2016)}, editor = {Aur\'elie Hurault et Nicolas Stouls}, month = {jun}, pages = {11 - 12}, url = {https://publiweb.femto-st.fr/tntnet/entries/13246/documents/author/data}, publisher = {FEMTO-ST} }
inproceedings - Preserving Opacity on Interval Markov Chains under Simulation
13th IEEE International Workshop on Discrete Event Systems (WODES 2016) / Xi'an, China (Publisher : IEEE, 2016, Pages pages 319 - 324)
Bérard, Béatrice | Kouchnarenko, Olga | Mullins, John | Sassolas, Mathieu
doi | bibtex@inproceedings{bkms16:ip, title = {Preserving Opacity on Interval Markov Chains under Simulation}, author = {B\'erard, B\'eatrice and Kouchnarenko, Olga and Mullins, John and Sassolas, Mathieu}, year = {2016}, address = {Xi'an, China}, booktitle = {13th IEEE International Workshop on Discrete Event Systems (WODES 2016)}, month = {may}, pages = {319 - 324}, doi = {10.1109/WODES.2016.7497866}, publisher = {IEEE} }
article - Component-based systems reconfigurations using graph grammars
Modeling and Analysis of Information Systems (Volume 23, Issue (6), 2016, Pages :804 - 825)
Kouchnarenko, Olga | Weber, Jean-François
doi

2015 (4)

inproceedings - Practical Analysis Framework for Component Systems with Dynamic Reconfigurations
17th International Conference on Formal Engineering Methods (ICFEM 2015) / Paris, France (Publisher : Springer, Volume 9407, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 287 - 303)
Kouchnarenko, Olga | Weber, Jean-François
pdf | doi | bibtex@inproceedings{kw15b:ip, title = {Practical Analysis Framework for Component Systems with Dynamic Reconfigurations}, author = {Kouchnarenko, Olga and Weber, Jean-Fran\c{c}ois}, year = {2015}, address = {Paris, France}, booktitle = {17th International Conference on Formal Engineering Methods (ICFEM 2015)}, editor = {Butler, Michael and Conchon, Sylvain and Za\"idi, Fatiha}, month = {nov}, pages = {287 - 303}, url = {https://publiweb.femto-st.fr/tntnet/entries/11970/documents/author/data}, volume = {9407}, doi = {10.1007/978-3-319-25423-4_18}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime
12th International Conference on Formal Aspects of Component Software (FACS 2015) / Niterói, Brazil (Publisher : Springer, Volume 8997, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 108 - 126)
Kouchnarenko, Olga | Weber, Jean-François
pdf | doi | bibtex@inproceedings{kw15:ip, title = {Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime}, author = {Kouchnarenko, Olga and Weber, Jean-Fran\c{c}ois}, year = {2015}, address = {Niter\'oi, Brazil}, booktitle = {12th International Conference on Formal Aspects of Component Software (FACS 2015)}, editor = {Ivan Lanese and Eric Madelaine}, month = {oct}, pages = {108 - 126}, url = {https://publiweb.femto-st.fr/tntnet/entries/10725/documents/author/data}, volume = {8997}, doi = {10.1007/978-3-319-15317-9_7}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data
10th International Andrei Ershov Informatics Conference, Perspectives of System Informatics (PSI 2015) / Kazan and Innopolis, Russian Federation (Publisher : Springer, Volume 9609, Series Lecture Notes in Computer Science (LNCS), 2015, Pages pages 75 - 90)
Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
pdf | doi | bibtex@inproceedings{bkp15:ip, title = {Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data}, author = {Bride, Hadrien and Kouchnarenko, Olga and Peureux, Fabien}, year = {2015}, address = {Kazan and Innopolis, Russian Federation}, booktitle = {10th International Andrei Ershov Informatics Conference, Perspectives of System Informatics (PSI 2015)}, month = {aug}, pages = {75 - 90}, url = {https://publiweb.femto-st.fr/tntnet/entries/11853/documents/author/data}, volume = {9609}, doi = {10.1007/978-3-319-41579-6_7}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
article - 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

2014 (4)

inproceedings - Verifying Modal Workflow Specifications using Constraint Solving
IFM'14, 11-th Int. Conf. on Integrated Formal Methods / Bertinoro, Italy (Publisher : Springer, Volume 8739, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 171--186)
Bride, Hadrien | Kouchnarenko, Olga | Peureux, Fabien
pdf | doi | bibtex@inproceedings{bkp14:ip, title = {Verifying Modal Workflow Specifications using Constraint Solving}, author = {Bride, Hadrien and Kouchnarenko, Olga and Peureux, Fabien}, year = {2014}, address = {Bertinoro, Italy}, booktitle = {IFM'14, 11-th Int. Conf. on Integrated Formal Methods}, month = {sep}, pages = {171--186}, url = {https://publiweb.femto-st.fr/tntnet/entries/8141/documents/author/data}, volume = {8739}, doi = {10.1007/978-3-319-10181-1_11}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
article - 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
pdf | doi
inproceedings - Component Substitution through Dynamic Reconfigurations
FESCA 2014, 11th Int. Workshop on Formal Engineering approaches to Software Components and Architectures / Grenoble, France (Volume 147, Series Electronic Proceedings in Theoretical Computer Science (EPTCS), 2014, Pages pages 32--46)
Lanoix, Arnaud | Kouchnarenko, Olga
pdf | doi | bibtex@inproceedings{lk14:ip, title = {Component Substitution through Dynamic Reconfigurations}, author = {Lanoix, Arnaud and Kouchnarenko, Olga}, year = {2014}, address = {Grenoble, France}, booktitle = {FESCA 2014, 11th Int. Workshop on Formal Engineering approaches to Software Components and Architectures}, editor = {Buhnova, Barbora and Happe, Lucia and Kofron, Jan}, month = {Apr}, pages = {32--46}, url = {https://publiweb.femto-st.fr/tntnet/entries/7301/documents/author/data}, volume = {147}, doi = {10.4204/EPTCS.147.3}, series = {Electronic Proceedings in Theoretical Computer Science (EPTCS)} }
inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 2014, Pages pages 234 - 253)
Kouchnarenko, Olga | Weber, Jean-François
pdf | doi | bibtex@inproceedings{kw14:ip, title = {Adapting Component-Based Systems at Runtime via Policies with Temporal Patterns}, author = {Kouchnarenko, Olga and Weber, Jean-Fran\c{c}ois}, year = {2014}, address = {Nanchang, China}, booktitle = {FACS 2013, 10th Int. Symposium on Formal Aspects of Component Software, Revised Selected Papers}, editor = {Fiadeiro, Jos\'e Luiz and Liu, Zhiming and Xue, Jinyun}, pages = {234 - 253}, url = {https://publiweb.femto-st.fr/tntnet/entries/7918/documents/author/data}, volume = {8348}, doi = {10.1007/978-3-319-07602-7_15}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

2013 (5)

misc - A Random Testing using Pushdown Automata
LINA, UMR CNRS 6241 Nantes 09-12 Dec 2013 (dec 2013)
Kouchnarenko, Olga
bibtex@misc{ac6f85c1-f383-41fd-8939-5d5d52a72041, title = {A Random Testing using Pushdown Automata}, author = {Kouchnarenko, Olga}, year = {2013}, month = {dec} }
misc - A Random Testing Using Pushdown Automata
Communication au LINA, UMR CNRS 6241, 9-12-2013, Nantes, France (dec 2013)
Kouchnarenko, Olga
bibtex@misc{kouchnarenko13:it, title = {A Random Testing Using Pushdown Automata}, author = {Kouchnarenko, Olga}, year = {2013}, month = {dec} }
inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 2013, Pages pages 331--339)
Dreyfus, Aloïs | Heam, Pierre-Cyrille | Kouchnarenko, Olga
pdf | doi | bibtex@inproceedings{dhk13b:ip, title = {Enhancing Approximations for Regular Reachability Analysis}, author = {Dreyfus, Alo\"is and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2013}, address = {Halifax, NS, Canada}, booktitle = {CIAA 2013, 18-th Int. Conf. on Implementation and Application of Automata}, month = {jul}, pages = {331--339}, url = {https://publiweb.femto-st.fr/tntnet/entries/5971/documents/author/data}, volume = {7982}, doi = {10.1007/978-3-642-39274-0_29}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - 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@inproceedings{dhk13a:ip, title = {Random Grammar-Based Testing for Covering All Non-terminals}, author = {Dreyfus, Alo\"is and Heam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2013}, address = {Luxemburg, Luxemburg}, booktitle = {CSTVA 2013, 5-th Int. Workshop on Constraints in Software Testing Verification and Analysis. Held in conjunction with ICST 2013}, month = {mar}, pages = {210 - 215}, url = {https://publiweb.femto-st.fr/tntnet/entries/5970/documents/author/data}, publisher = {IEEE} }
inproceedings - 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, Series LIPIcs - Leibniz International Proceedings in Informatics, 2013, Pages pages 303--318)
Tushkanova, Elena | Ringeissen, Christophe | Giorgetti, Alain | Kouchnarenko, Olga
pdf | doi | bibtex@inproceedings{trgk13:ip, title = {Automatic Decidability: A Schematic Calculus for Theories with Counting Operators}, author = {Tushkanova, Elena and Ringeissen, Christophe and Giorgetti, Alain and Kouchnarenko, Olga}, year = {2013}, address = {Dagstuhl, Germany}, booktitle = {RTA 2013, 24th Int. Conf. on Rewriting Techniques and Applications}, editor = {Femke van Raamsdonk}, pages = {303--318}, url = {https://publiweb.femto-st.fr/tntnet/entries/5959/documents/author/data}, volume = {21}, doi = {10.4230/LIPIcs.RTA.2013.303}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, series = {LIPIcs - Leibniz International Proceedings in Informatics} }

2012 (6)

article - 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
inproceedings - When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations
FM 2012, 18th Int. Symposium on Formal Methods / Paris, France (Volume 7436, Series Lecture Notes in Computer Science (LNCS), 2012, Pages pages 171--186)
Dormoy, Julien | Kouchnarenko, Olga | Lanoix, Arnaud
pdf | doi | bibtex@inproceedings{dkl12:ip, title = {When Structural Refinement of Components Keeps Temporal Properties over Reconfigurations}, author = {Dormoy, Julien and Kouchnarenko, Olga and Lanoix, Arnaud}, year = {2012}, address = {Paris, France}, booktitle = {FM 2012, 18th Int. Symposium on Formal Methods}, editor = {Giannakopoulou, Dimitra and M\'ery, Dominique}, month = {aug}, pages = {171--186}, url = {http://dx.doi.org/10.1007/978-3-642-32759-9_16}, volume = {7436}, doi = {10.1007/978-3-642-32759-9_16}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 2012, Pages pages 221--239)
Tushkanova, Elena | Giorgetti, Alain | Ringeissen, Christophe | Kouchnarenko, Olga
pdf | doi | bibtex@inproceedings{tgrk12:ip, title = {A Rule-Based Framework for Building Superposition-Based Decision Procedures}, author = {Tushkanova, Elena and Giorgetti, Alain and Ringeissen, Christophe and Kouchnarenko, Olga}, year = {2012}, address = {Tallinn, Estonia}, booktitle = {WRLA'12, 9th Int. Workshop on Rewriting Logic and its Applications, joint to the ETAPS 2012 Int. Conf.}, editor = {Dur\'an, Franciso}, month = {aug}, pages = {221--239}, url = {https://publiweb.femto-st.fr/tntnet/entries/352/documents/author/data}, volume = {7571}, doi = {10.1007/978-3-642-34005-5_12}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - On Positive TAGED with a Bounded Number of Constraints
CIAA 2012, 17th Int. Conf. on Implementation and Application of Automata / Porto, Portugal (Volume 7381, Series Lecture Notes in Computer Science (LNCS), 2012, Pages pages 329--336)
Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
pdf | doi | bibtex@inproceedings{hhk12a:ip, title = {On Positive TAGED with a Bounded Number of Constraints}, author = {H\'eam, Pierre-Cyrille and Hugot, Vincent and Kouchnarenko, Olga}, year = {2012}, address = {Porto, Portugal}, booktitle = {CIAA 2012, 17th Int. Conf. on Implementation and Application of Automata}, editor = {Moreira, Nelma and Reis, Rog\'erio}, month = {jul}, pages = {329--336}, url = {https://publiweb.femto-st.fr/tntnet/entries/599/documents/author/data}, volume = {7381}, doi = {10.1007/978-3-642-31606-7_29}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - From Linear Temporal Logic Properties to Rewrite Propositions
IJCAR 2012, 6th Int. Joint Conf. on Automated Reasoning / Manchester, UK (Volume 7364, Series Lecture Notes in Computer Science (LNCS), 2012, Pages pages 316-331)
Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
pdf | doi | bibtex@inproceedings{hhk12b:ip, title = {From Linear Temporal Logic Properties to Rewrite Propositions}, author = {Heam, Pierre-Cyrille and Hugot, Vincent and Kouchnarenko, Olga}, year = {2012}, address = {Manchester, UK}, booktitle = {IJCAR 2012, 6th Int. Joint Conf. on Automated Reasoning}, editor = {Gramlich, Bernhard and Miller, Dale and Sattler, Uli}, month = {jun}, pages = {316-331}, url = {https://publiweb.femto-st.fr/tntnet/entries/340/documents/author/data}, volume = {7364}, doi = {10.1007/978-3-642-31365-3_25}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - Relaxing B Sharing Restrictions within CSP||B
SC 2012, 11th Int. Conf. on Software Composition / Prague, Czech Republic (Volume 7306, Series Lecture Notes in Computer Science (LNCS), 2012, Pages pages 35--50)
Lanoix, Arnaud | Kouchnarenko, Olga | Colin, Samuel | Poirriez, Vincent
pdf | doi | bibtex@inproceedings{lkcp12:ip, title = {Relaxing B Sharing Restrictions within CSP||B}, author = {Lanoix, Arnaud and Kouchnarenko, Olga and Colin, Samuel and Poirriez, Vincent}, year = {2012}, address = {Prague, Czech Republic}, booktitle = {SC 2012, 11th Int. Conf. on Software Composition}, editor = {Gschwind, Thomas and de Paoli, Flavio and Gruhn, Volker and Book, Matthias}, month = {jun}, pages = {35--50}, url = {http://dx.doi.org/10.1007/978-3-642-30564-1_3}, volume = {7306}, doi = {10.1007/978-3-642-30564-1_3}, series = {Lecture Notes in Computer Science (LNCS)} }

2011 (3)

inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 2011, Pages pages 115--132)
Dormoy, Julien | Kouchnarenko, Olga | Lanoix, Arnaud
bibtex@inproceedings{dkl11:ip, title = {Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components}, author = {Dormoy, Julien and Kouchnarenko, Olga and Lanoix, Arnaud}, year = {2011}, address = {Oslo, Norway}, booktitle = {FACS 2011, 8th Int. Symposium on Formal Aspects of Component Software}, month = {sep}, pages = {115--132}, volume = {7253}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - Loops and overloops for tree walking automata
CIAA'11, 6-th Int. Conf. on Implementation and Application of Automata / Blois, France (Volume 6807, Series Lecture Notes in Computer Science (LNCS), 2011, Pages pages 166--177)
Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
pdf | doi | bibtex@inproceedings{hhk11:ip, title = {Loops and overloops for tree walking automata}, author = {H\'eam, Pierre-Cyrille and Hugot, Vincent and Kouchnarenko, Olga}, year = {2011}, address = {Blois, France}, booktitle = {CIAA'11, 6-th Int. Conf. on Implementation and Application of Automata}, month = {jul}, pages = {166--177}, url = {http://dx.doi.org/10.1007/978-3-642-22256-6_16}, volume = {6807}, doi = {10.1007/978-3-642-22256-6_16}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - 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, Series Electronic Notes in Theoretical Computer Science (ENTCS), 2011, Pages pages 43--57)
Lanoix, Arnaud | Dormoy, Julien | Kouchnarenko, Olga
pdf | doi | bibtex@inproceedings{ldk11:ip, title = {Combining Proof and Model-checking to Validate Reconfigurable Architectures}, author = {Lanoix, Arnaud and Dormoy, Julien and Kouchnarenko, Olga}, year = {2011}, address = {Saarbr\"ucken, Germany}, booktitle = {FESCA 2011, 8th Int. Workshop on Formal Engineering approaches to Software Components and Architectures, Satellite event of ETAPS}, month = {apr}, number = {2}, pages = {43--57}, url = {http://dx.doi.org/10.1016/j.entcs.2011.11.011}, volume = {279}, doi = {10.1016/j.entcs.2011.11.011}, series = {Electronic Notes in Theoretical Computer Science (ENTCS)} }

2010 (11)

article - 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
techreport - Random Generation of Positive TAGEDs wrt. the Emptiness Problem
(nov 2010, Research Report)
Heam, Pierre-Cyrille | Hugot, Vincent | Kouchnarenko, Olga
bibtex@techreport{hhk10:ir, title = {Random Generation of Positive TAGEDs wrt. the Emptiness Problem}, author = {H\'eam, Pierre-Cyrille and Hugot, Vincent and Kouchnarenko, Olga}, year = {2010}, month = {nov}, url = {http://hal.inria.fr/inria-00531350/en/} }
inproceedings - Using Temporal Logic for Dynamic Reconfigurations of Components
7th International Conference on Formal Aspects of Component Software (FACS 2010) / Guimarães, Portugal (Volume 6921, Series Lecture Notes in Computer Science (LNCS), 2010, Pages pages 200 - 217)
Dormoy, Julien | Kouchnarenko, Olga | Lanoix, Arnaud
pdf | doi | bibtex@inproceedings{dkl10:ip, title = {Using Temporal Logic for Dynamic Reconfigurations of Components}, author = {Dormoy, Julien and Kouchnarenko, Olga and Lanoix, Arnaud}, year = {2010}, address = {Guimar\~aes, Portugal}, booktitle = {7th International Conference on Formal Aspects of Component Software (FACS 2010)}, month = {oct}, pages = {200 - 217}, url = {https://publiweb.femto-st.fr/tntnet/entries/286/documents/author/data}, volume = {6921}, doi = {10.1007/978-3-642-27269-1_12}, series = {Lecture Notes in Computer Science (LNCS)} }
article - 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
inproceedings - 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
pdf | bibtex@inproceedings{chjk10:onp, title = {Approximations par r\'e\'ecriture pour deux probl\`emes ind\'ecidables}, author = {Courbis, Rom\'eo and H\'eam, Pierre-Cyrille and Jourdan, Pierre and Kouchnarenko, Olga}, year = {2010}, address = {Poitiers, France}, booktitle = {AFADL'10, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {jun}, pages = {7--10}, url = {https://publiweb.femto-st.fr/tntnet/entries/546/documents/author/data} }
inproceedings - 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@inproceedings{ddk10:onp, title = {EVA4Fractal: adaptation de composants Fractal bas\'ee sur des \'ev\'enements}, author = {Dormoy, Julien and Dreyfus, Alo\"is and Kouchnarenko, Olga}, year = {2010}, address = {Poitiers, France}, booktitle = {AFADL'10, Congr\`es Approches Formelles dans l'Assistance au D\'eveloppement de Logiciels}, month = {jun}, pages = {245--278}, url = {https://publiweb.femto-st.fr/tntnet/entries/548/documents/author/data} }
inproceedings - 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
pdf | doi | bibtex@inproceedings{dk10:ip, title = {Event-based Adaptation Policies for Fractal Components}, author = {Dormoy, Julien and Kouchnarenko, Olga}, year = {2010}, address = {Hammamet, Tunisia}, booktitle = {AICCSA 2010, ACS/IEEE Int. Conf. on Computer Systems and Applications}, month = {may}, pages = {1--8}, url = {http://dx.doi.org/10.1109/AICCSA.2010.5586944}, doi = {10.1109/AICCSA.2010.5586944} }
inproceedings - 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@inproceedings{hhk10:ip, title = {SAT Solvers for Queries over Tree Automata with Constraints}, author = {H\'eam, Pierre-Cyrille and Hugot, Vincent and Kouchnarenko, Olga}, year = {2010}, address = {Paris, France}, booktitle = {CSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010}, month = {apr}, pages = {343--348}, url = {https://publiweb.femto-st.fr/tntnet/entries/262/documents/author/data}, doi = {10.1109/ICSTW.2010.17} }
inproceedings - 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@inproceedings{tgmk10:ip, title = {Specifying Generic Java Programs: two case studies}, author = {Giorgetti, Alain and March\'e, Claude and Tushkanova, Elena and Kouchnarenko, Olga}, year = {2010}, address = {Paphos, Cyprus}, booktitle = {LDTA 2010, 10th Workshop on Language Descriptions, Tools, and Applications}, month = {mar}, pages = {8:1--8:8}, url = {https://publiweb.femto-st.fr/tntnet/entries/277/documents/author/data}, doi = {10.1145/1868281.1868289} }
article - 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
article - 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

2009 (8)

article - 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)
Dormoy, Julien | Kouchnarenko, Olga | Mountassir, Hassan
pdf
article - 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 | Courbis, Roméo | Heam, Pierre-Cyrille | Kouchnarenko, Olga
pdf | doi
techreport - Specifying and Proving a Sorting Algorithm
(oct 2009, Research Report)
Giorgetti, Alain | Kouchnarenko, Olga | Tushkanova, Elena
bibtex@techreport{tgk09:ir, title = {Specifying and Proving a Sorting Algorithm}, author = {Giorgetti, Alain and Kouchnarenko, Olga and Tushkanova, Elena}, year = {2009}, month = {oct}, url = {https://publiweb.femto-st.fr/tntnet/entries/110/documents/author/data} }
inproceedings - How to Tackle Integer Weighted Automata Positivity
RP'09, 3rd Int. Workshop on Reachability Problems / Paris, France (Volume 5797, Series Lecture Notes in Computer Science (LNCS), 2009, Pages pages 79--92)
Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
pdf | doi | bibtex@inproceedings{bhk09:ip, title = {How to Tackle Integer Weighted Automata Positivity}, author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2009}, address = {Paris, France}, booktitle = {RP'09, 3rd Int. Workshop on Reachability Problems}, editor = {Bournez, Olivier and Potapov, Igor}, month = {sep}, pages = {79--92}, url = {https://publiweb.femto-st.fr/tntnet/entries/233/documents/author/data}, volume = {5797}, doi = {10.1007/978-3-642-04420-5_9}, series = {Lecture Notes in Computer Science (LNCS)} }
article - 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
inproceedings - TAGED Approximations for Temporal Properties Model-Checking
CIAA'09, 14th Int. Conf. and Application of Automata / Sydney, Australia (Volume 5642, Series Lecture Notes in Computer Science (LNCS), 2009, Pages pages 135--144)
Heam, Pierre-Cyrille | Kouchnarenko, Olga | Courbis, Roméo
pdf | doi | bibtex@inproceedings{chk09:ip, title = {TAGED Approximations for Temporal Properties Model-Checking}, author = {Courbis, Rom\'eo and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2009}, address = {Sydney, Australia}, booktitle = {CIAA'09, 14th Int. Conf. and Application of Automata}, editor = {Sebastian Maneth}, month = {jul}, pages = {135--144}, url = {https://publiweb.femto-st.fr/tntnet/entries/235/documents/author/data}, volume = {5642}, doi = {10.1007/978-3-642-02979-0_17}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - 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
pdf | bibtex@inproceedings{kst09:oip, title = {Petri Nets with May/Must Semantics}, author = {Kouchnarenko, Olga and Sidorova, Natalia and Trcka, Nikola}, year = {2009}, address = {Krak\'ow-Przegorzaly, Poland}, booktitle = {CS\&P 2009, Concurrency, Specification, and Programming}, pages = {291--302}, url = {http://hal.inria.fr/inria-00426835/en/}, volume = {1}, organization = {Humboldt University} }
techreport - Modular Specification of Java Programs
( 2009, Research Report)
Giorgetti, Alain | Kouchnarenko, Olga | Tushkanova, Elena | Marché, Claude
bibtex@techreport{tgmk09:ir, title = {Modular Specification of Java Programs}, author = {Tushkanova, Elena and Giorgetti, Alain and March\'e, Claude and Kouchnarenko, Olga}, year = {2009}, url = {http://hal.inria.fr/inria-00434452/en/} }

2008 (6)

article - Verification of class liveness properties with Java modeling language
IET Software (Volume 2, Issue (6), dec 2008, Pages :500 - 514)
Giorgetti, Alain | Groslambert, Julien | Julliand, Jacques | Kouchnarenko, Olga
pdf | doi
inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 2008, Pages pages 103--118)
Kouchnarenko, Olga | Lanoix, Arnaud | Souquières, Jeanine | Colin, Samuel
pdf | doi | bibtex@inproceedings{clks08b:ip, title = {Using CSP||B Components: Application to a Platoon of Vehicles}, author = {Colin, Samuel and Lanoix, Arnaud and Kouchnarenko, Olga and Souqui\`eres, J.}, year = {2008}, address = {L'Aquila, Italy}, booktitle = {FMICS'08, 13th workshop on Formal Methods for Industrial Critical Systems}, month = {sep}, pages = {103--118}, url = {http://dx.doi.org/10.1007/978-3-642-03240-0_11}, volume = {5596}, doi = {10.1007/978-3-642-03240-0_11}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - Finer is better: Abstraction Refinement for Rewriting Approximations
RTA'08, 19th int. conf. on Rewriting Techniques and Applications / Hagenberg, Austria (Volume 5117, Series Lecture Notes in Computer Science (LNCS), 2008, Pages pages 48--62)
Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga | Courbis, Roméo
pdf | bibtex@inproceedings{bchk08a:ip, title = {Finer is better: Abstraction Refinement for Rewriting Approximations}, author = {Boichut, Yohan and Courbis, Rom\'eo and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2008}, address = {Hagenberg, Austria}, booktitle = {RTA'08, 19th int. conf. on Rewriting Techniques and Applications}, editor = {A. Voronkov}, month = {jul}, pages = {48--62}, url = {https://publiweb.femto-st.fr/tntnet/entries/202/documents/author/data}, volume = {5117}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 2008, Pages pages 139--144)
Kouchnarenko, Olga | Lanoix, Arnaud | Souquières, Jeanine | Colin, Samuel
pdf | bibtex@inproceedings{clks08a:ip, title = {Towards Validating a Platoon of Cristal Vehicles Using CSP||B}, author = {Colin, Samuel and Lanoix, Arnaud and Kouchnarenko, Olga and Souqui\`eres, J.}, year = {2008}, address = {Urbana, IL, United States}, booktitle = {AMAST'08, 12th Int. Conf. on Algebraic Methodology and Software Technology}, month = {jul}, pages = {139--144}, url = {http://dx.doi.org/10.1007/978-3-540-79980-1_11}, volume = {5140}, series = {Lecture Notes in Computer Science (LNCS)} }
article - 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
inproceedings - 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, Series Electronic Notes in Theoretical Computer Science (ENTCS), 2008, Pages pages 61--70)
Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga | Courbis, Roméo
pdf | doi | bibtex@inproceedings{bchk08b:ip, title = {Handling Left-Quadratic Rules When Completing Tree Automata}, author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga and Courbis, Rom\'eo}, year = {2008}, address = {Liverpool, United Kingdom}, booktitle = {RP'08 proceedings, Workshop on Reachability Problems in Computational Models}, pages = {61--70}, url = {https://publiweb.femto-st.fr/tntnet/entries/690/documents/author/data}, volume = {223}, doi = {10.1016/j.entcs.2008.12.031}, publisher = {Journal of Supercomputing}, series = {Electronic Notes in Theoretical Computer Science (ENTCS)} }

2007 (4)

article - 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
inproceedings - 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@inproceedings{bhk07:ip, title = {Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives}, author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2007}, address = {Lisboa, Portugal}, booktitle = {INFINITY'07, Int. Ws. on Verification of Infinite-State Systems, joint to CONCUR'07}, month = {sep}, pages = {44--53} }
inproceedings - 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@inproceedings{hkv07:ip, title = {How to Handle QoS Aspects in Web Services Substitutivity Verification}, author = {H\'eam, Pierre-Cyrille and Kouchnarenko, Olga and Voinot, J\'er\^ome}, year = {2007}, address = {Paris, France}, booktitle = {WETICE'07, 16th IEEE Int. Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises}, month = {jun}, pages = {333--338} }
techreport - Towards Formalizing QoS of Web Services with Weighted Automata
(jun 2007, Research Report)
Heam, Pierre-Cyrille | Kouchnarenko, Olga | Voinot, Jérôme
bibtex@techreport{hkv07:ir, title = {Towards Formalizing QoS of Web Services with Weighted Automata}, author = {H\'eam, Pierre-Cyrille and Kouchnarenko, Olga and Voinot, J\'er\^ome}, year = {2007}, month = {jun}, url = {https://hal.inria.fr/inria-00154453} }

2006 (6)

inproceedings - Handling Algebraic Properties in Automatic Analysis of Security Protocols
ICTAC 2006, Int. Colloquium on Theoretical Aspects of Computing / Tunis, Tunisia (Volume 4281, Series Lecture Notes in Computer Science (LNCS), 2006, Pages pages 153--167)
Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
bibtex@inproceedings{bhk06:ip, title = {Handling Algebraic Properties in Automatic Analysis of Security Protocols}, author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2006}, address = {Tunis, Tunisia}, booktitle = {ICTAC 2006, Int. Colloquium on Theoretical Aspects of Computing}, month = {nov}, pages = {153--167}, volume = {4281}, series = {Lecture Notes in Computer Science (LNCS)} }
inproceedings - 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
pdf | bibtex@inproceedings{gjk06:ip, title = {JML-based Verification of Liveness Properties on a Class}, author = {Julliand, Jacques and Groslambert, Julien and Kouchnarenko, Olga}, year = {2006}, address = {Portland, Oregon, United States}, booktitle = {SAVCBS'06, Specification and Verification of Component-Based Systems}, month = {nov}, pages = {41--48}, url = {https://publiweb.femto-st.fr/tntnet/entries/159/documents/author/data} }
techreport - Automatic Abstraction Generation: How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users
(nov 2006, Research Report)
Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
bibtex@techreport{bhk06b:ir, title = {Automatic Abstraction Generation: How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users}, author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2006}, month = {nov}, url = {https://hal.inria.fr/inria-00116918} }
inproceedings - 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, Series Lecture Notes in Computer Science (LNCS), 2006, Pages pages 297--309)
Kouchnarenko, Olga | Lanoix, Arnaud
bibtex@inproceedings{kl06:ip, title = {How to Refine and to Exploit a Refinement of Component-based Systems}, author = {Kouchnarenko, Olga and Lanoix, Arnaud}, year = {2006}, address = {Novosibirsk, Akademgorodok, Russian Federation}, booktitle = {PSI 2006, Pesrpectives of System Informatics, 6th Int. Andrei Ershov Memorial Conf.}, editor = {Virbitskaite, I. and Voronkov, A.}, month = {jun}, pages = {297--309}, volume = {4378}, series = {Lecture Notes in Computer Science (LNCS)} }
techreport - How to Refine and to Exploit a Refinement of Component-based Systems
(apr 2006, Research report)
Kouchnarenko, Olga | Lanoix, Arnaud
bibtex@techreport{kl06:ir, title = {How to Refine and to Exploit a Refinement of Component-based Systems}, author = {Kouchnarenko, Olga and Lanoix, Arnaud}, year = {2006}, month = {apr}, url = {http://www.inria.fr/rrrt/rr-5898.html} }
techreport - Handling Algebraic Properties in Automatic Analysis of Security Protocols
(mar 2006, Research report)
Boichut, Yohan | Heam, Pierre-Cyrille | Kouchnarenko, Olga
bibtex@techreport{bhk06:ir, title = {Handling Algebraic Properties in Automatic Analysis of Security Protocols}, author = {Boichut, Yohan and H\'eam, Pierre-Cyrille and Kouchnarenko, Olga}, year = {2006}, month = {mar}, url = {http://www.inria.fr/rrrt/rr-5857.html} }

A research laboratory associated with the CNRS and of European scope

You are here

Olga Kouchnarenko

Olga Kouchnarenko's publications

2023 (2)

2022 (1)

2021 (2)

2020 (1)

2019 (1)

2018 (5)

2017 (8)

2016 (4)

2015 (4)

2014 (4)

2013 (5)

2012 (6)

2011 (3)

2010 (11)

2009 (8)

2008 (6)

2007 (4)

2006 (6)

You are here

Olga Kouchnarenko

Olga Kouchnarenko's publications

2023 (2)

2022 (1)

2021 (2)

2020 (1)

2019 (1)

2018 (5)

2017 (8)

2016 (4)

2015 (4)

2014 (4)

2013 (5)

2012 (6)

2011 (3)

2010 (11)

2009 (8)

2008 (6)

2007 (4)

2006 (6)

Search form