Papers

@inproceedings{HJP:IFM20,
  author = {Ludovic Henrio and Einar Broch Johnsen and Violet Ka I Pun},
  editor = {Brijesh Dongol and Elena Troubitsyna},
  title = {Active Objects with Deterministic Behaviour},
  booktitle = {Integrated Formal Methods - 16th International Conference, {IFM} 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {12546},
  pages = {181--198},
  publisher = {Springer},
  year = {2020},
  doi = {10.1007/978-3-030-63461-2\_10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
  }

@inproceedings{LHBW:SAC2020,
  TITLE = {{Distributed futures for efficient data transfer between parallel processes}},
  AUTHOR = {Leca, Pierre and Henrio, Ludovic and Baude, Fran{\c c}oise and Suijlen, Wijnand},
  URL = {https://hal.archives-ouvertes.fr/hal-02417953},
  BOOKTITLE = {{The 35th ACM/SIGAPP Symposium On Applied Computing}},
  ADDRESS = {Brno, Czech Republic},
  YEAR = {2020},
  MONTH = Mar,
  DOI = {10.1145/3341105.3373932}
}

@article{HKL:SkePu2020,
title = "Leveraging access mode declarations in a model for memory consistency in heterogeneous systems",
journal = "Journal of Logical and Algebraic Methods in Programming",
volume = "110",
pages = "100498",
year = "2020",
issn = "2352-2208",
doi = "https://doi.org/10.1016/j.jlamp.2019.100498",
url = "http://www.sciencedirect.com/science/article/pii/S2352220818301330",
author = "Ludovic Henrio and Christoph Kessler and Lu Li",
keywords = "Memory consistency, CPU-GPU heterogeneous systems, Data transfer, Software caching, Cache coherence",
}

@article{AHO2019,
   title={Who is to Blame? Runtime Verification of Distributed Objects with Active Monitors},    volume={302},
   ISSN={2075-2180},
   url={http://dx.doi.org/10.4204/EPTCS.302.3},
   DOI={10.4204/eptcs.302.3},
   journal={Electronic Proceedings in Theoretical Computer Science},
   publisher={Open Publishing Association},
   author={Ahrendt, Wolfgang and Henrio, Ludovic and Oortwijn, Wytse},
   year={2019},
   month={Aug},
   pages={32–46},
   note= "Post-proceedings of VORTEX 2018"
}

@InProceedings{FBCHW-ECOOP2019,
  author =	{Kiko Fernandez-Reyes and Dave Clarke and Ludovic Henrio and Einar Broch Johnsen and Tobias Wrigstad},
  title =	{{Godot: All the Benefits of Implicit and Explicit Futures}},
  booktitle =	{33rd European Conference on Object-Oriented Programming (ECOOP 2019)},
  pages =	{2:1--2:28},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-111-5},
  ISSN =	{1868-8969},
  year =	{2019},
  volume =	{134},
  editor =	{Alastair F. Donaldson},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2019/10794},
  URN =		{urn:nbn:de:0030-drops-107949},
  doi =		{10.4230/LIPIcs.ECOOP.2019.2},
  annote =	{Keywords: Futures, Concurrency, Type Systems, Formal Semantics},
  note = 	"Distinguished artefact"
}

@inproceedings{BHM:Coordination19,
  TITLE = {{Verification of concurrent design patterns with data}},
  AUTHOR = {Bliudze, Simon and Henrio, Ludovic and Madelaine, Eric},
  URL = {https://hal.archives-ouvertes.fr/hal-02143782},
  BOOKTITLE = {{COORDINATION 2019 - 21st International Conference on Coordination Models and Languages}},
  ADDRESS = {Copenhagen, Denmark},
  EDITOR = {Hanne Riis Nielson and Emilio Tuosto},
  PUBLISHER = {{Springer}},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = {11533},
  PAGES = {161-181},
  YEAR = {2019},
  MONTH = Jun,
  KEYWORDS = {safety ; composition ; Symbolic verification ; interaction models},
  PDF = {https://hal.archives-ouvertes.fr/hal-02143782/file/paper_18.pdf},
}

@proceedings{GRHEP:Tacas19,
  editor    = {Zeinab Ganjei and Ahmed Rezine and Ludovic Henrio and Petru Eles and Zebo Peng},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 24th International Conference, {TACAS} 2019, Prague, Czech Republic},
  series    = {Lecture Notes in Computer Science},
  publisher = {Springer},
  year      = {2019}
}

@techreport{henrio:RRDeF2018,
  TITLE = {{Data-flow Explicit Futures}},
  AUTHOR = {Henrio, Ludovic},
  URL = {https://hal.archives-ouvertes.fr/hal-01758734},
  TYPE = {Research Report},
  INSTITUTION = {{I3S, Universit{\'e} C{\^o}te d'Azur}},
  YEAR = {2018},
  MONTH = Apr,
  PDF = {https://hal.archives-ouvertes.fr/hal-01758734/file/rapportDeF.pdf},
  HAL_ID = {hal-01758734},
  HAL_VERSION = {v1},
}


@inproceedings{HKL-4PAD2018,
  Author = {Ludovic Henrio and Christoph Kessler and Lu Li},
  Booktitle = {5th International Symposium on Formal Approaches to Parallel and Distributed Systems, as part of The 16th International Conference on High Performance Computing \& Simulation (HPCS 2018)
},
  Editor = {Fr{\'e}d{\'e}ric Loulergue and Jean-Michel Couvreur},
  Month = jul,
  Publisher = {{IEEE}},
  Title = {Ensuring Memory Consistency in Heterogeneous Systems Based on Access Mode Declarations},
  Year = 2018
} 

@inproceedings{HHLS-coordination2018,
  Author = {Ga\'{e}tan Hains and Ludovic Henrio and Pierre Leca and Wijnand Suijlen},
  Booktitle = {20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018
},
  Editor = {Giovanna Di Marzo Serugendo and Michele Loreti},
  Month = jun,
  Organization = {IFIP International Federation for Information Processing},
  Publisher = {Springer},
  Series = {LNCS},
  Title = {Active objects for coordinating {BSP} computations (short paper)},
  Year = 2018
} 

@article{HR-lmcs17,
  TITLE = {{Multiactive objects and their applications}},
  AUTHOR = {Henrio, Ludovic and Rochas, Justine},
  URL = {http://lmcs.episciences.org/4079},
  DOI = {10.23638/LMCS-13(4:12)2017},
  JOURNAL = {{Logical Methods in Computer Science}},
  VOLUME = {{Volume 13, Issue 4}},
  YEAR = {2017},
  MONTH = Nov,
  KEYWORDS = {Computer Science - Programming Languages},
}

@Inbook{HLM-IFM2017,
  author="Henrio, Ludovic and Laneve, Cosimo and Mastandrea, Vincenzo",
  editor="Polikarpova, Nadia and Schneider, Steve",
  title="Analysis of Synchronisations in Stateful Active Objects",
  bookTitle="Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings",
  year="2017",
  publisher="Springer International Publishing",
  address="Cham",
  pages="195--210",
  isbn="978-3-319-66845-1",
  doi="10.1007/978-3-319-66845-1\_13",
  url="https://doi.org/10.1007/978-3-319-66845-1\_13"
}

@article{CSUR2017,
 author = {Boer, Frank De and Serbanescu, Vlad and H\"{a}hnle, Reiner and Henrio, Ludovic and Rochas, Justine and Din, Crystal Chang and Broch Johnsen, Einar  and Sirjani, Marjan and Khamespanah, Ehsan and Fernandez-Reyes, Kiko and Yang, Albert Mingkun},
 title = {A Survey of Active Object Languages},
 journal = {ACM Comput. Surv.},
 issue_date = {October 2017},
 volume = {50},
 number = {5},
 month = oct,
 year = {2017},
 issn = {0360-0300},
 pages = {76:1--76:39},
 articleno = {76},
 numpages = {39},
 url = {http://doi.acm.org/10.1145/3122848},
 doi = {10.1145/3122848},
 acmid = {3122848},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {Programming languages, active objects, actors, concurrency, distributed systems},
} 

@inproceedings{HH-SoCC17,
  TITLE = {{Trustable Virtual Machine Scheduling in a Cloud}},
  AUTHOR = {Hermenier, Fabien and Henrio, Ludovic},
  URL = {https://hal.archives-ouvertes.fr/hal-01627906},
  BOOKTITLE = {{ Proceedings of the 2017 Symposium on Cloud Computing. SoCC '17.}},
  ADDRESS = {Santa Clara, United States},
  PAGES = {12},
  YEAR = {2017},
  MONTH = Sep,
  DOI = {10.1145/3127479.3128608},
  PDF = {https://hal.archives-ouvertes.fr/hal-01627906/file/hermenier-socc17.pdf}
}


@article{LAHKMS2017,
  TITLE = {{Monitoring as-a-service to drive more efficient future system design}},
  AUTHOR = {Lemoine, Fr{\'e}d{\'e}ric and Aubonnet, Tatiana and Henrio, Ludovic and Kessal, Soumia and Madelaine, Eric and Simoni, No{\"e}mie},
  URL = {https://hal.archives-ouvertes.fr/hal-01582593},
  JOURNAL = {{EAI Endorsed Transactions on Cloud Systems}},
  VOLUME = {3},
  NUMBER = {9},
  PAGES = {1 - 15},
  YEAR = {2017},
  MONTH = Jun,
  DOI = {10.4108/eai.28-6-2017.152754},
  KEYWORDS = {Quality of service ; Monitoring ; As a Service ; Service component ; Self-control ; Service composition},
  PDF = {https://hal.archives-ouvertes.fr/hal-01582593/file/eai.28-6-2017.152754.pdf},
  HAL_ID = {hal-01582593},
  HAL_VERSION = {v1},
}


@article{AmeurBoulifa2017,
  title = "Behavioural semantics for asynchronous components ",
  journal = "Journal of Logical and Algebraic Methods in Programming ",
  volume = "89",
  number = "",
  pages = "1 - 40",
  year = "2017",
  note = "",
  issn = "2352-2208",
  doi = "https://doi.org/10.1016/j.jlamp.2017.02.003",
  url = "http://www.sciencedirect.com/science/article/pii/S2352220817300287",
  author = "R. Ameur-Boulifa and L. Henrio and O. Kulankhina and E. Madelaine and A. Savu"
}

 
@inproceedings{GHLM-PPDP16,
  TITLE = {{Actors may synchronize, safely! *}},
  AUTHOR = {Giachino, Elena and Henrio, Ludovic and Laneve, Cosimo and Mastandrea, Vincenzo},
  URL = {https://hal.inria.fr/hal-01345315},
  BOOKTITLE = {{PPDP 2016 18th International Symposium on Principles and Practice of Declarative Programming }},
  ADDRESS = {Edinburgh, United Kingdom},
  YEAR = {2016},
  MONTH = Sep,
  KEYWORDS = {Deadlock detection ; type system ; behavioral types},
  PDF = {https://hal.inria.fr/hal-01345315/file/gASP-FULL.pdf},
  HAL_ID = {hal-01345315},
  HAL_VERSION = {v1},
}



 @article{ibanez:hal-01302467,
  TITLE = {{Reconfigurable Applications Using GCMScript}},
  AUTHOR = {Iba{\~n}ez, Mat{\'i}as and Ruz, Cristian and Henrio, Ludovic and Bustos-Jim{\'e}nez, Javier},
  URL = {https://hal.archives-ouvertes.fr/hal-01302467},
  JOURNAL = {{IEEE cloud computing}},
  YEAR = {2016},
  MONTH = Jul,
  KEYWORDS = {cloud computing ; reconfiguration ; Autonomic computing},
  PDF = {https://hal.archives-ouvertes.fr/hal-01302467/file/ieee-cc-siac-2015-reviewed.pdf},
  HAL_ID = {hal-01302467},
  HAL_VERSION = {v1},
} 

@inproceedings{HR-coordination2016,
	Author = {Henrio, Ludovic and Rochas, Justine},
	Booktitle = {COORDINATION 2016},
	Editor = {Alberto Lluch Lafuente and José Proença},
	Month = jun,
	Note = {11th International Federated Conference on Distributed Computing Techniques, 
		Heraklion, Greece. Extended version available at: 
		\url{https://hal.archives-ouvertes.fr/hal-01299817}},
	Organization = {IFIP International Federation for Information Processing},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {From Modelling to Systematic Deployment of Distributed Active Objects},
	Year = 2016
}

@inproceedings{HMZ-FORTE2016,
	Author = {Henrio, Ludovic and Madelaine, Eric and Zhang, Min},
	Booktitle = {FORTE 2016},
	Editor = {Elvira Albert and	Ivan Lanese},
	Month = jun,
	Note = {11th International Federated Conference on Distributed Computing Techniques, 
		Heraklion, Greece. Extended version available at: 
		\url{https://hal.archives-ouvertes.fr/hal-01299562}},
	Organization = {IFIP International Federation for Information Processing},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {A Theory for the Composition of Concurrent Processes},
	Year = 2016
}

@Inbook{HKM-FASE16,
	author="Henrio, Ludovic
	and Kulankhina, Oleksandra
	and Li, Siqi
	and Madelaine, Eric",
	editor="Stevens, Perdita
	and W{\k{a}}sowski, Andrzej",
	title="Integrated Environment for Verifying and Running Distributed Components",
	bookTitle="Fundamental Approaches to Software Engineering: 19th International 
	Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and 
	Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016, 
	Proceedings",
	year="2016",
	publisher="Springer Berlin Heidelberg",
	address="Berlin, Heidelberg",
	pages="66--83",
	isbn="978-3-662-49665-7",
	doi="10.1007/978-3-662-49665-7\_5"
}

@inproceedings{gaspar:hal-01168757,
  TITLE = {{Painless support for static and runtime verification of component-based applications}},
  AUTHOR = {Gaspar, Nuno and Henrio, Ludovic and Madelaine, Eric},
  BOOKTITLE = {{Fundamentals of Software Engineering (FSEN'2015)}},
  ADDRESS = {Teheran, Iran},
  PAGES = {15},
  YEAR = {2015},
  MONTH = Apr,
}

@article{aubonnet:hal-01180627,
  TITLE = {Management of service composition based on self-controlled components},
  AUTHOR = {Aubonnet, Tatiana and Henrio, Ludovic and Kessal, Soumia and Kulankhina, Oleksandra and Lemoine, Fr{\'e}d{\'e}ric and Madelaine, Eric and Ruz, Cristian and Simoni, No{\"e}mie},
  JOURNAL = {{Journal of Internet Services and Applications}},
  PUBLISHER = {Springer},
  VOLUME = {6},
  NUMBER = {15},
  PAGES = {17},
  YEAR = {2015},
  DOI = {10.1186/s13174-015-0031-7},
}

@inproceedings{HMZ:PDP15,
  TITLE = {{pNets: an Expressive Model for Parameterised Networks of Processes}},
  AUTHOR = {Henrio, Ludovic and Madelaine, Eric and Zhang, Min},
  URL = {https://hal.inria.fr/hal-01139432},
  BOOKTITLE = {{Formal Approaches to Parallel and Distributed Systems (4PAD)-Special Session of Parallel, Distributed and network-based Processing (PDP)}},
  ADDRESS = {Turku, Finland},
  YEAR = {2015},
}

@inproceedings{HKLM:FOCLASA14,
  TITLE = {{Verifying the correct composition of distributed components: Formalisation and Tool}},
  AUTHOR = {Henrio, Ludovic and Kulankhina, Oleksandra and Liu, Dongqian and Madelaine, Eric},
  URL = {https://hal.inria.fr/hal-01055370},
  BOOKTITLE = {{FOCLASA}},
  ADDRESS = {Rome, Italy},
  YEAR = {2014},
  MONTH = Sep,
  KEYWORDS = {Software components ; well-formed composition ; functional and non-functional aspects ; interceptors},
  HAL_ID = {hal-01055370},
  HAL_VERSION = {v1},
}

@unpublished{HM:ICE13,
  author = 	 {Henrio, Ludovic and Madelaine, Eric},
  title = 	 {Behavioural Verification of Distributed Components},
  note =    {preproceedings of ICE 2013},
  year = 	 2013,
}

@InProceedings{BCDH-epar,
  author =       {Fran{\c c}oise Baude and Denis Caromel and Christian Delb{\'e} and Ludovic Henrio},
  title =        {An Hybrid Message Logging-CIC Protocol for Constrained Checkpointability},
  booktitle =    {Proceedings of Europar 2005},
  publisher =     {Springer-Verlag},
  year =         2005
}

@Book{CH-book,
  author =     {Denis Caromel and Ludovic Henrio},
  title =     {A Theory of Distributed Objects},
  publisher =     {Springer-Verlag},
  key =         {3-540-20866-6},
  year =         2004
}

@InProceedings{BBCHHLM05,
  author =      {Laurent Baduel  and Françoise Baude and Denis Caromel and
     Ludovic Henrio and Fabrice Huet and Stéphane Lanteri and Matthieu Morel },
  title =      {Grid Components Techniques: Composing, Gathering, and Scattering},
  booktitle =      {Coupled Problems 2005, Computational Methods for Coupled Problems
                in Science and Engineering, an ECCOMAS Thematic Conference},
  year =      2005,
  address =      {Santorini, Greece},
  month =      {may}
}

Article{BCDH-TSI,
  author =   {Fran{\c c}oise Baude and Denis Caromel and Christian Delb{\'e} and Ludovic Henrio},
  title =        {Un protocole de tol{\'e}rance aux pannes pour objets actifs non-pr{\'e}emptifs},
  journal =  {Technique et Science Informatiques (TSI)},
  year =         {2006}
}

@Misc{DH04RR,
 author = {Fran\c{c}oise Baude and Denis Caromel and Christian Delb{\'e} and Ludovic Henrio},
title = {A Fault Tolerance protocol for {ASP} calculus : Design and Proof}, 
howpublished = {Research Report, INRIA Sophia Antipolis},
  year = 2004,
note = {RR-5246},   month = {June}
}

@InProceedings{HeSeSz:jfla04,
  author        = {Ludovic Henrio Bernard Paul Serpette and Szablocs Szentes},
  title         = {Algorithmes et compléxités de la réduction statique minimale},
  year          = 2004,
  month         = jan,
  pages = {155--168},
  booktitle     = {Actes des journ{\'e}es JFLA},
  address       = {Sainte-Marie-de-Ré, France}
   ABSTRACT = {
  La réduction statique minimale (RSM) est l'analyse de flot de
  contrôle d'ordre 0 (0CFA). Cet article présente une série
  d'algorithmes résolvant cette analyse ainsi que leurs complexités
  respectives.
  Même si cette analyse est souvent annoncée comme étant calculable en un temps
  cubique par rapport à la taille du programe étudié, un algorithme complet
  atteignant cette complexité n'est pas si évident. Avec le lambda-calcul
  comme langage de description des programmes, nous commençons par un
  algorithme naïf et, pas à pas, nous aboutissons à celui qui s'exécute,
  dans le pire des cas, en un temps cubique.
  Nous donnerons les exemples qui prouvent que ces complexités maximales
  peuvent être atteintes.
}
}

@TechReport{HeSeSz03RR,
  author =      {Ludovic Henrio Bernard Paul Serpette and Szablocs Szentes},
  title =      {Implementation and Complexity of the Lowest Statuc Reduction},
  institution =  {INRIA Sophia Antipolis},
  month         = dec,
  year =      2003,
  note =      {RR-5034},
  url = {ftp://ftp-sop/pub/rapport/RR5034.ps.gz}
}


@InProceedings{CHSPOPL04,
   author = {Denis Caromel and Ludovic Henrio and Bernard Paul Serpette},
   title = {Asynchronous and deterministic objects},
   booktitle = {Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
   year = {2004},
   isbn = {1-58113-729-X},
   pages = {123--134},
   location = {Venice, Italy},
   doi = {http://doi.acm.org/10.1145/964001.964012},
   publisher = {ACM Press},
}


@TechReport{CHS03RR,
  author =      {Denis Caromel and Ludovic Henrio and Bernard Serpette},
  title =      {Asynchronous Sequential Processes},
  institution =  {INRIA Sophia Antipolis},
  year =      2003,
  note =      {RR-4753},
url = {ftp://ftp-sop/oasis/publications/2003/RRCHS.ps.gz}
}


@InProceedings{ HeSe:jfla03,
  author        = {Ludovic Henrio and Bernard Paul Serpette},
  title         = {A Parametrized Polyvariant Bytecode Verifier},
  year          = 2003,
  month         = jan,
  booktitle     = {Actes des journ{\'e}es JFLA},
  address       = {Chamrousse, France}
ABSTRACT = {
This paper presents a bytecode verifier based on an abstract
small-step semantics.
It is described with transition rules on abstract states of a
virtual machine.
By construction, the bytecode verifier is polyvariant: more than
one abstract state can be constructed for a given program point.
We separate each abstract step into two substeps:
a join step which can merge some abstract states and
an operational step which computes the effect of a specific
instruction on a state.
We give properties needed for these two steps in order
to obtain the soundness of the bytecode verifier.
We define a simple abstract join step definition allowing full
polymorphism of subroutines.
Finally, by choosing a dedicated representation of abstract stacks, we will see
that our bytecode verifier is able to perform a type check of recursion.}
}

@INPROCEEDINGS{henrio:esmart01,
  AUTHOR = {Denis Caromel, Ludovic Henrio, Bernard Serpette},
  TITLE = {Context Inference for Static Analysis of Java Card Object Sharing},
  BOOKTITLE = {Proceedings e-Smart 2001},
  PUBLISHER = {Springer-Verlag},
  YEAR = 2001,
  ABSTRACT = {This article presents an analysis to statically check the Java Card
sharing policy.  From the program text, both the violation and the
guaranty of correctness can be detected in certain cases avoiding
Run-time exception.
Using type inference techniques,a specific inference algorithm is proposed in order
to achieve such result. The current implementation is outlined, and
experimental results are given on a benchmark program.}
}

@Article{Attali2001,
  author = 	 "Isabelle Attali and Denis Caromel and Carine Courbis and
                  Ludovic Henrio and Henrik Nilsson",
  title = 	 "An Integrated Development Environment for {Java Card}",
  journal =	 "Computer Networks",
  year =	 2001,
  note =	 "Journal version of \cite{Attali2000b}"
}