BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × South Korea
1 × USA
2 × Italy
Collaborated with:
D.Caromel E.Madelaine J.Rochas F.Bongiovanni M.Madelaine M.Leyton B.P.Serpette F.Baude C.Delbé O.Kulankhina S.Li E.Giachino C.Laneve Vincenzo Mastandrea K.Fernandez-Reyes Dave Clarke 0001 E.B.Johnsen T.Wrigstad
Talks about:
object (2) model (2) safe (2) parameteris (1) determinist (1) inconsist (1) distribut (1) asynchron (1) algorithm (1) synchron (1)

Person: Ludovic Henrio

DBLP DBLP: Henrio:Ludovic

Contributed to:

PDP 20152015
SAC 20142014
FASE 20132013
PDP 20082008
PPoPP 20072007
POPL 20042004
FASE 20162016
ECOOP 20192019
PPDP 20162016

Wrote 9 papers:

PDP-2015-HenrioMM #named #network #process
pNets: An Expressive Model for Parameterised Networks of Processes (LH, EM, MM), pp. 492–496.
SAC-2014-HenrioR #declarative #scheduling
Declarative scheduling for active objects (LH, JR), pp. 1339–1344.
FASE-2013-BongiovanniH #protocol
A Mechanized Model for CAN Protocols (FB, LH), pp. 266–281.
PDP-2008-CaromelHL #algorithm #type safety
Type Safe Algorithmic Skeletons (DC, LH, ML), pp. 45–53.
PPoPP-2007-BaudeCDH #consistency
Promised messages: recovering from inconsistent global states (FB, DC, CD, LH), pp. 154–155.
POPL-2004-CaromelHS
Asynchronous and deterministic objects (DC, LH, BPS), pp. 123–134.
FASE-2016-HenrioKLM #component #distributed #ide #verification
Integrated Environment for Verifying and Running Distributed Components (LH, OK, SL, EM), pp. 66–83.
ECOOP-2019-Fernandez-Reyes #named
Godot: All the Benefits of Implicit and Explicit Futures (KFR, DC0, LH, EBJ, TW), p. 28.
PPDP-2016-GiachinoHLM #exclamation
Actors may synchronize, safely! (EG, LH, CL, VM), pp. 118–131.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.