Publications

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

2016 (2)

  • inproceedings - Tool Support for Fuzz Testing of Component-Based System Adaptation Policies
    FACS 2016 The 13th International Conference on Formal Aspects of Component Software (Volume 10231, 2016, Pages pages 231 - 237)
    Weber, Jean-François
    pdf | doi | bibtex
  • 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 | bibtex

2015 (2)

  • inproceedings - Practical Analysis Framework for Component Systems with Dynamic Reconfigurations
    ICFEM'15, 17th Int. Conf. on Formal Engineering Methods / Paris, France (Publisher : Springer, Volume 9407, 2015, Pages pages 287 - 303)
    Kouchnarenko, Olga | Weber, Jean-François
    pdf | doi | bibtex
  • inproceedings - Decentralised Evaluation of Temporal Patterns over Component-Based Systems at Runtime
    Formal Aspects of Component Software / Bertinoro, Italy (Publisher : Springer, Volume 8997, 2015, Pages pages 108 - 126)
    Kouchnarenko, Olga | Weber, Jean-François
    pdf | doi | bibtex

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, 2014, Pages pages 234 - 253)
    Kouchnarenko, Olga | Weber, Jean-François
    doi | bibtex