Skip to content

Ludovic Henrio

  • PhD, HDR
  • Researcher
  • I3S/CNRS
  • 10h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 377CitationsNumber of citations received by Ludovic's publications. Updated daily.

Other IDs

Research interests

Distributed computing Formal methods Languages and semantics Theorem proving Software Component Object Oriented languages

Groups

Co-authors (83)

Publications (5)

  • Active objects for coordinating BSP computations (short paper)

    • Hains G
    • Henrio L
    • Leca P
    • et al.
    N/AReaders
    0Citations
    Get full text
  • A survey of active object languages

    • De Boer F
    • Serbanescu V
    • Hähnle R
    • et al.
    N/AReaders
    4Citations
    Get full text
  • Analysis of synchronisations in stateful active objects

    • Henrio L
    • Laneve C
    • Mastandrea V
    N/AReaders
    0Citations
    Get full text
  • Multi-active objects and their applications

    • Henrio L
    • Rochas J
    N/AReaders
    0Citations
    Get full text
  • Trustable virtual machine scheduling in a cloud

    • Hermenier F
    • Henrio L
    N/AReaders
    0Citations
    Get full text

Professional experience

Researcher

I3S/CNRS

October 2005 - Present

Research fellow

University of Westminster

September 2004 - August 2005(a year)

Temporary teaching and Research assistant

INRIA - University of Nice / Sophia-Antipolis

September 2003 - August 2004(a year)

Education

PhD

Ecole doctorale STIC de l'université de Nice Sophia Antipolis

October 2000 - November 2003(3 years)