Publications

View all publications (82)2024 (1)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)

2024 (1)

inproceedings - Building a First Prototype of a Multi-scale Modular Distributed Display
17th IEEE International Conference on Internet of Things (iThings 2024) / Copenhagen, Denmark (2024)
Lassabe, Frédéric | Dhoutaut, Dominique | Piranda, Benoit | Kouchnarenko, Olga | Bourgeois, Julien
pdf | bibtex@inproceedings{e92a4530-fff0-441b-beb1-2fee5ea790ec, title = {Building a First Prototype of a Multi-scale Modular Distributed Display}, author = {Lassabe, Fr\'ed\'eric and Dhoutaut, Dominique and Piranda, Benoit and Kouchnarenko, Olga and Bourgeois, Julien}, year = {2024}, address = {Copenhagen, Denmark}, booktitle = {17th IEEE International Conference on Internet of Things (iThings 2024)}, editor = {}, month = {aug}, url = {https://publiweb.femto-st.fr/tntnet/entries/20745/documents/author/data} }

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} }