publications:
- title: "Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Muhammad Uzair Khan"
    link: "https://researchr.org/alias/muhammad-uzair-khan"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.entcs.2010.07.004"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2010.07.004"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/HenrioK10"
  tags:
  - "semantics"
  researchr: "https://researchr.org/publication/HenrioK10"
  cites: 0
  citedby: 0
  journal: "ENTCS"
  volume: "264"
  number: "1"
  pages: "35-53"
  kind: "article"
  key: "HenrioK10"
- title: "Asynchronous sequential processes"
  author:
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Bernard P. Serpette"
    link: "https://researchr.org/alias/bernard-p.-serpette"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.ic.2008.12.004"
  links:
    doi: "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"
  kind: "article"
  key: "CaromelHS09"
- title: "Functional Active Objects: Typing and Formalisation"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Florian Kammüller"
    link: "https://researchr.org/alias/florian-kamm%C3%A3%C2%BCller"
  year: "2009"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.10.026"
  links:
    doi: "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"
  kind: "article"
  key: "HenrioK09"
- title: "Promised messages: recovering from inconsistent global states"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Christian Delbé"
    link: "https://researchr.org/alias/christian-delb%C3%A9"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1229428.1229463"
  links:
    doi: "http://doi.acm.org/10.1145/1229428.1229463"
  researchr: "https://researchr.org/publication/BaudeCDH07"
  cites: 0
  citedby: 0
  pages: "154-155"
  booktitle: "ppopp"
  kind: "inproceedings"
  key: "BaudeCDH07"
- title: "A theory of distributed objects - asynchrony, mobility, groups, components"
  author:
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/b138812"
  links:
    doi: "http://dx.doi.org/10.1007/b138812"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/books/daglib/0012826"
  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"
  kind: "book"
  key: "0012826"
- title: "Interoperability of Grid component models: GCM and CCA case study"
  author:
  - name: "Maciej Malawski"
    link: "https://researchr.org/alias/maciej-malawski"
  - name: "Marian Bubak"
    link: "https://researchr.org/alias/marian-bubak"
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Matthieu Morel"
    link: "https://researchr.org/alias/matthieu-morel"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-0-387-72498-0_9"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "MalawskiBBCHM07"
- title: "Adapting Active Objects to Multicore Architectures"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Fabrice Huet"
    link: "https://researchr.org/alias/fabrice-huet"
  - name: "Zsolt István"
    link: "https://researchr.org/alias/zsolt-istv%C3%A1n"
  - name: "Gheorghe Sebestyen"
    link: "https://researchr.org/alias/gheorghe-sebestyen"
  year: "2011"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ISPDC.2011.16"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ISPDC.2011.16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ispdc/HenrioHIS11"
  researchr: "https://researchr.org/publication/HenrioHIS11"
  cites: 0
  citedby: 0
  pages: "41-48"
  booktitle: "ispdc"
  kind: "inproceedings"
  key: "HenrioHIS11"
- title: "A Flexible Model and Implementation of Component Controllers"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Paul Naoumenko"
    link: "https://researchr.org/alias/paul-naoumenko"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-0-387-78448-9_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-0-387-78448-9_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/coregrid/BaudeCHN07"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/BaudeCHN07"
  cites: 0
  citedby: 0
  pages: "31-43"
  booktitle: "coregrid"
  kind: "inproceedings"
  key: "BaudeCHN07"
- title: "A Specification Language for Distributed Components Implemented in GCM/ProActive"
  author:
  - name: "Antonio Cansado"
    link: "http://www-sop.inria.fr/oasis/personnel/Antonio.Cansado/index.html"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Eric Madelaine"
    link: "http://www.inria.fr/members/Eric.Madelaine"
  - name: "Marcela Rivera"
    link: "https://researchr.org/alias/marcela-rivera"
  - name: "Emil Salageanu"
    link: "https://researchr.org/alias/emil-salageanu"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-85289-6_16"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CansadoCHMRS07"
- title: "An integrated development environment for Java Card"
  author:
  - name: "Isabelle Attali"
    link: "https://researchr.org/alias/isabelle-attali"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Carine Courbis"
    link: "https://researchr.org/alias/carine-courbis"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Henrik Nilsson"
    link: "https://researchr.org/alias/henrik-nilsson"
  year: "2001"
  doi: "http://dx.doi.org/10.1016/S1389-1286(01)00162-1"
  links:
    doi: "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"
  kind: "article"
  key: "AttaliCCHN01"
- title: "A Parametrized Polyvariant Bytecode Verifier"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Bernard P. Serpette"
    link: "https://researchr.org/alias/bernard-p.-serpette"
  year: "2003"
  researchr: "https://researchr.org/publication/HenrioS03"
  cites: 0
  citedby: 0
  pages: "95-110"
  booktitle: "jfla"
  kind: "inproceedings"
  key: "HenrioS03"
- title: "Context Inference for Static Analysis of Java Card Object Sharing"
  author:
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Bernard P. Serpette"
    link: "https://researchr.org/alias/bernard-p.-serpette"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2140/21400043.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CaromelHS01"
- title: "Self-Configuration and Self-Optimization Autonomic Skeletons using Events"
  author:
  - name: "Gustavo Pabón"
    link: "https://researchr.org/alias/gustavo-pab%C3%B3n"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2014"
  doi: "http://doi.acm.org/10.1145/2560683.2560699"
  links:
    doi: "http://doi.acm.org/10.1145/2560683.2560699"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/ppopp/PabonH14"
  researchr: "https://researchr.org/publication/PabonH14"
  cites: 0
  citedby: 0
  pages: "21"
  booktitle: "ppopp"
  kind: "inproceedings"
  key: "PabonH14"
- title: "A component platform for experimenting with autonomic composition"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Paul Naoumenko"
    link: "https://researchr.org/alias/paul-naoumenko"
  year: "2007"
  doi: "http://doi.acm.org/10.1145/1365562.1365573"
  links:
    doi: "http://doi.acm.org/10.1145/1365562.1365573"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/BaudeHN07"
  cites: 0
  citedby: 0
  pages: "8"
  booktitle: "autonomics"
  kind: "inproceedings"
  key: "BaudeHN07"
- title: "fun : A typed functional active object calculus"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Florian Kammüller"
    link: "https://researchr.org/alias/florian-kamm%C3%BCller"
  - name: "Bianca Lutz"
    link: "https://researchr.org/alias/bianca-lutz"
  year: "2012"
  doi: "http://dx.doi.org/10.1016/j.scico.2010.12.008"
  links:
    doi: "http://dx.doi.org/10.1016/j.scico.2010.12.008"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/scp/HenrioKL12"
  researchr: "https://researchr.org/publication/HenrioKL12"
  cites: 0
  citedby: 0
  journal: "SCP"
  volume: "77"
  number: "7-8"
  pages: "823-847"
  kind: "article"
  key: "HenrioKL12"
- title: "A Framework for Reasoning on Component Composition"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Florian Kammüller"
    link: "https://researchr.org/alias/florian-kamm%C3%BCller"
  - name: "Muhammad Uzair Khan"
    link: "https://researchr.org/alias/muhammad-uzair-khan"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-17071-3_1"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-17071-3_1"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fmco/HenrioKK09"
  tags:
  - "composition"
  researchr: "https://researchr.org/publication/HenrioKK09"
  cites: 0
  citedby: 0
  pages: "1-20"
  booktitle: "FMCO"
  kind: "inproceedings"
  key: "HenrioKK09"
- title: "High-Level Scripting Approach for Building Component-Based Applications on the Grid"
  author:
  - name: "Maciej Malawski"
    link: "https://researchr.org/alias/maciej-malawski"
  - name: "Tomasz Gubala"
    link: "https://researchr.org/alias/tomasz-gubala"
  - name: "Marek Kasztelnik"
    link: "https://researchr.org/alias/marek-kasztelnik"
  - name: "Tomasz Bartynski"
    link: "https://researchr.org/alias/tomasz-bartynski"
  - name: "Marian Bubak"
    link: "https://researchr.org/alias/marian-bubak"
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-0-387-78448-9_25"
  links:
    doi: "http://dx.doi.org/10.1007/978-0-387-78448-9_25"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/coregrid/MalawskiGKBBBH07"
  tags:
  - "rule-based"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/MalawskiGKBBBH07"
  cites: 0
  citedby: 0
  pages: "309-321"
  booktitle: "coregrid"
  kind: "inproceedings"
  key: "MalawskiGKBBBH07"
- title: "Secured Information Flow for Asynchronous Sequential Processes"
  author:
  - name: "Isabelle Attali"
    link: "https://researchr.org/alias/isabelle-attali"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Felipe Luna Del Aguila"
    link: "https://researchr.org/alias/felipe-luna-del-aguila"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.05.045"
  links:
    doi: "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"
  kind: "article"
  key: "AttaliCHA07"
- title: "Locally Nameless Sigma Calculus"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Florian Kammüller"
    link: "https://researchr.org/alias/florian-kamm%C3%BCller"
  - name: "Bianca Lutz"
    link: "https://researchr.org/alias/bianca-lutz"
  - name: "Henry Sudhof"
    link: "https://researchr.org/alias/henry-sudhof"
  year: "2010"
  doi: "http://afp.sourceforge.net/entries/Locally-Nameless-Sigma.shtml"
  links:
    doi: "http://afp.sourceforge.net/entries/Locally-Nameless-Sigma.shtml"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/afp/HenrioKLS10"
  researchr: "https://researchr.org/publication/HenrioKLS10"
  cites: 0
  citedby: 0
  journal: "afp"
  volume: "2010"
  kind: "article"
  key: "HenrioKLS10"
- title: "Collective Interfaces for Distributed Components"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Matthieu Morel"
    link: "https://researchr.org/alias/matthieu-morel"
  year: "2007"
  doi: "http://dx.doi.org/10.1109/CCGRID.2007.32"
  links:
    doi: "http://dx.doi.org/10.1109/CCGRID.2007.32"
  researchr: "https://researchr.org/publication/BaudeCHM07"
  cites: 0
  citedby: 0
  pages: "599-610"
  booktitle: "ccgrid"
  kind: "inproceedings"
  key: "BaudeCHM07"
- title: "Transparent First-class Futures and Distributed Components"
  author:
  - name: "Antonio Cansado"
    link: "http://www-sop.inria.fr/oasis/personnel/Antonio.Cansado/index.html"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Eric Madelaine"
    link: "http://www.inria.fr/members/Eric.Madelaine"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.12.036"
  links:
    doi: "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"
  kind: "article"
  key: "CansadoHM10"
- title: "Un protocole de tolérance aux pannes pour objets actifs non préemptifs"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Christian Delbé"
    link: "https://researchr.org/alias/christian-delb%C3%A9"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2005"
  doi: "http://tsi.revuesonline.com/article.jsp?articleId=7767"
  links:
    doi: "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"
  kind: "article"
  key: "BaudeCDH05"
- title: "Unifying Architectural and Behavioural Specifications of Distributed Components"
  author:
  - name: "Antonio Cansado"
    link: "http://www-sop.inria.fr/oasis/personnel/Antonio.Cansado/index.html"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Eric Madelaine"
    link: "http://www.inria.fr/members/Eric.Madelaine"
  - name: "Pablo Valenzuela"
    link: "https://researchr.org/alias/pablo-valenzuela"
  year: "2010"
  doi: "http://dx.doi.org/10.1016/j.entcs.2009.12.030"
  links:
    doi: "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"
  kind: "article"
  key: "CansadoHMV10"
- title: "Structural Reconfiguration: An Autonomic Strategy for GCM Components"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A3%C2%A7oise-baude"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Paul Naoumenko"
    link: "https://researchr.org/alias/paul-naoumenko"
  year: "2009"
  doi: "http://doi.ieeecomputersociety.org/10.1109/ICAS.2009.28"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/ICAS.2009.28"
  researchr: "https://researchr.org/publication/BaudeHN09"
  cites: 0
  citedby: 0
  pages: "123-128"
  booktitle: "icas"
  kind: "inproceedings"
  key: "BaudeHN09"
- title: "Asynchonous Distributed Components: Concurrency and Determinacy"
  author:
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-0-387-34735-6_16"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CaromelH06"
- title: "Behavioural Models for Hierarchical Components"
  author:
  - name: "Tomás Barros"
    link: "https://researchr.org/alias/tom%C3%A1s-barros"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Eric Madelaine"
    link: "http://www.inria.fr/members/Eric.Madelaine"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11537328_14"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BarrosHM05"
- title: "An Asynchronous Distributed Component Model and Its Semantics"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Florian Kammüller"
    link: "https://researchr.org/alias/florian-kamm%C3%A3%C2%BCller"
  - name: "Marcela Rivera"
    link: "https://researchr.org/alias/marcela-rivera"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-04167-9_9"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "HenrioKR08"
- title: "Behavioural models for distributed Fractal components"
  author:
  - name: "Tomás Barros"
    link: "https://researchr.org/alias/tom%C3%A1s-barros"
  - name: "Rabéa Ameur-Boulifa"
    link: "https://researchr.org/alias/rab%C3%A9a-ameur-boulifa"
  - name: "Antonio Cansado"
    link: "http://www-sop.inria.fr/oasis/personnel/Antonio.Cansado/index.html"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Eric Madelaine"
    link: "http://www.inria.fr/members/Eric.Madelaine"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s12243-008-0069-7"
  links:
    doi: "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"
  kind: "article"
  key: "BarrosACHM09"
- title: "A Mechanized Model for CAN Protocols"
  author:
  - name: "Francesco Bongiovanni"
    link: "https://researchr.org/alias/francesco-bongiovanni"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-37057-1_20"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-37057-1_20"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fase/BongiovanniH13"
  researchr: "https://researchr.org/publication/BongiovanniH13"
  cites: 0
  citedby: 0
  pages: "266-281"
  booktitle: "FASE"
  kind: "inproceedings"
  key: "BongiovanniH13"
- title: "Smart Tools for Java Cards"
  author:
  - name: "Isabelle Attali"
    link: "https://researchr.org/alias/isabelle-attali"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Carine Courbis"
    link: "https://researchr.org/alias/carine-courbis"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Henrik Nilsson"
    link: "https://researchr.org/alias/henrik-nilsson"
  year: "2000"
  tags:
  - "Java"
  researchr: "https://researchr.org/publication/AttaliCCHN00"
  cites: 0
  citedby: 0
  pages: "155-176"
  booktitle: "cardis"
  kind: "inproceedings"
  key: "AttaliCCHN00"
- title: "GCM: a grid extension to Fractal for autonomous distributed components"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Cédric Dalmasso"
    link: "https://researchr.org/alias/c%C3%A9dric-dalmasso"
  - name: "Marco Danelutto"
    link: "https://researchr.org/alias/marco-danelutto"
  - name: "Vladimir Getov"
    link: "https://researchr.org/alias/vladimir-getov"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Christian Pérez"
    link: "https://researchr.org/alias/christian-p%C3%A9rez"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/s12243-008-0068-8"
  links:
    doi: "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"
  kind: "article"
  key: "BaudeCDDGHP09"
- title: "Garbage Collecting the Grid: A Complete DGC for Activities"
  author:
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Guillaume Chazarain"
    link: "https://researchr.org/alias/guillaume-chazarain"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-76778-7_9"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CaromelCH07"
- title: "Verification of Distributed Hierarchical Components"
  author:
  - name: "Tomás Barros"
    link: "https://researchr.org/alias/tom%C3%A1s-barros"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Eric Madelaine"
    link: "http://www.inria.fr/members/Eric.Madelaine"
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.05.014"
  links:
    doi: "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"
  kind: "article"
  key: "BarrosHM06"
- title: "Exceptions for Algorithmic Skeletons"
  author:
  - name: "Mario Leyton"
    link: "https://researchr.org/alias/mario-leyton"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "José M. Piquer"
    link: "https://researchr.org/alias/jos%C3%A9-m.-piquer"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-15291-7_3"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-15291-7_3"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/europar/LeytonHP10"
  tags:
  - "exceptions"
  researchr: "https://researchr.org/publication/LeytonHP10"
  cites: 0
  citedby: 0
  pages: "14-25"
  booktitle: "europar"
  kind: "inproceedings"
  key: "LeytonHP10"
- title: "A Hybrid Message Logging-CIC Protocol for Constrained Checkpointability"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Christian Delbé"
    link: "https://researchr.org/alias/christian-delb%C3%A9"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11549468_71"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BaudeCDH05:0"
- title: "A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Option Pricing in Finance"
  author:
  - name: "Sebastien Bezzine"
    link: "https://researchr.org/alias/sebastien-bezzine"
  - name: "Virginie Galtier"
    link: "https://researchr.org/alias/virginie-galtier"
  - name: "Stéphane Vialle"
    link: "https://researchr.org/alias/st%C3%A9phane-vialle"
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%C3%A7oise-baude"
  - name: "Mireille Bossy"
    link: "https://researchr.org/alias/mireille-bossy"
  - name: "Viet Dung Doan"
    link: "https://researchr.org/alias/viet-dung-doan"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/E-SCIENCE.2006.7"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BezzineGVBBDH06"
- title: "A Mechanized Model of the Theory of Objects"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Florian Kammüller"
    link: "https://researchr.org/alias/florian-kamm%C3%BCller"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-72952-5_12"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "HenrioK07"
- title: "Type Safe Algorithmic Skeletons"
  author:
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Mario Leyton"
    link: "https://researchr.org/alias/mario-leyton"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/PDP.2008.29"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/PDP.2008.29"
  researchr: "https://researchr.org/publication/CaromelHL08"
  cites: 0
  citedby: 0
  pages: "45-53"
  booktitle: "pdp"
  kind: "inproceedings"
  key: "CaromelHL08"
- title: "Verifying Safety of Fault-Tolerant Distributed Components"
  author:
  - name: "Rabéa Ameur-Boulifa"
    link: "https://researchr.org/alias/rab%C3%A9a-ameur-boulifa"
  - name: "Raluca Halalai"
    link: "https://researchr.org/alias/raluca-halalai"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Eric Madelaine"
    link: "https://researchr.org/alias/eric-madelaine"
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-35743-5_17"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-35743-5_17"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/facs2/Ameur-BoulifaHHM11"
  researchr: "https://researchr.org/publication/Ameur-BoulifaHHM11"
  cites: 0
  citedby: 0
  pages: "278-295"
  booktitle: "facs2"
  kind: "inproceedings"
  key: "Ameur-BoulifaHHM11"
- title: "An Optimal Broadcast Algorithm for Content-Addressable Networks"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Fabrice Huet"
    link: "https://researchr.org/alias/fabrice-huet"
  - name: "Justine Rochas"
    link: "https://researchr.org/alias/justine-rochas"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-319-03850-6_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-319-03850-6_13"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/opodis/HenrioHR13"
  researchr: "https://researchr.org/publication/HenrioHR13"
  cites: 0
  citedby: 0
  pages: "176-190"
  booktitle: "opodis"
  kind: "inproceedings"
  key: "HenrioHR13"
- title: "Active Objects and Distributed Components: Theory and Implementation"
  author:
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Eric Madelaine"
    link: "http://www.inria.fr/members/Eric.Madelaine"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-92188-2_6"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CaromelHM07"
- title: "Mixing Workflows and Components to Support Evolving Services"
  author:
  - name: "Françoise Baude"
    link: "https://researchr.org/alias/fran%26ccedil%3Boise-baude"
  - name: "Virginie Legrand Contes"
    link: "https://researchr.org/alias/virginie-legrand-contes"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Paul Naoumenko"
    link: "https://researchr.org/alias/paul-naoumenko"
  - name: "Heiko Pfeffer"
    link: "https://researchr.org/alias/heiko-pfeffer"
  - name: "Louay Bassbouss"
    link: "https://researchr.org/alias/louay-bassbouss"
  - name: "David Linner"
    link: "https://researchr.org/alias/david-linner"
  year: "2010"
  doi: "http://dx.doi.org/10.4018/jaras.2010100105"
  links:
    doi: "http://dx.doi.org/10.4018/jaras.2010100105"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ijaras/BaudeCHNPBL10"
  tags:
  - "workflow"
  researchr: "https://researchr.org/publication/BaudeCHNPBL10"
  cites: 0
  citedby: 0
  journal: "ijaras"
  volume: "1"
  number: "4"
  pages: "60-84"
  kind: "article"
  key: "BaudeCHNPBL10"
- title: "Multi-threaded Active Objects"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Fabrice Huet"
    link: "https://researchr.org/alias/fabrice-huet"
  - name: "Zsolt István"
    link: "https://researchr.org/alias/zsolt-istv%C3%A1n"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-38493-6_7"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-38493-6_7"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/coordination/HenrioHI13"
  researchr: "https://researchr.org/publication/HenrioHI13"
  cites: 0
  citedby: 0
  pages: "90-104"
  booktitle: "coordination"
  kind: "inproceedings"
  key: "HenrioHI13"
- title: "Asynchronous and deterministic objects"
  author:
  - name: "Denis Caromel"
    link: "https://researchr.org/alias/denis-caromel"
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Bernard P. Serpette"
    link: "https://researchr.org/alias/bernard-p.-serpette"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/964001.964012"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "CaromelHS04"
- title: "First Class Futures: Specification and Implementation of Update Strategies"
  author:
  - name: "Ludovic Henrio"
    link: "http://www-sop.inria.fr/oasis/personnel/Ludovic.Henrio/"
  - name: "Muhammad Uzair Khan"
    link: "https://researchr.org/alias/muhammad-uzair-khan"
  - name: "Nadia Ranaldo"
    link: "https://researchr.org/alias/nadia-ranaldo"
  - name: "Eugenio Zimeo"
    link: "https://researchr.org/alias/eugenio-zimeo"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-21878-1_37"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-21878-1_37"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/europar/HenrioKRZ10"
  researchr: "https://researchr.org/publication/HenrioKRZ10"
  cites: 0
  citedby: 0
  pages: "295-303"
  booktitle: "europar"
  kind: "inproceedings"
  key: "HenrioKRZ10"