Publications

Voir toutes les publications (6)2017 (1)2016 (2)2015 (2)2014 (1)

2017 (1)

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 (2)

inproceedings - Tool Support for Fuzz Testing of Component-Based System Adaptation Policies
13th International Conference on Formal Aspects of Component Software (FACS 2016) / Besançon, France (Volume 10231, Series Lecture Notes in Computer Science (LNCS), 2016, Pages pages 231 - 237)
Weber, Jean-François
pdf | doi | bibtex@inproceedings{18d5863f-0130-4d6a-9cfe-ecd02aa5d02e, title = {Tool Support for Fuzz Testing of Component-Based System Adaptation Policies}, author = {Weber, Jean-Fran\c{c}ois}, year = {2016}, address = {Besan\c{c}on, France}, booktitle = {13th International Conference on Formal Aspects of Component Software (FACS 2016)}, month = {oct}, pages = {231 - 237}, url = {https://publiweb.femto-st.fr/tntnet/entries/13183/documents/author/data}, volume = {10231}, doi = {10.1007/978-3-319-57666-4_14}, series = {Lecture Notes in Computer Science (LNCS)} }
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 (2)

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

2014 (1)

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