Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jean-Bernard Stefani
@inproceedings{DBLP:conf/icin/DiarraGOMS24,
author = {Boubacar Diarra and
Karine Guillouard and
Meryem Ouzzif and
Philippe Merle and
Jean{-}Bernard Stefani},
editor = {Prosper Chemouil and
Barbara Martini and
Carmen Mas Machuca and
Panagiotis Papadimitriou and
Davide Borsatti and
St{\'{e}}phane Rovedakis},
title = {In-Depth Analysis of Kubernetes Manifest Verification Tools for Robust
{CNF} Deployment},
booktitle = {27th Conference on Innovation in Clouds, Internet and Networks, {ICIN}
2024, Paris, France, March 11-14, 2024},
pages = {17--24},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICIN60470.2024.10494445},
doi = {10.1109/ICIN60470.2024.10494445},
timestamp = {Fri, 19 Apr 2024 13:46:47 +0200},
biburl = {https://dblp.org/rec/conf/icin/DiarraGOMS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FabbrettiLS22,
author = {Giovanni Fabbretti and
Ivan Lanese and
Jean{-}Bernard Stefani},
editor = {Adri{\'{a}}n Riesco and
Min Zhang},
title = {Generation of a Reversible Semantics for Erlang in Maude},
booktitle = {Formal Methods and Software Engineering - 23rd International Conference
on Formal Engineering Methods, {ICFEM} 2022, Madrid, Spain, October
24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13478},
pages = {106--122},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17244-1\_7},
doi = {10.1007/978-3-031-17244-1\_7},
timestamp = {Tue, 18 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfem/FabbrettiLS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/LamiLSCF22,
author = {Pietro Lami and
Ivan Lanese and
Jean{-}Bernard Stefani and
Claudio Sacerdoti Coen and
Giovanni Fabbretti},
editor = {Claudio Antares Mezzina and
Krzysztof Podlaski},
title = {Reversibility in Erlang: Imperative Constructs},
booktitle = {Reversible Computation - 14th International Conference, {RC} 2022,
Urbino, Italy, July 5-6, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13354},
pages = {187--203},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-09005-9\_13},
doi = {10.1007/978-3-031-09005-9\_13},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/LamiLSCF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/FabbrettiLS21,
author = {Giovanni Fabbretti and
Ivan Lanese and
Jean{-}Bernard Stefani},
editor = {Shigeru Yamashita and
Tetsuo Yokoyama},
title = {Causal-Consistent Debugging of Distributed Erlang Programs},
booktitle = {Reversible Computation - 13th International Conference, {RC} 2021,
Virtual Event, July 7-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12805},
pages = {79--95},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79837-6\_5},
doi = {10.1007/978-3-030-79837-6\_5},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/FabbrettiLS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GosslerS20,
author = {Gregor G{\"{o}}ssler and
Jean{-}Bernard Stefani},
title = {Causality analysis and fault ascription in component-based systems},
journal = {Theor. Comput. Sci.},
volume = {837},
pages = {158--180},
year = {2020},
url = {https://doi.org/10.1016/j.tcs.2020.06.010},
doi = {10.1016/J.TCS.2020.06.010},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/GosslerS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FantechiNS19,
author = {Alessandro Fantechi and
Elie Najm and
Jean{-}Bernard Stefani},
editor = {Michele Boreale and
Flavio Corradini and
Michele Loreti and
Rosario Pugliese},
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},
series = {Lecture Notes in Computer Science},
volume = {11665},
pages = {278--297},
publisher = {Springer},
year = {2019},
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/conf/birthday/FantechiNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cnsm/SyllaGKOMRS19,
author = {Adja Ndeye Sylla and
Karine Guillouard and
Fr{\'{e}}d{\'{e}}ric Klamm and
Meryem Ouzzif and
Philippe Merle and
Souha Ben Rayana and
Jean{-}Bernard Stefani},
editor = {Hanan Lutfiyya and
Yixin Diao and
Nur Zincir{-}Heywood and
R{\'{e}}mi Badonnel and
Edmundo R. M. Madeira},
title = {Formal Verification of Orchestration Templates for Reliable Deployment
with OpenStack Heat\({}^{\mbox{*}}\)},
booktitle = {15th International Conference on Network and Service Management, {CNSM}
2019, Halifax, NS, Canada, October 21-25, 2019},
pages = {1--5},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/CNSM46954.2019.9012739},
doi = {10.23919/CNSM46954.2019.9012739},
timestamp = {Fri, 08 Dec 2023 07:53:07 +0100},
biburl = {https://dblp.org/rec/conf/cnsm/SyllaGKOMRS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/StefaniV19,
author = {Jean{-}Bernard Stefani and
Martin Vassor},
editor = {Jorge A. P{\'{e}}rez and
Nobuko Yoshida},
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},
series = {Lecture Notes in Computer Science},
volume = {11535},
pages = {242--260},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21759-4\_14},
doi = {10.1007/978-3-030-21759-4\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/StefaniV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/VassorS18,
author = {Martin Vassor and
Jean{-}Bernard Stefani},
editor = {Jarkko Kari and
Irek Ulidowski},
title = {Checkpoint/Rollback vs Causally-Consistent Reversibility},
booktitle = {Reversible Computation - 10th International Conference, {RC} 2018,
Leicester, UK, September 12-14, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11106},
pages = {286--303},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-99498-7\_20},
doi = {10.1007/978-3-319-99498-7\_20},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rc/VassorS18.bib},
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},
editor = {Alex Groce and
Stefan Leue},
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},
series = {{EPTCS}},
volume = {259},
pages = {47--53},
year = {2017},
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/journals/corr/abs-1710-03393.bib},
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 = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LaneseMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ClaudelSS15,
author = {Benoit Claudel and
Quentin Sabah and
Jean{-}Bernard Stefani},
editor = {Susanne Graf and
Mahesh Viswanathan},
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},
series = {Lecture Notes in Computer Science},
volume = {9039},
pages = {213--227},
publisher = {Springer},
year = {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/conf/forte/ClaudelSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/GosslerS15,
author = {Gregor G{\"{o}}{\ss}ler and
Jean{-}Bernard Stefani},
editor = {Pierre Ganty and
Michele Loreti},
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},
series = {Lecture Notes in Computer Science},
volume = {9533},
pages = {79--94},
publisher = {Springer},
year = {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/conf/tgc/GosslerS15.bib},
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/conf/rc/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/Stefani14,
author = {Jean{-}Bernard Stefani},
editor = {Ivan Lanese and
Eric Madelaine},
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},
series = {Lecture Notes in Computer Science},
volume = {8997},
pages = {3--23},
publisher = {Springer},
year = {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/conf/facs2/Stefani14.bib},
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},
editor = {Matthias Felleisen and
Philippa Gardner},
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},
series = {Lecture Notes in Computer Science},
volume = {7792},
pages = {370--390},
publisher = {Springer},
year = {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/conf/esop/LaneseLMSS13.bib},
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. Exp.},
volume = {42},
number = {5},
pages = {559--583},
year = {2012},
url = {https://doi.org/10.1002/spe.1077},
doi = {10.1002/SPE.1077},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/SeinturierMRRSS12.bib},
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},
editor = {Holger Giese and
Grigore Rosu},
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},
series = {Lecture Notes in Computer Science},
volume = {7273},
pages = {1--17},
publisher = {Springer},
year = {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/conf/forte/LienhardtLMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rc/LaneseMS12,
author = {Ivan Lanese and
Claudio Antares Mezzina and
Jean{-}Bernard Stefani},
editor = {Robert Gl{\"{u}}ck and
Tetsuo Yokoyama},
title = {Controlled Reversibility and Compensations},
booktitle = {Reversible Computation, 4th International Workshop, {RC} 2012, Copenhagen,
Denmark, July 2-3, 2012. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {7581},
pages = {233--240},
publisher = {Springer},
year = {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/conf/rc/LaneseMS12.bib},
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 = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LengletSS11.bib},
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},
editor = {Joost{-}Pieter Katoen and
Barbara K{\"{o}}nig},
title = {Controlling Reversibility in Higher-Order Pi},
booktitle = {{CONCUR} 2011 - Concurrency Theory - 22nd International Conference,
{CONCUR} 2011, Aachen, Germany, September 6-9, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6901},
pages = {297--311},
publisher = {Springer},
year = {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/conf/concur/LaneseMSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/GiustoS11,
author = {Cinzia Di Giusto and
Jean{-}Bernard Stefani},
editor = {Wolfgang De Meuter and
Gruia{-}Catalin Roman},
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},
series = {Lecture Notes in Computer Science},
volume = {6721},
pages = {16--30},
publisher = {Springer},
year = {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/conf/coordination/GiustoS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LaneseMS10,
author = {Ivan Lanese and
Claudio Antares Mezzina and
Jean{-}Bernard Stefani},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Reversing Higher-Order Pi},
booktitle = {{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},
pages = {478--493},
publisher = {Springer},
year = {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/conf/concur/LaneseMS10.bib},
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/books/hal/Stefani09.bib},
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 = {Ann. 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 = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/adt/BlairCS09.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SCC.2009.27},
doi = {10.1109/SCC.2009.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEscc/SeinturierMFDSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LengletSS09,
author = {Sergue{\"{\i}} Lenglet and
Alan Schmitt and
Jean{-}Bernard Stefani},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
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},
series = {Lecture Notes in Computer Science},
volume = {5710},
pages = {448--462},
publisher = {Springer},
year = {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/conf/concur/LengletSS09.bib},
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},
editor = {David Lee and
Ant{\'{o}}nia Lopes and
Arnd Poetzsch{-}Heffter},
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},
series = {Lecture Notes in Computer Science},
volume = {5522},
pages = {167--181},
publisher = {Springer},
year = {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/conf/forte/LienhardtMSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/LengletSS09,
author = {Sergue{\"{\i}} Lenglet and
Alan Schmitt and
Jean{-}Bernard Stefani},
editor = {Luca de Alfaro},
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},
series = {Lecture Notes in Computer Science},
volume = {5504},
pages = {257--271},
publisher = {Springer},
year = {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/conf/fossacs/LengletSS09.bib},
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 = {J. Syst. Archit.},
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 = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/PolakovicS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/LienhardtSS08,
author = {Michael Lienhardt and
Alan Schmitt and
Jean{-}Bernard Stefani},
editor = {Yannis Smaragdakis and
Jeremy G. Siek},
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},
publisher = {{ACM}},
year = {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/conf/gpce/LienhardtSS08.bib},
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},
editor = {Rog{\'{e}}rio de Lemos and
Jean{-}Charles Fabre and
Cristina Gacek and
Fabio Gadducci and
Maurice H. ter Beek},
title = {A Self-repair Architecture for Cluster Systems},
booktitle = {Architecting Dependable Systems {VI}},
series = {Lecture Notes in Computer Science},
volume = {5835},
pages = {124--147},
publisher = {Springer},
year = {2008},
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/conf/icse/BoyerPGSS08.bib},
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 Syst. Online},
volume = {8},
number = {11},
year = {2007},
url = {https://doi.org/10.1109/MDSO.2007.65},
doi = {10.1109/MDSO.2007.65},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dsonline/AbdellatifKS07.bib},
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},
editor = {Heinz W. Schmidt and
Ivica Crnkovic and
George T. Heineman and
Judith A. Stafford},
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},
series = {Lecture Notes in Computer Science},
volume = {4608},
pages = {242--257},
publisher = {Springer},
year = {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/conf/cbse/PolakovicMSD07.bib},
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},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
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},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {153--178},
publisher = {Springer},
year = {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/conf/fmco/RoyHRSYC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gpce/LienhardtSS07,
author = {Michael Lienhardt and
Alan Schmitt and
Jean{-}Bernard Stefani},
editor = {Charles Consel and
Julia L. Lawall},
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},
publisher = {{ACM}},
year = {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/conf/gpce/LienhardtSS07.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICSE.2007.82},
doi = {10.1109/ICSE.2007.82},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/LeclercqOQS07.bib},
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} Softw. Eng. Notes},
volume = {31},
number = {2},
year = {2006},
url = {https://doi.org/10.1145/1118537.1123061},
doi = {10.1145/1118537.1123061},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/BidingerLQSS06.bib},
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. Exp.},
volume = {36},
number = {11-12},
pages = {1257--1284},
year = {2006},
url = {https://doi.org/10.1002/spe.767},
doi = {10.1002/SPE.767},
timestamp = {Thu, 09 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spe/BrunetonCLQS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/CoupayeS06,
author = {Thierry Coupaye and
Jean{-}Bernard Stefani},
editor = {Mario S{\"{u}}dholt and
Charles Consel},
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},
series = {Lecture Notes in Computer Science},
volume = {4379},
pages = {117--129},
publisher = {Springer},
year = {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/conf/ecoopw/CoupayeS06.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/EUROMICRO.2006.26},
doi = {10.1109/EUROMICRO.2006.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euromicro/PolakovicOS06.bib},
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 Syst. Online},
volume = {6},
number = {9},
year = {2005},
url = {https://doi.org/10.1109/MDSO.2005.47},
doi = {10.1109/MDSO.2005.47},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dsonline/LeclercqQS05.bib},
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},
editor = {Gilles Barthe and
Benjamin Gr{\'{e}}goire and
Marieke Huisman and
Jean{-}Louis Lanet},
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},
series = {Lecture Notes in Computer Science},
volume = {3956},
pages = {118--137},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11741060\_7},
doi = {10.1007/11741060\_7},
timestamp = {Fri, 09 Apr 2021 18:40:44 +0200},
biburl = {https://dblp.org/rec/conf/cassis/OzcanJS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cd/AbdellatifKS05,
author = {Takoua Abdellatif and
Jakub Kornas and
Jean{-}Bernard Stefani},
editor = {Alan Dearle and
Susan Eisenbach},
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},
series = {Lecture Notes in Computer Science},
volume = {3798},
pages = {134--148},
publisher = {Springer},
year = {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/conf/cd/AbdellatifKS05.bib},
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},
editor = {Miguel Miranda and
Soonhoi Ha},
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},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ESTMED.2005.1518082},
doi = {10.1109/ESTMED.2005.1518082},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/estimedia/OzcanLS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BidingerSS05,
author = {Philippe Bidinger and
Alan Schmitt and
Jean{-}Bernard Stefani},
editor = {Martin Steffen and
Gianluigi Zavattaro},
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},
series = {Lecture Notes in Computer Science},
volume = {3535},
pages = {31--46},
publisher = {Springer},
year = {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/conf/fmoods/BidingerSS05.bib},
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},
editor = {Robert Gl{\"{u}}ck and
Michael R. Lowry},
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},
series = {Lecture Notes in Computer Science},
volume = {3676},
pages = {389--404},
publisher = {Springer},
year = {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/conf/gpce/HirschkoffHPSS05.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ICAC.2005.9},
doi = {10.1109/ICAC.2005.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icac/BouchenakBHKPQS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/BidingerLQSS05,
author = {Philippe Bidinger and
Matthieu Leclercq and
Vivien Qu{\'{e}}ma and
Alan Schmitt and
Jean{-}Bernard Stefani},
editor = {Gary T. Leavens},
title = {Dream types: a domain specific type system for component-based message-oriented
middleware},
booktitle = {Proceedings of the 2005 Conference on Specification and Verification
of Component-Based Systems, {SAVCBS} '05, Lisbon, Portugal, September
5-6, 2005},
pages = {2},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1123058.1123061},
doi = {10.1145/1123058.1123061},
timestamp = {Thu, 10 Feb 2022 15:21:21 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/BidingerLQSS05.bib},
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},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/RELDIS.2005.8},
doi = {10.1109/RELDIS.2005.8},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/BouchenakBKHMSPQ05.bib},
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 = {Obj. Logiciel Base donn{\'{e}}es R{\'{e}}seaux},
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 = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/Lobjet/Stefani04.bib},
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},
editor = {Ivica Crnkovic and
Judith A. Stafford and
Heinz W. Schmidt and
Kurt C. Wallnau},
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},
series = {Lecture Notes in Computer Science},
volume = {3054},
pages = {7--22},
publisher = {Springer},
year = {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/conf/cbse/BrunetonCLQS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gc/SchmittS04,
author = {Alan Schmitt and
Jean{-}Bernard Stefani},
editor = {Corrado Priami and
Paola Quaglia},
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},
series = {Lecture Notes in Computer Science},
volume = {3267},
pages = {146--178},
publisher = {Springer},
year = {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/conf/gc/SchmittS04.bib},
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},
editor = {Fabio Kon and
F{\'{a}}bio M. Costa and
Nanbor Wang and
Renato Cerqueira},
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},
publisher = {{ACM}},
year = {2004},
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/conf/middleware/LeclercqQS04.bib},
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},
editor = {Yolande Berbers and
Miguel Castro},
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},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1133572.1133574},
doi = {10.1145/1133572.1133574},
timestamp = {Thu, 07 Nov 2019 10:24:25 +0100},
biburl = {https://dblp.org/rec/conf/sigopsE/BouchenakBCJSS04.bib},
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/journals/corr/cs-NI-0411082.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/BidingerS03,
author = {Philippe Bidinger and
Jean{-}Bernard Stefani},
editor = {Elie Najm and
Uwe Nestmann and
Perdita Stevens},
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},
series = {Lecture Notes in Computer Science},
volume = {2884},
pages = {109--123},
publisher = {Springer},
year = {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/conf/fmoods/BidingerS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SchmittS03,
author = {Alan Schmitt and
Jean{-}Bernard Stefani},
editor = {Alex Aiken and
Greg Morrisett},
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},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/604131.604136},
doi = {10.1145/604131.604136},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/popl/SchmittS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Stefani03,
author = {Jean{-}Bernard Stefani},
editor = {Riccardo Focardi and
Gianluigi Zavattaro},
title = {A calculus of Kells},
booktitle = {2nd {EATCS} Workshop on Foundations of Global Computing, {FGC} 2003,
Satellite Event of {ICALP} 2003, Eindhoven, The Netherlands, June
28-29, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {85},
number = {1},
pages = {40--60},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80087-8},
doi = {10.1016/S1571-0661(05)80087-8},
timestamp = {Thu, 08 Dec 2022 14:02:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Stefani03.bib},
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/conf/dais/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/RippertS02,
author = {Christophe Rippert and
Jean{-}Bernard Stefani},
editor = {Gilles Muller and
Eric Jul},
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},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/1133373.1133424},
doi = {10.1145/1133373.1133424},
timestamp = {Thu, 07 Nov 2019 10:24:25 +0100},
biburl = {https://dblp.org/rec/conf/sigopsE/RippertS02.bib},
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},
editor = {Carla Schlatter Ellis},
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},
publisher = {{USENIX}},
year = {2002},
url = {http://www.usenix.org/publications/library/proceedings/usenix02/fassino.html},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/usenix/FassinoSLM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GermainLS02,
author = {Florence Germain and
Marc Lacoste and
Jean{-}Bernard Stefani},
editor = {Vladimiro Sassone},
title = {An Abstract Machine for a Higher-Order Distributed Process Calculus},
booktitle = {Foundations of Wide Area Network Computing, {F-WAN} 2002, {ICALP}
2002 Satellite Workshop, M{\'{a}}laga, Spain, July 12-13, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {66},
number = {3},
pages = {145--169},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(04)80420-1},
doi = {10.1016/S1571-0661(04)80420-1},
timestamp = {Tue, 06 Dec 2022 10:28:51 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GermainLS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/StefaniGN00,
author = {Jean{-}Bernard Stefani and
Florence Germain and
Elie Najm},
editor = {Scott F. Smith and
Carolyn L. Talcott},
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}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {23--43},
publisher = {Kluwer},
year = {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/conf/fmoods/StefaniGN00.bib},
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 Syst. Eng.},
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 = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dse/DumantHTS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/NajmNS99,
author = {Elie Najm and
Abdelkrim Nimour and
Jean{-}Bernard Stefani},
editor = {Paolo Ciancarini and
Alessandro Fantechi and
Roberto Gorrieri},
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},
series = {{IFIP} Conference Proceedings},
volume = {139},
publisher = {Kluwer},
year = {1999},
timestamp = {Tue, 04 Mar 2003 07:57:24 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/NajmNS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NajmNS99,
author = {Elie Najm and
Abdelkrim Nimour and
Jean{-}Bernard Stefani},
editor = {Jianping Wu and
Samuel T. Chanson and
Qiang Gao},
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},
series = {{IFIP} Conference Proceedings},
volume = {156},
pages = {203--221},
publisher = {Kluwer},
year = {1999},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/NajmNS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/reflection/Stefani99,
author = {Jean{-}Bernard Stefani},
editor = {Pierre Cointe},
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},
series = {Lecture Notes in Computer Science},
volume = {1616},
pages = {93--94},
publisher = {Springer},
year = {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/conf/reflection/Stefani99.bib},
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},
editor = {Pierre Cointe},
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},
series = {Lecture Notes in Computer Science},
volume = {1616},
pages = {115--134},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48443-4\_9},
doi = {10.1007/3-540-48443-4\_9},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/reflection/BlairCDPDDHS99.bib},
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},
editor = {Sebastiano Trigila and
Alvin P. Mullery and
M{\'{a}}rio Campolargo and
Hans Vanderstraeten and
Marcel Mampaey},
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},
series = {Lecture Notes in Computer Science},
volume = {1430},
pages = {287--296},
publisher = {Springer},
year = {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/conf/isn/StefaniDTH98.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ISORC.1998.666763},
doi = {10.1109/ISORC.1998.666763},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/OliverETSH98.bib},
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 = {Comput. Networks {ISDN} Syst.},
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, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/BlairBS97.bib},
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},
editor = {Miquel Bertran and
Teodor Rus},
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},
series = {Lecture Notes in Computer Science},
volume = {1231},
pages = {216--232},
publisher = {Springer},
year = {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/conf/arts/FevrierNS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/PotonnieeS97,
author = {Olivier Potonni{\'{e}}e and
Jean{-}Bernard Stefani},
editor = {Christian Lengauer and
Martin Griebl and
Sergei Gorlatch},
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},
series = {Lecture Notes in Computer Science},
volume = {1300},
pages = {1254--1261},
publisher = {Springer},
year = {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/conf/europar/PotonnieeS97.bib},
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} J. Sel. Areas Commun.},
volume = {14},
number = {1},
pages = {249--263},
year = {1996},
url = {https://doi.org/10.1109/49.481709},
doi = {10.1109/49.481709},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsac/BlairCPRSHH96.bib},
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 = {Comput. Networks {ISDN} Syst.},
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 = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/CoulsonBSHH95.bib},
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 = {Comput. Networks {ISDN} Syst.},
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, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cn/NajmS95.bib},
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 = {Comput. Commun.},
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 = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/Stefani95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cost/LeboucherS95,
author = {Laurent Leboucher and
Jean{-}Bernard Stefani},
editor = {David Hutchison and
Henning Christiansen and
Geoff Coulson and
Andr{\'{e}} A. S. Danthine},
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},
series = {Lecture Notes in Computer Science},
volume = {1052},
pages = {192--208},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61028-6\_26},
doi = {10.1007/3-540-61028-6\_26},
timestamp = {Mon, 26 Sep 2022 16:14:00 +0200},
biburl = {https://dblp.org/rec/conf/cost/LeboucherS95.bib},
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},
editor = {Gregor von Bochmann and
Rachida Dssouli and
Omar Rafiq},
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},
series = {{IFIP} Conference Proceedings},
volume = {43},
pages = {127--142},
publisher = {Chapman {\&} Hall},
year = {1995},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/NajmSF95.bib},
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},
editor = {Meera Blattner and
John O. Limb},
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},
publisher = {{ACM} Press},
year = {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/conf/mm/BlairPCRHSH94.bib},
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/journals/cj/HornS93.bib},
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/journals/cj/TawbiHHS93.bib},
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},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/REAL.1993.393501},
doi = {10.1109/REAL.1993.393501},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/BernhardHHS93.bib},
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 = {Comput. Commun.},
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 = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/comcom/StefaniHH92.bib},
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},
editor = {P. Venkat Rangan},
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},
series = {Lecture Notes in Computer Science},
volume = {712},
pages = {223--236},
publisher = {Springer},
year = {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/conf/nossdav/BlairCAHHS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/NajmS91,
author = {Elie Najm and
Jean{-}Bernard Stefani},
editor = {Ken R. Parker and
Gordon A. Rose},
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},
series = {{IFIP} Transactions},
volume = {{C-2}},
pages = {201--216},
publisher = {North-Holland},
year = {1991},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/NajmS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/NajmS91,
author = {Elie Najm and
Jean{-}Bernard Stefani},
editor = {Samson Abramsky and
T. S. E. Maibaum},
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)},
series = {Lecture Notes in Computer Science},
volume = {493},
pages = {359--380},
publisher = {Springer},
year = {1991},
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/conf/tapsoft/NajmS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/Stefani90,
author = {Jean{-}Bernard Stefani},
editor = {Juan Quemada and
Jos{\'{e}} A. Ma{\~{n}}as and
Enrique V{\'{a}}zquez},
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},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/Stefani90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/MichelS88,
author = {Max Michel and
Jean{-}Bernard Stefani},
editor = {Max Dauchet and
Maurice Nivat},
title = {Interval Logics and Sequential Transducers},
booktitle = {{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},
pages = {244--257},
publisher = {Springer},
year = {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/conf/caap/MichelS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
