Bibliography

Major publications by the team in recent years

1É. 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.
2G. Delaval, E. Rutten.

Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model, in: 13th International Symposium on Component-Based Software Engineering (CBSE), Lecture Notes in Computer Science, Springer, 2010, vol. 6092.
3J. 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.
4P. Genevès, N. Layaïda, 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.
5R. Guerraoui, N. Knezevic, V. Quéma, M. Vukolic.

The next 700 BFT protocols, in: 5th European Conference on Computer systems (Eurosys), ACM, 2010.
6R. Guerraoui, R. R. Levy, B. Pochon, V. Quéma.

Throughput optimal total order broadcast for cluster environments, in: ACM Trans. Comput. Syst., 2010, vol. 28, n^o 2.
7M. 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.
8S. Lenglet, A. Schmitt, J.-B. Stefani.

Characterizing Contextual Equivalence in Calculi with Passivation, in: Information and Computation, November 2011, vol. 209, n^o 11, p. 1390–1433.
9L. 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.
10J. Philippe, N. De Palma, F. Boyer, O. Gruber.

Self-adaptation of service level in distributed systems, in: Softw., Pract. Exper., 2010, vol. 40, n^o 3.
11D. Pous, D. Sangiorgi.

“Enhancements of the coinductive proof method”, in: Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2011.

http://www.cambridge.org/gb/knowledge/isbn/item6542021
12S. 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.

Publications of the year

Doctoral Dissertations and Habilitation Theses

13L. Bouzonnet.

Apports des architectures à composants pour le déploiement d'applications à la juste taille, Université de Grenoble, September 2011.

http://hal.inria.fr/tel-00629760/en
14W. Malvault.

Vers une architecture pair-à-pair pour l'informatique dans le nuage, Université de Grenoble, Oct 2011.
15A. Pace.

Gossiping in the wild – Tackling practical problems faced by gossip protocols when deployed on the Internet, Université de Grenoble, Oct 2011.
16A. Schmitt.

Static Analyses for Manipulations of Hierarchically Structured Data, Université de Grenoble, May 2011, Habilitation à Diriger les Recherches.

Articles in International Peer-Reviewed Journal

17M. A. Belhaj Seboui, N. Ben Hadj Alouane, G. Delaval, E. Rutten, M. Yeddes.

An approach for the Synthesis of Decentralized Supervisors for Distributed Adaptive Systems, in: International Journal of Critical Computer-Based Systems, 2011, vol. 2, n^o 3/4, p. 246-265.

http://dx.doi.org/10.1504/IJCCBS.2011.042328
18S. Bouchenak, F. Boyer, B. Claudel, N. de Palma, O. Gruber, S. Sicard.

From Autonomic to Self-Self Behaviors: The JADE Experience, in: ACM Transactions on Autonomous and Adaptive Systems, 2011.
19T. Braibant, D. Pous.

Deciding Kleene Algebras in Coq, in: LMCS, 2011, Accepted, to appear.

http://fr.arxiv.org/abs/1105.4537v1
20I. Lanese, J. A. Pérez, D. Sangiorgi, A. Schmitt.

On the Expressiveness and Decidability of Higher-Order Process Calculi, in: Information and Computation, February 2011, vol. 209, n^o 2, p. 198–226.
21S. Lenglet, A. Schmitt, J.-B. Stefani.

Characterizing Contextual Equivalence in Calculi with Passivation, in: Information and Computation, November 2011, vol. 209, n^o 11, p. 1390–1433.
22L. Malrait, S. Bouchenak, N. Marchand.

Experience with ConSer: A System for Server Control Through Fluid Modeling, in: IEEE Transactions on Computers, 2011.
23L. Malrait, S. Bouchenak, N. Marchand.

Experience with ConSer: A System for Server Control Through Fluid Modeling, in: IEEE Transactions on Computers, 2011, vol. 60, n^o 7, p. 951-963. [ DOI : 10.1109/TC.2010.164 ]

http://hal.inria.fr/hal-00480859/en
24D. Pous.

Untyping Typed Algebras and Colouring Cyclic Linear Logic, in: LMCS, 2011, Accepted, to appear.
25L. Seinturier, P. Merle, R. Rouvoy, D. Romero, V. Schiavoni, J.-B. Stefani.

A Component-Based Middleware Platform for Reconfigurable Service-Oriented Architectures, in: Software: Practice and Experience, 2011.

http://hal.inria.fr/inria-00567442/en
26N. de Palma, D. Hagimont, F. Boyer, L. Broto.

Self-Protection in a Clustered Distributed System, in: IEEE TPDS, 2011, p. 685-695.

Articles in National Peer-Reviewed Journal

27J. Arnaud, S. Bouchenak.

MOKA: Modélisation et planification de capacité pour les systèmes multiétagés, in: Revue Technique et Science Informatique (TSI), 2011.

International Conferences with Proceedings

28S. Aboubekr, G. Delaval, R. Pissard-Gibollet, E. Rutten, D. Simon.

Automatic generation of discrete handlers of real-time continuous control tasks, in: Proceedings of the 18th World Congress of the International Federation of Automatic Control (IFAC), Milano, Italy, aug. 28 – sep. 2 2011, p. 786–793.

http://dx.doi.org/10.3182/20110828-6-IT-1002.01548
29T. Bouhadiba, Q. Sabah, G. Delaval, E. Rutten.

Synchronous Control of Reconfiguration in Fractal Component-based Systems – a Case Study, in: Proceedings of the International Conference on Embedded Software. EMSOFT 2011, Taipei, Taiwan. October 9-14, 2011, p. 309–318.

http://dx.doi.org/10.1145/2038642.2038690
30F. Boyer, O. Gruber, G. Salaün.

Specifying and verifying the SYNERGY reconfiguration protocol with LOTOS NT and CADP, in: Proceedings of the 17th international conference on Formal methods, Berlin, Heidelberg, FM'11, Springer-Verlag, 2011, p. 103–117.

http://dl.acm.org/citation.cfm?id=2021296.2021310
31T. Braibant.

Coquet: A Coq Library for Verifying Hardware, in: Proc. 1st CPP, LNCS, Springer, 2011, vol. 7086, p. 330-345.

http://dx.doi.org/10.1007/978-3-642-25379-9_24
32T. Braibant, D. Pous.

Tactics for Reasoning modulo AC in Coq, in: Proc. 1st CPP, LNCS, Springer, 2011, vol. 7086, p. 167-182.

http://dx.doi.org/10.1007/978-3-642-25379-9_14
33E. Bárcenas, P. Genevès, N. Layaïda, A. Schmitt.

Query Reasoning on Trees with Types, Interleaving, and Counting, in: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI '11), Barcelona, Spain, T. Walsh (editor), AAAI Press/International Joint Conferences on Artificial Intelligence, July 2011, p. 718–723.

http://hal.inria.fr/inria-00609556/en
34C. Di Giusto, J. Stefani.

Revisiting glues for component-based systems, in: 13th International Conference on Coordination Models and Languages (COORDINATION), Lecture Notes in Computer Science, Springer, 2011, vol. 6721.
35X. Etchevers, T. Coupaye, F. Boyer, N. de Palma.

Self-Configuration of Distributed Applications in the Cloud, in: IEEE International Conference on Cloud Computing, CLOUD 2011, IEEE, 2011, p. 668-675.
36T. Hirschowitz, D. Pous.

Innocent strategies as presheaves and interactive equivalences for CCS, in: Proc. ICE, EPTCS, 2011, vol. 59.

http://dx.doi.org/10.4204/EPTCS.59.2
37I. Lanese, C. A. Mezzina, A. Schmitt, J.-B. Stefani.

Controlling Reversibility in Higher-Order Pi, in: Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR 2011), Aachen, Germany, Lecture Notes in Computer Science, Springer, September 2011, vol. 6901, p. 297–311.
38A. Pace, V. Quéma, V. Schiavoni.

Exploiting Node Connection Regularity for DHT Replication, in: 30th IEEE Symposium on Reliable Distributed Systems (SRDS), IEEE, 2011.
39G. Salaün, X. Etchevers, T. Coupaye, F. Boyer, N. de Palma.

Automated Configuration of Legacy Applications in the Cloud, in: IEEE UCC, 2011, p. 685-695.

National Conferences with Proceeding

40G. Delaval, E. Rutten, H. Marchand.

Intégration de la synthèse de contrôleurs discrets dans un langage de programmation, in: Modélisation des Systèmes Réactifs (MSR'11), Lille, France, 2011.

http://hal.inria.fr/inria-00629104/en
41F. Gaud, R. Lachaize, B. Lepers, G. Muller, V. Quéma.

Optimisations applicatives pour multi-cœurs NUMA : un cas d'étude avec le serveur web Apache, in: Conférence Française en Systèmes d'Exploitation (CFSE'8), May 2011.
42S. Guillet, F. de Lamotte, E. Rutten, G. Gogniat, J.-P. Diguet.

Modélisation et contrôle de reconfiguration partielle dynamique, in: Actes du Symposium en Architecture de Machines, SympA'14, Saint-Malo, France, 10-13 mai 2011 2011.

Conferences without Proceedings

43X. An, A. Gamatié, E. Rutten.

Safe Design of Dynamically Reconfigurable Embedded Systems, in: Proceedings of the 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED 2011), Grenoble, France, March 18 2011.
44F. Boyer, G. Delaval, N. de Palma, O. Gruber, E. Rutten.

Case studies in discrete control of autonomic computing systems, in: Handouts of the Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks, FeBID 2011, Karlsruhe, Germany, June 14 2011.

http://controlofsystems.org/febid2011/

Scientific Books (or Scientific Book chapters)

45J. Arnaud, S. Bouchenak.

Performance, Availability and Cost of Self-Adaptive Internet Services, in: Performance and Dependability in Service Computing, IGI Global, 2011.
46D. Pous, D. Sangiorgi.

“Enhancements of the coinductive proof method”, in: Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2011.

http://www.cambridge.org/gb/knowledge/isbn/item6542021

Internal Reports

47F. Bonchi, D. Pous.

Hopcroft and Karp's algorithm for Non-deterministic Finite Automata, HAL, 2011.

http://hal.inria.fr/hal-00639716/
48T. Bouhadiba, Q. Sabah, G. Delaval, E. Rutten.

Synchronous Control of Reconfiguration in Fractal Component-based Systems – a Case Study, INRIA, May 2011, n^o RR-7631.

http://hal.inria.fr/inria-00596883/en
49F. Gaud, R. Lachaize, B. Lepers, G. Muller, V. Quéma.

Application-Level Optimizations on NUMA Multicore Architectures: the Apache Case Study, LIG, Grenoble, France, 2011, n^o RR-LIG-011.

http://rr.liglab.fr/research_report/RR-LIG-011.pdf

Other Publications

50F. Boyer, O. Gruber, D. Pous.

Robust reconfiguration of component assemblies, 2011, Coq formalisation available.

http://sardes.inrialpes.fr/~pous/rrca/

References in notes

51Research Projects in Autonomic Computing, 2003, IBM Research.

http://www.research.ibm.com/autonomic/research/projects.html
52Z. Liu, H. Jifeng (editors)

Mathematical Frameworks for Component Software - Models for Analysis and Synthesis, World Scientific, 2006.
53M. Abadi, L. Cardelli.

A theory of objects, Springer, 1996.
54J. Aldrich, C. Chambers, D. Notkin.

Architectural Reasoning in ArchJava, in: Proceedings 16th European Conference on Object-Oriented Programming (ECOOP), 2002.
55S. Androutsellis-Theotokis, D. Spinellis.

A survey of peer-to-peer content distribution technologies, in: ACM Comput. Surv., 2004, vol. 36, n^o 4.
56J. Armstrong, M. Williams, C. Wikstrom, R. Virding.

Concurrent Programming in Erlang, Prentice Hall, 1996.
57L. Bass, P. Clements, R. Kazman.

Software Architecture in Practice, SEI Series in Software Engineering, 2nd edition, Addison-Wesley, 2003.
58A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber, T.-H. Nguyen, J. Sifakis.

Rigorous Component-Based System Design Using the BIP Framework, in: IEEE Software, 2011, vol. 28, n^o 3.
59A. 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.
60B. 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.
61L. 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.
62G. 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.
63S. Boyd-Wickizer, H. Chen, R. Chen, Y. Mao, M. 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.
64J. 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.
65M. 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.
66C. G. Cassandras, S. Lafortune.

Introduction to Discrete Event Systems, 2nd edition, Springer, 2008.
67G. Castagna, J. Vitek, F. Z. Nardelli.

The Seal Calculus, in: Inf. Comput., 2005, vol. 201, n^o 1.
68R. Collet.

The Limits of Network Transparency in a Distributed Programming Language, Université Catholique de Louvain, Belgium, 2007.
69G. 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.
70S. Dal-Zilio.

Mobile Processes: A Commented Bibliography, in: Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, LNCS, Springer, 2001, vol. 2067.
71A. Dearle.

Software Deployment, Past, Present and Future, in: Future of Software Engineering (FOSE '07), IEEE, 2007.
72M. 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.
73C. 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.
74M. Golm, M. Felser, C. Wawersich, J. Kleinöder.

The JX Operating System, in: USENIX Annual Technical Conference, General Track, USENIX, 2002.
75G. 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.
76J. Hellerstein, Y. Dao, S. Parekh, D. Tilbury.

Feedback Control of Computing Systems, Wiley-Interscience, 2004.
77M. Hennessy, J. Rathke, N. Yoshida.

SafeDpi: a language for controlling mobile code, in: Acta Informatica, 2005, vol. 42, n^o 4-5.
78M. Herlihy, N. Shavit.

The Art of Multiprocessor Programming, Morgan Kaufmann, 2008.
79M. C. Huebscher, J. A. McCann.

A survey of autonomic computing - degrees, models, and applications, in: ACM Comput. Surv., 2008, vol. 40, n^o 3.
80G. C. Hunt, J. R. Larus.

Singularity: rethinking the software stack, in: Operating Systems Review, 2007, vol. 41, n^o 2.
81M. Jelasity, S. Voulgaris, R. Guerraoui, A. Kermarrec, M. van Steen.

Gossip-based peer sampling, in: ACM Trans. Comput. Syst., 2007, vol. 25, n^o 3.
82J. O. Kephart, D. M. Chess.

The Vision of Autonomic Computing, in: Computer - IEEE Computer Magazine, 2003, vol. 36, n^o 1, p. 41–50.
83J. 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
84G. Kiczales, J. des Rivières, D. Bobrow.

The Art of the Metaobject Protocol, MIT Press, 1991.
85G. Kiczales.

Aspect-Oriented Programming, in: ACM Computing Surveys, 1996, vol. 28, n^o 4, 154 p.

http://doi.acm.org/10.1145/242224.242420
86G. 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.
87F. 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.
88M. N. Krohn, E. Kohler, M. F. Kaashoek.

Events Can Make Sense, in: USENIX Annual Technical Conference, 2007.
89K. Lau, Z. Wang.

Software Component Models, in: IEEE Trans. Software Eng., 2007, vol. 33, n^o 10.
90G. Leavens, M. Sitaraman.

Foundations of Component-Based Systems, Cambridge University Press, 2000.
91Y. Liu, S. Smith.

Interaction-Based Programming with Classages, in: Proceedings OOPSLA, 2005.
92N. Lynch.

Distributed Algorithms, Morgan Kaufmann, 1996.
93N. 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.
94P. Mell, T. Grance.

The NIST Definition of Cloud Computing, 2010.

http://csrc.nist.gov/groups/SNS/cloud-computing/
95M. Miller.

Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control, Johns Hopkins University, baltimor, Maryland, USA, 2006.
96R. Milner.

Communicating and mobile systems : the $π$ -calculus, Cambridge University Press, 1999.
97J. Mitchell.

Foundations for Programming Languages, MIT Press, 1996.
98M. Odersky, M. Zenger.

Scalable component abstractions, in: Proceedings OOPSLA, 2005.
99D. 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.
100J. Risson, T. Moors.

Survey of research towards robust peer-to-peer networks: Search methods, in: Computer Networks, 2006, vol. 50, n^o 17.
101A. 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.
102A. Rossberg.

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

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

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

The $π$ -calculus: A Theory of Mobile Processes, Cambridge University Press, 2001.
106P. 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.
107D. Shah.

Gossip Algorithms, in: Foundations and Trends in Networking, 2009, vol. 3, n^o 1.
108M. Shaw, D. Garlan.

Software Architecture: Perspectives on an Emerging Discipline, Prentice-Hall, 1996.
109A. Silberschatz, P. B. Galvin, G. Gagne.

Operating System Concepts, 8th edition, Wiley, 2008.
110C. Szyperski.

Component Software, 2nd edition, Addison-Wesley, 2002.
111G. Tel.

Introduction to Distributed Algorithms, 2nd edition, Cambdrige University Press, 2001.
112P. Van Roy, S. Haridi.

Concepts, Techniques and Models of Computer Programming, MIT Press, 2004.
113N. Wirth.

Project Oberon: The Design of an Operating System and Compiler, ACM Press, 1992.
114N. 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.

Previous |

Home