Ludovic Henrio (Univ. of Nice Sophia Antipolis

Identifiers

• name variant Ludovic Henrio (Univ. of Nice Sophia Antipolis 0.60 · backfill

Papers (1)

1. Verifying the correct composition of distributed components: Formalisation and Tool cs.DC · 2015 · author #1

Mentions

• 1502.03515 #1 · backfill · confidence 0.70 Ludovic Henrio (Univ. of Nice Sophia Antipolis

Frequent Coauthors

• Application 1 shared papers
• China) 1 shared papers
• CNRS 1 shared papers
• Dongqian Liu (MoE Engineering Research Center for Software 1 shared papers
• ECNU 1 shared papers
• Eric Madelaine (NRIA Sophia Antipolis Mediterannee 1 shared papers
• France) 1 shared papers
• Hardware Co-design Technology 1 shared papers
• Oleksandra Kulankhina (NRIA Sophia Antipolis Mediterannee 1 shared papers
• Univ. of Nice Sophia Antipolis 1 shared papers