Publications

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 A venir, 2016, Pages pages A venir)
    Weber, Jean-François
    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
    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