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, no 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, no 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, no 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, no 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, no 3.
  • 11D. Pous, D. Sangiorgi.

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

  • 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.

  • 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, no 3/4, p. 246-265.

  • 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.

  • 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, no 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, no 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, no 7, p. 951-963. [ DOI : 10.1109/TC.2010.164 ]

  • 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.

  • 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.

  • 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.

  • 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.

  • 31T. Braibant.

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

  • 32T. Braibant, D. Pous.

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

  • 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.

  • 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.

  • 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.

  • 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.


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.


Internal Reports

Other Publications

References in notes
  • 51Research Projects in Autonomic Computing, 2003, IBM Research.

  • 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, no 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, no 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, no 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, no 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, no 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, no 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, no 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, no 3.
  • 80G. C. Hunt, J. R. Larus.

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

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

    The Vision of Autonomic Computing, in: Computer - IEEE Computer Magazine, 2003, vol. 36, no 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.

  • 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, no 4, 154 p.

  • 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, no 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, no 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.

  • 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, no 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, no 4.
  • 104D. Sangiorgi.

    Bisimulation for Higher-Order Process Calculi, in: Information and Computation, 1996, vol. 131, no 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, no 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.