@comment{{This file has been generated by bib2bib 1.94}}
@comment{{Command line: /usr/bin/bib2bib -q -oc proceedings -ob proceedings.bib -c '$type = "INPROCEEDINGS"' /web/pub/publications/sardes.bib}}
@inproceedings{Arnaud10a,
author = {Jean Arnaud and Sara Bouchenak},
title = {{Adaptive Internet Services Through Performance and Availability Control}},
booktitle = {{The 25th ACM Symposium on Applied Computing (ACM SAC 2010)}},
year = 2010,
month = mar,
address = {Switzerland}
}
@inproceedings{gcm10,
author = {No\"{e}l de Palma and Gwena\"{e}l Delaval and Eric Rutten},
title = {QoS and Energy Management Coordination using Discrete Controller Synthesis},
booktitle = {Proceedings of the
1st International Workshop on Green Computing Middleware (GCM'2010),
In conjunction with ACM/IFIP/USENIX 11th International Middleware Conference,
{\em Bangalore, India}},
xxpages = {--},
month = nov,
year = 2010,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
note = {({\em to appear})}
}
@inproceedings{wodes10,
author = {Emil Dumitrescu and Alain Girault and Herv\'e Marchand and Eric Rutten},
title = {Multicriteria optimal discrete controller synthesis for fault-tolerant tasks},
booktitle = {Proceedings of the
10th International Workshop on Discrete Event Systems
(WODES 2010),
{\em Berlin, Germany}},
pages = {366--373},
month = aug,
year = 2010,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
note = {(to appear, IFAC online)},
url = {http://hal.inria.fr/inria-00510019}
}
@inproceedings{ispdc10,
author = {Abdoulaye Gamati\'e and Vlad Rusu and Eric Rutten},
title = {Operational Semantics of the Marte Repetitive Structure Modeling Concepts for
Data-Parallel Applications Design},
booktitle = {Proceedings of the
International Symposium on Parallel and Distributed Computing (ISPDC'2010),
{\em Istanbul, Turkey}},
url = {http://doi.ieeecomputersociety.org/10.1109/ISPDC.2010.30},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
month = jul,
year = 2010
}
@inproceedings{vecos10,
author = {Mohamed Amine {Belhaj Seboui} and Nejib {Ben Hadj Alouane} and Gwena\"el Delaval and \'Eric Rutten and Moez Yeddes},
title = {A Decentralized Supervisory Control Approach For Distributed Adaptive Systems},
booktitle = {Proceedings of the
Fourth International Workshop on Verification and Evaluation of Computer and Communication Systems,
VECoS 2010,
{\em Paris, France}},
month = jul,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
year = 2010
}
@inproceedings{cbse10,
author = {{Gwena\"el} Delaval and Eric Rutten},
title = {Reactive model-based control of reconfiguration in the Fractal component-based model},
booktitle = {Proceedings of the
13th International Symposium on Component Based Software Engineering (CBSE),
{\em Prague, Czech Republic}},
pages = {93--112},
year = 2010,
month = jun,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
url = {http://dx.doi.org/10.1007/978-3-642-13238-4_6}
}
@inproceedings{lctes10,
author = {{Gwena\"el} Delaval and {Herv\'e} Marchand and Eric Rutten},
title = {Contracts for Modular Discrete Controller Synthesis},
booktitle = {Proceedings of the
ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems,
LCTES 2010,
{\em in conjunction with CPSWeek 2010,
Stockholm, Sweden}},
pages = {57--66},
year = 2010,
month = apr,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
url = {http://doi.acm.org/10.1145/1755951.1755898}
}
@inproceedings{reconfig10,
author = {S\'ebastien Guillet and Florent de Lamotte and Eric Rutten and Guy Gogniat and Jean-Philippe Diguet.},
title = {Modeling and formal control of partial dynamic reconfiguration},
booktitle = {Proceedings of the
6th International Conference on ReConFigurable Computing and FPGAs, ReConFig 2010,
{\em Cancun, Mexico}},
xxxpages = {--},
year = 2010,
month = dec,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
note = {{\em (to appear)}}
}
@inproceedings{febid10,
author = {Eric Rutten},
title = {A language-level approach for discrete feedback control in computing systems},
booktitle = {Proc. of the Fifth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks, FeBID 2010
(in conjunction with Eurosys 2010),
{\em Paris, France}},
pages = {29--30},
month = apr,
year = 2010,
x-editorial-board = {no},
x-proceedings = {no},
x-international-audience = {yes},
url = {http://doi.acm.org/10.1145/1791204.1791211}
}
@inproceedings{warm10,
author = {{Gwena\"el} Delaval and Eric Rutten},
title = {A language-based approach to the discrete control of adaptive resource management},
booktitle = {Proc. of the Workshop on Adaptive Resource Management (WARM 2010)
(in conjunction with CPSWeek 2010),
{\em Stockholm, Sweden}},
month = apr,
year = 2010,
pages = {47--52},
x-editorial-board = {yes},
x-proceedings = {no},
x-international-audience = {yes}
}
@inproceedings{car10,
author = {Soufyane Aboubekr and {Gwena\"el} Delaval and Roger Pissard-Gibollet and Eric Rutten and Daniel Simon},
title = {Automatic generation of discrete handlers of real-time continuous control tasks},
booktitle = {Proc. of the 5th National Conference on Control Architecture of Robots (CAR'10),
{\em Douai, France}},
month = may,
year = 2010,
x-editorial-board = {no},
x-proceedings = {no},
x-international-audience = {no},
url = {http://car.ensm-douai.fr/CAR2010}
}
@inproceedings{frey09heterogeneous,
author = {Frey, Davide and Guerraoui, Rachid and Kermarrec, Anne-Marie and Koldehofe, Boris and Mogensen, Martin and Monod, Maxime and Qu\'{e}ma, Vivien},
title = {Heterogeneous gossip},
booktitle = {Proceedings of the International Conference on Middleware (Middleware)},
year = {2009},
month = dec,
pages = {42-61},
location = {Urbana-Champaign, Illinois},
publisher = {Springer-Verlag New York, Inc.},
address = {New York, NY, USA}
}
@inproceedings{guerraoui10next,
author = {Rachid Guerraoui and
Nikola Knezevic and
Vivien Qu{\'e}ma and
Marko Vukolic},
title = {{The next 700 BFT protocols}},
booktitle = {Proceedings of EuroSys},
location = {Paris, France},
month = apr,
year = {2010},
pages = {363-376},
publisher = {ACM},
year = {2010}
}
@inproceedings{gaud10efficient,
author = {Fabien Gaud and
Sylvain Geneves and
Renaud Lachaize and
Baptiste Lepers and
Fabien Mottet and
Gilles Muller and
Vivien Qu{\'e}ma},
title = {{Efficient Workstealing for Multicore Event-Driven Systems}},
booktitle = {Proceedings of the International Conference on Distributed Computing Systems (ICDCS)},
year = {2010},
pages = {516-525},
location = {Genova, Italy},
month = jun,
publisher = {IEEE Computer Society}
}
@inproceedings{benmokhtar10efficient,
author = {Sonia Ben Mokhtar and
Alessio Pace and
Vivien Qu{\'e}ma},
title = {{FireSpam: Spam Resilient Gossiping in the BAR Model}},
booktitle = {Proceedings of the International Symposium on Reliable Distributed Systems (SRDS)},
year = {2010},
location = {New Delhi, India},
month = oct
}
@inproceedings{philippe09a,
author = {Jeremy Philippe and
Noel De Palma and
Fabienne Boyer and
Olivier Gruber},
title = {Self-adapting Service Level in Java Enterprise Edition},
booktitle = {Middleware},
year = {2009},
pages = {143-162},
ee = {http://dx.doi.org/10.1007/978-3-642-10445-9_8},
url = {http://sardes.inrialpes.fr/papers/files/philippe09a.pdf}
}
@inproceedings{BaldoniBQQP07,
author = {Roberto Baldoni and Roberto Beraldi and Vivien Qu{\'e}ma and Leonardo Querzoni and Sara Tucci Piergiovanni},
booktitle = {1st International Conference on Distributed Event-Based Systems (DEBS)},
publisher = {ACM},
title = {{TERA: topic-based event routing for peer-to-peer architectures}},
year = 2007,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Brand07,
author = {Per Brand and J. Hoglund and Konstantin Popov and No{\"e}l {De Palma} and Fabienne Boyer and Nikos Parlavantzas and Vladimir Vlassov and A. Al-Shishtawy},
booktitle = {CoreGRID Workshop on Grid Programming Model, Grid and P2P Systems Architecture and Grid Systems, Tools and Environments},
title = {{The Role of Overlay Services in a Self-Managing Framework for Dynamic Virtual Organisations}},
year = 2007,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Coupaye07,
author = {Thierry Coupaye and Jean-Bernard Stefani},
booktitle = {ECOOP 2006 Workshop Reader},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {{Fractal Component-Based Software Engineering}},
volume = {4379},
year = 2007,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Polakovic07:CBSE,
author = {Juraj Polakovic and S{\'e}bastien Mazar{\'e} and Jean-Bernard Stefani and Pierre-Charles David},
booktitle = {10th ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Experience with safe dynamic reconfigurations in component-based embedded systems},
volume = {4608},
year = 2007,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
month = jul
}
@inproceedings{TatonPHBP07,
author = {Christophe Taton and No{\"e}l {De Palma} and Daniel Hagimont and Sara Bouchenak and J{\'e}r{\'e}my Philippe},
booktitle = {Distributed Objects, Middleware and Applications (DOA)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {{Self-optimization of Clustered Message-Oriented Middleware}},
volume = {4803},
year = 2007,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
month = nov
}
@inproceedings{BrotoHSPT08,
author = {Laurent Broto and
Daniel Hagimont and
Patricia Stolf and
No{\"e}l De Palma and
Suzy Temate},
title = {Autonomic management policy specification in Tune},
booktitle = {ACM Symposium on Applied Computing (SAC)},
year = 2008,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
month = mar
}
@inproceedings{Sicard08,
author = {Sylvain Sicard and Fabienne Boyer and Noel {De Palma} },
booktitle = {30th International Conference on Software Engineering (ICSE)},
title = {{Using Components for Architecture-Based Management: The Self-Repair Case}},
publisher = {ACM},
year = {2008},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
month = may
}
@inproceedings{ToureBSBPH08,
author = {Mohammed Toure and
Girma Berhe and
Patricia Stolf and
Laurent Broto and
Noel De Palma and
Daniel Hagimont},
title = {Autonomic Management for Grid Applications},
booktitle = {16th Euromicro International Conference on Parallel, Distributed
and Network-Based Processing (PDP 2008)},
publisher = {IEEE Computer Society},
year = 2008,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
month = feb
}
@inproceedings{RoyHRSYC07,
author = {P. Van Roy and S. Haridi and A. Reinefeld and J.B. Stefani and R. H. C. Yap and T. Coupaye},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium (FMCO 2007)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {{Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project}},
volume = {5382},
year = 2007,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
month = oct
}
@inproceedings{FlourisLB08,
author = {Michail D. Flouris and Renaud Lachaize and Angelos Bilas},
title = {Orchestra: Extensible block-level support for resource and data sharing in networked storage systems},
booktitle = {14th IEEE International Conference on Parallel and Distributed Systems (ICPADS '08)},
publisher = {IEEE},
year = 2008,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
month = dec
}
@inproceedings{SeinturierMSS09,
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 = {6th IEEE International Conference on Services Computing (SCC)},
publisher = {IEEE},
year = 2009,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
month = sep
}
@inproceedings{claudelal2009-hpdc,
author = {Beno\^{i}t Claudel and Guillaume Huard and Olivier Richard},
title = {TakTuk, Adaptive Deployment of Remote Executions},
month = jun,
booktitle = {Proceedings of the International Symposium on High Performance Distributed Computing (HPDC)},
year = 2009
}
@inproceedings{DePalma09ICAS,
author = {No{\"e}l {De Palma} and Nikolaos Parlavanzas and Konstantin Popov and Per Brand and Vladimir Vlassov},
title = {Tools for Autonomic Computing},
booktitle = {5th International Conference on Autonomic and Autonomous Systems (ICAS 2009)},
publisher = {IEEE Computer Society},
year = 2009,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
month = apr
}
@inproceedings{FreyGKMQ09,
author = {Davide Frey and Rachid Guerraoui and Anne-Marie Kermarrec and Maxime Monod and Vivien Qu{\'e}ma},
title = {Stretching Gossip with Live Streaming},
booktitle = {39th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)},
year = 2009,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
month = jun
}
@inproceedings{MalraitBM09DSN,
author = {Luc Malrait and Sara Bouchenak and Nicolas Marchand},
title = {Fluid modeling and control for server system performance and availability},
booktitle = {39th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)},
year = 2009,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
month = jun
}
@inproceedings{MalraitBM09ECC,
author = {Luc Malrait and Sara Bouchenak and Nicolas Marchand},
title = {Modeling and control of server systems: application to database systems},
booktitle = {10th European Control Conference (ECC 09)},
year = 2009,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
month = aug
}
@inproceedings{Rutten09,
author = {Eric Rutten},
title = {Supervisory control of adaptive and reconfigurable computing systems},
booktitle = {Proceedings of the
13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09, {June, 2009}},
year = 2009,
month = jun
}
@inproceedings{YuDGR09,
author = {Huafeng Yu and Gwena{\"e}l Delaval and Abdoulaye Gamati\'e and Eric Rutten},
title = {A Case Study on Controller Synthesis for Data-Intensive
Embedded Systems},
booktitle = {Proceedings of the 6th IEEE International Conference on
Embedded Software and Systems, ICESS'09, {May, 2009}},
year = 2009,
month = may
}
@inproceedings{KermarrecPQS09,
author = {Anne-Marie Kermarrec and Alessio Pace and Vivien Qu{\'e}ma and Valerio Schiavoni},
title = {{NAT-resilient Gossip Peer Sampling}},
booktitle = {29th International Conference on Distributed Computing Systems (ICDCS)},
year = 2009,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes},
month = jun
}
@inproceedings{Lanese2010On-the-Expressivenes,
address = {Bordeaux, France},
author = {Ivan Lanese and Jorge A. P{\'e}rez and Davide Sangiorgi and Alan Schmitt},
booktitle = {Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP 2010)},
conf = {http://sardes.inrialpes.fr/~aschmitt/papers/Lanese2010On-the-Expressivenes.pdf},
month = jun,
note = {to appear},
title = {On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi},
url = {http://sardes.inrialpes.fr/~aschmitt/papers/Lanese2010On-the-Expressivenes.pdf},
year = {2010}
}
@inproceedings{Lenglet2009Howes-Method-for-Cal,
address = {Bologna, Italy},
author = {Sergue{\"\i} Lenglet and Alan Schmitt and Jean-Bernard Stefani},
booktitle = {Proceedings of the 20th International Conference on Concurrency Theory (CONCUR 2009)},
conf = {http://sardes.inrialpes.fr/~aschmitt/papers/Lenglet2009Howes-Method-for-Cal.pdf},
month = sep,
title = {Howe's Method for Calculi with Passivation},
url = {http://sardes.inrialpes.fr/~aschmitt/papers/Lenglet2009Howes-Method-for-Cal.pdf},
year = {2009},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Lienhardt2009Typing-Component-Bas,
author = {Micha{\"e}l Lienhardt and Claudio Antares Mezzina and Alan Schmitt and Jean-Bernard Stefani},
booktitle = {Proceedings of the 11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) \& 29th Formal Techniques for Networked and Distributed Systems (FORTE)},
note = {To appear},
title = {Typing Component-Based Communication Systems},
year = {2009},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Lenglet2009Normal-bisimulations,
address = {York, United Kingdom},
author = {Sergue{\"\i} Lenglet and Alan Schmitt and Jean-Bernard Stefani},
booktitle = {Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009)},
conf = {http://sardes.inrialpes.fr/~aschmitt/papers/Lenglet2009Normal-bisimulations.pdf},
editor = {Luca de Alfaro},
month = mar,
pages = {257--271},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {Normal bisimulations in process calculi with passivation},
url = {http://sardes.inrialpes.fr/~aschmitt/papers/Lenglet2009Normal-bisimulations.pdf},
volume = {5504},
year = {2009},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Arnaud08a,
author = {Jean Arnaud and Sara Bouchenak},
title = {{Gestion de Ressources dans les Services Internet}},
booktitle = {{French Chapter of the ACM~--~SIGOPS, Conf\'erence Fran\c{c}aise des Syst\`emes d'Exploitation (CFSE'6)}},
month = feb,
year = {2008},
address = {Fribourg, Switzerland},
conf = {http://sardes.inrialpes.fr/papers/files/Arnaud08a.pdf}
}
@inproceedings{Pasin08a,
author = {Marcia Pasin and St\'ephane Fontaine and and Sara Bouchenak},
title = {{Failure Detection in Large-Scale Distributed Systems: A Survey}},
booktitle = {{6th IEEE Workshop on End-to-End Monitoring Techniques and Services (E2EMon 2008)}},
month = apr,
year = {2008},
address = {Salvador - Bahia - Brazil},
conf = {http://sardes.inrialpes.fr/papers/files/Pasin08a.pdf},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Lienhardt2008Typing-Communicating,
author = {Micha{\"e}l Lienhardt and Alan Schmitt and Jean-Bernard Stefani},
booktitle = {Proceedings of the 7th International Conference on Generative Programming and Component Engineering (GPCE'08)},
address = {Nashville, TN, USA},
conf = {http://sardes.inrialpes.fr/~aschmitt/papers/Lienhardt2008Typing-Communicating.pdf},
month = oct,
pages = {125--136},
title = {Typing Communicating Component Assemblages},
year = {2008},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Lanese2008On-the-Expressivenes,
author = {Ivan Lanese and Jorge A. P{\'e}rez and Davide Sangiorgi and Alan Schmitt},
booktitle = {Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008)},
conf = {http://sardes.inrialpes.fr/~aschmitt/papers/Lanese2008On-the-Expressivenes.pdf},
month = jun,
pages = {145--155},
slides = {http://sardes.inrialpes.fr/~aschmitt/papers/LICS_2008_short.html},
title = {On the Expressiveness and Decidability of Higher-Order Process Calculi},
year = {2008},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Bohannon2008Boomerang:-Resourcef,
alan = {Yes},
author = {Aaron Bohannon and J. Nathan Foster and Benjamin C. Pierce and Alexandre Pilkiewicz and Alan Schmitt},
booktitle = {ACM SIGPLAN--SIGACT Symposium on Principles of Programming Languages (POPL'08), San Francisco, California},
conf = {http://sardes.inrialpes.fr/~aschmitt/papers/Bohannon2008Boomerang-Resourcef.pdf},
month = jan,
pages = {407--419},
slides = {http://www.cis.upenn.edu/~jnfoster/papers/boomerang-slides.pdf},
title = {Boomerang: Resourceful Lenses for String Data},
tr = {http://www.cis.upenn.edu/~jnfoster/papers/boomerang-tr.pdf},
year = {2008},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Lienhardt2007Oz/K:-A-Kernel-Langu,
alan = {Yes},
author = {Micha{\"e}l Lienhardt and Jean-Bernard Stefani and Alan Schmitt},
booktitle = {6th International Conference on Generative Programming and Component Engineering (GPCE'07)},
conf = {http://sardes.inrialpes.fr/~aschmitt/papers/GPCE07-Lienhardt-Stefani-Schmitt.pdf},
date-added = {2007-07-23 16:05:45 +0200},
date-modified = {2008-03-22 10:40:17 +0100},
editor = {ACM},
keywords = {Kell},
month = oct,
pages = {43--52},
title = {Oz/K: A Kernel Language for Component-Based Open Programming},
year = {2007},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Geneves2007Efficient-Static-Ana,
address = {New York, NY, USA},
author = {Pierre Genev{\`e}s and Nabil Laya{\"\i}da and Alan Schmitt},
booktitle = {PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation},
conf = {http://sardes.inrialpes.fr/~aschmitt/papers/Geneves2007Efficient-Static-Ana.pdf},
doi = {http://doi.acm.org/10.1145/1250734.1250773},
isbn = {978-1-59593-633-2},
keywords = {XPath},
location = {San Diego, California, USA},
month = jun,
pages = {342--351},
publisher = {ACM Press},
title = {Efficient Static Analysis of {XML} Paths and Types},
year = {2007},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Guerraoui07high,
author = {Guerraoui, Rachid and Kostic, Dejan and Levy, Ron R. and Qu\'ema, Vivien},
title = {{A High Throughput Atomic Storage Algorithm}},
booktitle = {{The 27th IEEE International Conference on Distributed Computing Systems (ICDCS'07)}},
location = {Toronto, Canada},
year = 2007,
month = jun,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Leclercq07supporting,
author = {Lerclercq, Matthieu and {\"O}zcan, Ali Erdem and Qu\'ema, Vivien and Stefani, Jean-Bernard},
title = {{Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset}},
booktitle = {{The 29th IEEE International Conference on Software Engineering (ICSE'07)}},
location = {Minneapolis, USA},
year = 2007,
month = {May},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Bouchenak06c,
author = {Sara Bouchenak and Alan Cox and Steven Dropsho and Sumit Mittal and Willy Zwaenepoel},
title = {{Caching Dynamic Web Content; Designing and Analysing an Aspect-Oriented Solution}},
booktitle = {ACM/IFIP/USENIX 7th International Middleware Conference (Middleware 2006)},
year = 2006,
address = {Melbourne, Australia},
month = nov,
url = {http://sardes.inrialpes.fr/papers/files/06-Bouchenak-Middleware.pdf},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Polakovic06,
address = {Washington, DC, USA},
author = {Juraj Polakovic and Ali Erdem {\"O}zcan and Jean-Bernard Stefani},
booktitle = {EUROMICRO '06: Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications},
date-added = {2006-10-06 13:27:44 +0200},
date-modified = {2006-10-13 11:08:58 +0200},
doi = {http://dx.doi.org/10.1109/EUROMICRO.2006.26},
isbn = {0-7695-2594-6},
pages = {178--185},
publisher = {IEEE Computer Society},
title = {Building Reconfigurable Component-Based OS with THINK},
url = {http://sardes.inrialpes.fr/papers/files/06-Polakovic-Dynamic.pdf},
year = {2006},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{schmitt-popl03,
address = {New Orleans, LA, USA},
author = {Alan Schmitt and Jean-Bernard Stefani},
booktitle = {In Proceedings of the 30th Annual ACM Symposium on Principles of Programming Languages (POPL'03)},
month = jan,
pages = {50--61},
title = {The M-calculus: A Higher-Order Distributed Process Calculus},
year = 2003
}
@inproceedings{Rippert02a,
address = {Hammamet (Tunisie)},
author = {{\relax Ch}ristophe Rippert and Jean-Bernard Stefani},
booktitle = {Actes d'ASF 2002, Journ{\'e}es francophones des jeunes chercheurs en syst{\`e}mes d'exploitation},
month = apr,
title = {{\'E}l{\'e}ments de s{\'e}curit{\'e} dans l'architecture de syst{\`e}mes r{\'e}partis THINK},
url = {http://www.renpar.org/},
year = {2002}
}
@inproceedings{Rippert02b,
author = {{\relax Ch}ristophe Rippert and Jean-Bernard Stefani},
booktitle = {Proceedings of the 10th ACM SIGOPS European Workshop},
title = {THINK: A Secure Distributed Systems Architecture},
url = {http://www.diku.dk/ew2002/},
year = {2002}
}
@inproceedings{Rippert02c,
address = {Seattle, WA (USA)},
author = {{\relax Ch}ristophe Rippert and Jean-Bernard Stefani},
booktitle = {Proceedings of the workshop on Engineering Context-aware Object-Oriented Systems and Environments, in association with OOPSLA'2002},
month = nov,
title = {Building Secure Embedded Kernels with the Think Architecture},
url = {http://www.dsg.cs.tcd.ie/ecoose/oopsla2002/},
year = 2002
}
@inproceedings{Rippert02d,
author = {{\relax Ch}ristophe Rippert},
booktitle = {Proceedings of the 7th CaberNet Radicals workshop},
title = {Component Isolation in the Think Architecture},
url = {http://le.cs.unibo.it/events/radicals/},
year = {2002}
}
@inproceedings{Senart02c,
address = {Seattle, WA (USA)},
author = {Aline Senart and Olivier Charra and Jean-Bernard Stefani},
booktitle = {Proceedings of the workshop on Engineering Context-aware Object-Oriented Systems and Environments, in association with OOPSLA'2002},
month = nov,
title = {Developing Dynamically Reconfigurable Operating System Kernels with the Think Component Architecture},
url = {http://www.dsg.cs.tcd.ie/ecoose/oopsla2002/},
year = 2002
}
@inproceedings{fassino02,
address = {Monterey (USA)},
author = {Jean-{\relax Ph}ilippe Fassino and Jean-Bernard Stefani and Julia Lawall and Gilles Muller},
booktitle = {Proceedings of Usenix Annual Technical Conference},
month = jun,
title = {{THINK}: A Software Framework for Component-based Operating System Kernels},
year = 2002
}
@inproceedings{germain02,
address = {Malaga (Spain)},
author = {Florence Germain and Marc Lacoste and Jean-Bernard Stefani},
booktitle = {Proceedings of the EATCS Workshop on Foundations of Wide Area Network Computing},
month = jul,
title = {{An Abstract Machine for a Higher-Order Distributed Process Calculus}},
year = 2002
}
@inproceedings{boyer02b,
address = {Lyon},
author = {Fabienne Boyer and S{\'e}bastien Chassande-Barrioz and Didier Donsez and David F{\'e}liot and Sacha Krakowiak},
booktitle = {TICE 2002},
month = nov,
title = {{GICOM} : un atelier pour l'exp{\'e}rimentation des technologies de syst{\`e}mes distribu{\'e}s d'entreprise},
url = {http://sardes.inrialpes.fr/~krakowia/Presentations/ArticleTICE2002_GICOM.pdf},
year = 2002
}
@inproceedings{hansen02,
address = {Chicago, IL, (USA)},
author = {J{\o}rgen Sv{\ae}rke Hansen and Renaud Lachaize},
booktitle = {Proceedings of IEEE International on Cluster Computing (Cluster 2002)},
month = sep,
title = {Using Disks in a Cluster as a High Performance Storage System},
year = 2002
}
@inproceedings{Lachaize02,
address = {Hammamet (Tunisie)},
author = {Renaud Lachaize and J{\o}rgen Hansen},
booktitle = {Actes d'ASF 2002, Journ{\'e}es francophones des jeunes chercheurs en syst{\`e}mes d'exploitation},
month = apr,
title = {Proboscis : distribution adaptable de l'espace de stockage sur l'ensemble des stations d'une grappe},
url = {http://www.renpar.org/},
year = 2002
}
@inproceedings{fractal02,
address = {Malaga (Spain)},
author = {{\relax\'E}ric Bruneton and Thierry Coupaye and Jean-Bernard Stefani},
booktitle = {Proceedings of the 7th ECOOP International Workshop on Component-Oriented Programming (WCOP'02)},
month = jun,
title = {Recursive and Dynamic Software Composition with Sharing},
year = 2002
}
@inproceedings{Cecchet02a,
address = {Vienna, Austria},
author = {E. Cecchet},
booktitle = {IEEE International Workshop on Web Caching Systems, associated with ICDCS'02},
month = jul,
title = {Whoops!: a Clustered Web Cache for DSM Systems using Memory Mapped Networks},
year = 2002
}
@inproceedings{Cecchet02b,
address = {Chicago, IL, USA},
author = {E. Cecchet},
booktitle = {2002 IEEE International Conference on Cluster Computing},
month = sep,
title = {Memory Mapped Networks: A New Deal for Distributed Shared Memories ?},
year = 2002
}
@inproceedings{Cecchet02c,
address = {Seattle, WA, USA},
author = {Emmanuel Cecchet and Julie Marguerite and Willy Zwaenepoel},
booktitle = {Proceedings of OOPSLA'02},
month = nov,
title = {Performance and Scalability of EJB Applications},
year = 2002
}
@inproceedings{Amza02,
address = {Austin, TX, USA},
author = {Cristiana Amza and Emmanuel Cecchet and Anupam Chanda and Alan L. Cox and Sameh Elnikety and Romer Gil and Julie Marguerite and Karthick Rajamani and Willy Zwaenepoel},
booktitle = {IEEE 5th Annual Workshop on Workload Characterization},
month = nov,
title = {Specification and Implementation of Dynamic Web Site Benchmarks},
year = 2002
}
@inproceedings{Marangozova02a,
address = {Hammamet (Tunisie)},
author = {Vania Marangozova},
booktitle = {Actes d'ASF 2002, Journ{\'e}es francophones des jeunes chercheurs en syst{\`e}mes d'exploitation},
month = apr,
title = {Patrons de conception pour la duplication de composants},
year = 2002
}
@inproceedings{Marangozova02b,
address = {Berlin (Germany)},
author = {Vania Marangozova and Daniel Hagimont},
booktitle = {Proceedings of the First International IFIP/ACM Working Conference on Component Deployment},
month = jun,
title = {An Infrastructure for CORBA Component Replication},
year = 2002
}
@inproceedings{Marangozova02c,
address = {Montpellier (France)},
author = {Vania Marangozova and Daniel Hagimont},
booktitle = {Proceedings of the 8th International IFIP/ACM Conference on Object-Oriented Information Systems},
month = sep,
title = {Non-functional Replication Management in the CORBA Component Model},
year = 2002
}
@inproceedings{Marangozova02d,
address = {Reims, France},
author = {Vania Marangozova and Daniel Hagimont},
booktitle = {In Proceedings of 6th International Conference on Principles o f Distributed Systems (OPODIS'2002)},
month = dec,
title = {An Architectural Approach to Replication Configuration},
year = 2002
}
@inproceedings{Quema02a,
address = {Lausanne, Switzerland},
author = {Vivien Qu{\'e}ma and Luc Bellissard and {\relax Ph}ilippe Laumay},
booktitle = {Workshop on Software Infrastructures for Component-Based Applications on Consumer Devices, in association with EDOC'02},
month = sep,
title = {Application-Driven Customization of Message-Oriented Middleware for Consumer Devices},
year = {2002}
}
@inproceedings{Quema02b,
address = {Grenoble, France},
author = {Vivien Qu{\'e}ma and Luc Bellissard},
booktitle = {Actes des Journ{\'e}es sur les Syst{\`e}mes {\`a} Composants Adaptables et Extensibles},
month = oct,
title = {Configuration de \emph{Middleware} dirig{\'e}e par les applications},
url = {http://www.essi.fr/~riveill/ARCAD/2002-10-composants.html},
year = {2002}
}
@inproceedings{Charra02a,
address = {Grenoble (France)},
author = {Olivier Charra and Aline Senart},
booktitle = {Actes des Journ{\'e}es sur les Syst{\`e}mes {\`a} Composants Adaptables et Extensibles},
month = oct,
pages = {239--244},
title = {ThinkRCX, un noyau de syst{\`e}me d'exploitation extensible pour Lego RCX},
url = {http://www.essi.fr/~riveill/ARCAD/2002-10-composants.html},
year = 2002
}
@inproceedings{hagimont02b,
author = {Daniel Hagimont and No{\"e}l {De Palma}},
booktitle = {Proceedings of the 2002 International Conference on Parallel and Distributed Processing Techniques and Applications},
title = {{Removing Indirection Objects for Non-functional Properties}},
url = {http://www.ashland.edu/~iajwa/conferences/2002/PDPTA/pdpta.html},
year = {2002}
}
@inproceedings{hagimont02c,
author = {Daniel Hagimont and No{\"e}l {De Palma}},
booktitle = {Proceedings of the 8th IFIP/ACM International Conference on Object-Oriented Information Systems},
title = {{Non-functional Capability-based Access Control in the Java Environment}},
url = {http://www.lirmm.fr/OOIS2002/},
year = {2002}
}
@inproceedings{layaida02a,
address = {Sousse, Tunisie},
author = {Oussama Layaida and Daniel Hagimont},
booktitle = {Journ{\'e}es Francophone d'Acc{\`e}s Intelligent aux Documents Multim{\'e}dias sur l'Internet},
title = {Adaptation dynamique dans une application multim{\'e}dia r{\'e}partie},
url = {http://www-sor.inria.fr/medianet/},
year = {2002}
}
@inproceedings{Rippert03,
author = {Chritophe Rippert},
booktitle = {ACM SIGOPS Operating System Review, volume 37, number 4, page 8-18},
month = oct,
title = {Protection in Flexible Operating System Architectures},
year = 2003
}
@inproceedings{Balter03a,
address = {Grenoble, France},
author = {Roland Balter and Luc Belissard and Vivien Qu\'ema},
booktitle = {Proceedings of the 2nd Smart Objects Conference (s0c)},
month = may,
title = {A Scalable and Flexible Operation Support System for Networked Smart Objects},
year = 2003
}
@inproceedings{benatallah03,
address = {Belfast, North Irland},
author = {Slim Ben Atallah and Oussama Layaida and No{\"e}l {De Palma} and Daniel Hagimont},
booktitle = {In Proceedings of the 6th IFIP/IEEE International Conference on Management of Multimedia Networks and Services(MMNS'03)},
month = sep,
title = {Dynamic Configuration of Multimedia Applications},
year = {2003}
}
@inproceedings{Bidinger03,
address = {Paris, France},
author = {Philippe Bidinger and Jean-Bernard Stefani},
booktitle = {Proceedings 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 03)},
month = nov,
title = {The Kell calculus: operational semantics and type system},
year = 2003
}
@inproceedings{Bouchenak03a,
address = {Kilkenny, Ireland},
author = {Sara Bouchenak and Daniel Hagimont and No{\"e}l {De Palma}},
booktitle = {Proceedings of the 2nd ACM International Conference on Principles and Practice of programming in Java (ACM PPPJ'03)},
month = jun,
title = {Efficient Java Thread Serialization},
year = 2003
}
@inproceedings{Bouchenak03b,
address = {Tunis, Tunisia},
author = {Sara Bouchenak and Daniel Hagimont and No{\"e}l {De Palma}},
booktitle = {Proceedings of the ACS/IEEE International Conference on Computer Systems and Appliactions (AICCSA'03)},
month = jul,
title = {Techniques for Implementing Efficient Java Thread Serialization},
year = 2003
}
@inproceedings{Bouchenak03c,
address = {Catania, Italy},
author = {Sara Bouchenak and Fabienne Boyer and No{\"e}l {De Palma} and Daniel Hagimont},
booktitle = {International Symposium on Distributed Objects and Applications (DOA 2003)},
month = nov,
title = {Can Aspects Be Injected ? Experience with Replication and Protection},
year = {2003}
}
@inproceedings{Cecchet03a,
address = {Rio de Janeiro, Brazil},
author = {Emmanuel Cecchet and Anupam Chanda and Sameh Elnikety and Julie Marguerite and Willy Zwaenepoel},
booktitle = {Proceedings of the 4th ACM/IFIP/USENIX International Middleware Conference (Middleware)},
month = jun,
title = {Performance Comparison of Middleware Architectures for Generating Dynamic Web Content},
url = {http://middleware2003.inf.puc-rio.br/},
year = 2003
}
@inproceedings{Cecchet03b,
address = {Rio de Janeiro, Brazil},
author = {Emmanuel Cecchet and Julie Marguerite},
booktitle = {the 4th ACM/IFIP/USENIX International Middleware Conference (Middleware), Poster session},
month = jun,
title = {C-JDBC: Scalability and High Availability of the Database Tier in J2EE environments},
url = {http://middleware2003.inf.puc-rio.br/},
year = 2003
}
@inproceedings{Cecchet03c,
address = {La Martinique, France},
author = {Emmanuel Cecchet and Julie Marguerite and Willy Zwaenepoel},
booktitle = {7th International Conference on Principles of Distributed Systems (OPODIS'2003)},
month = dec,
title = {Partial Replication: Achieving Scalability in Redundant Arrays of Inexpensive Databases},
url = {http://www.math.chalmers.se/~dcs/OPODIS03/},
year = 2003
}
@inproceedings{deville-esmart-03,
address = {Nice, France},
author = {D. Deville and A. Galland and G. Grimaud and S. Jean},
booktitle = {Proc. International Conference on Research in Smart Cards (ESMART03)},
language = {en},
title = {Assessing the future of Smart Card Operating Systems},
year = 2003
}
@inproceedings{deville-nordu-03,
address = {Vasteras, Sweden},
author = {D. Deville and A. Galland and G. Grimaud and S. Jean},
booktitle = {Proc. 5th NORDU/USENIX Conference (NordU2003)},
language = {en},
note = {Best paper award},
title = {Smart Card Operating Systems: Past Present and Future},
year = 2003
}
@inproceedings{Dillenseger03a,
address = {Anaheim, CA, USA},
author = {Bruno Dillenseger and Emmanuel Cecchet},
booktitle = {OOPSLA'03 Workshop on Middleware Benchmarking: Approaches, Results, Experiences},
month = oct,
title = {CLIF is a Load Injection Framework},
url = {http://nenya.ms.mff.cuni.cz/projects/corba/oopsla-workshop/},
year = 2003
}
@inproceedings{Layaida03a,
address = {Marseilles, France},
author = {Oussama Layaida},
booktitle = {Manifestation des jeunes chercheurs STIC (MAJESTIC'2003)},
month = oct,
title = {Configuration Dynamique des Services de Transcodage des Flux Multim{\'e}dia Continus},
url = {http://www.math.chalmers.se/~dcs/OPODIS03/},
year = 2003
}
@inproceedings{Prochazka03a,
address = {Darmstadt, Germany},
author = {Marek Prochazka},
booktitle = {8th Int. Workshop on Component-Oriented Programming (WCOP)},
month = jul,
title = {A Flexible Framework for Adding Transactions to Components},
url = {http://segroup.cs.rug.nl/WCOP2003/},
year = {2003}
}
@inproceedings{Prochazka03b,
address = {Paris, France},
author = {Marek Prochazka},
booktitle = {4th IFIP International Conference on Distributed Applications and Interoperable Systems (DAIS 2003)},
month = nov,
title = {Jironde: A Flexible Framework for Making Components Transactional},
url = {http://fedconf.enst.fr/index-dais.html},
year = {2003}
}
@inproceedings{Prochazka03c,
address = {Catania, Italy},
author = {Marek Prochazka and Romain Rouvoy and Thierry Coupaye},
booktitle = {International Symposium on Distributed Objects and Applications (DOA 2003), Poster Session},
month = nov,
title = {On Enhancing Component-based Middleware with Transactions},
year = {2003}
}
@inproceedings{Quema03a,
address = {Rio de Janeiro, Brazil},
author = {Vivien Qu\'ema and Renaud Lachaize and Emmanuel Cecchet},
booktitle = {Proceedings of the 1st International Workshop on Middleware for Grid Computing},
month = jun,
title = {An Asynchronous Middleware for Grid Resource Monitoring},
url = {http://virtual01.lncc.br/mgc2003/},
year = 2003
}
@inproceedings{Quema03b,
address = {Rio de Janeiro, Brazil},
author = {Vivien Qu\'ema and Roland Balter and Luc Bellissard and David F\'eliot and Andr\'e Freyssinet and Serge Lacourte},
booktitle = {the 4th ACM/IFIP/USENIX International Middleware Conference (Middleware), Poster session},
month = jun,
title = {Administration and Deployment Tools in a Message-Oriented Middleware},
url = {http://middleware2003.inf.puc-rio.br/},
year = 2003
}
@inproceedings{Quema03c,
address = {La Colle sur Loup, France},
author = {Vivien Qu\'ema and Roland Balter and Luc Bellissard and David F\'eliot and Andr\'e Freyssinet and Serge Lacourte},
booktitle = {3{\`e}me Conf{\'e}rence Fran{\c c}aise sur les Syst{\`e}mes d'Exploitation (CFSE-3)},
month = oct,
title = {D\'eploiement Asynchrone et Hi\'erarchique d'Applications R\'parties \'a Composants},
year = 2003
}
@inproceedings{Quema03d,
address = {La Martinique, France},
author = {Vivien Qu\'ema and Emmanuel Cecchet},
booktitle = {Proceedings of the 7th International Conference on Principles of Distributed Systems (OPODIS'2003)},
month = dec,
title = {The Role of Software Architecture in Configuring Middleware: the ScalAgent Experience},
url = {http://www.math.chalmers.se/~dcs/OPODIS03/},
year = 2003
}
@inproceedings{Stefani03:FGC,
author = {J.B. Stefani},
booktitle = {in Proceedings 2nd International Workshop on Foundations of Global Computing},
title = {A Calculus of Kells},
year = 2003
}
@inproceedings{abdellatif04a,
address = {Saida, Morocco},
author = {Takoua Abdellatif and Emmanuel Cecchet and Renaud Lachaize and Jacques Mossi{\`e}re},
booktitle = {Les Nouvelles Technologies de la R{\'e}partition (NOTERE 2004)},
month = jun,
title = {{\'E}valuation d'un intergiciel de communication de groupes pour des serveurs d'applications J2EE sur grappe},
year = 2004
}
@inproceedings{abdellatif04b,
address = {Larnaca, Cyprus},
author = {Takoua Abdellatif and Emmanuel Cecchet and Renaud Lachaize},
booktitle = {International Symposium on Distributed Objects and Applications (DOA 2004)},
month = oct,
title = {{Evaluation of a Group Communication Middleware for Clustered J2EE Application Servers}},
year = 2004
}
@inproceedings{BenAtallah04,
address = {Saint-Malo, France},
author = {Slim {Ben Atallah} and Daniel Hagimont and S{\'e}bastien Jean and No{\"e}l {De Palma}},
booktitle = {1st International Workshop on Operating Systems, Programming Environments and Management Tools for High-Performance Computing on Clusters (COSET-1)},
month = jun,
title = {A first step toward autonomous clustered J2EE applications management},
url = {http://coset.irisa.fr/},
year = 2004
}
@inproceedings{Bouchena04b,
address = {Leuven, Belgium},
author = {Sara Bouchenak and Fabienne Boyer and Emmanuel Cecchet and S{\'e}bastien Jean and Alan Schmitt and Jean-Bernard Stefani},
booktitle = {11th ACM SIGOPS European Workshop},
month = sep,
title = {A component-based approach to distributed system management - A use case with self-manageable J2EE clusters},
url = {http://www.cs.kuleuven.ac.be/conference/SIGOPSEW04/},
year = 2004
}
@inproceedings{Bruneton04a,
address = {Edinburgh, Scotland},
author = {Eric Bruneton and Thierry Coupaye and Matthieu Leclercq and Vivien Qu\'ema and Jean-Bernard Stefani},
booktitle = {Proceedings of the International Symposium on Component-based Software Engineering (CBSE'2003)},
month = may,
title = {An Open Component Model and its Support in Java},
year = 2004
}
@inproceedings{cecchet04a,
address = {Boston, MA, USA},
author = {Emmanuel Cecchet and Julie Marguerite and Willy Zwaenepoel},
booktitle = {Proc. USENIX Annual Technical Conference, Freenix Track},
month = jun,
title = {{C-JDBC: Flexible Database Clustering Middleware}},
year = 2004
}
@inproceedings{Cecchet04c,
address = {Hong Kong, China},
author = {Emmanuel Cecchet},
booktitle = {IEEE/ACM International Symposium on Parallel and Distributed Applications (ISPA'04)},
month = dec,
title = {RAIDb: Redundant Array of Inexpensive Databases},
year = 2004
}
@inproceedings{Cecchet04d,
address = {Vancouver, British Columbia, Canada},
author = {Emmanuel Cecchet and Hazem Elmeleegy and Oussama Laya{\"\i}da and Vivien Qu{\'e}ma},
booktitle = {Proceedings of OOPSLA 2004 Workshop on Component and Middleware Performance},
month = oct,
title = {{Implementing Probes for J2EE Cluster Monitoring}},
year = 2004
}
@inproceedings{Kornas04a,
address = {Grenoble, France},
author = {Jakub Korna\'s and Matthieu Leclercq and Vivien Qu\'ema and Jean-Bernard Stefani},
booktitle = {Actes de la 1\`ere Conf\'erence Fran{\c c}aise sur le D{\'e}ploiement et la (Re)Configuration de Logiciels (DECOR'2004)},
month = oct,
title = {Support pour la reconfiguration d'implantation dans les applications {\`a} composants {Java}},
year = 2004
}
@inproceedings{Lachaize04a,
address = {San Diego, CA, USA},
author = {Renaud Lachaize and J{\o}rgen Sv{\ae}rke Hansen},
booktitle = {Proceedings of the 6th IEEE International Conference on Cluster Computing (Cluster 2004)},
month = sep,
publisher = {IEEE Computer Society},
title = {{Simplifying Administration Through Dynamic Reconfiguration in a Cooperative Cluster Storage System}},
year = {2004}
}
@inproceedings{layaida04a,
address = {Toulouse, France},
author = {Oussama Laya{\"\i}da and Slim {Ben Atallah} and Daniel Hagimont},
booktitle = {Proc. 7th IEEE International Conference on High Speed Networks and Multimedia Comuunications (HSNMC'04)},
month = jul,
title = {{Adaptive Media Streaming Using Self-reconfigurable Proxies}},
year = 2004
}
@inproceedings{layaida04b,
address = {Rennes, France},
author = {Oussama Laya{\"\i}da and Slim {Ben Atallah} and Daniel Hagimont},
booktitle = {Pro.30th IEEE/Euromicro Conference, Track on Multimedia and Communications: Challenges in Distributed Multimedia Systems},
month = sep,
title = {{Reconfiguration-based QoS Management in Multimedia Streaming Applications}},
year = 2004
}
@inproceedings{Leclercq04a,
address = {Toronto, Canada},
author = {Matthieu Leclercq and Vivien Qu\'ema and Jean-Bernard Stefani},
booktitle = {Proceedings of the 3rd Workshop on Reflective and Adaptive Middleware (RM'2004)},
month = oct,
title = {{DREAM: a Component Framework for the Construction of Resource-Aware, Reconfigurable MOMs}},
year = {2004}
}
@inproceedings{Ozcan04,
address = {Calais, France},
author = {Ali Erdem {\"O}zcan and S{\'e}bastien Jean},
booktitle = {Actes du congr{\`e}s MAJECSTIC'04 (Manifestation de Jeunes Chercheurs en STIC)},
month = oct,
title = {Technologies de syst{\`e}mes d'exploitation pour environnements r{\'e}partis appliqu{\'e}es aux syst{\`e}mes multiprocesseurs sur puce},
year = {2004}
}
@inproceedings{Palma04,
author = {No{\"e}l {De Palma} and S{\'e}bastien Jean and Slim Ben Atallah and Daniel Hagimont},
booktitle = {PDPTA},
pages = {1440-1446},
title = {J2EE Applications Deployment: A First Experiment.},
year = {2004}
}
@inproceedings{Quema04c,
address = {Edinburgh, Scotland},
author = {Vivien Qu\'ema and Roland Balter and Luc Bellissard and David F\'eliot and Andr\'e Freyssinet and Serge Lacourte},
booktitle = {Proceedings of the 2nd International Working Conference on Component Deployment (CD'2004)},
month = may,
title = {Asynchronous, Hierarchical and Scalable Deployment of Component-Based Applications},
year = 2004
}
@inproceedings{esope04,
address = {Rennes, France},
author = {Claude B{\'e}tourn{\'e} and Jean Ferri{\'e} and Claude Kaiser and Sacha Krakowiak and Jacques Mossi{\`e}re},
booktitle = {Actes du 7{\`e}me Colloque sur l'Histoire de l'Informatique et des T{\'e}l{\'e}communications (CHIR'04)},
month = nov,
pages = {173--198},
url = {http://sardes.inrialpes.fr/~krakowia/Publi/esope.pdf},
title = {{\'E}sope : une {\'e}tape dans la recherche fran{\c c}aise en syst{\`e}mes d'exploitation (1968--1972)},
year = 2004
}
@inproceedings{Abdellatif05a,
address = {Porto, Portugal},
author = {Takoua Abdellatif},
booktitle = {{31th IEEE/Euromicro Conference, CBSE Track: Component-based Software Engineering}},
month = aug,
title = {{Enhancing the Management of a J2EE Application Server using a Component-Based Architecture}},
year = 2005,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Abdellatif05b,
address = {Grenoble, France},
author = {Takoua Abdellatif and Jakub Korna\'s and Jean-Bernard Stefani},
booktitle = {{3rd International Working Conference on Component Deployment (CD 2005)}},
month = nov,
note = {To appear},
title = {{J2EE Packaging, Deployment and Reconfiguration Using a General Component Model}},
year = 2005,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Bidinger05a,
address = {Athens, Greece},
author = {Philippe Bidinger and Alan Schmitt and Jean-Bernard Stefani},
booktitle = {7th IFIP International Conference on Formal Methods for Object-Based Distributed Systems (FMOODS)},
keys = {kell},
month = jun,
note = {Best Paper Award},
title = {An Abstract Machine for the {K}ell Calculus},
url = {http://sardes.inrialpes.fr/~aschmitt/papers/kell_abstract_machine.pdf},
year = 2005,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{bidinger05dream,
address = {Lisbon, Portugal},
author = {Philippe Bidinger and Matthieu Leclercq and Vivien Qu\'ema and Alan Schmitt and Jean-Bernard Stefani},
booktitle = {4th Workshop on Specification and Verification of Component-Based Systems (SAVCBS'05), in association with ESEC/FSE'05},
month = sep,
title = {{Dream Types - A Domain Specific Type System for Component-Based Message-Oriented Middleware}},
year = 2005,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Bouchenak05g,
address = {Grenoble, France},
author = {Sara Bouchenak and No{\"e}l {De Palma} and St{\'e}phane Fontaine and Bruno T{\^e}te},
booktitle = {The 1st Workshop on Aspect-Oriented Middleware Development (AOMD 2005), at the ACM/IFIP/USENIX 6th International Middleware Conference (Middleware 2005)},
month = nov,
title = {{AOSD for Internet Service Clusters: The Case of Availability}},
url = {http://www.lifl.fr/~pawlak/aomd/},
year = 2005,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Bouchenak05f,
address = {Orlando, FL, USA},
author = {Sara Bouchenak and Fabienne Boyer and Daniel Hagimont and Sacha Krakowiak and Adrian Mos and No{\"e}l {De Palma} and Vivien Qu{\'e}ma and Jean-Bernard Stefani},
booktitle = {The 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005)},
month = oct,
title = {{Architecture-Based Autonomous Repair Management: An Application to J2EE Clusters}},
url = {http://srds05.csee.wvu.edu/},
year = 2005,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Bouchenak05c,
address = {Seattle, WA, USA},
author = {Sara Bouchenak and Fabienne Boyer and Daniel Hagimont and Sacha Krakowiak and Adrian Mos and No{\"e}l {De Palma} and Vivien Qu{\'e}ma and Jean-Bernard Stefani},
booktitle = {The 2nd IEEE International Conference on Autonomic Computing (ICAC 2005)},
month = jun,
note = {Short paper},
title = {{Architecture-Based Autonomous Repair Management: An Application to J2EE Clusters}},
url = {http://www.caip.rutgers.edu/~parashar/icac2005/},
year = 2005
}
@inproceedings{Bouchenak05d,
address = {Nice, France},
author = {Sara Bouchenak and No{\"e}l {De Palma} and Daniel Hagimont},
booktitle = {IFIP/IEEE International Workshop on Self-Managed Systems & Services (SelfMan 2005)},
month = may,
title = {{Autonomic Administration of Clustered J2EE Applications}},
url = {http://madyne.loria.fr/selfman2005/},
year = 2005,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Bouchenak05e,
address = {NLe Croisic, Francee},
author = {Sara Bouchenak and Sacha Krakowiak and No{\"e}l {De Palma}},
booktitle = {La 4{\`e}me Conf{\'e}rence Fran{\c c}aise sur les Syst{\`e}mes d'Exploitation (CFSE 2005)},
month = apr,
title = {Tol{\'e}rance aux Fautes dans les Grappes d'Applications {I}nternet},
url = {http://www.emn.fr/x-info/renpar2005/indexCFSE.htm},
year = 2005
}
@inproceedings{Cecchet05a,
address = {Liptovsky Jan, Slovak Republic},
author = {Emmanuel Cecchet},
booktitle = {31st Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2005)},
month = jan,
title = {From research prototypes to industrial strength open source products - The {ObjectWeb} experience},
year = 2005,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Cecchet05b,
address = {Le Croisic, France},
author = {Emmanuel Cecchet and Oussama Laya{\"\i}da and Vivien Qu\'ema},
booktitle = {4\`eme Conf\'erence Francophone autour des Composants Logiciels (avec CFSE-RENPAR 2005)},
month = apr,
title = {{LeWYS} : un Canevas Logiciel \`a Composants pour Construire des Applications de Supervision},
year = 2005
}
@inproceedings{Cecchet05c,
address = {Cambridge, MA, USA},
author = {Christiana Amza and Gokul Soundararajan and Emmanuel Cecchet},
booktitle = {ICS05, 19th ACM International Conference on Supercomputing},
month = jun,
title = {Transparent Caching with Strong Consistency in Dynamic Content Web Sites},
url = {http://ics05.csail.mit.edu/},
year = 2005,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Lachaize05a,
address = {Cardiff, UK},
author = {Renaud Lachaize},
booktitle = {5th International Workshop on Distributed Shared Memory at
5th International Symposium on Cluster Computing and the
Grid (CCGrid 2005)},
month = may,
title = {{A Distributed Shared Buffer Space for Data-intensive Applications}},
year = 2005,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Layaida05a,
address = {San Jose, CA, USA},
author = {Oussama Laya{\"\i}da and Daniel Hagimont},
booktitle = {Proc. SPIE/IS\&T Symposium On Electronic Imaging, Conference on Embedded Multimedia Processing and Communications},
month = jan,
title = {PLASMA : A Component-based Framework for Building Self-Adaptive Applications},
year = {2005},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Layaida2005b,
address = {Le Croisic, France},
author = {Oussama Laya{\"\i}da and Daniel Hagimont},
booktitle = {Rencontres Francophones en Parall\'elisme, Architecture, Syst\`emes et Composants - CFSE},
month = apr,
title = {Composition et Reconfiguration Hi\'erarchiques pour des Services Multim\'edia Auto-Adaptables},
year = {2005}
}
@inproceedings{Layaida05c,
address = {Athens, Greece},
author = {Oussama Laya{\"\i}da and Daniel Hagimont},
booktitle = {The 5th IFIP Conference on Distributed Applications and Interoperable Systems},
isbn = {3-540-26262-8},
month = jun,
pages = {95-107},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {{Designing Self-adaptive Multimedia Applications Through Hierarchical Reconfiguration}},
volume = {3543},
year = {2005},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Layaida05d,
author = {Ali Erdem {\"O}zcan and Oussama Laya{\"\i}da and {Jean-Bernard} Stefani},
booktitle = {Proceedings of the 2005 3rd Workshop on Embedded Systems
for Real-Time Multimedia, ESTImedia 2005},
doi = {http://dx.doi.org/10.1109/ESTMED.2005.1518082},
pages = {95--100},
title = {{A Component-based Approach for MPSoC SW Design: Experience with OS Customization for H.264 Decoding}},
year = {2005},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Leclercq05a,
address = {Le Croisic, France},
author = {Matthieu Leclercq and Vivien Qu\'ema and Jean-Bernard Stefani},
booktitle = {4\`eme Conf\'erence Francophone autour des Composants Logiciels (avec CFSE-RENPAR 2005)},
month = apr,
title = {{DREAM} : un Canevas Logiciel \`a Composants pour la Construction d'Intergiciels Orient\'es Messages Dynamiquement Configurables},
year = 2005
}
@inproceedings{Polakovic05a,
address = {Le Croisic, France},
author = {Juraj Polakovic and Ali Erdem {\"O}zcan and Jean-Bernard Stefani},
booktitle = {4\`eme Conf\'erence Francophone autour des Composants Logiciels (avec CFSE-RENPAR 2005)},
month = apr,
title = {Reconfiguration dynamique d'un syst\`eme \`a composants},
year = {2005}
}
@inproceedings{Schmitt05d,
address = {Tallinn, Estonia},
author = {Daniel Hirschkoff and Tom Hirschowitz and Damien Pous and Alan Schmitt and Jean-Bernard Stefani},
booktitle = {4th International Conference on Generative Programming and Component Engineering (GPCE)},
keys = {kell},
month = sep,
title = {{Component-Oriented Programming with Sharing: Containment is not Ownership}},
url = {http://sardes.inrialpes.fr/~aschmitt/papers/components_sharing.pdf},
year = 2005,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{taton05b,
address = {Trondheim, Norway},
author = {Christophe Taton and Sara Bouchenak and Fabienne Boyer and No{\"e}l {De Palma} and Daniel Hagimont and Adrian Mos},
booktitle = {VLDB Workshop on Design, Implementation, and Deployment of Database Replication (WDIDDR), at 31st International Conference on Very Large Data Bases},
month = aug,
title = {{Self-Manageable Replicated Servers}},
year = 2005,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Schmitt05a,
author = {J. Nathan Foster and Michael B. Greenwald and Jonathan T. Moore and Benjamin C. Pierce and Alan Schmitt},
booktitle = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages ({POPL}), Long Beach, California},
title = {Combinators for Bi-Directional Tree Transformations: {A} Linguistic Approach to the View Update Problem},
url = {http://sardes.inrialpes.fr/papers/files/05-Schmitt-Popl.pdf},
year = {2005},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Schmitt05b,
address = {Edinburgh, UK},
author = {Vladimir Gapeyev and Michael Y. Levin and Benjamin C. Pierce and Alan Schmitt},
booktitle = {14th International Conference on Compiler Construction},
keys = {xtatic},
month = apr,
title = {{XML} Goes Native: {R}un-time Representations for {Xtatic}},
tr = {http://sardes.inrialpes.fr/~aschmitt/papers/xtatic-runtime-TR.pdf},
url = {http://sardes.inrialpes.fr/~aschmitt/papers/xtatic-runtime-CC.pdf},
year = 2005,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Schmitt05c,
author = {J. Nathan Foster and Michael B. Greenwald and Christian Kirkegaard and Benjamin C. Pierce and Alan Schmitt},
booktitle = {Database Programming Languages (DBPL)},
month = aug,
title = {Exploiting Schemas in Data Synchronization},
url = {http://sardes.inrialpes.fr/papers/files/DBPL_2005_schema_sync.pdf},
year = 2005,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{abdellatif06b,
address = {Montpellier, France},
author = {Takoua Abdellatif and Didier Hoareau and Yves Mah\'eo},
booktitle = {International Symposium on Distributed Objects and Applications (DOA'2006)},
month = oct,
title = {Automated deployment of enterprise systems in large-scale environments (short paper)},
year = 2006
}
@inproceedings{abdellatif06c,
address = {Erfurt, Germany},
author = {Takoua Abdellatif and Adriana Danes},
booktitle = {IEEE International Conference on Self-Organization and Autonomic Systems in Computing and Communications (SOAS'2006)},
month = sep,
title = {A simple approach to autonomic {J2EE} servers (short paper)},
year = 2006
}
@inproceedings{abdellatif06d,
address = {Perpignan, France},
author = {Takoua Abdellatif and Fabienne Boyer and Jakub Korna{\'s} and Jean-Bernard Stefani},
booktitle = {5\`eme Conf\'erence Fran\c{c}aise sur les Syst\`emes d'Exploitation (CFSE-5)},
month = oct,
title = {{Administration fond\'ee sur l'architecture des serveurs d'applications J2EE patrimoniaux}},
year = 2006
}
@inproceedings{Bouchenak06a,
address = {Dublin, Ireland},
author = {Sara Bouchenak and No{\"e}l {De Palma} and Daniel Hagimont and Sacha Krakowiak and Christophe Taton},
booktitle = {3rd International Conference on Autonomic Computing (ICAC)},
month = jun,
title = {Autonomic Management of {I}nternet Services: Experience with Self-Optimization (short paper)},
url = {http://sardes.inrialpes.fr/papers/files/06-Bouchenak-ICAC.pdf},
year = 2006
}
@inproceedings{Bouchenak06b,
address = {Barcelona, Spain},
author = {Sara Bouchenak and No{\"e}l {De Palma} and Daniel Hagimont and Christophe Taton},
booktitle = {IEEE International Conference on Cluster Computing},
month = sep,
title = {Autonomic Management of Clustered Applications},
url = {http://sardes.inrialpes.fr/papers/files/06-Bouchenak-Cluster.pdf},
year = 2006,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Claudel06a,
address = {Le Canet en Roussillon, France},
author = {Beno\^it Claudel and No{\"e}l {De Palma} and Renaud Lachaize and Sara Bouchenak and Daniel Hagimont},
booktitle = {5\`eme Conf\'erence Fran\c{c}aise sur les Syst\`emes d'Exploitation (CFSE 2006)},
month = oct,
title = {Une approche architecturale pour l'auto-protection de syst\`emes r\'epartis},
year = 2006,
url = {http://sardes.inrialpes.fr/papers/files/06-Claudel-CFSE.pdf}
}
@inproceedings{Claudel06b,
address = {Dallas, TX, USA},
author = {Beno\^it Claudel and No{\"e}l {De Palma} and Renaud Lachaize and Daniel Hagimont},
booktitle = {8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (formerly Symposium on Self-stabilizing Systems) (SSS 2006)},
month = nov,
title = {Self-protection for Distributed Component-Based Applications},
url = {http://sardes.inrialpes.fr/papers/files/06-Claudel-SSS.pdf},
year = 2006,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Fontaine06a,
address = {Perpignan, France},
author = {St\'ephane Fontaine and Christophe Taton and Sara Bouchenak and Thierry Gautier},
booktitle = {Rencontres francophones du Parall\'elisme (RenPar'17)},
month = oct,
title = {Administration autonome d'applications r\'eparties sur grilles},
year = 2006,
url = {http://sardes.inrialpes.fr/papers/files/06-Fontaine-RenPar.pdf}
}
@inproceedings{Palma06a,
address = {Seignosse, France},
author = {No{\"e}l {De Palma} and Beno\^it Claudel and Renaud Lachaize and Sara Bouchenak and Daniel Hagimont},
booktitle = {5th Conference on Security in Network Architectures (SAR)},
month = jun,
title = {Self-Protected Systems: an experiment},
url = {http://sardes.inrialpes.fr/papers/files/06-Depalma-SAR.pdf},
year = 2006,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Philippe06a,
address = {Nantes, France},
author = {J\'er\'emy Philippe and Sylvain Sicard and Christophe Taton},
booktitle = {5th Fractal Workshop, associated with ECOOP'2006},
month = jul,
title = {Component-Based Autonomic Management System (poster)},
url = {http://sardes.inrialpes.fr/papers/files/06-Philippe-FractalWS.pdf},
year = 2006
}
@inproceedings{Philippe06b,
address = {Dijon, France},
author = {J\'er\'emy Philippe and No{\"e}l {De Palma} and Sara Bouchenak and Fabienne Boyer and Daniel Hagimont},
booktitle = {21st ACM Symposium on Applied Computing (SAC'06)},
month = apr,
title = {A Black-box Approach for Web Application {SLA} (short paper)},
url = {http://sardes.inrialpes.fr/papers/files/06-Philippe-SAC.pdf},
year = 2006,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Sicard06,
address = {Dijon, France},
author = {Sylvain Sicard and No{\"e}l {De Palma} and Daniel Hagimont},
booktitle = {21st ACM Symposium on Applied Computing (SAC'06)},
month = apr,
title = {{J2EE Server Scalability through EJB Replication}},
year = 2006,
url = {http://sardes.inrialpes.fr/papers/files/06-Sicard-SAC.pdf},
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{schmitt-fmco06,
author = {Alan Schmitt and Jean-Bernard Stefani},
title = {{Towards a Calculus for Distributed Components}},
booktitle = {5th International Symposium on Formal Methods for Components and Objects (FMCO 2006)},
year = 2006,
address = {Amsterdam, Netherlands},
month = nov,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{NWAY,
author = {Michael B. Greenwald and Sanjeev Khanna and Keshav Kunal and Benjamin C. Pierce and Alan Schmitt},
booktitle = {20th International Symposium on Distributed Computing (DISC), \emph{Stockholm, Sweden}},
conf = {http://sardes.inrialpes.fr/papers/files/Greenwald2006Agreeing-to-Agree-C.pdf},
month = sep,
pages = {269--283},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
talk = {http://sardes.inrialpes.fr/papers/files/DISC_2006_nway_talk.pdf},
title = {Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data},
url = {http://sardes.inrialpes.fr/papers/files/Greenwald2006Agreeing-to-Agree-C.pdf},
volume = 4167,
year = 2006,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{ozcan06,
author = {Ali Erdem {\"O}zcan and S\'ebastien Jean and Jean-Bernard Stefani},
booktitle = {Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2nd International Workshop, CASSIS'05, \emph{Nice, France}},
note = {ISBN 3-540-33689-3},
pages = {118--137},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {{Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach}},
volume = 3956,
year = 2006,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{Taton06a,
address = {Le Canet en Roussillon, France},
author = {Christophe Taton and Sara Bouchenak and No{\"e}l {De Palma} and Daniel Hagimont and Sacha Krakowiak and Jean Arnaud},
booktitle = {5\`eme Conf\'erence Fran\c{c}aise sur les Syst\`emes d'Exploitation (CFSE 2006)},
month = oct,
title = {Administration autonome de services {I}nternet : Exp\'erience avec l'auto-optimisation},
url = {http://sardes.inrialpes.fr/papers/files/06-Taton-CFSE.pdf},
year = 2006
}
@inproceedings{Taton06b,
address = {Niagara-Falls, Buffalo-NY},
author = {Christophe Taton and Sara Bouchenak and No{\"e}l {De Palma} and Daniel Hagimont and Sylvain Sicard},
booktitle = {2nd International IEEE WoWMoM Workshop on Autonomic Communications and Computing (ACC 2006)},
month = jun,
title = {Self-Optimization of Clustered Databases},
url = {http://sardes.inrialpes.fr/papers/files/06-Taton-ACC.pdf},
year = 2006,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{guerraoui06a,
address = {Philadelphia, PA, USA},
author = {Rachid Guerraoui and Ron Levy and Bastian Pochon and Vivien Qu\'ema},
booktitle = {International Conference on Dependable Systems and Networks (DSN)},
month = jun,
pages = {549--557},
publisher = {IEEE Computer Society},
title = {{High Throughput Uniform Total Order Broadcast Protocol for Cluster Environments}},
url = {http://sardes.inrialpes.fr/papers/files/06-Guerraoui-DSN.pdf},
year = 2006,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{baldoni06a,
address = {Dallas, TX, USA},
author = {Roberto Baldoni and Rachid Guerraoui and Ron Levy and Vivien Qu\'ema and Sara Tucci Piergiovanni},
booktitle = {8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (formerly Symposium on Self-stabilizing Systems) (SSS 2006)},
month = nov,
pages = {65--81},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
title = {{Unconscious Eventual Consistency with Gossips}},
volume = 4280,
year = 2006,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{schiavoni06a,
address = {Dijon, France},
author = {Valerio Schiavoni and Vivien Qu\'ema},
booktitle = {21st ACM Symposium on Applied Computing (SAC'06)},
month = apr,
pages = {1734--1738},
publisher = {ACM},
title = {{A Posteriori Defensive Programming: an Annotation Toolkit for DoS-Resistant Component-Based Architectures}},
year = 2006,
x-editorial-board = {yes},
x-proceedings = {yes},
x-international-audience = {yes}
}
@inproceedings{hp:icalp10:seeds,
author = {Daniel Hirschkoff and Damien Pous},
title = {On characterising strong bisimilarity in a fragment
of {CCS} with replication},
booktitle = {Proc.\ ICALP},
year = 2010,
pages = {454-465},
series = lncs,
volume = 6199,
publisher = sv,
url = {http://dx.doi.org/10.1007/978-3-642-14162-1_38}
}
@inproceedings{pous:csl10:utas,
author = {Damien Pous},
title = {Untyping Typed Algebraic Structures and Colouring
Proof Nets of Cyclic Linear Logic},
booktitle = {Proc.\ CSL},
month = {August},
year = 2010,
series = lncs,
volume = 6247,
pages = {484-498},
publisher = sv,
url = {http://dx.doi.org/10.1007/978-3-642-15205-4_37}
}
@inproceedings{bp:itp10:kacoq,
author = {Thomas Braibant and Damien Pous},
title = {An Efficient Coq Tactic for Deciding {K}leene
Algebras},
booktitle = {Proc.\ 1st ITP},
year = 2010,
series = lncs,
publisher = sv,
volume = 6172,
pages = {163-178},
url = {http://dx.doi.org/10.1007/978-3-642-14052-5_13}
}
This file was generated by bibtex2html 1.94.