Ludovic Henrio

A Few Talks

• 10/2015: Café'In (INRIA): A quoi ca sert la recherche sur la programmation? Comment peut on faire travailler des ordinateurs ensemble?
• 01/2015: LAMHA day (joint talk with J Rochas):
  From Modeling to Deployment of Active Objects - A ProActive backend for ABS
• 07/2014: Invited talk at Middlesex University:
  Active objects: programming and composing safely large-scale distributed applications
• 06/2013: Coordination 2013: Multi-threaded Active Objects
• 05/2013: invited talk, Univ. of Savoie:
  Formal Models for Programming and Composing Correct Distributed Systems
• 03/2013: FASE 2013: A Mechanised Model of CAN Protocols
  
• 12/2012 : Dagstuhl Seminar:
  GCM/ProActive: a distributed component model, its implementation, and its formalisation
  
• 7/2012 : Habilitation thesis: Formal Models for Programming and Composing Correct Distributed Systems
• 5/2011: Invited talk at Charles University (Prague): "Asynchronous Components  with Futures:  Semantics, Specification, and Proofs in a Theorem Prover"
  
• 11/2009 FMCO'09: Formalism and platform for autonomous distributed components
• 10/2008 FMCO'08: Distributed Components and Futures: Models and Challenges
• 09/2008 FACS'08: Transparent First-class Futures and Distributed Components
• 10/2007 Autonomics'07: A Component Platform for Experimenting with Autonomic Composition
• 06/2007 FMOODS'07: A Mechanized model of the Theory of Objects
• 01/2007 CoreGrid SAB: Grid Component Model
• 08/2006 TCS'06: Asynchonous Distributed Components: Concurrency and Determinacy
• 01/2004 POPL'04: Asynchronous and Distributed Objects