Bibliography

Major publications by the team in recent years

[1]

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.

[2]

S. Bouchenak, N. De Palma, D. Hagimont, C. Taton.
Autonomic Management of Clustered Applications, in: IEEE International Conference on Cluster Computing, 2006.

[3]

É. 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, n^o 11-12.

[4]

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.

[5]

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, n^o 3.

[6]

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.

[7]

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.

[8]

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.

[9]

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.

[10]

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.

[11]

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

[12]

F. Boyer.
Gestion de l'adaptabilité dans les applications réparties, Université Joseph Fourier, Grenoble, December 2009, Habilitation à Diriger des Recherches.

[13]

B. Claudel.
Mécanismes logiciels de protection mémoire, Institut Polytechnique de Grenoble, Grenoble France, December 2009, Ph. D. Thesis.

[14]

N. De Palma.
De l'Administration vers l'Administration Autonome, Institut National Polytechnique de Grenoble, June 2009, Habilitation à Diriger des Recherches.

[15]

J. Philippe.
Auto-Adaptation du Niveau de Service dans les Systèmes Distribués, Institut Polytechnique de Grenoble, Grenoble France, January 2009, Ph. D. Thesis.

[16]

S. Sicard.
Vers l'autoréparation dans les systèmes répartis, Université Joseph Fourier, Grenoble, Grenoble France, March 2009, Ph. D. Thesis.

Articles in International Peer-Reviewed Journal

[17]

A. Gamatié, E. Rutten, H. Yu, P. Boulet, Jean-Luc. Dekeyser.
Model-driven Engineering and Formal Validation of High-Performance Embedded Systems, in: SCPE electronic journal (Scalable Computing: Practice and Experience), June 2009, vol. 10, n^o 2
http://www.scpe.org/?a=qs&limit=6&offset=0&search=Model-driven+Engineering.

[18]

A. Girault, E. Rutten.
Automating the Addition of Fault Tolerance with Discrete Controller Synthesis, in: Int. journal on Formal Methods in System Design, October 2009, vol. 35, n^o 2.

[19]

C. Taton, N. De Palma, S. Bouchenak, D. Hagimont.
Improving the performance of JMS-based applications, in: International Journal of Autonomic Computing (IJAC), 2009, vol. 1, n^o 1.

International Peer-Reviewed Conference/Proceedings

[20]

S. Aboubekr, G. Delaval, E. Rutten.
A Programming Language for Adaptation Control: Case Study, in: 2nd Workshop on Adaptive and Reconfigurable Embedded Systems, APRES 2009 (in conjunction with ESWeek 2009), 2009.

[21]

J. Arnaud, S. Bouchenak.
Modélisation et planification de capacités dans les systèmes multi-étagés, in: 9eme Conférence Internationale sur Les Nouvelles Technologies de la Répartition (NOTERE 2009), 2009.

[22]

T. Braibant, D. Pous.
A Tactic for Deciding Kleene Algebras, in: Proceedings of the 1st Coq Workshop, August 2009
http://hal.archives-ouvertes.fr/hal-00383070/fr/.

[23]

B. Claudel, G. Huard, O. Richard.
TakTuk, Adaptive Deployment of Remote Executions, in: Proceedings of the International Symposium on High Performance Distributed Computing (HPDC), jun 2009.

[24]

N. De Palma, N. Parlavanzas, K. Popov, P. Brand, V. Vlassov.
Tools for Autonomic Computing, in: 5th International Conference on Autonomic and Autonomous Systems (ICAS 2009), IEEE Computer Society, 2009.

[25]

D. Frey, R. Guerraoui, A.-M. Kermarrec, B. Koldehofe, M. Mogensen, M. Monod, V. Quéma.
Heterogeneous Gossip, in: 10th ACM/IFIP/USENIX International Middleware Conference (Middleware), 2009.

[26]

D. Frey, R. Guerraoui, A.-M. Kermarrec, M. Monod, V. Quéma.
Stretching Gossip with Live Streaming, in: 39th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2009.

[27]

A.-M. Kermarrec, A. Pace, V. Quéma, V. Schiavoni.
NAT-resilient Gossip Peer Sampling, in: 29th International Conference on Distributed Computing Systems (ICDCS), 2009.

[28]

S. Lenglet, A. Schmitt, J.-B. Stefani.
Howe's method for calculi with passivation, in: 20th International Conference on Concurrency Theory (CONCUR 2009), Lecture Notes in Computer Science, Springer, 2009.

[29]

S. Lenglet, A. Schmitt, J.-B. Stefani.
Normal bisimulations in process calculi with passivation, in: 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009), Lecture Notes in Computer Science, Springer, 2009, vol. 5504.

[30]

M. Lienhardt, C. A. Mezzina, A. Schmitt, J.-B. Stefani.
Typing Component-Based Communication Systems, in: 11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) and 29th Formal Techniques for Networked and Distributed Systems (FORTE), Lecture Notes in Computer Science, Springer, 2009.

[31]

L. Malrait, S. Bouchenak, N. Marchand.
Fluid modeling and control for server system performance and availability, in: 39th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2009.

[32]

L. Malrait, S. Bouchenak, N. Marchand.
Modeling and control of server systems: application to database systems, in: 10th European Control Conference (ECC 09), 2009.

[33]

L. Malrait, N. Marchand, S. Bouchenak.
Average Delay Guaranty in Server Systems Using Admission Control, in: 8th IFAC Workshop on Time-Delay Systems, September 2009.

[34]

L. Malrait, N. Marchand, S. Bouchenak.
Modélisation et contrôle d'un serveur, in: French Chapter of the ACM-SIGOPS, 7ème Conférence Française sur les Systèmes d'Exploitation (CFSE 2009), September 2009.

[35]

N. D. Palma, K. Popov, N. Parlavantzas.
Tools for Architecture-Based Autonomic System, in: 5th International Conference on Autonomic and Autonomous Systems (ICAS 2009), 2009.

[36]

J. Philippe, N. De Palma, O. Gruber, F. Boyer.
Self-Adapting Service Level in Java Enterprise Edition, in: 10th ACM/IFIP/USENIX International Middleware Conference (Middleware), 2009.

[37]

E. Rutten.
Supervisory control of adaptive and reconfigurable computing systems, in: 13th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'09, 2009.

[38]

L. Seinturier, P. Merle, D. Fournier, N. Dolet, V. Schiavoni, J.-B. Stefani.
Reconfigurable SCA Applications with the FraSCAti Platform, in: 6th IEEE International Conference on Services Computing (SCC), IEEE, 2009.

[39]

H. Yu, G. Delaval, A. Gamatié, E. Rutten.
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems, in: 6th IEEE International Conference on Embedded Software and Systems, ICESS'09, 2009.

Workshops without Proceedings

[40]

D. Pous.
Untyping Typed Algebraic Structures, in: Proceedings of the CAM-CAD Workshop, October 2009
http://hal.archives-ouvertes.fr/hal-00421158/fr/.

Scientific Books (or Scientific Book chapters)

[41]

A. Girault, E. Rutten (editors)
Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P'08, Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Science, june 2009, vol. 238, n^o 1.

[42]

F. Maraninchi, M. Mendler, M. Pouzet, A. Girault, E. Rutten (editors)
Model-driven High-level Programming of Embedded Systems. Selected papers from Sla++p'07 and Sla++p'08, Special issue of the Eurasip Journal on Embedded Systems, April 2009.

[43]

E. Niel, L. Pietrac, J. Muller, E. Rutten (editors)
Interactions of discrete-event automation and computer sciences, Special section of the Journal of Universal Computer Science, July 2009.

[44]

F. Boyer, N. De Palma, O. Gruber, S. Sicard, J.-B. Stefani.
A self-repair architecture for cluster systems, in: Architecting Dependable Systems 6, R. de Lemos, J.-C. Fabre, C. Gacek, F. Gadducci, M. H. ter Beek (editors), Lecture Notes in Computer Science, Springer, 2009, vol. 5835.

Books or Proceedings Editing

[45]

G. S. Blair, T. Coupaye, J.-B. Stefani (editors)
Component-based architecture: the Fractal initiative, Annales des Télécommunications, 2009, vol. 64, n^o 1-2.

Internal Reports

[46]

Gwenaël. Delaval, Hervé. Marchand, E. Rutten.
BZR Contracts for Modular Discrete Controller Synthesis, INRIA, November 2009, n^o 7111
http://hal.inria.fr/inria-00436560/, Rapport de Recherche.

[47]

F. Gaud, S. Geneves, R. Lachaize, B. Lepers, F. Mottet, G. Muller, V. Quéma.
Mely: Efficient Workstealing for Multicore Event-Driven Systems, INRIA, 2010, n^o RR-7169
http://hal.inria.fr/inria-00449530/fr/, Research Report.

Other Publications

[48]

D. Hirschkoff, D. Pous.
On characterising strong bisimilarity in a fragment of CCS with replication, 2009
http://hal.archives-ouvertes.fr/hal-00329468/fr/, (Available as a HAL report).

References in notes

[49]

Research Projects in Autonomic Computing, 2003
http://www.research.ibm.com/autonomic/research/projects.html, IBM Research.

[50]

Z. Liu, H. Jifeng (editors)
Mathematical Frameworks for Component Software - Models for Analysis and Synthesis, World Scientific, 2006.

[51]

M. Abadi, L. Cardelli.
A theory of objects, Springer, 1996.

[52]

J. Aldrich, C. Chambers, D. Notkin.
Architectural Reasoning in ArchJava, in: Proceedings 16th European Conference on Object-Oriented Programming (ECOOP), 2002.

[53]

S. Androutsellis-Theotokis, D. Spinellis.
A survey of peer-to-peer content distribution technologies, in: ACM Comput. Surv., 2004, vol. 36, n^o 4.

[54]

J. Armstrong, M. Williams, C. Wikstrom, R. Virding.
Concurrent Programming in Erlang, Prentice Hall, 1996.

[55]

L. Bass, P. Clements, R. Kazman.
Software Architecture in Practice, SEI Series in Software Engineering, 2nd, Addison-Wesley, 2003.

[56]

A. Baumann, P. Barham, P. Dagand, T. L. Harris, R. Isaacs, S. Peter, T. Roscoe, A. Schüpbach, A. Singhania.
The multikernel: a new OS architecture for scalable multicore systems, in: 22nd ACM Symposium on Operating Systems Principles (SOSP), ACM, 2009.

[57]

B. Bershad, S. Savage, P. Przemyslaw, E. Sirer, M. Fiuczynski, D. Becker, C. Chambers, S. Eggers.
Extensibility, Safety and Performance in the SPIN Operating System, in: Proceedings 15th ACM Symposium on Operating Systems Principles, 1995.

[58]

L. Bettini, V. Bono, R. De Nicola, G. Ferrari, D. Gorla, M. Loreti, E. Moggi, R. Pugliese, E. Tuosto, B. Venneri.
The KLAIM Project: Theory and Practice, in: Global Computing: Programming Environments, Languages, Security and Analysis of Systems, Lecture Notes in Computer Science, Springer-Verlag, 2003, n^o 2874.

[59]

G. S. 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.

[60]

S. Boyd-Wickizer, H. Chen, R. Chen, Y. Mao, F. Kaashoek, R. Morris, A. Pesterev, L. Stein, M. Wu, Y. Dai, Y. Zhang, Z. Zhang.
Corey: an operating system for many cores, in: 8th Usenix Symposium on Operating System Design and Implementation (OSDI `08), 2008.

[61]

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.

[62]

É. 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, 2006, vol. 36, n^o 11-12.

[63]

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.

[64]

C. G. Cassandras, S. Lafortune.
Introduction to Discrete Event Systems, 2nd, Springer, 2008.

[65]

G. Castagna, J. Vitek, F. Z. Nardelli.
The Seal Calculus, in: Inf. Comput., 2005, vol. 201, n^o 1.

[66]

R. Collet.
The Limits of Network Transparency in a Distributed Programming Language, Université Catholique de Louvain, Belgium, 2007, Ph. D. Thesis.

[67]

G. Coulson, G. S. Blair, P. Grace, F. Taïani, A. Joolia, K. Lee, J. Ueyama, T. Sivaharan.
A generic component model for building systems software, in: ACM Trans. Computer Systems, 2008, vol. 26, n^o 1.

[68]

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.

[69]

A. Dearle.
Software Deployment, Past, Present and Future, in: Future of Software Engineering (FOSE '07), IEEE, 2007.

[70]

M. Fahndrich, M. Aiken, C. Hawblitzel, O. Hodson, G. C. Hunt, J. R. Larus, S. Levi.
Language Support for Fast and Reliable Message-based Communication in Singularity OS, in: 1st EuroSys Conference, ACM, 2006.

[71]

C. Fournet, F. Le Fessant, L. Maranget, A. Schmitt.
JoCaml: a language for concurrent, distributed and mobile programming, in: Summer Schol Adv. Functional Programming, LNCS, 2003, vol. 2638.

[72]

P. Genevès, N. Layaida, A. Schmitt.
Efficient static analysis of XML paths and types, in: Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI), ACM, 2007.

[73]

M. Golm, M. Felser, C. Wawersich, J. Kleinöder.
The JX Operating System, in: USENIX Annual Technical Conference, General Track, USENIX, 2002.

[74]

G. Heiser, K. Elphinstone, I. Kuz, G. Klein, S. Petters.
Towards Trusworthy Computing Systems: Taking Microkernels to the Next Level, in: Operating Systems Review, 2007, vol. 41, n^o 4.

[75]

J. Hellerstein, Y. Dao, S. Parekh, D. Tilbury.
Feedback Control of Computing Systems, Wiley-Interscience, 2004.

[76]

M. Hennessy, J. Rathke, N. Yoshida.
SafeDpi: a language for controlling mobile code, in: Acta Informatica, 2005, vol. 42, n^o 4-5.

[77]

M. Herlihy, N. Shavit.
The Art of Multiprocessor Programming, Morgan Kaufmann, 2008.

[78]

M. C. Huebscher, J. A. McCann.
A survey of autonomic computing - degrees, models, and applications, in: ACM Comput. Surv., 2008, vol. 40, n^o 3.

[79]

G. C. Hunt, J. R. Larus.
Singularity: rethinking the software stack, in: Operating Systems Review, 2007, vol. 41, n^o 2.

[80]

J. O. Kephart, D. M. Chess.
The Vision of Autonomic Computing, in: Computer - IEEE Computer Magazine, 2003, vol. 36, n^o 1, p. 41–50.

[81]

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
http://doi.acm.org/10.1145/1062455.1062464.

[82]

G. Kiczales, J. des Rivières, D. Bobrow.
The Art of the Metaobject Protocol, MIT Press, 1991.

[83]

G. Kiczales.
Aspect-Oriented Programming, in: ACM Computing Surveys, 1996, vol. 28, n^o 4, 154 p
http://doi.acm.org/10.1145/242224.242420.

[84]

G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, R. Kolanski, M. Norrish, T. Sewell, H. Tuch, S. Winwood.
seL4: formal verification of an OS kernel, in: 22nd ACM Symposium on Operating Systems Principles 2009, ACM, 2009.

[85]

E. Kohler, R. Morris, B. Chen, J. Jannotti, M. F. Kaashoek.
The Click Modular Router, in: ACM Trans. Comput. Syst., 2000, vol. 18, n^o 3.

[86]

F. Kon, F. Costa, G. S. Blair, R. H. Campbell.
The Case for Reflective Middleware, in: Communications of the ACM, June 2002, vol. 45, n^o 6, p. 33–38.

[87]

M. N. Krohn, E. Kohler, M. F. Kaashoek.
Events Can Make Sense, in: USENIX Annual Technical Conference, 2007.

[88]

K. Lau, Z. Wang.
Software Component Models, in: IEEE Trans. Software Eng., 2007, vol. 33, n^o 10.

[89]

G. Leavens, M. Sitaraman.
Foundations of Component-Based Systems, Cambridge University Press, 2000.

[90]

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.

[91]

Y. Liu, S. Smith.
Interaction-Based Programming with Classages, in: Proceedings OOPSLA, 2005.

[92]

N. Lynch.
Distributed Algorithms, Morgan Kaufmann, 1996.

[93]

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.

[94]

M. Miller.
Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control, Johns Hopkins University, baltimor, Maryland, USA, 2006, Ph. D. Thesis.

[95]

R. Milner.
Communicating and mobile systems : the -calculus, Cambridge University Press, 1999.

[96]

R. Milner, D. Sangiorgi.
Barbed Bisimulation, in: Automata, Languages and Programming, 19th International Colloquium, ICALP92, Lecture Notes in Computer Science, Springer, 1992, vol. 623.

[97]

J. Mitchell.
Foundations for Programming Languages, MIT Press, 1996.

[98]

M. Odersky, M. Zenger.
Scalable component abstractions, in: Proceedings OOPSLA, 2005.

[99]

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.

[100]

J. Risson, T. Moors.
Survey of research towards robust peer-to-peer networks: Search methods, in: Computer Networks, 2006, vol. 50, n^o 17.

[101]

A. Rossberg, D. Le Botlan, G. Tack, T. Brunklaus, G. Smolka.
Alice Through the Looking Glass, in: Trends in Functional Programming, Intellect Books, 2006, vol. 5.

[102]

A. Rossberg.
The Missing Link - Dynamic Components for ML, in: 11th International Conference on Functional Programming, ACM Press, 2006.

[103]

D. Sangiorgi.
On the origins of bisimulation and coinduction, in: ACM Trans. Program. Lang. Syst., 2009, vol. 31, n^o 4.

[104]

D. Sangiorgi.
Bisimulation for Higher-Order Process Calculi, in: Information and Computation, 1996, vol. 131, n^o 2.

[105]

D. Sangiorgi, D. Walker.
The -calculus: A Theory of Mobile Processes, Cambridge University Press, 2001.

[106]

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.

[107]

P. Sewell, J. Leifer, K. Wansbrough, F. Z. Nardelli, M. Allen-Willians, P. Habouzit, V. Vafeiadis.
Acute: High-level programming language design for distributed computation, in: Int. Conf. Functional Programming, 2005.

[108]

D. Shah.
Gossip Algorithms, in: Foundations and Trends in Networking, 2009, vol. 3, n^o 1.

[109]

M. Shaw, D. Garlan.
Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, 1996.

[110]

A. Silberschatz, P. B. Galvin, G. Gagne.
Operating System Concepts, 8th edition, Wiley, 2008.

[111]

C. Szyperski.
Component Software, 2nd edition, Addison-Wesley, 2002.

[112]

G. Tel.
Introduction to Distributed Algorithms, 2nd edition, Cambdrige University Press, 2001.

[113]

P. Van Roy, S. Haridi.
Concepts, Techniques and Models of Computer Programming, MIT Press, 2004.

[114]

N. Wirth.
Project Oberon: The Design of an Operating System and Compiler, ACM Press, 1992.

[115]

N. Zeldovich, A. Yip, F. Dabek, R. Morris, D. Mazières, M. F. Kaashoek.
Multiprocessor Support for Event-Driven Programs, in: USENIX Annual Technical Conference, General Track, 2003.