Olga Kouchnarenko

@inproceedings{5bfc025f-41f0-45f9-95c5-87f0f39c99c6, title = {Fancy some Chips for your TeaStore? Modeling the control of an adaptable discrete system}, author = {Gallone, Anna and Bliudze, Simon and Cerf, Sophie and Kouchnarenko, Olga}, year = {2025}, address = {Lille, France}, booktitle = {Workshop on Adaptable Cloud Architectures (2025)}, editor = {}, month = {jun}, pages = {16}, url = {https://publiweb.femto-st.fr/tntnet/entries/21674/documents/author/data} }

@inproceedings{5af63472-9013-4b76-8373-70ab132cc587, title = {Composing Run-time Variability Models}, author = {Farhat, Salman and Bliudze, Simon and Duchien, Laurence and Kouchnarenko, Olga}, year = {2024}, address = {Aveiro, Portugal}, booktitle = {22nd International Conference on Software Engineering and Formal Methods (SEFM 2024)}, editor = {5af63472-9013-4b76-8373-70ab132cc587-editor.pdf}, month = {nov}, pages = {234 - 252}, url = {https://publiweb.femto-st.fr/tntnet/entries/20718/documents/author/data}, volume = {15280}, doi = {https://doi.org/10.1007/978-3-031-77382-2_14}, publisher = {Springer}, series = {Lecture Notes in Computer Science (LNCS)} }

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

@inproceedings{e0721231-1d67-4965-9471-49ccb105e6f7, title = {Message from the Anniversary Chair: Exploring the Available FACS Impact (2003--2023)}, author = {Kouchnarenko, Olga and Robert, Louis}, year = {2023}, address = {Online (Electronic Conference), Online (Electronic Conference)}, booktitle = {19th International Conference on Formal Aspects of Component Software (FACS 2023)}, editor = {e0721231-1d67-4965-9471-49ccb105e6f7-editor.pdf}, month = {oct}, url = {https://publiweb.femto-st.fr/tntnet/entries/20816/documents/author/data} }

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

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

@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{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)} }

@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{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{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)} }

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

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

@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{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{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)} }

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

@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{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)} }

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

@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{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{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{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{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)} }

@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{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{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)} }

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

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

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

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

@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{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{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)} }

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

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

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

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