This page gives a list of publications related with the activities of the associate team

  • Pabon, G., Leyton, M. – “Tackling Algorithmic Skeleton’s Inversion of Control,” Parallel, Distributed and Network-Based Processing (PDP), 2012 20th Euromicro International Conference on , vol., no., pp.42-46, 15-17 Feb. 2012 –
  • Ludovic Henrio – Formal Models for Programming and Composing Correct Distributed Systems – Habilitation thesis (HDR) Thesis July 2012 – BibTex
  • Cristian Ruz, Francoise Baude, Bastien Sauvan – Using Components to Provide a Flexible Adaptation Loop to Component-based SOA Applications.
    In IARIA International Journal on Advances in Intelligent Systems, issn 1942-2679. Vol 5, no. 1 i& 2, July 2012, pp 32-50 Online:
  • Behavioural Verification of Distributed Components. paper (HAL)
    Ludovic Henrio and Eric Madelaine – In ICE’2013. BibTex
  • Nuno Gaspard, Ludovic Henrio, Eric Madelaine;
    “Formally Reasonning on a Reconfigurable Component-based System – A Case Study for the Industrial World”;
    10th Int. Symposium on Formal Aspects of Component Systems (FACS’13), Nanchang, China, Oct. 2013
  • Declarative Scheduling for Active Objects paper(HAL)
    Ludovic Henrio and Justine Rochas
    SAC 2014 – 29th Symposium On Applied Computing (2014), ACM. BibTex
  • Verifying the correct composition of distributed components: Formalisation and Tool. paper (HAL)
    Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, and Eric Madelaine.
    Rome, September 2014.
  • Self-Configuration and Self-Optimization Autonomic Skeletons using Events paper(HAL)
    Ludovic Henrio and Gustavo Pabón — Joint publication
    2014 International Workshop on Programming Models and Applications for Multicores and Manycores
  • Programming distributed and adaptable autonomous components—the GCM/ProActive framework paper (HAL)
    Françoise Baude, Ludovic Henrio, and Cristian Ruz — Joint publication
    Software: Practice and Experience – 2014Bibtex

more to come soon, in particular

  • A journal paper following the paper at PMAM has been invited to a journal special issue, it is under submission