Ludovic Henrio
Home
|
Publications
|
Talks
|
Students
|
Projects
|
Formal proofs
Feb 2013:
This web page has moved
THERE
A Few Talks
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