@article{HenrioK10,
  title = {Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL},
  author = {Ludovic Henrio and Muhammad Uzair Khan},
  year = {2010},
  doi = {10.1016/j.entcs.2010.07.004},
  url = {http://dx.doi.org/10.1016/j.entcs.2010.07.004},
  tags = {semantics},
  researchr = {https://researchr.org/publication/HenrioK10},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {264},
  number = {1},
  pages = {35-53},
}

@article{CaromelHS09,
  title = {Asynchronous sequential processes},
  author = {Denis Caromel and Ludovic Henrio and Bernard P. Serpette},
  year = {2009},
  doi = {10.1016/j.ic.2008.12.004},
  url = {http://dx.doi.org/10.1016/j.ic.2008.12.004},
  researchr = {https://researchr.org/publication/CaromelHS09},
  cites = {0},
  citedby = {0},
  journal = {iandc},
  volume = {207},
  number = {4},
  pages = {459-495},
}

@article{HenrioK09,
  title = {Functional Active Objects: Typing and Formalisation},
  author = {Ludovic Henrio and Florian Kammüller},
  year = {2009},
  doi = {10.1016/j.entcs.2009.10.026},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.10.026},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/HenrioK09},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {255},
  pages = {83-101},
}

@inproceedings{BaudeCDH07,
  title = {Promised messages: recovering from inconsistent global states},
  author = {Françoise Baude and Denis Caromel and Christian Delbé and Ludovic Henrio},
  year = {2007},
  doi = {10.1145/1229428.1229463},
  url = {http://doi.acm.org/10.1145/1229428.1229463},
  researchr = {https://researchr.org/publication/BaudeCDH07},
  cites = {0},
  citedby = {0},
  pages = {154-155},
  booktitle = {ppopp},
}

@book{0012826,
  title = {A theory of distributed objects - asynchrony, mobility, groups, components},
  author = {Denis Caromel and Ludovic Henrio},
  year = {2005},
  doi = {10.1007/b138812},
  url = {http://dx.doi.org/10.1007/b138812},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/0012826},
  cites = {0},
  citedby = {0},
  publisher = {Springer},
  isbn = {978-3-540-20866-2},
}

@inproceedings{MalawskiBBCHM07,
  title = {Interoperability of Grid component models: GCM and CCA case study},
  author = {Maciej Malawski and Marian Bubak and Françoise Baude and Denis Caromel and Ludovic Henrio and Matthieu Morel},
  year = {2007},
  doi = {10.1007/978-0-387-72498-0_9},
  url = {http://dx.doi.org/10.1007/978-0-387-72498-0_9},
  tags = {case study},
  researchr = {https://researchr.org/publication/MalawskiBBCHM07},
  cites = {0},
  citedby = {0},
  pages = {95-105},
  booktitle = {coregrid},
}

@inproceedings{HenrioHIS11,
  title = {Adapting Active Objects to Multicore Architectures},
  author = {Ludovic Henrio and Fabrice Huet and Zsolt István and Gheorghe Sebestyen},
  year = {2011},
  doi = {10.1109/ISPDC.2011.16},
  url = {http://doi.ieeecomputersociety.org/10.1109/ISPDC.2011.16},
  researchr = {https://researchr.org/publication/HenrioHIS11},
  cites = {0},
  citedby = {0},
  pages = {41-48},
  booktitle = {ispdc},
}

@inproceedings{BaudeCHN07,
  title = {A Flexible Model and Implementation of Component Controllers},
  author = {Françoise Baude and Denis Caromel and Ludovic Henrio and Paul Naoumenko},
  year = {2007},
  doi = {10.1007/978-0-387-78448-9_3},
  url = {http://dx.doi.org/10.1007/978-0-387-78448-9_3},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/BaudeCHN07},
  cites = {0},
  citedby = {0},
  pages = {31-43},
  booktitle = {coregrid},
}

@inproceedings{CansadoCHMRS07,
  title = {A Specification Language for Distributed Components Implemented in GCM/ProActive},
  author = {Antonio Cansado and Denis Caromel and Ludovic Henrio and Eric Madelaine and Marcela Rivera and Emil Salageanu},
  year = {2007},
  doi = {10.1007/978-3-540-85289-6_16},
  url = {http://dx.doi.org/10.1007/978-3-540-85289-6_16},
  researchr = {https://researchr.org/publication/CansadoCHMRS07},
  cites = {0},
  citedby = {0},
  pages = {418-448},
  booktitle = {Dagstuhl},
}

@article{AttaliCCHN01,
  title = {An integrated development environment for Java Card},
  author = {Isabelle Attali and Denis Caromel and Carine Courbis and Ludovic Henrio and Henrik Nilsson},
  year = {2001},
  doi = {10.1016/S1389-1286(01)00162-1},
  url = {http://dx.doi.org/10.1016/S1389-1286(01)00162-1},
  tags = {Java, meta-model, model-driven development, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/AttaliCCHN01},
  cites = {0},
  citedby = {0},
  journal = {cn},
  volume = {36},
  number = {4},
  pages = {391-405},
}

@inproceedings{HenrioS03,
  title = {A Parametrized Polyvariant Bytecode Verifier},
  author = {Ludovic Henrio and Bernard P. Serpette},
  year = {2003},
  researchr = {https://researchr.org/publication/HenrioS03},
  cites = {0},
  citedby = {0},
  pages = {95-110},
  booktitle = {jfla},
}

@inproceedings{CaromelHS01,
  title = {Context Inference for Static Analysis of Java Card Object Sharing},
  author = {Denis Caromel and Ludovic Henrio and Bernard P. Serpette},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2140/21400043.htm},
  tags = {Java, analysis, static analysis, context-aware},
  researchr = {https://researchr.org/publication/CaromelHS01},
  cites = {0},
  citedby = {0},
  pages = {43-57},
  booktitle = {esmart},
}

@inproceedings{PabonH14,
  title = {Self-Configuration and Self-Optimization Autonomic Skeletons using Events},
  author = {Gustavo Pabón and Ludovic Henrio},
  year = {2014},
  doi = {10.1145/2560683.2560699},
  url = {http://doi.acm.org/10.1145/2560683.2560699},
  researchr = {https://researchr.org/publication/PabonH14},
  cites = {0},
  citedby = {0},
  pages = {21},
  booktitle = {ppopp},
}

@inproceedings{BaudeHN07,
  title = {A component platform for experimenting with autonomic composition},
  author = {Françoise Baude and Ludovic Henrio and Paul Naoumenko},
  year = {2007},
  doi = {10.1145/1365562.1365573},
  url = {http://doi.acm.org/10.1145/1365562.1365573},
  tags = {composition},
  researchr = {https://researchr.org/publication/BaudeHN07},
  cites = {0},
  citedby = {0},
  pages = {8},
  booktitle = {autonomics},
}

@article{HenrioKL12,
  title = {fun : A typed functional active object calculus},
  author = {Ludovic Henrio and Florian Kammüller and Bianca Lutz},
  year = {2012},
  doi = {10.1016/j.scico.2010.12.008},
  url = {http://dx.doi.org/10.1016/j.scico.2010.12.008},
  researchr = {https://researchr.org/publication/HenrioKL12},
  cites = {0},
  citedby = {0},
  journal = {SCP},
  volume = {77},
  number = {7-8},
  pages = {823-847},
}

@inproceedings{HenrioKK09,
  title = {A Framework for Reasoning on Component Composition},
  author = {Ludovic Henrio and Florian Kammüller and Muhammad Uzair Khan},
  year = {2009},
  doi = {10.1007/978-3-642-17071-3_1},
  url = {http://dx.doi.org/10.1007/978-3-642-17071-3_1},
  tags = {composition},
  researchr = {https://researchr.org/publication/HenrioKK09},
  cites = {0},
  citedby = {0},
  pages = {1-20},
  booktitle = {FMCO},
}

@inproceedings{MalawskiGKBBBH07,
  title = {High-Level Scripting Approach for Building Component-Based Applications on the Grid},
  author = {Maciej Malawski and Tomasz Gubala and Marek Kasztelnik and Tomasz Bartynski and Marian Bubak and Françoise Baude and Ludovic Henrio},
  year = {2007},
  doi = {10.1007/978-0-387-78448-9_25},
  url = {http://dx.doi.org/10.1007/978-0-387-78448-9_25},
  tags = {rule-based, systematic-approach},
  researchr = {https://researchr.org/publication/MalawskiGKBBBH07},
  cites = {0},
  citedby = {0},
  pages = {309-321},
  booktitle = {coregrid},
}

@article{AttaliCHA07,
  title = {Secured Information Flow for Asynchronous Sequential Processes},
  author = {Isabelle Attali and Denis Caromel and Ludovic Henrio and Felipe Luna Del Aguila},
  year = {2007},
  doi = {10.1016/j.entcs.2005.05.045},
  url = {http://dx.doi.org/10.1016/j.entcs.2005.05.045},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/AttaliCHA07},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {180},
  number = {1},
  pages = {17-34},
}

@article{HenrioKLS10,
  title = {Locally Nameless Sigma Calculus},
  author = {Ludovic Henrio and Florian Kammüller and Bianca Lutz and Henry Sudhof},
  year = {2010},
  url = {http://afp.sourceforge.net/entries/Locally-Nameless-Sigma.shtml},
  researchr = {https://researchr.org/publication/HenrioKLS10},
  cites = {0},
  citedby = {0},
  journal = {afp},
  volume = {2010},
}

@inproceedings{BaudeCHM07,
  title = {Collective Interfaces for Distributed Components},
  author = {Françoise Baude and Denis Caromel and Ludovic Henrio and Matthieu Morel},
  year = {2007},
  doi = {10.1109/CCGRID.2007.32},
  url = {http://dx.doi.org/10.1109/CCGRID.2007.32},
  researchr = {https://researchr.org/publication/BaudeCHM07},
  cites = {0},
  citedby = {0},
  pages = {599-610},
  booktitle = {ccgrid},
}

@article{CansadoHM10,
  title = {Transparent First-class Futures and Distributed Components},
  author = {Antonio Cansado and Ludovic Henrio and Eric Madelaine},
  year = {2010},
  doi = {10.1016/j.entcs.2009.12.036},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.12.036},
  researchr = {https://researchr.org/publication/CansadoHM10},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {260},
  pages = {155-171},
}

@article{BaudeCDH05,
  title = {Un protocole de tolérance aux pannes pour objets actifs non préemptifs},
  author = {Françoise Baude and Denis Caromel and Christian Delbé and Ludovic Henrio},
  year = {2005},
  url = {http://tsi.revuesonline.com/article.jsp?articleId=7767},
  researchr = {https://researchr.org/publication/BaudeCDH05},
  cites = {0},
  citedby = {0},
  journal = {tsi},
  volume = {24},
  number = {10},
  pages = {1199-1226},
}

@article{CansadoHMV10,
  title = {Unifying Architectural and Behavioural Specifications of Distributed Components},
  author = {Antonio Cansado and Ludovic Henrio and Eric Madelaine and Pablo Valenzuela},
  year = {2010},
  doi = {10.1016/j.entcs.2009.12.030},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.12.030},
  tags = {architecture},
  researchr = {https://researchr.org/publication/CansadoHMV10},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {260},
  pages = {25-45},
}

@inproceedings{BaudeHN09,
  title = {Structural Reconfiguration: An Autonomic Strategy for GCM Components},
  author = {Françoise Baude and Ludovic Henrio and Paul Naoumenko},
  year = {2009},
  doi = {10.1109/ICAS.2009.28},
  url = {http://doi.ieeecomputersociety.org/10.1109/ICAS.2009.28},
  researchr = {https://researchr.org/publication/BaudeHN09},
  cites = {0},
  citedby = {0},
  pages = {123-128},
  booktitle = {icas},
}

@inproceedings{CaromelH06,
  title = {Asynchonous Distributed Components: Concurrency and Determinacy},
  author = {Denis Caromel and Ludovic Henrio},
  year = {2006},
  doi = {10.1007/978-0-387-34735-6_16},
  url = {http://dx.doi.org/10.1007/978-0-387-34735-6_16},
  researchr = {https://researchr.org/publication/CaromelH06},
  cites = {0},
  citedby = {0},
  pages = {165-183},
  booktitle = {ifipTCS},
}

@inproceedings{BarrosHM05,
  title = {Behavioural Models for Hierarchical Components},
  author = {Tomás Barros and Ludovic Henrio and Eric Madelaine},
  year = {2005},
  doi = {10.1007/11537328_14},
  url = {http://dx.doi.org/10.1007/11537328_14},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/BarrosHM05},
  cites = {0},
  citedby = {0},
  pages = {154-168},
  booktitle = {spin},
}

@inproceedings{HenrioKR08,
  title = {An Asynchronous Distributed Component Model and Its Semantics},
  author = {Ludovic Henrio and Florian Kammüller and Marcela Rivera},
  year = {2008},
  doi = {10.1007/978-3-642-04167-9_9},
  url = {http://dx.doi.org/10.1007/978-3-642-04167-9_9},
  tags = {semantics},
  researchr = {https://researchr.org/publication/HenrioKR08},
  cites = {0},
  citedby = {0},
  pages = {159-179},
  booktitle = {FMCO},
}

@article{BarrosACHM09,
  title = {Behavioural models for distributed Fractal components},
  author = {Tomás Barros and Rabéa Ameur-Boulifa and Antonio Cansado and Ludovic Henrio and Eric Madelaine},
  year = {2009},
  doi = {10.1007/s12243-008-0069-7},
  url = {http://dx.doi.org/10.1007/s12243-008-0069-7},
  tags = {meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/BarrosACHM09},
  cites = {0},
  citedby = {0},
  journal = {adt},
  volume = {64},
  number = {1-2},
  pages = {25-43},
}

@inproceedings{BongiovanniH13,
  title = {A Mechanized Model for CAN Protocols},
  author = {Francesco Bongiovanni and Ludovic Henrio},
  year = {2013},
  doi = {10.1007/978-3-642-37057-1_20},
  url = {http://dx.doi.org/10.1007/978-3-642-37057-1_20},
  researchr = {https://researchr.org/publication/BongiovanniH13},
  cites = {0},
  citedby = {0},
  pages = {266-281},
  booktitle = {FASE},
}

@inproceedings{AttaliCCHN00,
  title = {Smart Tools for Java Cards},
  author = {Isabelle Attali and Denis Caromel and Carine Courbis and Ludovic Henrio and Henrik Nilsson},
  year = {2000},
  tags = {Java},
  researchr = {https://researchr.org/publication/AttaliCCHN00},
  cites = {0},
  citedby = {0},
  pages = {155-176},
  booktitle = {cardis},
}

@article{BaudeCDDGHP09,
  title = {GCM: a grid extension to Fractal for autonomous distributed components},
  author = {Françoise Baude and Denis Caromel and Cédric Dalmasso and Marco Danelutto and Vladimir Getov and Ludovic Henrio and Christian Pérez},
  year = {2009},
  doi = {10.1007/s12243-008-0068-8},
  url = {http://dx.doi.org/10.1007/s12243-008-0068-8},
  researchr = {https://researchr.org/publication/BaudeCDDGHP09},
  cites = {0},
  citedby = {0},
  journal = {adt},
  volume = {64},
  number = {1-2},
  pages = {5-24},
}

@inproceedings{CaromelCH07,
  title = {Garbage Collecting the Grid: A Complete DGC for Activities},
  author = {Denis Caromel and Guillaume Chazarain and Ludovic Henrio},
  year = {2007},
  doi = {10.1007/978-3-540-76778-7_9},
  url = {http://dx.doi.org/10.1007/978-3-540-76778-7_9},
  tags = {completeness},
  researchr = {https://researchr.org/publication/CaromelCH07},
  cites = {0},
  citedby = {0},
  pages = {164-183},
  booktitle = {middleware},
}

@article{BarrosHM06,
  title = {Verification of Distributed Hierarchical Components},
  author = {Tomás Barros and Ludovic Henrio and Eric Madelaine},
  year = {2006},
  doi = {10.1016/j.entcs.2006.05.014},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.05.014},
  researchr = {https://researchr.org/publication/BarrosHM06},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {160},
  pages = {41-55},
}

@inproceedings{LeytonHP10,
  title = {Exceptions for Algorithmic Skeletons},
  author = {Mario Leyton and Ludovic Henrio and José M. Piquer},
  year = {2010},
  doi = {10.1007/978-3-642-15291-7_3},
  url = {http://dx.doi.org/10.1007/978-3-642-15291-7_3},
  tags = {exceptions},
  researchr = {https://researchr.org/publication/LeytonHP10},
  cites = {0},
  citedby = {0},
  pages = {14-25},
  booktitle = {europar},
}

@inproceedings{BaudeCDH05:0,
  title = {A Hybrid Message Logging-CIC Protocol for Constrained Checkpointability},
  author = {Françoise Baude and Denis Caromel and Christian Delbé and Ludovic Henrio},
  year = {2005},
  doi = {10.1007/11549468_71},
  url = {http://dx.doi.org/10.1007/11549468_71},
  tags = {protocol},
  researchr = {https://researchr.org/publication/BaudeCDH05%3A0},
  cites = {0},
  citedby = {0},
  pages = {644-653},
  booktitle = {europar},
}

@inproceedings{BezzineGVBBDH06,
  title = {A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Option Pricing in Finance},
  author = {Sebastien Bezzine and Virginie Galtier and Stéphane Vialle and Françoise Baude and Mireille Bossy and Viet Dung Doan and Ludovic Henrio},
  year = {2006},
  doi = {10.1109/E-SCIENCE.2006.7},
  url = {http://doi.ieeecomputersociety.org/10.1109/E-SCIENCE.2006.7},
  tags = {architecture},
  researchr = {https://researchr.org/publication/BezzineGVBBDH06},
  cites = {0},
  citedby = {0},
  pages = {49},
  booktitle = {eScience},
}

@inproceedings{HenrioK07,
  title = {A Mechanized Model of the Theory of Objects},
  author = {Ludovic Henrio and Florian Kammüller},
  year = {2007},
  doi = {10.1007/978-3-540-72952-5_12},
  url = {http://dx.doi.org/10.1007/978-3-540-72952-5_12},
  tags = {meta-model, object-role modeling, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/HenrioK07},
  cites = {0},
  citedby = {0},
  pages = {190-205},
  booktitle = {fmoods},
}

@inproceedings{CaromelHL08,
  title = {Type Safe Algorithmic Skeletons},
  author = {Denis Caromel and Ludovic Henrio and Mario Leyton},
  year = {2008},
  doi = {10.1109/PDP.2008.29},
  url = {http://doi.ieeecomputersociety.org/10.1109/PDP.2008.29},
  researchr = {https://researchr.org/publication/CaromelHL08},
  cites = {0},
  citedby = {0},
  pages = {45-53},
  booktitle = {pdp},
}

@inproceedings{Ameur-BoulifaHHM11,
  title = {Verifying Safety of Fault-Tolerant Distributed Components},
  author = {Rabéa Ameur-Boulifa and Raluca Halalai and Ludovic Henrio and Eric Madelaine},
  year = {2011},
  doi = {10.1007/978-3-642-35743-5_17},
  url = {http://dx.doi.org/10.1007/978-3-642-35743-5_17},
  researchr = {https://researchr.org/publication/Ameur-BoulifaHHM11},
  cites = {0},
  citedby = {0},
  pages = {278-295},
  booktitle = {facs2},
}

@inproceedings{HenrioHR13,
  title = {An Optimal Broadcast Algorithm for Content-Addressable Networks},
  author = {Ludovic Henrio and Fabrice Huet and Justine Rochas},
  year = {2013},
  doi = {10.1007/978-3-319-03850-6_13},
  url = {http://dx.doi.org/10.1007/978-3-319-03850-6_13},
  researchr = {https://researchr.org/publication/HenrioHR13},
  cites = {0},
  citedby = {0},
  pages = {176-190},
  booktitle = {opodis},
}

@inproceedings{CaromelHM07,
  title = {Active Objects and Distributed Components: Theory and Implementation},
  author = {Denis Caromel and Ludovic Henrio and Eric Madelaine},
  year = {2007},
  doi = {10.1007/978-3-540-92188-2_6},
  url = {http://dx.doi.org/10.1007/978-3-540-92188-2_6},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/CaromelHM07},
  cites = {0},
  citedby = {0},
  pages = {133-152},
  booktitle = {FMCO},
}

@article{BaudeCHNPBL10,
  title = {Mixing Workflows and Components to Support Evolving Services},
  author = {Françoise Baude and Virginie Legrand Contes and Ludovic Henrio and Paul Naoumenko and Heiko Pfeffer and Louay Bassbouss and David Linner},
  year = {2010},
  doi = {10.4018/jaras.2010100105},
  url = {http://dx.doi.org/10.4018/jaras.2010100105},
  tags = {workflow},
  researchr = {https://researchr.org/publication/BaudeCHNPBL10},
  cites = {0},
  citedby = {0},
  journal = {ijaras},
  volume = {1},
  number = {4},
  pages = {60-84},
}

@inproceedings{HenrioHI13,
  title = {Multi-threaded Active Objects},
  author = {Ludovic Henrio and Fabrice Huet and Zsolt István},
  year = {2013},
  doi = {10.1007/978-3-642-38493-6_7},
  url = {http://dx.doi.org/10.1007/978-3-642-38493-6_7},
  researchr = {https://researchr.org/publication/HenrioHI13},
  cites = {0},
  citedby = {0},
  pages = {90-104},
  booktitle = {coordination},
}

@inproceedings{CaromelHS04,
  title = {Asynchronous and deterministic objects},
  author = {Denis Caromel and Ludovic Henrio and Bernard P. Serpette},
  year = {2004},
  doi = {10.1145/964001.964012},
  url = {http://doi.acm.org/10.1145/964001.964012},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/CaromelHS04},
  cites = {0},
  citedby = {0},
  pages = {123-134},
  booktitle = {POPL},
}

@inproceedings{HenrioKRZ10,
  title = {First Class Futures: Specification and Implementation of Update Strategies},
  author = {Ludovic Henrio and Muhammad Uzair Khan and Nadia Ranaldo and Eugenio Zimeo},
  year = {2010},
  doi = {10.1007/978-3-642-21878-1_37},
  url = {http://dx.doi.org/10.1007/978-3-642-21878-1_37},
  researchr = {https://researchr.org/publication/HenrioKRZ10},
  cites = {0},
  citedby = {0},
  pages = {295-303},
  booktitle = {europar},
}