@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Inf. Comput.},
  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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2007, San Jose, California, USA, March 14-17, 2007},
  editor = {Katherine A. Yelick and John M. Mellor-Crummey},
  publisher = {ACM},
  isbn = {978-1-59593-602-8},
}

@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 = {Towards Next Generation Grids, Proceedings of the CoreGRID Symposium 2007, August 27-28, Rennes, France},
  editor = {Thierry Priol and Marco Vanneschi},
  publisher = {Springer},
  isbn = {978-0-387-72497-3},
}

@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 = {10th International Symposium on Parallel and Distributed Computing, ISPDC 2011, Cluj-Napoca, Romania, July 6-8, 2011},
  publisher = {IEEE},
  isbn = {978-1-4577-1536-5},
}

@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 = {Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments, 12-13 June 2007, Heraklion, Crete, Greece},
  editor = {Marco Danelutto and Paraskevi Fragopoulou and Vladimir Getov},
  publisher = {Springer},
  isbn = {978-0-387-78447-2},
}

@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 = {The Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, August 1-3, 2007]},
  editor = {Andreas Rausch and Ralf Reussner and Raffaela Mirandola and Frantisek Plasil},
  volume = {5153},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-85288-9},
}

@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 = {Computer Networks},
  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 = {Journées francophones des langages applicatifs (JFLA 03), Chamrousse, France, Janvier 2003},
  editor = {Jean-Christophe Filliâtre},
  series = {Collection Didactique},
  publisher = {INRIA},
}

@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 = {Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings},
  editor = {Isabelle Attali and Thomas P. Jensen},
  volume = {2140},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42610-8},
}

@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 = {Proceedings of the 2014 PPOPP International Workshop on Programming Models and Applications for Multicores and Manycores, PMAM 2014, Orlando, Florida, USA, February 15, 2014},
  editor = {Pavan Balaji and Minyi Guo and Zhiyi Huang 0001},
  publisher = {ACM},
  isbn = {978-1-4503-2657-5},
}

@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 = {Proceedings of the 1st International Conference on Autonomic Computing and Communication Systems, Autonomics 2007,  28-30 October 2007, Rome, Italy},
  editor = {F. Davide},
  volume = {302},
  series = {ACM International Conference Proceeding Series},
  publisher = {ACM},
  isbn = {978-963-9799-09-7},
}

@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 = {Science of Computer Programming},
  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 = {Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers},
  editor = {Frank S. de Boer and Marcello M. Bonsangue and Stefan Hallerstede and Michael Leuschel},
  volume = {6286},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-17070-6},
}

@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 = {Making Grids Work: Proceedings of the CoreGRID Workshop on Programming Models Grid and P2P System Architecture Grid Systems, Tools and Environments, 12-13 June 2007, Heraklion, Crete, Greece},
  editor = {Marco Danelutto and Paraskevi Fragopoulou and Vladimir Getov},
  publisher = {Springer},
  isbn = {978-0-387-78447-2},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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},
  note = {Formal proof development},
  researchr = {https://researchr.org/publication/HenrioKLS10},
  cites = {0},
  citedby = {0},
  journal = {Archive of Formal Proofs},
  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 = {Seventh IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2007), 14-17 May 2007, Rio de Janeiro, Brazil},
  publisher = {IEEE Computer Society},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Technique et Science Informatiques},
  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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Fifth International Conference on Autonomic and Autonomous Systems, ICAS 2009, Valencia, Spain, 20-25 April 2009},
  editor = {Radu Calinescu and Fidel Liberal and Mauricio Marín and Lourdes Peñalver Herrero and Carlos Turro and Manuela Popescu},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3584-5},
}

@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 = {Fourth IFIP International Conference on Theoretical Computer Science (TCS 2006), IFIP 19th World Computer Congress, TC-1 Foundations of Computer Science, August 23-24, 2006, Santiago, Chile},
  editor = {Gonzalo Navarro and Leopoldo E. Bertossi and Yoshiharu Kohayakawa},
  volume = {209},
  series = {IFIP},
  publisher = {Springer},
  isbn = {0-387-34633-3},
}

@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 = {Model Checking Software, 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings},
  editor = {Patrice Godefroid},
  volume = {3639},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28195-9},
}

@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 = {Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures},
  editor = {Frank S. de Boer and Marcello M. Bonsangue and Eric Madelain},
  volume = {5751},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-04166-2},
}

@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 = {Annales des Télécommunications},
  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 = {Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings},
  editor = {Vittorio Cortellessa and Dániel Varró},
  volume = {7793},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-37056-4},
}

@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 = {Smart Card Research and Advanced Applications, Proceedings of the Fourth Working Conference on Smart Card Research and Advanced Applications, CARDIS 2000, September 20-22, 2000, Bristol, UK},
  editor = {Josep Domingo-Ferrer and David Chan and Anthony Watson},
  volume = {180},
  series = {IFIP Conference Proceedings},
  publisher = {Kluwer},
  isbn = {0-7923-7953-5},
}

@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 = {Annales des Télécommunications},
  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 2007, ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007, Proceedings},
  editor = {Renato Cerqueira and Roy H. Campbell},
  volume = {4834},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-76777-0},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31 - September 3, 2010, Proceedings, Part II},
  editor = {Pasqua D Ambra and Mario Rosario Guarracino and Domenico Talia},
  volume = {6272},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-15290-0},
}

@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 = {Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings},
  editor = {José C. Cunha and Pedro D. Medeiros},
  volume = {3648},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-28700-0},
}

@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 = {Second International Conference on e-Science and Grid Technologies (e-Science 2006), 4-6 December 2006, Amsterdam, The Netherlands},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2734-5},
}

@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 = {Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings},
  editor = {Marcello M. Bonsangue and Einar Broch Johnsen},
  volume = {4468},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-72919-8},
}

@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 = {16th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2008), 13-15 February 2008, Toulouse, France},
  publisher = {IEEE Computer Society},
}

@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 = {Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers},
  editor = {Farhad Arbab and Peter Csaba Ölveczky},
  volume = {7253},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-35743-5},
}

@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 = {Principles of Distributed Systems - 17th International Conference, OPODIS 2013, Nice, France, December 16-18, 2013. Proceedings},
  editor = {Roberto Baldoni and Nicolas Nisse and Maarten van Steen},
  volume = {8304},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-03849-0},
}

@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 = {Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures},
  editor = {Frank S. de Boer and Marcello M. Bonsangue and Susanne Graf and Willem P. de Roever},
  volume = {5382},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-92187-5},
}

@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 Models and Languages, 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings},
  editor = {Rocco De Nicola and Christine Julien},
  volume = {7890},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-38493-6},
}

@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 = {Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2004, Venice, Italy, January 14-16, 2004},
  editor = {Neil D. Jones and Xavier Leroy},
  publisher = {ACM},
  isbn = {1-58113-729-X},
}

@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 = {Euro-Par 2010 Parallel Processing Workshops - HeteroPar, HPCC, HiBB, CoreGrid, UCHPC, HPCF, PROPER, CCPI, VHPC, Ischia, Italy, August 31-September 3, 2010, Revised Selected Papers},
  editor = {Mario R. Guarracino and Frédéric Vivien and Jesper Larsson Träff and Mario Cannatoro and Marco Danelutto and Anders Hast and Francesca Perla and Andreas Knüpfer and Beniamino Di Martino and Michael Alexander},
  volume = {6586},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-21877-4},
}