Showing 1 - 5 results of 5 for search 'Ludovic Henrio', query time: 0.02s Refine Results
  1. 1
    Multiactive objects and their applications

    Multiactive objects and their applications by Ludovic Henrio, Justine Rochas

    Published 2017-11-01
    Get full text
    Article
  2. 2
    Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors

    Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors by Wolfgang Ahrendt, Ludovic Henrio, Wytse Oortwijn

    Published 2019-08-01
    Get full text
    Article
  3. 3
    Behavioural Models for Group Communications

    Behavioural Models for Group Communications by Rabéa Ameur-Boulifa, Ludovic Henrio, Eric Madelaine

    Published 2010-10-01
    Get full text
    Article
  4. 4
    Verifying the correct composition of distributed components: Formalisation and Tool

    Verifying the correct composition of distributed components: Formalisation and Tool by Ludovic Henrio, Oleksandra Kulankhina, Dongqian Liu, Eric Madelaine

    Published 2015-02-01
    Get full text
    Article
  5. 5
    Monitoring as-a-service to drive more efficient future system design

    Monitoring as-a-service to drive more efficient future system design by Frederic Lemoine, Tatiana Aubonnet, Ludovic Henrio, Soumia Kessal, Eric Madelaine, Noemie Simoni

    Published 2017-06-01
    Get full text
    Article

Search Tools: