Skip to content

Ludovic Henrio

  • PhD, HDR
  • Researcher
  • I3S/CNRS
  • 10h-indexImpact measure calculated using publication and citation counts. Updated daily.
  • 372CitationsNumber 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

Co-authors (81)

Publications (5)

  • A survey of active object languages

    • De Boer F
    • Serbanescu V
    • Hähnle R
    • et al.
    N/AReaders
    1Citations
    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
  • Management of service compositionbased on self-controlled components

    • Aubonnet T
    • Henrio L
    • Kessal S
    • et al.
    N/AReaders
    7Citations
    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 history

PhD

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

October 2000 - November 2003(3 years)