Team Sardes

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities


Major publications by the team in recent years

S. Bouchenak, F. Boyer, S. Krakowiak, D. Hagimont, A. Mos, N. De Palma, V. Quéma, J.-B. Stefani.
Architecture-Based Autonomous Repair Management: An Application to J2EE Clusters, in: 24th IEEE Symposium on Reliable Distributed Systems (SRDS 2005), IEEE Computer Society, 2005.
S. Bouchenak, N. De Palma, D. Hagimont, C. Taton.
Autonomic Management of Clustered Applications, in: IEEE International Conference on Cluster Computing, 2006.
É. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, J.-B. Stefani.
The Fractal Component Model and its Support in Java, in: Software – Practice and Experience (SP&E), 2006, vol. 36, no 11-12.
J.-Ph. Fassino, J.-B. Stefani, J. Lawall, G. Muller.
THINK: A Software Framework for Component-based Operating System Kernels, in: Proceedings of Usenix Annual Technical Conference, Monterey (USA), June 10th-15th 2002.
J. N. Foster, M. B. Greenwald, J. T. Moore, B. C. Pierce, A. Schmitt.
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem, in: ACM Trans. Program. Lang. Syst., 2007, vol. 29, no 3.
P. Genevès, N. Layaida, A. Schmitt.
Efficient Static Analysis of XML Paths and Types, in: PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, ACM Press, 2007.
R. Guerraoui, D. Kostic, R. R. Levy, V. Quéma.
A High Throughput Atomic Storage Algorithm, in: 27th IEEE International Conference on Distributed Computing Systems (ICDCS 2007), IEEE Computer Society, 2007.
R. Guerraoui, R. R. Levy, B. Pochon, V. Quéma.
High Throughput Total Order Broadcast for Cluster Environments, in: International Conference on Dependable Systems and Networks (DSN 2006), IEEE Computer Society, 2006.
M. Leclercq, A. E. Özcan, V. Quéma, J.-B. Stefani.
Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset, in: 29th International Conference on Software Engineering (ICSE), IEEE Computer Society, 2007.
A. Schmitt, J.-B. Stefani.
The M-calculus: A Higher-Order Distributed Process Calculus, in: In Proceedings of the 30th Annual ACM Symposium on Principles of Programming Languages (POPL'03), 2003.
A. Schmitt, J.-B. Stefani.
The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, in: Global Computing, Lecture Notes in Computer Science, Springer, 2005, vol. 3267.

Publications of the year

Doctoral Dissertations and Habilitation Theses

J. Kornas.
Contributions to software deployment in a component-based reflexive architecture, Ph. D. Thesis, Université Joseph Fourier, Grenoble France, October 2008.
J. Polakovic.
Architecture logicielle et outils pour systèmes d'exploitation reconfigurables, Ph. D. Thesis, Institut Polytechnique de Grenoble, Grenoble France, June 2008.
C. Taton.
Vers l'auto-optimisation dans les systèmes autonomes, Ph. D. Thesis, Institut Polytechnique de Grenoble, Grenoble France, November 2008.

Articles in International Peer-Reviewed Journal

N. De Palma, S. Bouchenak, F. Boyer, D. Hagimont, S. Sicard, C. Taton.
Jade : Un Environnementd'Administration Autonome, in: Techniques et Sciences Informatiques, to appear, 2008.
J. Polakovic, J.-B. Stefani.
Architecting reconfigurable component-based operating systems, in: Journal of Systems Architecture, 2008, vol. 54, no 6.
C. Taton, N. De Palma, S. Bouchenak, D. Hagimont.
Improving the Performance of JMS-Based Applications, in: International Journal of Autonomic Computing, To appear, 2009.
C. Taton, N. De Palma, J. Philippe, S. Bouchenak.
Self-Optimization of Clustered Message-Oriented Middleware, in: International Journal of Autonomic Computing, to appear, 2008.

International Peer-Reviewed Conference/Proceedings

J. Arnaud, S. Bouchenak.
Gestion de Ressources dans les Services Internet, in: 6e Conférence Française des Systèmes d'Exploitation (CFSE-6), 2008.
A. Bohannon, J. N. Foster, B. C. Pierce, A. Pilkiewicz, A. Schmitt.
Boomerang: resourceful lenses for string data, in: 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, (POPL), 2008.
L. Broto, D. Hagimont, P. Stolf, N. De Palma, S. Temate.
Autonomic management policy specification in Tune, in: ACM Symposium on Applied Computing (SAC), 2008.
N. De Palma.
Spécification de Politiques d'AdministrationAutonome avec Tune, in: 6e Conférence Française des Systèmes d'Exploitation (CFSE-6), 2008.
N. De Palma, K. Popov, N. Parlavantzas.
Tools for Architecture-Based Autonomic System, in: 5th International Conference on Autonomic and Autonomous Systems (ICAS 2009), To appear, 2009.
I. Lanese, J. A. Pérez, D. Sangiorgi, A. Schmitt.
On the Expressiveness and Decidability of Higher-Order Process Calculi, in: 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), 2008.
M. Lienhardt, A. Schmitt, J.-B. Stefani.
Typing Communicating Component Assemblages, in: Proceedings of the 7th International Conference on Generative Programming and Component Engineering (GPCE'08), 2008.
M. Pasin, S. Fontaine, S. Bouchenak.
Failure Detection in Large-Scale Distributed Systems: A Survey, in: 6th IEEE Workshop on End-to-End Monitoring Techniques and Services (E2EMon 2008), 2008.
P. V. Roy, S. Haridi, A. Reinefeld, J.-B. Stefani, R. H. C. Yap, T. Coupaye.
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project, in: Formal Methods for Components and Objects, 6th International Symposium (FMCO 2007), Lecture Notes in Computer Science, Springer, 2008, vol. 5382.
S. Sicard, F. Boyer, N. De Palma.
Using Components for Architecture-Based Management: The Self-Repair Case, in: 30th International Conference on Software Engineering (ICSE), ACM, 2008.
M. Toure, G. Berhe, P. Stolf, L. Broto, N. De Palma, D. Hagimont.
Autonomic Management for Grid Applications, in: 16th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2008), IEEE Computer Society, 2008.

Scientific Books (or Scientific Book chapters)

S. Bouchenak, N. De Palma.
Message Queuing Systems, in: Encyclopedia of Database Systems, Springer Verlag, 2008.
S. Krakowiak.
Systèmes d'exploitation : principes et fonctions, in: Technologies logicielles, Techniques de l'Ingénieur, 2008.
C. Taton, N. De Palma, S. Bouchenak.
Adaptive Middleware for Message Queuing Systems, in: Encyclopedia of Database Systems, Springer Verlag, 2008.

Internal Reports

J. Arnaud, S. Bouchenak.
MoKa: A System for Modeling and Capacity Planning of Multi-Tier Systems, Technical report, INRIA, 2008, no RR-6730
S. Lenglet, A. Schmitt, J.-B. Stefani.
Howe's Method for Early Bisimilarities, Research Report, INRIA, 2008, no RR-6773
S. Lenglet, A. Schmitt, J.-B. Stefani.
Normal bisimulations in process calculi with passivation, Research Report, INRIA, 2008, no RR-6664
L. Malrait, S. Bouchenak, N. Marchand.
Modeling and control of server Systems, (non-public report), INRIA, 2008.
P. Merle, J.-B. Stefani.
A formal specification of the Fractal model in Alloy, Research Report, INRIA, 2008, no RR-6721
C. Taton, S. Bouchenak, N. De Palma, D. Hagimont.
Self-Optimization of Internet Services with Dynamic Resource Provisioning, Technical report, INRIA, 2008, no RR-6575

Other Publications

A. Correira, A. Nunes, A. Sousa, E. Cecchet, J. Periera, L. Soares, L. Rodrigues, M. Matos, N. Carvalho, R. Oliveira, R. Valça, S. Bouchenak, S. Sicard.
GORDA Deliverable D5.2 – Prototype of the Integrated System, GORDA European Project, 2008
A. Correira, C. Taton, F. Métral, J. Periera, L. Soares, M. Matos, N. Carvalho, R. Valça, R. Oliveira, S. Bouchenak, S. Sicard.
GORDA Deliverable D5.4 – Management Tool Set, GORDA European Project, 2008
L. Demontes.
Observation auto-adaptative de systèmes événementiels structurés en composants, Masters thesis, Université Joseph Fourier, Grenoble, France, 2008
S. Genevès.
Répartition adaptative d’événements en contexte multiprocesseur,, Masters thesis, Université Joseph Fourier, Grenoble, France, 2008
J. Periera, L. Rodrigues, N. Carvalho, R. Oliveira, F. Pedone, E. Cecchet, S. Bouchenak.
GORDA Deliverable D7.1 – Deployment Plan, GORDA European Project, 2008

References in notes

Research Projects in Autonomic Computing, 2003, IBM Research.
G. Leavens, M. Sitaraman (editors)
Foundations of Component-Based Systems, Cambridge University Press, 2000.
Z. Liu, H. Jifeng (editors)
Mathematical Frameworks for Component Software - Models for Analysis and Synthesis, World Scientific, 2006.
A. Rausch, R. Reussner, R. Mirandola, F. Plasil (editors)
The Common Component Modeling Example – Comparing Software Component Models, Lecture Notes in Computer Science, Springer, 2008, vol. 5153.
M. Abadi, L. Cardelli.
A theory of objects, Springer, 1996.
L. Bass, P. Clements, R. Kazman.
Software Architecture in Practice, SEI Series in Software Engineering, 2nd, Addison-Wesley, 2003.
G. Blair, G. Coulson, A. Andersen, L. Blair, M. Clarke, F. Costa, H. Duran-Limon, T. Fitzpatrick, L. Johnston, R. Moreira, N. Parlavantzas, K. Saikoski.
The Design and Implementation of OpenORB v2, in: IEEE Distributed Systems Online, vol. 2 no 6, Special Issue on Reflective Middleware, 2001.
J. Bradbury, J. Cordy, J. Dingel, M. Wermelinger.
A Survey of Self-Management in Dynamic Software Architecture Specifications, in: Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, WOSS 2004, ACM, 2004.
M. Bugliesi, G. Castagna, S. Crafa.
Access control for mobile agents: the calculus of boxed ambients, in: ACM. Trans. Prog. Languages and Systems, vol. 26, no 1, 2004.
G. Castagna, J. Vitek, F. Z. Nardelli.
The Seal Calculus, in: Inf. Comput., 2005, vol. 201, no 1.
S. Dal-Zilio.
Mobile Processes: A Commented Bibliography, in: Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, LNCS, Springer, 2001, vol. 2067.
A. Dearle.
Software Deployment, Past, Present and Future, in: Future of Software Engineering (FOSE '07), IEEE, 2007.
J. Hellerstein, Y. Dao, S. Parekh, D. Tilbury.
Feedback Control of Computing Systems, Wiley-Interscience, 2004.
M. Hennessy, J. Rathke, N. Yoshida.
SafeDpi: a language for controlling mobile code, in: Acta Informatica, 2005, vol. 42, no 4-5.
M. C. Huebscher, J. A. McCann.
A survey of autonomic computing - degrees, models, and applications, in: ACM Comput. Surv., 2008, vol. 40, no 3.
J. O. Kephart, D. M. Chess.
The Vision of Autonomic Computing, in: Computer - IEEE Computer Magazine, 2003, vol. 36, no 1, p. 41–50.
J. O. Kephart.
Research Challenges of Autonomic Computing, in: ICSE '05: Proceedings of the 27th international conference on Software engineering, New York, NY, USA, ACM Press, 2005, p. 15–22
G. Kiczales, J. des Rivières, D. Bobrow.
The Art of the Metaobject Protocol, MIT Press, 1991.
G. Kiczales.
Aspect-Oriented Programming, in: ACM Computing Surveys, 1996, vol. 28, no 4, 154 p
F. Kon, F. Costa, G. Blair, R. H. Campbell.
The Case for Reflective Middleware, in: Communications of the ACM, June 2002, vol. 45, no 6, p. 33–38.
K. Lau, Z. Wang.
Software Component Models, in: IEEE Trans. Software Eng., 2007, vol. 33, no 10.
M. McIlroy.
Mass produced software components, in: Software Engineering, Report on a conference sponsored by the NATO Science Committee, Garmisch, Germany, 7th to 11th October 1968, P. Naur, B. Randell (editors), 1968.
N. Medvidovic, R. N. Taylor.
A Classification and Comparison Framework for Software Architecture Description Languages, in: IEEE Transactions on Software Engineering, vol. 26, no. 1, 2000.
R. Milner.
Communicating and mobile systems : the $ \pi$ -calculus, Cambridge University Press, 1999.
D. Oppenheimer, A. Ganapathi, D. A. Patterson.
Why do Internet services fail, and what can be done about it?, in: 4th USENIX Symposium on Internet Technologies and Systems (USITS '03), March 2003.
D. Sangiorgi.
Bisimulation for higher-order process calculi, in: Information and Computation,Vol. 131, No 2, 1996.
D. Sangiorgi, D. Walker.
The $ \pi$ -calculus: A Theory of Mobile Processes, Cambridge University Press, 2001.
M. Shaw, D. Garlan.
Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, 1996.
C. Szyperski.
Component Software, 2nd edition, Addison-Wesley, 2002.