EN FR
EN FR


previous Previous | up Home


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, 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, D. Sangiorgi, J. Rutten (editors), CambdrigeTracts in Theoretical Computer Science, Cambridge University Press, 2012, chap. 6, no 52.
  • 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

Articles in International Peer-Reviewed Journals

  • 15T. Braibant, D. Pous.

    Deciding Kleene Algebras in Coq, in: Logical Methods in Computer Science, 2012, vol. 8, no 1.
  • 16N. De Palma, D. Hagimont, F. Boyer, L. Broto.

    Self-Protection in a Clustered Distributed System, in: IEEE Transactions on Parallel Distributed Systems, 2012, vol. 23, no 2.
  • 17D. Pous.

    Untyping Typed Algebras and Colouring Cyclic Linear Logic, in: Logical Methods in Computer Science, 2012, vol. 8, no 2.
  • 18L. 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, May 2012, vol. 42, no 5, p. 559-583. [ DOI : 10.1002/spe.1077 ]

    http://hal.inria.fr/inria-00567442

International Conferences with Proceedings

  • 19X. An, A. Gamatié, E. Rutten.

    CLASSY: a Clock Analysis System for Rapid Prototyping of Embedded Applications on MPSoCs, in: 15th International Workshop on Software and Compilers for Embedded Systems Map2MPSoC/SCOPES 2012, 2012.
  • 20F. Boyer, G. Delaval, N. De Palma, O. Gruber, E. Rutten.

    Discrete supervisory control application to computing systems administration, in: 14th IFAC Symposium on Information Control Problems in Manufacturing, INCOM'12, 2012.
  • 21S. M.-K. Gueye, N. De Palma, E. Rutten.

    Coordinating energy-aware administration loops using discrete control, in: 8th Int. Conf. on Autonomic and Autonomous Systems (ICAS), 2012.
  • 22S. Guillet, F. de Lamotte, N. Le Griguer, E. Rutten, G. Gogniat, J.-P. Diguet.

    Designing formal reconfiguration control using UML/MARTE, in: 7th International Workshop on Reconfigurable and Communication Centric Systems-on-Chip, ReCoSoC 2012, 2012.
  • 23M. Kaptritsos, Y. Wang, V. Quéma, A. Clement, L. Alvisi, M. Dahlin.

    Eve: Execute-Verify Replication for Multi-Core Servers, in: 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2012.
  • 24R. Lachaize, B. Lepers, V. Quéma.

    MemProf: a Memory Profiler for NUMA Multicore Systems, in: USENIX Annual Technical Conference 2012 (USENIX `12), USENIX, 2012.
  • 25I. Lanese, C. A. Mezzina, J.-B. Stefani.

    Controlled Reversibility and Compensations, in: 4th Int. Workshop on Reversible Computation (RC 2012), Lecture Notes in Computer Science, Springer, 2012, vol. 7581.
  • 26M. Lienhardt, I. Lanese, C. A. Mezzina, J.-B. Stefani.

    A Reversible Abstract Machine and Its Space Overhead, in: 14th IFIP Int. Conf. FMOODS and 32nd IFIP Int. Conf. FORTE (FMOODS/FORTE), Lecture Notes in Computer Science, Springer, 2012, vol. 7273.
  • 27G. Salaün, X. Etchevers, N. De Palma, F. Boyer, T. Coupaye.

    Verification of a self-configuration protocol for distributed applications in the cloud, in: ACM Symposium on Applied Computing (SAC), 2012.
  • 28A. Sangroya, D. Serrano, S. Bouchenak.

    Benchmarking Dependability of MapReduce Systems, in: 31st IEEE Int. Symposium on Reliable Distributed Systems (SRDS), IEEE, 2012.
  • 29A. Sangroya, D. Serrano, S. Bouchenak.

    MRBS: Towards Dependability Benchmarking for Hadoop MapReduce, in: Euro-Par 2012: Parallel Processing Workshops, Lecture Notes in Computer Science, Springer, 2012, vol. 7640.

Conferences without Proceedings

  • 30Soguy Mak-Kare. Gueye, E. Rutten, A. Tchana.

    Discrete control for the coordination of administration loops, in: 3rd International Workshop on Green and Cloud Management (GCM'2012), 2012.
  • 31S. M.-K. Gueye, N. De Palma, E. Rutten.

    Discrete control for the coordination of administration loops, in: 7th International Workshop on Feedback Computing, 2012.
  • 32S. Guillet, F. de Lamotte, N. Le Griguer, E. Rutten, J.-P. Diguet, G. Gogniat.

    Modeling and Synthesis of a dynamic and Partial reconfiguration Controller, in: 22nd International Conference on Field Programmable Logic and Applications (Poster Session), FPL 2012, 2012.

Scientific Books (or Scientific Book chapters)

  • 33J. Arnaud, S. Bouchenak.

    Performance, Availability and Cost of Self-Adaptive Internet Services, in: Performance and Dependability in Service Computing, V. Cardellini, E. Casalicchio, K. Branco, J. Estrella, F. Monaco (editors), IGI Global, 2012, chap. 10.
  • 34D. Pous, D. Sangiorgi.

    Enhancements of the coinductive proof method, in: Advanced Topics in Bisimulation and Coinduction, D. Sangiorgi, J. Rutten (editors), CambdrigeTracts in Theoretical Computer Science, Cambridge University Press, 2012, chap. 6, no 52.
References in notes
  • 35Research Projects in Autonomic Computing, 2003, IBM Research.
  • 36Z. Liu, H. Jifeng (editors)

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

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

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

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

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

    Software Architecture in Practice, SEI Series in Software Engineering, 2nd edition, Addison-Wesley, 2003.
  • 42A. 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.
  • 43B. 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.
  • 44L. 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.
  • 45G. 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.
  • 46S. 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.
  • 47J. 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.
  • 48M. 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.
  • 49C. G. Cassandras, S. Lafortune.

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

    The Seal Calculus, in: Inf. Comput., 2005, vol. 201, no 1.
  • 51R. Collet.

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

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

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

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

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

    SafeDpi: a language for controlling mobile code, in: Acta Informatica, 2005, vol. 42, no 4-5.
  • 61M. Herlihy, N. Shavit.

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

    A survey of autonomic computing - degrees, models, and applications, in: ACM Comput. Surv., 2008, vol. 40, no 3.
  • 63G. C. Hunt, J. R. Larus.

    Singularity: rethinking the software stack, in: Operating Systems Review, 2007, vol. 41, no 2.
  • 64J. O. Kephart, D. M. Chess.

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

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

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

    http://doi.acm.org/10.1145/242224.242420
  • 68G. 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.
  • 69F. 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.
  • 70M. N. Krohn, E. Kohler, M. F. Kaashoek.

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

    Software Component Models, in: IEEE Trans. Software Eng., 2007, vol. 33, no 10.
  • 72G. Leavens, M. Sitaraman.

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

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

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

    The NIST Definition of Cloud Computing, 2010.

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

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

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

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

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

    Survey of research towards robust peer-to-peer networks: Search methods, in: Computer Networks, 2006, vol. 50, no 17.
  • 83A. 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.
  • 84A. Rossberg.

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

    On the origins of bisimulation and coinduction, in: ACM Trans. Program. Lang. Syst., 2009, vol. 31, no 4.
  • 86D. Sangiorgi.

    Bisimulation for Higher-Order Process Calculi, in: Information and Computation, 1996, vol. 131, no 2.
  • 87D. Sangiorgi, D. Walker.

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

    Gossip Algorithms, in: Foundations and Trends in Networking, 2009, vol. 3, no 1.
  • 90M. Shaw, D. Garlan.

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

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

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

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

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

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