BibTeX records: Jean-Bernard Stefani

download as .bib file

@inproceedings{DBLP:conf/birthday/FantechiNS19,
  author    = {Alessandro Fantechi and
               Elie Najm and
               Jean{-}Bernard Stefani},
  title     = {From Behavioural Contracts to Session Types},
  booktitle = {Models, Languages, and Tools for Concurrent and Distributed Programming
               - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
               Birthday},
  pages     = {278--297},
  year      = {2019},
  crossref  = {DBLP:conf/birthday/2019denicola},
  url       = {https://doi.org/10.1007/978-3-030-21485-2\_16},
  doi       = {10.1007/978-3-030-21485-2\_16},
  timestamp = {Thu, 04 Jul 2019 14:12:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/FantechiNS19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/StefaniV19,
  author    = {Jean{-}Bernard Stefani and
               Martin Vassor},
  title     = {Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell
               Framework},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held
               as Part of the 14th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June
               17-21, 2019, Proceedings},
  pages     = {242--260},
  year      = {2019},
  crossref  = {DBLP:conf/forte/2019},
  url       = {https://doi.org/10.1007/978-3-030-21759-4\_14},
  doi       = {10.1007/978-3-030-21759-4\_14},
  timestamp = {Mon, 03 Jun 2019 14:41:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/StefaniV19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/VassorS18,
  author    = {Martin Vassor and
               Jean{-}Bernard Stefani},
  title     = {Checkpoint/Rollback vs Causally-Consistent Reversibility},
  booktitle = {Reversible Computation - 10th International Conference, {RC} 2018,
               Leicester, UK, September 12-14, 2018, Proceedings},
  pages     = {286--303},
  year      = {2018},
  crossref  = {DBLP:conf/rc/2018},
  url       = {https://doi.org/10.1007/978-3-319-99498-7\_20},
  doi       = {10.1007/978-3-319-99498-7\_20},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rc/VassorS18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1710-03393,
  author    = {Gregor G{\"{o}}{\ss}ler and
               Oleg Sokolsky and
               Jean{-}Bernard Stefani},
  title     = {Counterfactual Causality from First Principles?},
  booktitle = {Proceedings 2nd International Workshop on Causal Reasoning for Embedded
               and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala,
               Sweden, 29th April 2017.},
  pages     = {47--53},
  year      = {2017},
  crossref  = {DBLP:journals/corr/abs-1710-02770},
  url       = {https://doi.org/10.4204/EPTCS.259.5},
  doi       = {10.4204/EPTCS.259.5},
  timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1710-03393},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LaneseMS16,
  author    = {Ivan Lanese and
               Claudio Antares Mezzina and
               Jean{-}Bernard Stefani},
  title     = {Reversibility in the higher-order {\(\pi\)}-calculus},
  journal   = {Theor. Comput. Sci.},
  volume    = {625},
  pages     = {25--84},
  year      = {2016},
  url       = {https://doi.org/10.1016/j.tcs.2016.02.019},
  doi       = {10.1016/j.tcs.2016.02.019},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tcs/LaneseMS16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ClaudelSS15,
  author    = {Benoit Claudel and
               Quentin Sabah and
               Jean{-}Bernard Stefani},
  title     = {Simple Isolation for an Actor Abstract Machine},
  booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
               - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held
               as Part of the 10th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015,
               Proceedings},
  pages     = {213--227},
  year      = {2015},
  crossref  = {DBLP:conf/forte/2015},
  url       = {https://doi.org/10.1007/978-3-319-19195-9\_14},
  doi       = {10.1007/978-3-319-19195-9\_14},
  timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/ClaudelSS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/GosslerS15,
  author    = {Gregor G{\"{o}}{\ss}ler and
               Jean{-}Bernard Stefani},
  title     = {Fault Ascription in Concurrent Systems},
  booktitle = {Trustworthy Global Computing - 10th International Symposium, {TGC}
               2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
               Papers},
  pages     = {79--94},
  year      = {2015},
  crossref  = {DBLP:conf/tgc/2015},
  url       = {https://doi.org/10.1007/978-3-319-28766-9\_6},
  doi       = {10.1007/978-3-319-28766-9\_6},
  timestamp = {Mon, 16 Sep 2019 15:25:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/GosslerS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rc/2015,
  editor    = {Jean Krivine and
               Jean{-}Bernard Stefani},
  title     = {Reversible Computation - 7th International Conference, {RC} 2015,
               Grenoble, France, July 16-17, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9138},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-20860-2},
  doi       = {10.1007/978-3-319-20860-2},
  isbn      = {978-3-319-20859-6},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/Stefani14,
  author    = {Jean{-}Bernard Stefani},
  title     = {Components as Location Graphs},
  booktitle = {Formal Aspects of Component Software - 11th International Symposium,
               {FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
               Papers},
  pages     = {3--23},
  year      = {2014},
  crossref  = {DBLP:conf/facs2/2014},
  url       = {https://doi.org/10.1007/978-3-319-15317-9\_1},
  doi       = {10.1007/978-3-319-15317-9\_1},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/Stefani14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/LaneseLMSS13,
  author    = {Ivan Lanese and
               Michael Lienhardt and
               Claudio Antares Mezzina and
               Alan Schmitt and
               Jean{-}Bernard Stefani},
  title     = {Concurrent Flexible Reversibility},
  booktitle = {Programming Languages and Systems - 22nd European Symposium on Programming,
               {ESOP} 2013, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
               2013. Proceedings},
  pages     = {370--390},
  year      = {2013},
  crossref  = {DBLP:conf/esop/2013},
  url       = {https://doi.org/10.1007/978-3-642-37036-6\_21},
  doi       = {10.1007/978-3-642-37036-6\_21},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/LaneseLMSS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/SeinturierMRRSS12,
  author    = {Lionel Seinturier and
               Philippe Merle and
               Romain Rouvoy and
               Daniel Romero and
               Valerio Schiavoni and
               Jean{-}Bernard Stefani},
  title     = {A component-based middleware platform for reconfigurable service-oriented
               architectures},
  journal   = {Softw., Pract. Exper.},
  volume    = {42},
  number    = {5},
  pages     = {559--583},
  year      = {2012},
  url       = {https://doi.org/10.1002/spe.1077},
  doi       = {10.1002/spe.1077},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/spe/SeinturierMRRSS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LienhardtLMS12,
  author    = {Michael Lienhardt and
               Ivan Lanese and
               Claudio Antares Mezzina and
               Jean{-}Bernard Stefani},
  title     = {A Reversible Abstract Machine and Its Space Overhead},
  booktitle = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
               6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
               International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
               2012. Proceedings},
  pages     = {1--17},
  year      = {2012},
  crossref  = {DBLP:conf/forte/2012},
  url       = {https://doi.org/10.1007/978-3-642-30793-5\_1},
  doi       = {10.1007/978-3-642-30793-5\_1},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/LienhardtLMS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/LaneseMS12,
  author    = {Ivan Lanese and
               Claudio Antares Mezzina and
               Jean{-}Bernard Stefani},
  title     = {Controlled Reversibility and Compensations},
  booktitle = {Reversible Computation, 4th International Workshop, {RC} 2012, Copenhagen,
               Denmark, July 2-3, 2012. Revised Papers},
  pages     = {233--240},
  year      = {2012},
  crossref  = {DBLP:conf/rc/2012},
  url       = {https://doi.org/10.1007/978-3-642-36315-3\_19},
  doi       = {10.1007/978-3-642-36315-3\_19},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rc/LaneseMS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LengletSS11,
  author    = {Sergue{\"{\i}} Lenglet and
               Alan Schmitt and
               Jean{-}Bernard Stefani},
  title     = {Characterizing contextual equivalence in calculi with passivation},
  journal   = {Inf. Comput.},
  volume    = {209},
  number    = {11},
  pages     = {1390--1433},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.ic.2011.08.002},
  doi       = {10.1016/j.ic.2011.08.002},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/iandc/LengletSS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LaneseMSS11,
  author    = {Ivan Lanese and
               Claudio Antares Mezzina and
               Alan Schmitt and
               Jean{-}Bernard Stefani},
  title     = {Controlling Reversibility in Higher-Order Pi},
  booktitle = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference,
               {CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings},
  pages     = {297--311},
  year      = {2011},
  crossref  = {DBLP:conf/concur/2011},
  url       = {https://doi.org/10.1007/978-3-642-23217-6\_20},
  doi       = {10.1007/978-3-642-23217-6\_20},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/LaneseMSS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/GiustoS11,
  author    = {Cinzia Di Giusto and
               Jean{-}Bernard Stefani},
  title     = {Revisiting Glue Expressiveness in Component-Based Systems},
  booktitle = {Coordination Models and Languages - 13th International Conference,
               {COORDINATION} 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings},
  pages     = {16--30},
  year      = {2011},
  crossref  = {DBLP:conf/coordination/2011},
  url       = {https://doi.org/10.1007/978-3-642-21464-6\_2},
  doi       = {10.1007/978-3-642-21464-6\_2},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/GiustoS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LaneseMS10,
  author    = {Ivan Lanese and
               Claudio Antares Mezzina and
               Jean{-}Bernard Stefani},
  title     = {Reversing Higher-Order Pi},
  booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
               {CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
  pages     = {478--493},
  year      = {2010},
  crossref  = {DBLP:conf/concur/2010},
  url       = {https://doi.org/10.1007/978-3-642-15375-4\_33},
  doi       = {10.1007/978-3-642-15375-4\_33},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/LaneseMS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Stefani09,
  author    = {Jean{-}Bernard Stefani},
  title     = {Gestion de l'adaptabilit{\'{e}} dans les applications r{\'{e}}parties.
               (Managing adaptability in distributed applications)},
  year      = {2009},
  url       = {https://tel.archives-ouvertes.fr/tel-00534062},
  timestamp = {Fri, 29 Sep 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/books/hal/Stefani09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/adt/BlairCS09,
  author    = {Gordon S. Blair and
               Thierry Coupaye and
               Jean{-}Bernard Stefani},
  title     = {Component-based architecture: the Fractal initiative},
  journal   = {Annales des T{\'{e}}l{\'{e}}communications},
  volume    = {64},
  number    = {1-2},
  pages     = {1--4},
  year      = {2009},
  url       = {https://doi.org/10.1007/s12243-009-0086-1},
  doi       = {10.1007/s12243-009-0086-1},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/adt/BlairCS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/SeinturierMFDSS09,
  author    = {Lionel Seinturier and
               Philippe Merle and
               Damien Fournier and
               Nicolas Dolet and
               Valerio Schiavoni and
               Jean{-}Bernard Stefani},
  title     = {Reconfigurable {SCA} Applications with the FraSCAti Platform},
  booktitle = {2009 {IEEE} International Conference on Services Computing {(SCC}
               2009), 21-25 September 2009, Bangalore, India},
  pages     = {268--275},
  year      = {2009},
  crossref  = {DBLP:conf/IEEEscc/2009},
  url       = {https://doi.org/10.1109/SCC.2009.27},
  doi       = {10.1109/SCC.2009.27},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEscc/SeinturierMFDSS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LengletSS09,
  author    = {Sergue{\"{\i}} Lenglet and
               Alan Schmitt and
               Jean{-}Bernard Stefani},
  title     = {Howe's Method for Calculi with Passivation},
  booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
               {CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
  pages     = {448--462},
  year      = {2009},
  crossref  = {DBLP:conf/concur/2009},
  url       = {https://doi.org/10.1007/978-3-642-04081-8\_30},
  doi       = {10.1007/978-3-642-04081-8\_30},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/LengletSS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/LienhardtMSS09,
  author    = {Michael Lienhardt and
               Claudio Antares Mezzina and
               Alan Schmitt and
               Jean{-}Bernard Stefani},
  title     = {Typing Component-Based Communication Systems},
  booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
               6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
               International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
               2009. Proceedings},
  pages     = {167--181},
  year      = {2009},
  crossref  = {DBLP:conf/forte/2009},
  url       = {https://doi.org/10.1007/978-3-642-02138-1\_11},
  doi       = {10.1007/978-3-642-02138-1\_11},
  timestamp = {Mon, 15 Jul 2019 16:26:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/LienhardtMSS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LengletSS09,
  author    = {Sergue{\"{\i}} Lenglet and
               Alan Schmitt and
               Jean{-}Bernard Stefani},
  title     = {Normal Bisimulations in Calculi with Passivation},
  booktitle = {Foundations of Software Science and Computational Structures, 12th
               International Conference, {FOSSACS} 2009, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2009,
               York, UK, March 22-29, 2009. Proceedings},
  pages     = {257--271},
  year      = {2009},
  crossref  = {DBLP:conf/fossacs/2009},
  url       = {https://doi.org/10.1007/978-3-642-00596-1\_19},
  doi       = {10.1007/978-3-642-00596-1\_19},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/LengletSS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/PolakovicS08,
  author    = {Juraj Polakovic and
               Jean{-}Bernard Stefani},
  title     = {Architecting reconfigurable component-based operating systems},
  journal   = {Journal of Systems Architecture - Embedded Systems Design},
  volume    = {54},
  number    = {6},
  pages     = {562--575},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.sysarc.2007.12.005},
  doi       = {10.1016/j.sysarc.2007.12.005},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsa/PolakovicS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/LienhardtSS08,
  author    = {Michael Lienhardt and
               Alan Schmitt and
               Jean{-}Bernard Stefani},
  title     = {Typing communicating component assemblages},
  booktitle = {Generative Programming and Component Engineering, 7th International
               Conference, {GPCE} 2008, Nashville, TN, USA, October 19-23, 2008,
               Proceedings},
  pages     = {125--136},
  year      = {2008},
  crossref  = {DBLP:conf/gpce/2008},
  url       = {https://doi.org/10.1145/1449913.1449933},
  doi       = {10.1145/1449913.1449933},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/LienhardtSS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BoyerPGSS08,
  author    = {Fabienne Boyer and
               Noel De Palma and
               Olivier Gruber and
               Sylvain Sicard and
               Jean{-}Bernard Stefani},
  title     = {A Self-repair Architecture for Cluster Systems},
  booktitle = {Architecting Dependable Systems {VI}},
  pages     = {124--147},
  year      = {2008},
  crossref  = {DBLP:conf/icse/2008wads},
  url       = {https://doi.org/10.1007/978-3-642-10248-6\_6},
  doi       = {10.1007/978-3-642-10248-6\_6},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/BoyerPGSS08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dsonline/AbdellatifKS07,
  author    = {Takoua Abdellatif and
               Jakub Kornas and
               Jean{-}Bernard Stefani},
  title     = {Reengineering {J2EE} Servers for Automated Management in Distributed
               Environments},
  journal   = {{IEEE} Distributed Systems Online},
  volume    = {8},
  number    = {11},
  year      = {2007},
  url       = {https://doi.org/10.1109/MDSO.2007.65},
  doi       = {10.1109/MDSO.2007.65},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dsonline/AbdellatifKS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/PolakovicMSD07,
  author    = {Juraj Polakovic and
               Sebastien Mazare and
               Jean{-}Bernard Stefani and
               Pierre{-}Charles David},
  title     = {Experience with Safe Dynamic Reconfigurations in Component-Based Embedded
               Systems},
  booktitle = {Component-Based Software Engineering, 10th International Symposium,
               {CBSE} 2007, Medford, MA, USA, July 9-11, 2007, Proceedings},
  pages     = {242--257},
  year      = {2007},
  crossref  = {DBLP:conf/cbse/2007},
  url       = {https://doi.org/10.1007/978-3-540-73551-9\_17},
  doi       = {10.1007/978-3-540-73551-9\_17},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cbse/PolakovicMSD07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/RoyHRSYC07,
  author    = {Peter Van Roy and
               Seif Haridi and
               Alexander Reinefeld and
               Jean{-}Bernard Stefani and
               Roland H. C. Yap and
               Thierry Coupaye},
  title     = {Self Management for Large-Scale Distributed Systems: An Overview of
               the {SELFMAN} Project},
  booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
               {FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
               Lectures},
  pages     = {153--178},
  year      = {2007},
  crossref  = {DBLP:conf/fmco/2007},
  url       = {https://doi.org/10.1007/978-3-540-92188-2\_7},
  doi       = {10.1007/978-3-540-92188-2\_7},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/RoyHRSYC07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/LienhardtSS07,
  author    = {Michael Lienhardt and
               Alan Schmitt and
               Jean{-}Bernard Stefani},
  title     = {Oz/K: a kernel language for component-based open programming},
  booktitle = {Generative Programming and Component Engineering, 6th International
               Conference, {GPCE} 2007, Salzburg, Austria, October 1-3, 2007, Proceedings},
  pages     = {43--52},
  year      = {2007},
  crossref  = {DBLP:conf/gpce/2007},
  url       = {https://doi.org/10.1145/1289971.1289980},
  doi       = {10.1145/1289971.1289980},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/LienhardtSS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LeclercqOQS07,
  author    = {Matthieu Leclercq and
               Ali Erdem {\"{O}}zcan and
               Vivien Qu{\'{e}}ma and
               Jean{-}Bernard Stefani},
  title     = {Supporting Heterogeneous Architecture Descriptions in an Extensible
               Toolset},
  booktitle = {29th International Conference on Software Engineering {(ICSE} 2007),
               Minneapolis, MN, USA, May 20-26, 2007},
  pages     = {209--219},
  year      = {2007},
  crossref  = {DBLP:conf/icse/2007},
  url       = {https://doi.org/10.1109/ICSE.2007.82},
  doi       = {10.1109/ICSE.2007.82},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/LeclercqOQS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/BidingerLQSS06,
  author    = {Philippe Bidinger and
               Matthieu Leclercq and
               Vivien Qu{\'{e}}ma and
               Alan Schmitt and
               Jean{-}Bernard Stefani},
  title     = {Dream types: a domain specific type system for component-based message-oriented
               middleware},
  journal   = {{ACM} {SIGSOFT} Software Engineering Notes},
  volume    = {31},
  number    = {2},
  year      = {2006},
  url       = {https://doi.org/10.1145/1118537.1123061},
  doi       = {10.1145/1118537.1123061},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/sigsoft/BidingerLQSS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/BrunetonCLQS06,
  author    = {Eric Bruneton and
               Thierry Coupaye and
               Matthieu Leclercq and
               Vivien Qu{\'{e}}ma and
               Jean{-}Bernard Stefani},
  title     = {The {FRACTAL} component model and its support in Java},
  journal   = {Softw., Pract. Exper.},
  volume    = {36},
  number    = {11-12},
  pages     = {1257--1284},
  year      = {2006},
  url       = {https://doi.org/10.1002/spe.767},
  doi       = {10.1002/spe.767},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/spe/BrunetonCLQS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/CoupayeS06,
  author    = {Thierry Coupaye and
               Jean{-}Bernard Stefani},
  title     = {Fractal Component-Based Software Engineering},
  booktitle = {Object-Oriented Technology, {ECOOP} 2006 Workshop Reader, {ECOOP}
               2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports},
  pages     = {117--129},
  year      = {2006},
  crossref  = {DBLP:conf/ecoopw/2006},
  url       = {https://doi.org/10.1007/978-3-540-71774-4\_13},
  doi       = {10.1007/978-3-540-71774-4\_13},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoopw/CoupayeS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/PolakovicOS06,
  author    = {Juraj Polakovic and
               Ali Erdem {\"{O}}zcan and
               Jean{-}Bernard Stefani},
  title     = {Building Reconfigurable Component-Based {OS} with {THINK}},
  booktitle = {32nd {EUROMICRO} Conference on Software Engineering and Advanced Applications
               {(EUROMICRO-SEAA} 2006), August 29 - September 1, 2006, Cavtat/Dubrovnik,
               Croatia},
  pages     = {178--185},
  year      = {2006},
  crossref  = {DBLP:conf/euromicro/2006},
  url       = {https://doi.org/10.1109/EUROMICRO.2006.26},
  doi       = {10.1109/EUROMICRO.2006.26},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/euromicro/PolakovicOS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dsonline/LeclercqQS05,
  author    = {Matthieu Leclercq and
               Vivien Qu{\'{e}}ma and
               Jean{-}Bernard Stefani},
  title     = {{DREAM:} {A} Component Framework for Constructing Resource-Aware,
               Configurable Middleware},
  journal   = {{IEEE} Distributed Systems Online},
  volume    = {6},
  number    = {9},
  year      = {2005},
  url       = {https://doi.org/10.1109/MDSO.2005.47},
  doi       = {10.1109/MDSO.2005.47},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dsonline/LeclercqQS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cassis/OzcanJS05,
  author    = {Ali Erdem {\"{O}}zcan and
               S{\'{e}}bastien Jean and
               Jean{-}Bernard Stefani},
  title     = {Bringing Ease and Adaptability to MPSoC Software Design: {A} Component-Based
               Approach},
  booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart
               Devices, Second International Workshop, {CASSIS} 2005, Nice, France,
               March 8-11, 2005, Revised Selected Papers},
  pages     = {118--137},
  year      = {2005},
  crossref  = {DBLP:conf/cassis/2005},
  url       = {https://doi.org/10.1007/11741060\_7},
  doi       = {10.1007/11741060\_7},
  timestamp = {Sat, 19 Oct 2019 20:08:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cassis/OzcanJS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cd/AbdellatifKS05,
  author    = {Takoua Abdellatif and
               Jakub Kornas and
               Jean{-}Bernard Stefani},
  title     = {{J2EE} Packaging, Deployment and Reconfiguration Using a General Component
               Model},
  booktitle = {Component Deployment, Third International Working Conference, {CD}
               2005, Grenoble, France, November 28-29, 2005, Proceedings},
  pages     = {134--148},
  year      = {2005},
  crossref  = {DBLP:conf/cd/2005},
  url       = {https://doi.org/10.1007/11590712\_11},
  doi       = {10.1007/11590712\_11},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cd/AbdellatifKS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/estimedia/OzcanLS05,
  author    = {Ali Erdem {\"{O}}zcan and
               Oussama Layaida and
               Jean{-}Bernard Stefani},
  title     = {A Component-based Approach for MPSoC {SW} Design: Experience with
               {OS} Customization for {H.264} Decoding},
  booktitle = {Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time
               Multimedia, ESTImedia 2005, September 22-23, 2005, New York Metropolitan
               Area, {USA}},
  pages     = {95--100},
  year      = {2005},
  crossref  = {DBLP:conf/estimedia/2005},
  url       = {https://doi.org/10.1109/ESTMED.2005.1518082},
  doi       = {10.1109/ESTMED.2005.1518082},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/estimedia/OzcanLS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BidingerSS05,
  author    = {Philippe Bidinger and
               Alan Schmitt and
               Jean{-}Bernard Stefani},
  title     = {An Abstract Machine for the Kell Calculus},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece,
               June 15-17, 2005, Proceedings},
  pages     = {31--46},
  year      = {2005},
  crossref  = {DBLP:conf/fmoods/2005},
  url       = {https://doi.org/10.1007/11494881\_3},
  doi       = {10.1007/11494881\_3},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/BidingerSS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/HirschkoffHPSS05,
  author    = {Daniel Hirschkoff and
               Tom Hirschowitz and
               Damien Pous and
               Alan Schmitt and
               Jean{-}Bernard Stefani},
  title     = {Component-Oriented Programming with Sharing: Containment is Not Ownership},
  booktitle = {Generative Programming and Component Engineering, 4th International
               Conference, {GPCE} 2005, Tallinn, Estonia, September 29 - October
               1, 2005, Proceedings},
  pages     = {389--404},
  year      = {2005},
  crossref  = {DBLP:conf/gpce/2005},
  url       = {https://doi.org/10.1007/11561347\_26},
  doi       = {10.1007/11561347\_26},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/HirschkoffHPSS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icac/BouchenakBHKPQS05,
  author    = {Sara Bouchenak and
               Fabienne Boyer and
               Daniel Hagimont and
               Sacha Krakowiak and
               Noel De Palma and
               Vivien Qu{\'{e}}ma and
               Jean{-}Bernard Stefani},
  title     = {Architecture-Based Autonomous Repair Management: Application to {J2EE}
               Clusters},
  booktitle = {Second International Conference on Autonomic Computing {(ICAC} 2005),
               13-16 June 2005, Seattle, WA, {USA}},
  pages     = {369--370},
  year      = {2005},
  crossref  = {DBLP:conf/icac/2005},
  url       = {https://doi.org/10.1109/ICAC.2005.9},
  doi       = {10.1109/ICAC.2005.9},
  timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icac/BouchenakBHKPQS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/BouchenakBKHMSPQ05,
  author    = {Sara Bouchenak and
               Fabienne Boyer and
               Sacha Krakowiak and
               Daniel Hagimont and
               Adrian Mos and
               Jean{-}Bernard Stefani and
               Noel De Palma and
               Vivien Qu{\'{e}}ma},
  title     = {Architecture-Based Autonomous Repair Management: An Application to
               {J2EE} Clusters},
  booktitle = {24th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2005),26-28
               October 2005, Orlando, FL, {USA}},
  pages     = {13--24},
  year      = {2005},
  crossref  = {DBLP:conf/srds/2005},
  url       = {https://doi.org/10.1109/RELDIS.2005.8},
  doi       = {10.1109/RELDIS.2005.8},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/srds/BouchenakBKHMSPQ05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/Lobjet/Stefani04,
  author    = {Jean{-}Bernard Stefani},
  title     = {Cellules : composants et r{\'{e}}flexivit{\'{e}}},
  journal   = {L'OBJET},
  volume    = {10},
  number    = {2-3},
  pages     = {13},
  year      = {2004},
  url       = {https://doi.org/10.3166/objet.10.2-3.13-13},
  doi       = {10.3166/objet.10.2-3.13-13},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/Lobjet/Stefani04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/BrunetonCLQS04,
  author    = {Eric Bruneton and
               Thierry Coupaye and
               Matthieu Leclercq and
               Vivien Qu{\'{e}}ma and
               Jean{-}Bernard Stefani},
  title     = {An Open Component Model and Its Support in Java},
  booktitle = {Component-Based Software Engineering, 7th International Symposium,
               {CBSE} 2004, Edinburgh, UK, May 24-25, 2004, Proceedings},
  pages     = {7--22},
  year      = {2004},
  crossref  = {DBLP:conf/cbse/2004},
  url       = {https://doi.org/10.1007/978-3-540-24774-6\_3},
  doi       = {10.1007/978-3-540-24774-6\_3},
  timestamp = {Sun, 02 Jun 2019 21:17:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cbse/BrunetonCLQS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/SchmittS04,
  author    = {Alan Schmitt and
               Jean{-}Bernard Stefani},
  title     = {The Kell Calculus: {A} Family of Higher-Order Distributed Process
               Calculi},
  booktitle = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
               Italy, March 9-12, 2004, Revised Selected Papers},
  pages     = {146--178},
  year      = {2004},
  crossref  = {DBLP:conf/gc/2004},
  url       = {https://doi.org/10.1007/978-3-540-31794-4\_9},
  doi       = {10.1007/978-3-540-31794-4\_9},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gc/SchmittS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/LeclercqQS04,
  author    = {Matthieu Leclercq and
               Vivien Qu{\'{e}}ma and
               Jean{-}Bernard Stefani},
  title     = {{DREAM:} a component framework for the construction of resource-aware,
               reconfigurable MOMs},
  booktitle = {Proceedings of the 3rd Workshop on Adaptive and Reflective Middleware,
               {ARM} 2003, Toronto, Ontario, Canada, October 19, 2004},
  pages     = {250--255},
  year      = {2004},
  crossref  = {DBLP:conf/middleware/2004w2},
  url       = {https://doi.org/10.1145/1028613.1028625},
  doi       = {10.1145/1028613.1028625},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/middleware/LeclercqQS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/BouchenakBCJSS04,
  author    = {Sara Bouchenak and
               Fabienne Boyer and
               Emmanuel Cecchet and
               S{\'{e}}bastien Jean and
               Alan Schmitt and
               Jean{-}Bernard Stefani},
  title     = {A component-based approach to distributed system management: a use
               case with self-manageable {J2EE} clusters},
  booktitle = {Proceedings of the 11st {ACM} {SIGOPS} European Workshop, Leuven,
               Belgium, September 19-22, 2004},
  pages     = {26},
  year      = {2004},
  crossref  = {DBLP:conf/sigopsE/2004},
  url       = {https://doi.org/10.1145/1133572.1133574},
  doi       = {10.1145/1133572.1133574},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigopsE/BouchenakBCJSS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-NI-0411082,
  author    = {Jakub Kornas and
               Matthieu Leclercq and
               Vivien Qu{\'{e}}ma and
               Jean{-}Bernard Stefani},
  title     = {Support pour la reconfiguration d'implantation dans les applications
               a composants Java},
  journal   = {CoRR},
  volume    = {cs.NI/0411082},
  year      = {2004},
  url       = {http://arxiv.org/abs/cs.NI/0411082},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/cs-NI-0411082},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/Stefani03,
  author    = {Jean{-}Bernard Stefani},
  title     = {A calculus of Kells},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {85},
  number    = {1},
  pages     = {40--60},
  year      = {2003},
  url       = {https://doi.org/10.1016/S1571-0661(05)80087-8},
  doi       = {10.1016/S1571-0661(05)80087-8},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/Stefani03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BidingerS03,
  author    = {Philippe Bidinger and
               Jean{-}Bernard Stefani},
  title     = {The Kell Calculus: Operational Semantics and Type System},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
               19.21, 2003, Proceedings},
  pages     = {109--123},
  year      = {2003},
  crossref  = {DBLP:conf/fmoods/2003},
  url       = {https://doi.org/10.1007/978-3-540-39958-2\_8},
  doi       = {10.1007/978-3-540-39958-2\_8},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/BidingerS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SchmittS03,
  author    = {Alan Schmitt and
               Jean{-}Bernard Stefani},
  title     = {The m-calculus: a higher-order distributed process calculus},
  booktitle = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, New Orleans, Louisisana, USA,
               January 15-17, 2003},
  pages     = {50--61},
  year      = {2003},
  crossref  = {DBLP:conf/popl/2003},
  url       = {https://doi.org/10.1145/640128.604136},
  doi       = {10.1145/640128.604136},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/SchmittS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dais/2003,
  editor    = {Jean{-}Bernard Stefani and
               Isabelle M. Demeure and
               Daniel Hagimont},
  title     = {Distributed Applications and Interoperable Systems, 4th {IFIP} {WG6.1}
               International Conference, {DAIS} 2003, Paris, France, November 17-21,
               2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2893},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94128},
  doi       = {10.1007/b94128},
  isbn      = {3-540-20529-2},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/dais/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/GermainLS02,
  author    = {Florence Germain and
               Marc Lacoste and
               Jean{-}Bernard Stefani},
  title     = {An Abstract Machine for a Higher-Order Distributed Process Calculus},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {66},
  number    = {3},
  pages     = {145--169},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(04)80420-1},
  doi       = {10.1016/S1571-0661(04)80420-1},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/GermainLS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/RippertS02,
  author    = {Christophe Rippert and
               Jean{-}Bernard Stefani},
  title     = {{THINK:} a secure distributed systems architecture},
  booktitle = {Proceedings of the 10th {ACM} {SIGOPS} European Workshop, Saint-Emilion,
               France, July 1, 2002},
  pages     = {243--246},
  year      = {2002},
  crossref  = {DBLP:conf/sigopsE/2002},
  url       = {https://doi.org/10.1145/1133373.1133424},
  doi       = {10.1145/1133373.1133424},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigopsE/RippertS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/FassinoSLM02,
  author    = {Jean{-}Philippe Fassino and
               Jean{-}Bernard Stefani and
               Julia L. Lawall and
               Gilles Muller},
  title     = {Think: {A} Software Framework for Component-based Operating System
               Kernels},
  booktitle = {Proceedings of the General Track: 2002 {USENIX} Annual Technical Conference,
               June 10-15, 2002, Monterey, California, {USA}},
  pages     = {73--86},
  year      = {2002},
  crossref  = {DBLP:conf/usenix/2002g},
  url       = {http://www.usenix.org/publications/library/proceedings/usenix02/fassino.html},
  timestamp = {Tue, 27 Aug 2002 09:04:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/usenix/FassinoSLM02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/StefaniGN00,
  author    = {Jean{-}Bernard Stefani and
               Florence Germain and
               Elie Najm},
  title     = {Elements of an object-based model for distributed and mobile computation},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
               {TC6/WG6.1} Fourth International Conference on Formal Methods for
               Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
               2000, Stanford, California, {USA}},
  pages     = {23--43},
  year      = {2000},
  crossref  = {DBLP:conf/fmoods/2000},
  url       = {https://doi.org/10.1007/978-0-387-35520-7\_2},
  doi       = {10.1007/978-0-387-35520-7\_2},
  timestamp = {Thu, 21 Dec 2017 23:26:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/StefaniGN00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dse/DumantHTS99,
  author    = {Bruno Dumant and
               Fran{\c{c}}ois Horn and
               Fr{\'{e}}d{\'{e}}ric Dang Tran and
               Jean{-}Bernard Stefani},
  title     = {Jonathan: an open distributed processing environment in Java},
  journal   = {Distributed Systems Engineering},
  volume    = {6},
  number    = {1},
  pages     = {3--12},
  year      = {1999},
  url       = {https://doi.org/10.1088/0967-1846/6/1/301},
  doi       = {10.1088/0967-1846/6/1/301},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dse/DumantHTS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/NajmNS99,
  author    = {Elie Najm and
               Abdelkrim Nimour and
               Jean{-}Bernard Stefani},
  title     = {Infinite types for distributed object interfaces},
  booktitle = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
               Third International Conference on Formal Methods for Open Object-Based
               Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  year      = {1999},
  crossref  = {DBLP:conf/fmoods/1999},
  timestamp = {Tue, 04 Mar 2003 07:57:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/NajmNS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NajmNS99,
  author    = {Elie Najm and
               Abdelkrim Nimour and
               Jean{-}Bernard Stefani},
  title     = {Guaranteeing liveness in an object calculus through behavioural typing},
  booktitle = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
               {XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
               on Formal Description Techniques for Distributed Systems and Communication
               Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
               Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
  pages     = {203--221},
  year      = {1999},
  crossref  = {DBLP:conf/forte/1999},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/NajmNS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/reflection/Stefani99,
  author    = {Jean{-}Bernard Stefani},
  title     = {On the Reflective Structure of Information Networks},
  booktitle = {Meta-Level Architectures and Reflection, Second International Conference,
               Reflection'99, Saint-Malo, France, July 19-21, 1999, Proceedings},
  pages     = {93--94},
  year      = {1999},
  crossref  = {DBLP:conf/reflection/1999},
  url       = {https://doi.org/10.1007/3-540-48443-4\_7},
  doi       = {10.1007/3-540-48443-4\_7},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/reflection/Stefani99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/reflection/BlairCDPDDHS99,
  author    = {Gordon S. Blair and
               F{\'{a}}bio M. Costa and
               Geoff Coulson and
               Hector A. Duran and
               Nikos Parlavantzas and
               Fabien Delpiano and
               Bruno Dumant and
               Fran{\c{c}}ois Horn and
               Jean{-}Bernard Stefani},
  title     = {The Design of a Resource-Aware Reflective Middleware Architecture},
  booktitle = {Meta-Level Architectures and Reflection, Second International Conference,
               Reflection'99, Saint-Malo, France, July 19-21, 1999, Proceedings},
  pages     = {115--134},
  year      = {1999},
  crossref  = {DBLP:conf/reflection/1999},
  url       = {https://doi.org/10.1007/3-540-48443-4\_9},
  doi       = {10.1007/3-540-48443-4\_9},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/reflection/BlairCDPDDHS99},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isn/StefaniDTH98,
  author    = {Jean{-}Bernard Stefani and
               Bruno Dumant and
               Fr{\'{e}}d{\'{e}}ric Dang Tran and
               Fran{\c{c}}ois Horn},
  title     = {The ReTINA {DPE} Kernel: {A} Flexible, Real-Time {ORB} Framework},
  booktitle = {Intelligence in Services and Networks: Technology for Ubiquitous Telecom
               Services, 5th International Conference on Intelligence and Services
               in Networks, IS{\&}N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings},
  pages     = {287--296},
  year      = {1998},
  crossref  = {DBLP:conf/isn/1998},
  url       = {https://doi.org/10.1007/BFb0056974},
  doi       = {10.1007/BFb0056974},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isn/StefaniDTH98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/OliverETSH98,
  author    = {Huw Oliver and
               Christopher Edwards and
               Fr{\'{e}}d{\'{e}}ric Dang Tran and
               Jean{-}Bernard Stefani and
               David Hutchison},
  title     = {Supporting Real-Time Multimedia Applications with Distributed Object
               Controlled Networks},
  booktitle = {1st International Symposium on Object-Oriented Real-Time Distributed
               Computing {(ISORC} '98), 20-22 April 1998, Kyoto, Japan},
  pages     = {2--11},
  year      = {1998},
  crossref  = {DBLP:conf/isorc/1998},
  url       = {https://doi.org/10.1109/ISORC.1998.666763},
  doi       = {10.1109/ISORC.1998.666763},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isorc/OliverETSH98},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/BlairBS97,
  author    = {Gordon S. Blair and
               Lynne Blair and
               Jean{-}Bernard Stefani},
  title     = {A Specification Architecture for Multimedia Systems in Open Distributed
               Processing},
  journal   = {Computer Networks and {ISDN} Systems},
  volume    = {29},
  number    = {4},
  pages     = {473--500},
  year      = {1997},
  url       = {https://doi.org/10.1016/S0169-7552(96)00109-2},
  doi       = {10.1016/S0169-7552(96)00109-2},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cn/BlairBS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arts/FevrierNS97,
  author    = {Arnaud F{\'{e}}vrier and
               Elie Najm and
               Jean{-}Bernard Stefani},
  title     = {Contracts for {ODP}},
  booktitle = {Transformation-Based Reactive Systems Development, 4th International
               {AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
               Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
  pages     = {216--232},
  year      = {1997},
  crossref  = {DBLP:conf/arts/1997},
  url       = {https://doi.org/10.1007/3-540-63010-4\_15},
  doi       = {10.1007/3-540-63010-4\_15},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/arts/FevrierNS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/PotonnieeS97,
  author    = {Olivier Potonni{\'{e}}e and
               Jean{-}Bernard Stefani},
  title     = {Synchronous Thread Management in a Distributed Operating System's
               Micro Kernel},
  booktitle = {Euro-Par '97 Parallel Processing, Third International Euro-Par Conference,
               Passau, Germany, August 26-29, 1997, Proceedings},
  pages     = {1254--1261},
  year      = {1997},
  crossref  = {DBLP:conf/europar/1997},
  url       = {https://doi.org/10.1007/BFb0002881},
  doi       = {10.1007/BFb0002881},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/europar/PotonnieeS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsac/BlairCPRSHH96,
  author    = {Gordon S. Blair and
               Geoff Coulson and
               Michael Papathomas and
               Philippe Robin and
               Jean{-}Bernard Stefani and
               Fran{\c{c}}ois Horn and
               Laurent Hazard},
  title     = {A Programming Model and System Infrastructure for Real-Time Synchronization
               in Distributed Multimedia Systems},
  journal   = {{IEEE} Journal on Selected Areas in Communications},
  volume    = {14},
  number    = {1},
  pages     = {249--263},
  year      = {1996},
  url       = {https://doi.org/10.1109/49.481709},
  doi       = {10.1109/49.481709},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsac/BlairCPRSHH96},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/CoulsonBSHH95,
  author    = {Geoff Coulson and
               Gordon S. Blair and
               Jean{-}Bernard Stefani and
               Fran{\c{c}}ois Horn and
               Laurent Hazard},
  title     = {Supporting the Real-Time Requirements of Continuous Media in Open
               Distributed Processing},
  journal   = {Computer Networks and {ISDN} Systems},
  volume    = {27},
  number    = {8},
  pages     = {1231--1246},
  year      = {1995},
  url       = {https://doi.org/10.1016/0169-7552(94)00034-Q},
  doi       = {10.1016/0169-7552(94)00034-Q},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cn/CoulsonBSHH95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/NajmS95,
  author    = {Elie Najm and
               Jean{-}Bernard Stefani},
  title     = {A Formal Semantics for the {ODP} Computational Model},
  journal   = {Computer Networks and {ISDN} Systems},
  volume    = {27},
  number    = {8},
  pages     = {1305--1329},
  year      = {1995},
  url       = {https://doi.org/10.1016/0169-7552(94)00032-O},
  doi       = {10.1016/0169-7552(94)00032-O},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cn/NajmS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/Stefani95,
  author    = {Jean{-}Bernard Stefani},
  title     = {Open distributed processing: an architectural basis for information
               networks},
  journal   = {Computer Communications},
  volume    = {18},
  number    = {11},
  pages     = {849--862},
  year      = {1995},
  url       = {https://doi.org/10.1016/0140-3664(96)83804-7},
  doi       = {10.1016/0140-3664(96)83804-7},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/comcom/Stefani95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cost/LeboucherS95,
  author    = {Laurent Leboucher and
               Jean{-}Bernard Stefani},
  title     = {Admission Control for End-to-End Distributed Bindings},
  booktitle = {Teleservices and Multimedia Communications, Second International {COST}
               237 Workshop, Copenhagen, Denmark, November 20-22, 1995, Proceedings},
  pages     = {192--208},
  year      = {1995},
  crossref  = {DBLP:conf/cost/1995},
  url       = {https://doi.org/10.1007/3-540-61028-6\_26},
  doi       = {10.1007/3-540-61028-6\_26},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cost/LeboucherS95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NajmSF95,
  author    = {Elie Najm and
               Jean{-}Bernard Stefani and
               Arnaud F{\'{e}}vrier},
  title     = {Towards a Mobile {LOTOS}},
  booktitle = {Formal Description Techniques VIII, Proceedings of the {IFIP} {TC6}
               Eighth International Conference on Formal Description Techniques,
               Montreal, Canada, October 1995},
  pages     = {127--142},
  year      = {1995},
  crossref  = {DBLP:conf/forte/1995},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/NajmSF95},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/BlairPCRHSH94,
  author    = {Gordon S. Blair and
               Michael Papathomas and
               Geoff Coulson and
               Philippe Robin and
               Laurent Hazard and
               Jean{-}Bernard Stefani and
               Fran{\c{c}}ois Horn},
  title     = {Supporting Real-Time Multimedia Behaviour in Open Distributed Systems:
               An Approach Based on Synchronous Languages},
  booktitle = {Proceedings of the Second {ACM} International Conference on Multimedia
               '94, San Francisco, CA, USA, October 15-20, 1994.},
  pages     = {299--306},
  year      = {1994},
  crossref  = {DBLP:conf/mm/1994},
  url       = {https://doi.org/10.1145/192593.192681},
  doi       = {10.1145/192593.192681},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mm/BlairPCRHSH94},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/HornS93,
  author    = {Fran{\c{c}}ois Horn and
               Jean{-}Bernard Stefani},
  title     = {On Programming and Supporting Multimedia Object Synchronisation},
  journal   = {Comput. J.},
  volume    = {36},
  number    = {1},
  pages     = {4--18},
  year      = {1993},
  url       = {https://doi.org/10.1093/comjnl/36.1.4},
  doi       = {10.1093/comjnl/36.1.4},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/HornS93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/TawbiHHS93,
  author    = {Wassim Tawbi and
               Fran{\c{c}}ois Horn and
               Eric Horlait and
               Jean{-}Bernard Stefani},
  title     = {Video Compression Standards and Quality of Service},
  journal   = {Comput. J.},
  volume    = {36},
  number    = {1},
  pages     = {43--54},
  year      = {1993},
  url       = {https://doi.org/10.1093/comjnl/36.1.43},
  doi       = {10.1093/comjnl/36.1.43},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/TawbiHHS93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/BernhardHHS93,
  author    = {Raphael Bernhard and
               Laurent Hazard and
               Fran{\c{c}}ois Horn and
               Jean{-}Bernard Stefani},
  title     = {Implementation of a synchronous execution machine on Chorus micro-kernel},
  booktitle = {Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC,
               USA, December 1993},
  pages     = {189--193},
  year      = {1993},
  crossref  = {DBLP:conf/rtss/1993},
  url       = {https://doi.org/10.1109/REAL.1993.393501},
  doi       = {10.1109/REAL.1993.393501},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtss/BernhardHHS93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/StefaniHH92,
  author    = {Jean{-}Bernard Stefani and
               Laurent Hazard and
               Fran{\c{c}}ois Horn},
  title     = {Computational model for distributed multimedia applications based
               on a synchronous programming language},
  journal   = {Computer Communications},
  volume    = {15},
  number    = {2},
  pages     = {114--128},
  year      = {1992},
  url       = {https://doi.org/10.1016/0140-3664(92)90131-W},
  doi       = {10.1016/0140-3664(92)90131-W},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/comcom/StefaniHH92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nossdav/BlairCAHHS92,
  author    = {Gordon S. Blair and
               Geoff Coulson and
               P. Auzimour and
               Laurent Hazard and
               Fran{\c{c}}ois Horn and
               Jean{-}Bernard Stefani},
  title     = {An Integrated Platform and Computational Model for Open Distrinuted
               Multimedia Applications},
  booktitle = {Network and Operating System Support for Digital Audio and Video,
               Third International Workshop, La Jolla, California, USA, November
               12-13, 1992, Proceedings},
  pages     = {223--236},
  year      = {1992},
  crossref  = {DBLP:conf/nossdav/1992},
  url       = {https://doi.org/10.1007/3-540-57183-3\_20},
  doi       = {10.1007/3-540-57183-3\_20},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nossdav/BlairCAHHS92},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NajmS91,
  author    = {Elie Najm and
               Jean{-}Bernard Stefani},
  title     = {Dynamic Configuration in {LOTOS}},
  booktitle = {Formal Description Techniques, IV, Proceedings of the {IFIP} {TC6/WG6.1}
               Fourth International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols, {FORTE} '91, Sydney,
               Australia, 19-22 November 1991},
  pages     = {201--216},
  year      = {1991},
  crossref  = {DBLP:conf/forte/1991},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/NajmS91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/NajmS91,
  author    = {Elie Najm and
               Jean{-}Bernard Stefani},
  title     = {Object-Based Concurrency: {A} Process Calculus Analysis},
  booktitle = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
               and Practice of Software Development, Brighton, UK, April 8-12, 1991,
               Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91)},
  pages     = {359--380},
  year      = {1991},
  crossref  = {DBLP:conf/tapsoft/1991-1},
  url       = {https://doi.org/10.1007/3-540-53982-4\_20},
  doi       = {10.1007/3-540-53982-4\_20},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/NajmS91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Stefani90,
  author    = {Jean{-}Bernard Stefani},
  title     = {{ODP:} The Next Target for the Applciation of FDTs},
  booktitle = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
               Third International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
               Spain, 5-8 November 1990},
  pages     = {427--442},
  year      = {1990},
  crossref  = {DBLP:conf/forte/1990},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/Stefani90},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/MichelS88,
  author    = {Max Michel and
               Jean{-}Bernard Stefani},
  title     = {Interval Logics and Sequential Transducers},
  booktitle = {{CAAP} '88, 13th Colloquium on Trees in Algebra and Programming, Nancy,
               France, March 21-24, 1988, Proceedings},
  pages     = {244--257},
  year      = {1988},
  crossref  = {DBLP:conf/caap/1988},
  url       = {https://doi.org/10.1007/BFb0026108},
  doi       = {10.1007/BFb0026108},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caap/MichelS88},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2019denicola,
  editor    = {Michele Boreale and
               Flavio Corradini and
               Michele Loreti and
               Rosario Pugliese},
  title     = {Models, Languages, and Tools for Concurrent and Distributed Programming
               - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th
               Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {11665},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-21485-2},
  doi       = {10.1007/978-3-030-21485-2},
  isbn      = {978-3-030-21484-5},
  timestamp = {Thu, 04 Jul 2019 14:12:17 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2019denicola},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2019,
  editor    = {Jorge A. P{\'{e}}rez and
               Nobuko Yoshida},
  title     = {Formal Techniques for Distributed Objects, Components, and Systems
               - 39th {IFIP} {WG} 6.1 International Conference, {FORTE} 2019, Held
               as Part of the 14th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June
               17-21, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11535},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-21759-4},
  doi       = {10.1007/978-3-030-21759-4},
  isbn      = {978-3-030-21758-7},
  timestamp = {Mon, 03 Jun 2019 14:41:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rc/2018,
  editor    = {Jarkko Kari and
               Irek Ulidowski},
  title     = {Reversible Computation - 10th International Conference, {RC} 2018,
               Leicester, UK, September 12-14, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11106},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-99498-7},
  doi       = {10.1007/978-3-319-99498-7},
  isbn      = {978-3-319-99497-0},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rc/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1710-02770,
  editor    = {Alex Groce and
               Stefan Leue},
  title     = {Proceedings 2nd International Workshop on Causal Reasoning for Embedded
               and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala,
               Sweden, 29th April 2017},
  series    = {{EPTCS}},
  volume    = {259},
  year      = {2017},
  url       = {http://arxiv.org/abs/1710.02770},
  timestamp = {Mon, 13 Aug 2018 16:48:58 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1710-02770},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2015,
  editor    = {Susanne Graf and
               Mahesh Viswanathan},
  title     = {Formal Techniques for Distributed Objects, Components, and Systems
               - 35th {IFIP} {WG} 6.1 International Conference, {FORTE} 2015, Held
               as Part of the 10th International Federated Conference on Distributed
               Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9039},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19195-9},
  doi       = {10.1007/978-3-319-19195-9},
  isbn      = {978-3-319-19194-2},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tgc/2015,
  editor    = {Pierre Ganty and
               Michele Loreti},
  title     = {Trustworthy Global Computing - 10th International Symposium, {TGC}
               2015, Madrid, Spain, August 31 - September 1, 2015 Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9533},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-28766-9},
  doi       = {10.1007/978-3-319-28766-9},
  isbn      = {978-3-319-28765-2},
  timestamp = {Mon, 16 Sep 2019 15:25:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tgc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/facs2/2014,
  editor    = {Ivan Lanese and
               Eric Madelaine},
  title     = {Formal Aspects of Component Software - 11th International Symposium,
               {FACS} 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8997},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-15317-9},
  doi       = {10.1007/978-3-319-15317-9},
  isbn      = {978-3-319-15316-2},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/facs2/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2013,
  editor    = {Matthias Felleisen and
               Philippa Gardner},
  title     = {Programming Languages and Systems - 22nd European Symposium on Programming,
               {ESOP} 2013, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2013, Rome, Italy, March 16-24,
               2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7792},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-37036-6},
  doi       = {10.1007/978-3-642-37036-6},
  isbn      = {978-3-642-37035-9},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2012,
  editor    = {Holger Giese and
               Grigore Rosu},
  title     = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG}
               6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1
               International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16,
               2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7273},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30793-5},
  doi       = {10.1007/978-3-642-30793-5},
  isbn      = {978-3-642-30792-8},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rc/2012,
  editor    = {Robert Gl{\"{u}}ck and
               Tetsuo Yokoyama},
  title     = {Reversible Computation, 4th International Workshop, {RC} 2012, Copenhagen,
               Denmark, July 2-3, 2012. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7581},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-36315-3},
  doi       = {10.1007/978-3-642-36315-3},
  isbn      = {978-3-642-36314-6},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rc/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2011,
  editor    = {Joost{-}Pieter Katoen and
               Barbara K{\"{o}}nig},
  title     = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference,
               {CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6901},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-23217-6},
  doi       = {10.1007/978-3-642-23217-6},
  isbn      = {978-3-642-23216-9},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coordination/2011,
  editor    = {Wolfgang De Meuter and
               Gruia{-}Catalin Roman},
  title     = {Coordination Models and Languages - 13th International Conference,
               {COORDINATION} 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6721},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21464-6},
  doi       = {10.1007/978-3-642-21464-6},
  isbn      = {978-3-642-21463-9},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/coordination/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2010,
  editor    = {Paul Gastin and
               Fran{\c{c}}ois Laroussinie},
  title     = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
               {CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6269},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15375-4},
  doi       = {10.1007/978-3-642-15375-4},
  isbn      = {978-3-642-15374-7},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/IEEEscc/2009,
  title     = {2009 {IEEE} International Conference on Services Computing {(SCC}
               2009), 21-25 September 2009, Bangalore, India},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5283889/proceeding},
  isbn      = {978-0-7695-3811-2},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/IEEEscc/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2009,
  editor    = {Mario Bravetti and
               Gianluigi Zavattaro},
  title     = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
               {CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5710},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04081-8},
  doi       = {10.1007/978-3-642-04081-8},
  isbn      = {978-3-642-04080-1},
  timestamp = {Tue, 14 May 2019 10:00:43 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/concur/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/2009,
  editor    = {David Lee and
               Ant{\'{o}}nia Lopes and
               Arnd Poetzsch{-}Heffter},
  title     = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
               6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
               International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
               2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5522},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02138-1},
  doi       = {10.1007/978-3-642-02138-1},
  isbn      = {978-3-642-02137-4},
  timestamp = {Mon, 15 Jul 2019 16:26:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/forte/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fossacs/2009,
  editor    = {Luca de Alfaro},
  title     = {Foundations of Software Science and Computational Structures, 12th
               International Conference, {FOSSACS} 2009, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2009,
               York, UK, March 22-29, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5504},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00596-1},
  doi       = {10.1007/978-3-642-00596-1},
  isbn      = {978-3-642-00595-4},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fossacs/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpce/2008,
  editor    = {Yannis Smaragdakis and
               Jeremy G. Siek},
  title     = {Generative Programming and Component Engineering, 7th International
               Conference, {GPCE} 2008, Nashville, TN, USA, October 19-23, 2008,
               Proceedings},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-267-2},
  timestamp = {Mon, 27 Oct 2008 13:16:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2008wads,
  editor    = {Rog{\'{e}}rio de Lemos and
               Jean{-}Charles Fabre and
               Cristina Gacek and
               Fabio Gadducci and
               Maurice H. ter Beek},
  title     = {Architecting Dependable Systems {VI}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5835},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10248-6},
  doi       = {10.1007/978-3-642-10248-6},
  isbn      = {978-3-642-10247-9},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2008wads},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cbse/2007,
  editor    = {Heinz W. Schmidt and
               Ivica Crnkovic and
               George T. Heineman and
               Judith A. Stafford},
  title     = {Component-Based Software Engineering, 10th International Symposium,
               {CBSE} 2007, Medford, MA, USA, July 9-11, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4608},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73551-9},
  doi       = {10.1007/978-3-540-73551-9},
  isbn      = {978-3-540-73550-2},
  timestamp = {Tue, 14 May 2019 10:00:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cbse/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmco/2007,
  editor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Susanne Graf and
               Willem P. de Roever},
  title     = {Formal Methods for Components and Objects, 6th International Symposium,
               {FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
               Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {5382},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-92188-2},
  doi       = {10.1007/978-3-540-92188-2},
  isbn      = {978-3-540-92187-5},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmco/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpce/2007,
  editor    = {Charles Consel and
               Julia L. Lawall},
  title     = {Generative Programming and Component Engineering, 6th International
               Conference, {GPCE} 2007, Salzburg, Austria, October 1-3, 2007, Proceedings},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-855-8},
  timestamp = {Wed, 09 Apr 2008 15:05:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2007,
  title     = {29th International Conference on Software Engineering {(ICSE} 2007),
               Minneapolis, MN, USA, May 20-26, 2007},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/4222553/proceeding},
  isbn      = {0-7695-2828-7},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2007},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoopw/2006,
  editor    = {Mario S{\"{u}}dholt and
               Charles Consel},
  title     = {Object-Oriented Technology, {ECOOP} 2006 Workshop Reader, {ECOOP}
               2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports},
  series    = {Lecture Notes in Computer Science},
  volume    = {4379},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-71774-4},
  doi       = {10.1007/978-3-540-71774-4},
  isbn      = {978-3-540-71772-0},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ecoopw/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/euromicro/2006,
  title     = {32nd {EUROMICRO} Conference on Software Engineering and Advanced Applications
               {(EUROMICRO-SEAA} 2006), August 29 - September 1, 2006, Cavtat/Dubrovnik,
               Croatia},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/11118/proceeding},
  isbn      = {0-7695-2594-6},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/euromicro/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cassis/2005,
  editor    = {Gilles Barthe and
               Benjamin Gr{\'{e}}goire and
               Marieke Huisman and
               Jean{-}Louis Lanet},
  title     = {Construction and Analysis of Safe, Secure, and Interoperable Smart
               Devices, Second International Workshop, {CASSIS} 2005, Nice, France,
               March 8-11, 2005, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3956},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11741060},
  doi       = {10.1007/11741060},
  isbn      = {3-540-33689-3},
  timestamp = {Sat, 19 Oct 2019 20:08:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cassis/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cd/2005,
  editor    = {Alan Dearle and
               Susan Eisenbach},
  title     = {Component Deployment, Third International Working Conference, {CD}
               2005, Grenoble, France, November 28-29, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3798},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11590712},
  doi       = {10.1007/11590712},
  isbn      = {3-540-30517-3},
  timestamp = {Tue, 14 May 2019 10:00:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cd/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/estimedia/2005,
  editor    = {Miguel Miranda and
               Soonhoi Ha},
  title     = {Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time
               Multimedia, ESTImedia 2005, September 22-23, 2005, New York Metropolitan
               Area, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/10172/proceeding},
  isbn      = {0-7803-9347-3},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/estimedia/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2005,
  editor    = {Martin Steffen and
               Gianluigi Zavattaro},
  title     = {Formal Methods for Open Object-Based Distributed Systems, 7th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2005, Athens, Greece,
               June 15-17, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3535},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b136996},
  doi       = {10.1007/b136996},
  isbn      = {3-540-26181-8},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gpce/2005,
  editor    = {Robert Gl{\"{u}}ck and
               Michael R. Lowry},
  title     = {Generative Programming and Component Engineering, 4th International
               Conference, {GPCE} 2005, Tallinn, Estonia, September 29 - October
               1, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3676},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11561347},
  doi       = {10.1007/11561347},
  isbn      = {3-540-29138-5},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gpce/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icac/2005,
  title     = {Second International Conference on Autonomic Computing {(ICAC} 2005),
               13-16 June 2005, Seattle, WA, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/10030/proceeding},
  isbn      = {0-7695-2276-9},
  timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icac/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/srds/2005,
  title     = {24th {IEEE} Symposium on Reliable Distributed Systems {(SRDS} 2005),26-28
               October 2005, Orlando, FL, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/10345/proceeding},
  isbn      = {0-7695-2463-X},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/srds/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cbse/2004,
  editor    = {Ivica Crnkovic and
               Judith A. Stafford and
               Heinz W. Schmidt and
               Kurt C. Wallnau},
  title     = {Component-Based Software Engineering, 7th International Symposium,
               {CBSE} 2004, Edinburgh, UK, May 24-25, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3054},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b97813},
  doi       = {10.1007/b97813},
  isbn      = {3-540-21998-6},
  timestamp = {Sun, 02 Jun 2019 21:17:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cbse/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gc/2004,
  editor    = {Corrado Priami and
               Paola Quaglia},
  title     = {Global Computing, {IST/FET} International Workshop, {GC} 2004, Rovereto,
               Italy, March 9-12, 2004, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3267},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b103251},
  doi       = {10.1007/b103251},
  isbn      = {3-540-24101-9},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gc/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/middleware/2004w2,
  editor    = {Fabio Kon and
               F{\'{a}}bio M. Costa and
               Nanbor Wang and
               Renato Cerqueira},
  title     = {Proceedings of the 3rd Workshop on Adaptive and Reflective Middleware,
               {ARM} 2003, Toronto, Ontario, Canada, October 19, 2004},
  publisher = {{ACM}},
  year      = {2004},
  isbn      = {1-58113-949-7},
  timestamp = {Thu, 12 Nov 2015 16:50:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/middleware/2004w2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigopsE/2004,
  editor    = {Yolande Berbers and
               Miguel Castro},
  title     = {Proceedings of the 11st {ACM} {SIGOPS} European Workshop, Leuven,
               Belgium, September 19-22, 2004},
  publisher = {{ACM}},
  year      = {2004},
  timestamp = {Wed, 02 Apr 2008 11:55:30 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigopsE/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2003,
  editor    = {Elie Najm and
               Uwe Nestmann and
               Perdita Stevens},
  title     = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP}
               {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November
               19.21, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2884},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94120},
  doi       = {10.1007/b94120},
  isbn      = {3-540-20491-1},
  timestamp = {Tue, 14 May 2019 10:00:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2003,
  editor    = {Alex Aiken and
               Greg Morrisett},
  title     = {Conference Record of {POPL} 2003: The 30th {SIGPLAN-SIGACT} Symposium
               on Principles of Programming Languages, New Orleans, Louisisana, USA,
               January 15-17, 2003},
  publisher = {{ACM}},
  year      = {2003},
  url       = {http://dl.acm.org/citation.cfm?id=604131},
  isbn      = {1-58113-628-5},
  timestamp = {Mon, 18 Mar 2013 08:37:45 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigopsE/2002,
  editor    = {Gilles Muller and
               Eric Jul},
  title     = {Proceedings of the 10th {ACM} {SIGOPS} European Workshop, Saint-Emilion,
               France, July 1, 2002},
  publisher = {{ACM}},
  year      = {2002},
  timestamp = {Wed, 02 Apr 2008 12:13:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sigopsE/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/usenix/2002g,
  editor    = {Carla Schlatter Ellis},
  title     = {Proceedings of the General Track: 2002 {USENIX} Annual Technical Conference,
               June 10-15, 2002, Monterey, California, {USA}},
  publisher = {{USENIX}},
  year      = {2002},
  isbn      = {1-880446-00-6},
  timestamp = {Tue, 27 Aug 2002 09:04:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/usenix/2002g},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2000,
  editor    = {Scott F. Smith and
               Carolyn L. Talcott},
  title     = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
               {TC6/WG6.1} Fourth International Conference on Formal Methods for
               Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
               2000, Stanford, California, {USA}},
  series    = {{IFIP} Conference Proceedings},
  volume    = {177},
  publisher = {Kluwer},
  year      = {2000},
  isbn      = {0-7923-7923-3},
  timestamp = {Thu, 21 Dec 2017 23:26:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/1999,
  editor    = {Paolo Ciancarini and
               Alessandro Fantechi and
               Roberto Gorrieri},
  title     = {Formal Methods for Open Object-Based Distributed Systems, {IFIF} {TC6/WG6.1}
               Third International Conference on Formal Methods for Open Object-Based
               Distributed Systems (FMOODS), February 15-18, 1999, Florence, Italy},
  series    = {{IFIP} Conference Proceedings},
  volume    = {139},
  publisher = {Kluwer},
  year      = {1999},
  isbn      = {0-7923-8429-6},
  timestamp = {Tue, 04 Mar 2003 07:57:24 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/fmoods/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/1999,
  editor    = {Jianping Wu and
               Samuel T. Chanson and
               Qiang Gao},
  title     = {Formal Methods for Protocol Engineering and Distributed Systems, {FORTE}
               {XII} / {PSTV} XIX'99, {IFIP} {TC6} {WG6.1} Joint International Conference
               on Formal Description Techniques for Distributed Systems and Communication
               Protocols {(FORTE} {XII)} and Protocol Specification, Testing and
               Verification {(PSTV} XIX), October 5-8, 1999, Beijing, China},
  series    = {{IFIP} Conference Proceedings},
  volume    = {156},
  publisher = {Kluwer},
  year      = {1999},
  isbn      = {0-7923-8646-9},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/reflection/1999,
  editor    = {Pierre Cointe},
  title     = {Meta-Level Architectures and Reflection, Second International Conference,
               Reflection'99, Saint-Malo, France, July 19-21, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1616},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48443-4},
  doi       = {10.1007/3-540-48443-4},
  isbn      = {3-540-66280-4},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/reflection/1999},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isn/1998,
  editor    = {Sebastiano Trigila and
               Alvin P. Mullery and
               M{\'{a}}rio Campolargo and
               Hans Vanderstraeten and
               Marcel Mampaey},
  title     = {Intelligence in Services and Networks: Technology for Ubiquitous Telecom
               Services, 5th International Conference on Intelligence and Services
               in Networks, IS{\&}N'98, Antwerp, Belgium, May 25-28, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1430},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0056946},
  doi       = {10.1007/BFb0056946},
  isbn      = {3-540-64598-5},
  timestamp = {Tue, 14 May 2019 10:00:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isn/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isorc/1998,
  title     = {1st International Symposium on Object-Oriented Real-Time Distributed
               Computing {(ISORC} '98), 20-22 April 1998, Kyoto, Japan},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5419/proceeding},
  isbn      = {0-8186-8430-5},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isorc/1998},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/arts/1997,
  editor    = {Miquel Bertran and
               Teodor Rus},
  title     = {Transformation-Based Reactive Systems Development, 4th International
               {AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
               Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1231},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63010-4},
  doi       = {10.1007/3-540-63010-4},
  isbn      = {3-540-63010-4},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/arts/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/europar/1997,
  editor    = {Christian Lengauer and
               Martin Griebl and
               Sergei Gorlatch},
  title     = {Euro-Par '97 Parallel Processing, Third International Euro-Par Conference,
               Passau, Germany, August 26-29, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1300},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0002712},
  doi       = {10.1007/BFb0002712},
  isbn      = {3-540-63440-1},
  timestamp = {Tue, 14 May 2019 10:00:46 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/europar/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cost/1995,
  editor    = {David Hutchison and
               Henning Christiansen and
               Geoff Coulson and
               Andr{\'{e}} A. S. Danthine},
  title     = {Teleservices and Multimedia Communications, Second International {COST}
               237 Workshop, Copenhagen, Denmark, November 20-22, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1052},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61028-6},
  doi       = {10.1007/3-540-61028-6},
  isbn      = {3-540-61028-6},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cost/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/1995,
  editor    = {Gregor von Bochmann and
               Rachida Dssouli and
               Omar Rafiq},
  title     = {Formal Description Techniques VIII, Proceedings of the {IFIP} {TC6}
               Eighth International Conference on Formal Description Techniques,
               Montreal, Canada, October 1995},
  series    = {{IFIP} Conference Proceedings},
  volume    = {43},
  publisher = {Chapman {\&} Hall},
  year      = {1996},
  isbn      = {0-412-73270-X},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/1995},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mm/1994,
  editor    = {Meera Blattner and
               John O. Limb},
  title     = {Proceedings of the Second {ACM} International Conference on Multimedia
               '94, San Francisco, CA, USA, October 15-20, 1994},
  publisher = {{ACM} Press},
  year      = {1994},
  url       = {http://dl.acm.org/citation.cfm?id=192593},
  isbn      = {0-89791-686-7},
  timestamp = {Fri, 09 Dec 2011 14:34:06 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mm/1994},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtss/1993,
  title     = {Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC,
               USA, December 1993},
  publisher = {{IEEE} Computer Society},
  year      = {1993},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/3143/proceeding},
  isbn      = {0-8186-4480-X},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtss/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nossdav/1992,
  editor    = {P. Venkat Rangan},
  title     = {Network and Operating System Support for Digital Audio and Video,
               Third International Workshop, La Jolla, California, USA, November
               12-13, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {712},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-57183-3},
  doi       = {10.1007/3-540-57183-3},
  isbn      = {3-540-57183-3},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/nossdav/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/1991,
  editor    = {Ken R. Parker and
               Gordon A. Rose},
  title     = {Formal Description Techniques, IV, Proceedings of the {IFIP} {TC6/WG6.1}
               Fourth International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols, {FORTE} '91, Sydney,
               Australia, 19-22 November 1991},
  series    = {{IFIP} Transactions},
  volume    = {{C-2}},
  publisher = {North-Holland},
  year      = {1992},
  isbn      = {0-444-89402-0},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapsoft/1991-1,
  editor    = {Samson Abramsky and
               T. S. E. Maibaum},
  title     = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
               and Practice of Software Development, Brighton, UK, April 8-12, 1991,
               Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91)},
  series    = {Lecture Notes in Computer Science},
  volume    = {493},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-53982-4},
  doi       = {10.1007/3-540-53982-4},
  isbn      = {3-540-53982-4},
  timestamp = {Tue, 14 May 2019 10:00:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/1991-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/forte/1990,
  editor    = {Juan Quemada and
               Jos{\'{e}} A. Ma{\~{n}}as and
               Enrique V{\'{a}}zquez},
  title     = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
               Third International Conference on Formal Description Techniques for
               Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
               Spain, 5-8 November 1990},
  publisher = {North-Holland},
  year      = {1991},
  isbn      = {0-444-89024-6},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/forte/1990},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/caap/1988,
  editor    = {Max Dauchet and
               Maurice Nivat},
  title     = {{CAAP} '88, 13th Colloquium on Trees in Algebra and Programming, Nancy,
               France, March 21-24, 1988, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {299},
  publisher = {Springer},
  year      = {1988},
  url       = {https://doi.org/10.1007/BFb0026091},
  doi       = {10.1007/BFb0026091},
  isbn      = {3-540-19021-X},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caap/1988},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics