Publications

Category article

2017

  • 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

  • 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

Category inproceedings

2016

  • 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

2015

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

2014

  • 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