Sites Inria

English version

Equipe de recherche SARDES

Publications de l'équipe SARDES

2017

Article dans une revue

titre
Novel genetic loci associated with hippocampal volume
auteur
Derrek P. Hibar, Hieab H. H. Adams, Neda Jahanshad, Ganesh Chauhan, Jason L. Stein, Edith Hofer, Miguel E. Renteria, Joshua C. Bis, Alejandro Arias-Vasquez, M. Kamran Ikram, Sylvane Desrivières, Meike W. Vernooij, Lucija Abramovic, Saud Alhusaini, Najaf Amin, Micael Andersson, Konstantinos Arfanakis, Benjamin S. Aribisala, Nicola J. Armstrong, Lavinia Athanasiu, Tomas Axelsson, Ashley H. Beecham, Alex Beiser, Manon Bernard, Susan H. Blanton, Marc Bohlken, Marco Boks, Janita Bralten, Adam M. Brickman, Owen Carmichael, M. Mallar Chakravarty, Qiang Chen, Christopher Ching, Vincent Chouraki, Gabriel Cuellar-Partida, Fabrice Crivello, Anouk Den Braber, Nhat Trung Doan, Stefan Ehrlich, Sudheer Giddaluru, Aaron L. Goldman, Rebecca F. Gottesman, Oliver Grimm, Michael E. Griswold, Tulio Guadalupe, Boris A. Gutman, Johanna Hass, Unn K. Haukvik, David Hoehn, Avram J. Ho, Martine Hoogman, Deborah Janowitz, Tianye Jia, Kjetil N. Jørgensen, Nazanin Karbalai, Dalia Kasperaviciute, Sungeun Kim, Marieke Klein, Bernd Kraemer, Phil H. Lee, David C. Liewald, Lorna M. Lopez, Michelle Luciano, Christine Macare, André F. Marquand, Mar Matarin, Karen A. Mather, Manuel Mattheisen, David Mckay, Yuri Milaneschi, Susana Muñoz Maniega, Kwangsik Nho, Allison C. Nugent, Paul Nyquist, Loes M. Olde Loohuis, Jaap Oosterlaan, Martina Papmeyer, Lukas Pirpamer, Benno Pütz, Adaikalavan Ramasamy, Jennifer S. Richards, Shannon L. Risacher, Robert Roiz-Santiañez, Nanda Rommelse, Stefan Ropele, Emma Rose, Natalie A. Royle, Tatjana Rundek, Philipp G. Sämann, Arvin Saremi, Claudia L. Satizabal, Lianne Schmaal, Andrew Schork, Li Shen, Jean Shin, Elena Shumskaya, Albert Smith, Emma Sprooten, Lachlan T. Strike, Alexander Teumer, Diana Tordesillas-Gutierrez, Robert Toro, Daniah Trabzuni, Stella Trompet, Dhananjay Vaidya, Jeroen Van Der Grond, Sven Van Der Lee, Dennis Van Der Meer, Marjolein M. J. Van Donkelaar, Kristel R. Van Eijk, Theo G. M. Van Erp, Daan Van Rooij, Esther Walton, Lars Westlye, Christophe Whelan, Beverly G. Windham, Anderson M. Winkler, Katharina Wittfeld, Girma Woldehawariat, Christiane Wolf, Thomas Wolfers, Lisa R. Yanek, Jingyun Yang, Alex Zijdenbos, Marcel Zwiers, Ingrid Agartz, Laura Almasy, David Ames, Philippe Amouyel, Ole A Andreassen, Sampath Arepalli, Amelia A. Assareh, Sandra Barral, Mark Bastin, Diane M. Becker, James T. Becker, David A. Bennett, John Blangero, Hans Van Bokhoven, Dorret I. Boomsma, Henry Brodaty, Rachel M. Brouwer, Han G. Brunner, Randy L. Buckner, Jan K. Buitelaar, Kazima B. Bulayeva, Wiepke Cahn, Vince D. Calhoun, Dara M. Cannon, Gianpiero L. Cavalleri, Ching-Yu Cheng, Sven Cichon, Mark Cookson, Aiden Corvin, Benedicto Crespo-Facorro, Joanne E. Curran, Michael Czisch, Anders M. Dale, Gareth E. Davies, Anton J. M. De Craen, Eco J. C. De Geus, Philip L. De Jager, Greig I. De Zubicaray, Ian Deary, Stéphanie Debette, Charles Decarli, Norman Delanty, Chantal Depondt, Anita Destefano, Allissa Dillman, Srdjan Djurovic, Gary Donohoe, Wayne C. Drevets, Ravi Duggirala, Thomas Dyer, Christian Enzinger, Susanne Erk, Thomas Espeseth, Iryna O. Fedko, Guillén Fernández, Luigi Ferrucci, Simon Fisher, Debra A. Fleischman, Ian Ford, Myriam Fornage, Tatiana M. Foroud, Peter Fox, Clyde Francks, Masaki Fukunaga, J. Raphael Gibbs, David C. Glahn, Randy L. Gollub, Harald H. H. Göring, Robert Green, Oliver Gruber, Vilmundur Gudnason, Sebastian Guelfi, Asta K. Håberg, Narelle K. Hansell, John Hardy, Catharina A. Hartman, Ryota Hashimoto, Katrin Hegenscheid, Andreas Heinz, Stephanie Le Hellard, Dena G. Hernandez, Dirk J. Heslenfeld, Beng-Choon Ho, Pieter J. Hoekstra, Wolfgang Hoffmann, Albert Hofman, Florian Holsboer, Georg Homuth, Norbert Hosten, Jouke-Jan Hottenga, Matthew Huentelman, Hilleke E. Hulshoff Pol, Masashi Ikeda, Clifford R. Jack Jr, Mark Jenkinson, Robert Johnson, Erik G. Jönsson, J. Wouter Jukema, René S. Kahn, Ryota Kanai, Iwona Kloszewska, David S. Knopman, Peter Kochunov, John B. Kwok, Stephen M. Lawrie, Hervé Lemaître, Xinmin Liu, Dan L. Longo, Oscar L. Lopez, Simon Lovestone, Oliver Martinez, Jean-Luc Martinot, Venkata S. Mattay, Colm Mcdonald, Andrew Mcintosh, Francis J. Mcmahon, Katie L. Mcmahon, Patrizia Mecocci, Ingrid Melle, Andreas Meyer-Lindenberg, Sebastian Mohnke, Grant W. Montgomery, Derek W. Morris, Thomas H. Mosley, Thomas W. Mühleisen, Bertram Müller-Myhsok, Michael A. Nalls, Matthias Nauck, Thomas E. Nichols, Wiro J. Niessen, Markus M. Nöthen, Lars Nyberg, Kazutaka Ohi, Rene L. Olvera, Roel A. Ophoff, Massimo Pandolfo, Tomas Paus, Zdenka Pausova, Brenda W. J. H. Penninx, G. Bruce Pike, Steven G. Potkin, Bruce M. Psaty, Simone Reppermund, Marcella Rietschel, Joshua L. Roffman, Nina Romanczuk-Seiferth, Jerome I. Rotter, Mina Ryten, Ralph L. Sacco, Perminder S. Sachdev, Andrew Saykin, Reinhold Schmidt, Helena Schmidt, Peter R. Schofield, Sigurdur Sigursson, Andrew Simmons, Andrew Singleton, Sanjay M. Sisodiya, Colin Smith, Jordan W. Smoller, Hilkka Soininen, Vidar M. Steen, David J. Stott, Jessika E. Sussmann, Anbupalam Thalamuthu, Arthur W. Toga, Bryan J. Traynor, Juan Troncoso, Magda Tsolaki, Christophe Tzourio, Andre G. Uitterlinden, Maria C. Valdés Hernández, Marcel Van Der Brug, Aad Van Der Lugt, Nic J. A. Van Der Wee, Neeltje E. M. Van Haren, Dennis Van ’t Ent, Marie-Jose Van Tol, Badri N. Vardarajan, Bruno Vellas, Dick J. Veltman, Henry Völzke, Henrik Walter, Joanna M. Wardlaw, Thomas H. Wassink, Michael E. Weale, Daneil R Weinberger, Michael W. Weiner, Wei Wen, Eric Westman, Tonya White, Tien Y. Wong, Clinton B. Wright, Ronald H. Zielke, Alan B. Zonderman, Nicholas G. Martin, Cornelia M. Van Duijn, Margaret J. Wright, W. T. Longstreth, Gunter Schumann, Hans J. Grabe, Barbara Franke, Lenore J. Launer, Sarah E. Medland, Sudha Seshadri, Paul M. Thompson, M. Arfan Ikram
article
Nature Communications, Nature Publishing Group, 2017, 8, pp.13624. <10.1038/ncomms13624>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01488337/file/ncomms13624.pdf BibTex

2014

Article dans une revue

titre
La naissance du génie logiciel
auteur
Sacha Krakowiak
article
Interstices, INRIA, 2014, <https://interstices.info/jcms/ni_79198/la-naissance-du-genie-logiciel>
Accès au bibtex
BibTex
titre
Les débuts d’une approche scientifique des systèmes d’exploitation
auteur
Sacha Krakowiak
article
Interstices, INRIA, 2014, <https://interstices.info/jcms/int_70839/les-debuts-d-une-approche-scientifique-des-systemes-d-exploitation>
Accès au bibtex
BibTex

Thèse

titre
Towards dependability and performance benchmarking for cloud computing services
auteur
Amit Sangroya
article
Networking and Internet Architecture [cs.NI]. Université de Grenoble, 2014. English. < NNT : 2014GRENM016 >
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01548465/file/sangroya_amit_these2_2014.pdf BibTex

2013

Article dans une revue

titre
La naissance des systèmes d’exploitation
auteur
Sacha Krakowiak, Jacques Mossière
article
Interstices, INRIA, 2013, <https://interstices.info/jcms/nn_72288/la-naissance-des-systemes-d-exploitation>
Accès au bibtex
BibTex
titre
Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler
auteur
Gwenaël Delaval, Éric Rutten, Hervé Marchand
article
Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (4), pp.385-418. <10.1007/s10626-013-0163-5>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00863286/file/jdeds.pdf BibTex
titre
Coordinating multiple administration loops using discrete control
auteur
Soguy Mak Karé Gueye, Noel De Palma, Éric Rutten, Alain Tchana
article
Operating Systems Review, Association for Computing Machinery, 2013, 47 (3), pp.18-25. <10.1145/2553070.2553074>
Accès au bibtex
BibTex

Communication dans un congrès

titre
Discrete Control for Reconfigurable FPGA-based Embedded Systems
auteur
Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatié
article
DCDS: Dependable Control of Discrete Systems, Sep 2013, York, United Kingdom. 4th IFAC Workshop on Dependable Control of Discrete Systems, 2013
Accès au bibtex
BibTex
titre
Discrete Control of Computing Systems Administration: a Programming Language supported Approach
auteur
Gwenaël Delaval, Noel De Palma, Soguy Mak-Karé Gueye, Hervé Marchand, Éric Rutten
article
Manfred Morari. European Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00863276/file/ECC2013.pdf BibTex
titre
Autonomic Management of Dynamically Partially Reconfigurable FPGA Architectures Using Discrete Control
auteur
Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatié
article
ICAC: International Conference on Autonomic Computing, Jun 2013, San Jose CA, United States. 10th International Conference on Autonomic Computing, 2013
Accès au bibtex
BibTex
titre
Traffic Management: A Holistic Approach to Memory Placement on NUMA Systems
auteur
Mohammad Dashti, Alexandra Fedorova, Justin Funston, Fabien Gaud, Renaud Lachaize, Vivien Quema, Mark Roth
article
ASPLOS - International Conference on Architectural Support for Programming Languages and Operating Systems, Jun 2013, Houston, United States. 2013
Accès au bibtex
BibTex
titre
Robust reconfigurations of component assemblies
auteur
Fabienne Boyer, Olivier Gruber, Damien Pous
article
ICSE '13 - International Conference on Software Engineering, May 2013, San Francisco, United States. IEEE/ACM, pp.13-22, 2013, <http://dl.acm.org/citation.cfm?id=2486791>
Accès au bibtex
BibTex
titre
Broadcast Algorithms for CAN: Design and Mechanisation
auteur
Francesco Bongiovanni, Ludovic Henrio
article
Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Apr 2013, Nancy, France. 2013
Accès au bibtex
BibTex
titre
SLA et qualité de service pour le Cloud Computing
auteur
Yousri Kouki, Thomas Ledoux, Damián Serrano, Sara Bouchenak, Jonathan Lejeune, Luciana Arantes, Julien Sopena, Pierre Sens
article
Conférence d'informatique en Parallélisme, Architecture et Système, ComPAS 2013, Jan 2013, Grenoble, France. pp.1-11, 2013
Accès au bibtex
BibTex

Rapport

titre
Autonomic Management of Reconfigurable Embedded Systems using Discrete Control: Application to FPGA
auteur
Xin An, Eric Rutten, Jean-Philippe Diguet, Nicolas Le Griguer, Abdoulaye Gamatié
article
[Research Report] RR-8308, INRIA. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00824225/file/RR.pdf BibTex

Thèse

titre
High Level Design and Control of Adaptive Multiprocessor Systems-on-Chip
auteur
Xin An
article
Embedded Systems. Université de Grenoble, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00904884/file/thesis.pdf BibTex

2012

Article dans une revue

titre
Alan Turing : du concept à la machine
auteur
Sacha Krakowiak
article
Interstices, INRIA, 2012, <https://interstices.info/jcms/int_69643/alan-turing-du-concept-a-la-machine>
Accès au bibtex
BibTex
titre
Le développement des services en ligne
auteur
Françoise Breton, Jean-Bernard Stefani
article
Collection "20 ans d'avancées et de perspectives en sciences du numérique", INRIA, 2012, 2 p
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00813161/file/Le_dA_veloppement_des_services_en_ligne.pdf BibTex
titre
A Component-Based Middleware Platform for Reconfigurable Service-Oriented Architectures
auteur
Lionel Seinturier, Philippe Merle, Romain Rouvoy, Daniel Romero, Valerio Schiavoni, Jean-Bernard Stefani
article
Software: Practice and Experience, Wiley, 2012, 42 (5), pp.559-583. <10.1002/spe.1077>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00567442/file/frascati.pdf BibTex
titre
Xerox PARC et la naissance de l’informatique contemporaine
auteur
Sacha Krakowiak
article
Interstices, INRIA, 2012, <https://interstices.info/jcms/int_64091/xerox-parc-et-la-naissance-de-l-informatique-contemporaine>
Accès au bibtex
BibTex
titre
Naissance des langages de programmation
auteur
Sacha Krakowiak, Jacques Mossière
article
Interstices, INRIA, 2012, <https://interstices.info/jcms/c_39194/naissance-des-langages-de-programmation>
Accès au bibtex
BibTex
titre
On the Expressive Power of Multiple Heads in CHR
auteur
Cinzia Di Giusto, Maurizio Gabbrielli, Maria Chiara Meo
article
ACM Transactions on Computational Logic, Association for Computing Machinery, 2012, 13 (1), <10.1145/2071368.2071374>
Accès au bibtex
BibTex
titre
Innocent strategies as presheaves and interactive equivalences for CCS (expanded version)
auteur
Tom Hirschowitz, Damien Pous
article
Scientific Annals of Computer Science, Alexandru Ioan Cuza University Publishing House, 2012, 22 (1), pp.147-199. <10.7561/SACS.2012.1.147>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00555144/file/main.pdf BibTex

Communication dans un congrès

titre
All about Eve: Execute-Verify Replication for Multi-Core Servers
auteur
Manos Kapritsos, Yang Wang, Vivien Quema, Allen Clement, Lorenzo Alvisi, Mike Dahlin
article
OSDI - Symposium on Operating Systems Design and Implementation, Oct 2012, Hollywood, United States. 2012
Accès au bibtex
BibTex
titre
Modeling and Synthesis of a Dynamic and Partial Reconfiguration Controller
auteur
Sébastien Guillet, Florent De Lamotte, Nicolas Le Griguer, Éric Rutten, Jean-Philippe Diguet, Guy Gogniat
article
International Conference on Field Programmable Logic and Applications (FPL), Aug 2012, Oslo, Norway. 2012
Accès au bibtex
BibTex
titre
Designing formal reconfiguration control using UML/MARTE
auteur
Sébastien Guillet, Nicolas Le Griguer, Éric Rutten, Guy Gogniat, Jean-Philippe Diguet
article
2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), Jul 2012, York, United Kingdom. 2012
Accès au bibtex
BibTex
titre
A Reversible Abstract Machine and Its Space Overhead
auteur
Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
article
Holger Giese; Grigore Rosu. 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7273, pp.1-17, 2012, Formal Techniques for Distributed Systems. <10.1007/978-3-642-30793-5_1>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00909384/file/978-3-642-30793-5_1_Chapter.pdf BibTex
titre
MemProf: A Memory Profiler for NUMA Multicore Systems
auteur
Renaud Lachaize, Baptiste Lepers, Vivien Quéma
article
Proceedings of the 2012 USENIX Annual Technical Conference, Jun 2012, Boston, United States. Proceedings of the 2012 USENIX Annual Technical Conference, pp.53--64, 2012, <https://www.usenix.org/conference/atc12/tech-schedule/usenix-atc-12-technical-sessions>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00945731/file/atc12-final229.pdf BibTex
titre
CLASSY: a clock analysis system for rapid prototyping of embedded applications on MPSoCs
auteur
Xin An, Sarra Boumedien, Abdoulaye Gamatié, Eric Rutten
article
Proceedings of the 15th International Workshop on Software and Compilers for Embedded Systems, May 2012, St. Goar, Germany. ACM, pp.3--12, 2012, <http://delivery.acm.org/10.1145/2240000/2236577/p3-an.pdf?ip=134.206.11.177&acc=ACTIVE%20SERVICE&CFID=213116942&CFTOKEN=89241860&__acm__=1354100462_fd58c65634d444dc247f9b1316455eb6>. <10.1145/2236576.2236577>
Accès au bibtex
BibTex
titre
Managing the dynamism of the OSGi Service Platform in real-time Java applications
auteur
Joao Americo, Walter Rudametkin, Didier Donsez
article
SAC 2012 - Symposium On Applied Computing, Mar 2012, Trento, Italy. ACM, pp.1115-1122, 2012, <10.1145/2245276.2231952>
Accès au bibtex
BibTex
titre
Controlled Reversibility and Compensations
auteur
Jean-Bernard Stefani, Claudio Antares Mezzina, Ivan Lanese
article
Robert Gluck and Tetsuo Yokoyama. Proceedings of RC 2012, 4th Workshop on Reversible Computation, 2012, Unknown, Springer Verlag, 7581, pp.233--240, 2012, LNCS
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Enhancements of the bisimulation proof method
auteur
Damien Pous, Davide Sangiorgi
article
Davide Sangiorgi and Jan Rutten. Advanced Topics in Bisimulation and Coinduction, Cambridge University Press, 2012
Accès au bibtex
BibTex

Rapport

titre
An Analysis of Web Servers Architectures Performances on Commodity Multicores
auteur
Sylvain Genevès
article
[Research Report] 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00674475/file/paper_submitted.pdf BibTex
titre
CLASSY: a Clock Analysis System for Rapid Prototyping of Embedded Applications on MPSoCs
auteur
Xin An, Sarra Boumedien, Abdoulaye Gamatié, Eric Rutten
article
[Research Report] RR-7918, INRIA. 2012, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00683822/file/RR-7918.pdf BibTex
titre
Benchmarking Dependability of MapReduce Systems
auteur
Amit Sangroya, Damián Serrano, Sara Bouchenak
article
[Research Report] RR-LIG-027, LIG. 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01472165/file/RR-LIG-027.pdf BibTex
titre
Message Passing: A Case for Mixing Deep-Copy and Migration
auteur
Benoit Claudel, Fabienne Boyer, Noel De Palma, Olivier Gruber
article
[Research Report] RR-LIG-029, LIG. 2012
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01472110/file/RR-LIG-029.pdf BibTex

Thèse

titre
Algèbres de Kleene, réécriture modulo AC et circuits en coq
auteur
Thomas Braibant
article
Autre [cs.OH]. Université de Grenoble, 2012. Français. <NNT : 2012GRENM005>
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00683661/file/these-braibant_archivage_2012.pdf BibTex

2011

Article dans une revue

titre
Le modèle dʼarchitecture de von Neumann
auteur
Sacha Krakowiak
article
Interstices, INRIA, 2011, <https://interstices.info/jcms/int_64540/le-modele-darchitecture-de-von-neumann>
Accès au bibtex
BibTex
titre
Characterizing contextual equivalence in calculi with passivation
auteur
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
article
Information and Computation, Elsevier, 2011, 209 (11), pp.1390-1433. <10.1016/j.ic.2011.08.002>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00903877/file/journal.pdf BibTex
titre
From Autonomic to Self-Self Behaviors: The JADE Experience
auteur
Sara Bouchenak, Fabienne Boyer, Benoit Claudel, Noel De Palma, Olivier Gruber, Sylvain Sicard
article
ACM Transactions on Autonomous and Adaptive Systems, Association for Computing Machinery (ACM), 2011, 6 (4), pp.28:1-22. <10.1145/2019591.2019597>
Accès au bibtex
BibTex
titre
Autonomic Systems: from Self to Self-Self Behavior
auteur
Fabienne Boyer, Sara Bouchenak, Benoît Claudel, Noel Depalma, Olivier Gruber, Sylvain Sicard
article
Transactions on Autonomous and Adaptative Systems, IEEE, 2011
Accès au bibtex
BibTex
titre
An approach for the synthesis of decentralised supervisors for distributed adaptive systems
auteur
Amine Belhaj Seboui, Nejib Ben Hadj-Alouane, Gwenaël Delaval, Éric Rutten, Moez Yeddes
article
International Journal on Critical Computer-based Systems, Inderscience, 2011, Special Issue on Verification and Evaluation of Computer and Communication Systems - Part I, 2 (3/4), pp.246-265. <10.1504/IJCCBS.2011.042328>
Accès au bibtex
BibTex
titre
Experience with ConSer: A System for Server Control Through Fluid Modeling
auteur
Luc Malrait, Sara Bouchenak, Nicolas Marchand
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2011, 60 (7), pp.951-963. <10.1109/TC.2010.164>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00480859/file/IEEE-TC-2011.pdf BibTex

Communication dans un congrès

titre
Automated Configuration of Legacy Applications in the Cloud
auteur
Xavier Etchevers, Thierry Coupaye, Fabienne Boyer, Noel De Palma, Gwen Salaün
article
Rajkumar Buyya, Shrideep Pallickara, and Geoffrey Fox. UCC 2011 - International Conference on Utility and Cloud Computing, Dec 2011, Victoria, NSW, Australia. IEEE, pp.170-177, 2011, <10.1109/UCC.2011.32>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00665592/file/Etchevers-Coupaye-Boyer-dePalma-Salaun-11.pdf BibTex
titre
Intégration de la synthèse de contrôleurs discrets dans un langage de programmation
auteur
Gwenaël Delaval, Éric Rutten, Hervé Marchand
article
Modélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00629104/file/msr11.pdf BibTex
titre
Exploiting Node Connection Regularity for DHT Replication
auteur
Alessio Pace, Vivien Quema, Valerio Schiavoni
article
SRDS - Symposium on Reliable Distributed Systems, Oct 2011, Madrid, Spain. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00945729/file/srds2011-paper113.pdf BibTex
titre
Automatic generation of discrete handlers of real-time continuous control tasks
auteur
Ahmed Soufyane Aboubekr, Gwenaël Delaval, Roger Pissard-Gibollet, Éric Rutten, Daniel Simon
article
18th IFAC World Congress (IFAC WC 2011), Aug 2011, Milan, Italy. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00640406/file/bzrccad.pdf BibTex
titre
Query Reasoning on Trees with Types, Interleaving, and Counting
auteur
Everardo Barcenas-Patino, Pierre Genevès, Nabil Layaïda, Alan Schmitt
article
22nd International Joint Conference on Artificial Intelligence IJCAI'2011, Jul 2011, Barcelone, Spain. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00609556/file/IJCAI2011.pdf BibTex
titre
Self-Configuration of Distributed Applications in the Cloud
auteur
Xavier Etchevers, Thierry Coupaye, Fabienne Boyer, Noel De Palma
article
Ling Liu and Manish Parashar. CLOUD 2011 - IEEE International Conference on Cloud Computing, Jul 2011, Washington, DC, United States. IEEE, pp.668-675, 2011, <10.1109/CLOUD.2011.65>
Accès au bibtex
BibTex
titre
Case studies in discrete control for autonomic system administration
auteur
Fabienne Boyer, Noël De Palma, Gwenaël Delaval, Olivier Gruber, Eric Rutten
article
Sixth International Workshop on Feedback Control Implementation and Design in Computing Systems and Networks (FeBID 2011), Jun 2011, Karlsruhe, Germany. 2011
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00784971/file/febid2011.pdf BibTex
titre
Innocent strategies as presheaves and interactive equivalences for CCS
auteur
Tom Hirschowitz, Damien Pous
article
ICE, Jun 2011, Reykjavik, Iceland. 59, pp.2-24, 2011, EPTCS. <10.4204/EPTCS.59.2>
Accès au bibtex
https://arxiv.org/pdf/1108.0463 BibTex
titre
Revisiting Glue Expressiveness in Component-Based Systems
auteur
Cinzia Giusto, Jean-Bernard Stefani
article
Wolfgang Meuter; Gruia-Catalin Roman. 13th Conference on Coordination Models and Languages (COORDINATION), Jun 2011, Reykjavik, Iceland. Springer, Lecture Notes in Computer Science, LNCS-6721, pp.16-30, 2011, Coordination Models and Languages. <10.1007/978-3-642-21464-6_2>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01582994/file/978-3-642-21464-6_2_Chapter.pdf BibTex
titre
Safe Design of Dynamically Reconfigurable Embedded Systems
auteur
Xin An, Abdoulaye Gamatié, Eric Rutten
article
2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED2011), Mar 2011, France. pp.00 -- 00, 2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00903734/file/mbed.pdf BibTex

HDR

titre
Static Analyses for Manipulations of Hierarchically Structured Data
auteur
Alan Schmitt
article
Software Engineering [cs.SE]. Université de Grenoble, 2011
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00637917/file/2011.05.01-Eart-Static_Analyses_for_Manipulations_of_Hierarchically_Structured_Data_by_Schmitt._A.pdf BibTex

Rapport

titre
Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study
auteur
Tayeb Bouhadiba, Quentin Sabah, Gwenaël Delaval, Éric Rutten
article
[Research Report] RR-7631, INRIA. 2011, pp.31
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00596883/file/RR-7631.pdf BibTex
titre
Application-Level Optimizations on NUMA Multicore Architectures: the Apache Case Study
auteur
Fabien Gaud, Renaud Lachaize, Baptiste Lepers, Gilles Muller, Vivien Quéma
article
[Research Report] RR-LIG-011, 2011
Accès au bibtex
BibTex
titre
The First Four Years (2007-2010) and Beyond - Volume 1: Research Program and Activity Report
auteur
Nicolas Balacheff, Béatrice Buccio, Patrick Chapuis, Jacky Coutin, Joëlle Coutaz, James L. Crowley, Yves Denneulin, Lydie Du Bousquet, Andrzej Duda, Rachid Echahed, Marie-Christine Fauvet, Catherine Garbay, Eric Gaussier, Isabelle Guillet, Christian Laugier, Yves Ledru, Arnaud Legrand, Nadine Mandran, Hervé Martin, Jean-François Méhaut, Thierry Morturier, Brigitte Plateau, Elisabeth Pons, Joëlle Prévost, Frédéric Prost, Vincent Quint, Patrick Reignier, Franck Rousseau, Marie-Christine Rousset, Eric Rutten, Michel Vacher
article
2011
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00773168/file/RR-LIG-015.pdf BibTex

Thèse

titre
Vers une architecture pair-à-pair pour l'informatique dans le nuage
auteur
Willy Malvaut-Martiarena
article
Autre [cs.OH]. Université de Grenoble, 2011. Français. <NNT : 2011GRENM044>
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00633787/file/19737_MALVAULT-MARTIARENA_2011_archivage_2_.pdf BibTex

2010

Article dans une revue

titre
Adaptivity in High-Performance Embedded Systems: a Reactive Control Model for Reliable and Flexible Design
auteur
Huafeng Yu, Abdoulaye Gamatié, Éric Rutten, Jean-Luc Dekeyser
article
Knowledge Engineering Review, Cambridge University Press (CUP), 2010, 21 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00536883/file/ker10-yu-hal.pdf BibTex
titre
Targeting Reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generation
auteur
Imran Rafiq Quadri, Huafeng Yu, Abdoulaye Gamatié, Samy Meftali, Jean-Luc Dekeyser, Éric Rutten
article
International Journal of Embedded Systems, Inderscience, 2010, 18 p
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00525015/file/ijes09.pdf BibTex
titre
Extensible Block-Level Storage Virtualization in Cluster-Based Systems
auteur
Michail Flouris, Renaud Lachaize, Konstantinos Chasapis, Angelos Bilas
article
Journal of Parallel and Distributed Computing, Elsevier, 2010, 70 (8), pp.800-824. <http://www.sciencedirect.com/science/article/pii/S0743731510000353>. <10.1016/j.jpdc.2010.03.001>
Accès au bibtex
BibTex
titre
Throughput Optimal Total Order Broadcast for Cluster Environments
auteur
Rachid Guerraoui, Ron Levy, Bastian Pochon, Vivien Quema
article
TOCS - ACM Transactions on Computer Systems, ACM, 2010
Accès au bibtex
BibTex
titre
Self-adaptation of service level in distributed systems
auteur
Jeremy Philippe, Noel De Palma, Fabienne Boyer, Olivier Gruber
article
Software: Practice and Experience, Wiley, 2010, 40 (3), pp.259-283. <10.1002/spe.957>
Accès au bibtex
BibTex
titre
Auto-adaptation du niveau de service dans les systèmes distribués
auteur
Jeremy Philippe, Noel De Palma, Fabienne Boyer, Olivier Gruber
article
Technique et Science Informatiques, Hermès-Lavoisier, 2010, Revue des sciences et technologies de l'information, 29 (3), pp.261-288. <10.3166/tsi.29.261-288>
Accès au bibtex
BibTex

Communication dans un congrès

titre
QoS and Energy Management Coordination using Discrete Controller Synthesis
auteur
Noël De Palma, Gwenaël Delaval, Éric Rutten
article
1st International Workshop on Green Computing Middleware (GCM'2010), Nov 2010, Bangalore, India. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00784999/file/delaval-gcm10.pdf BibTex
titre
FireSpam: Spam Resilient Gossiping in the BAR Model
auteur
Vivien Quema, Sonia Ben Mokhtar, Alessio Pace
article
SRDS - Symposium on Reliable Distributed Systems, Nov 2010, New Delhi, India. 2010
Accès au bibtex
BibTex
titre
Multicriteria optimal reconfiguration of fault-tolerant real-time tasks
auteur
Emil Dumitrescu, Alain Girault, Hervé Marchand, Éric Rutten
article
Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. IFAC, pp.366-373, 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00510019/file/2010-Wodes-Fault-tolerant.pdf BibTex
titre
Deciding Kleene Algebras in Coq
auteur
Thomas Braibant, Damien Pous
article
ITP, Aug 2010, Edinburgh, United Kingdom. Springer, 6172, pp.163-178, 2010, LNCS. <10.1007/978-3-642-14052-5_13>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00383070/file/main.pdf BibTex
titre
Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design
auteur
Abdoulaye Gamatié, Vlad Rusu, Éric Rutten
article
9th International Symposium on Parallel and Distributed Computing (ISPDC'2010), Jul 2010, Istanbul, Turkey. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00522787/file/gamatie_ispdc10.pdf BibTex
titre
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi
auteur
Ivan Lanese, Jorge Peréz, Davide Sangiorgi, Alan Schmitt
article
Samson Abramsky and Cyril Gavoille and Claude Kirchner and Friedhelm Meyer auf der Heide and Paul G. Spirakis. 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), Jul 2010, Bordeaux, France. Springer, 6199, pp.442--453, 2010, Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP 2010)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00514912/file/Lanese2010On-the-Expressivenes.pdf BibTex
titre
Efficient Workstealing for Multicore Event-Driven Systems
auteur
Fabien Gaud, Sylvain Genevès, Renaud Lachaize, Baptiste Lepers, Fabien Mottet, Gilles Muller, Vivien Quema
article
ICDCS 2010 - IEEE 30th International Conference on Distributed Computing Systems, Jun 2010, Genova, Italy. IEEE, pp.516-525, 2010, <10.1109/ICDCS.2010.55>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00945722/file/paper-validated.pdf BibTex
titre
The Next 700 BFT Protocols
auteur
Rachid Guerraoui, Nikola Knezevic, Vivien Quema, Marko Vukolic
article
EuroSys, Apr 2010, Paris, France. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00945717/file/paper.pdf BibTex
titre
Contracts for modular discrete controller synthesis
auteur
Gwenaël Delaval, Hervé Marchand, Éric Rutten
article
Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, Apr 2010, Stockholm, Sweden. pp.57-66, 2010, <http://portal.acm.org/citation.cfm?doid=1755888.1755898>. <10.1145/1755888.1755898>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00476910/file/lctes2010.pdf BibTex
titre
Autonomic Energy Management in a Replicated Server System
auteur
Aaiman Gadafi, Laurent Broto, Amal Sayah, Daniel Hagimont, Noel De Palma
article
ICAS 2010 - 6th International Conference on Autonomic and Autonomous Systems, Mar 2010, Cancun, Mexico. IEEE, pp.1-6, 2010, <10.1109/ICAS.2010.8>
Accès au bibtex
BibTex
titre
Modeling and formal control of partial dynamic reconfiguration
auteur
Sébastien Guillet, Florent Frizon de Lamotte, Éric Rutten, Guy Gogniat, Jean-Philippe Diguet
article
Reconfig, 2010, Cancun, Mexico. 2010
Accès au bibtex
BibTex

HDR

titre
Contributions to Building Efficient and Robust State-Machine Replication Protocols
auteur
Vivien Quéma
article
Réseaux et télécommunications [cs.NI]. Université de Grenoble, 2010
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00540897/file/manuscript.pdf BibTex

Rapport

titre
On the Count of Trees
auteur
Everardo Barcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt
article
[Research Report] RR-7251, INRIA. 2010
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00473160/file/RR-7251.pdf BibTex
titre
Automatic generation of discrete handlers of real-time continuous control tasks
auteur
Ahmed Soufyane Aboubekr, Gwenaël Delaval, Roger Pissard-Gibollet, Éric Rutten, Daniel Simon
article
[Research Report] RR-7332, INRIA. 2010, pp.17
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00498394/file/RR-7332.pdf BibTex
titre
Mely: Efficient Workstealing for Multicore Event-Driven Systems
auteur
Fabien Gaud, Sylvain Genevès, Renaud Lachaize, Baptiste Lepers, Fabien Mottet, Gilles Muller, Vivien Quéma
article
[Research Report] RR-7169, INRIA. 2010, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00449530/file/RR-7169.pdf BibTex

Thèse

titre
Étude et amélioration de la performance des serveurs de données pour les architectures multi-cœurs
auteur
Fabien Gaud
article
Réseaux et télécommunications [cs.NI]. Université de Grenoble, 2010. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00563868/file/these.pdf BibTex
titre
Performance, disponibilité et coût de services Internet adaptatifs
auteur
Jean Arnaud
article
Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2010. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00529936/file/Jean_ARNAUD_thesePhD.pdf BibTex
titre
Composants et Typage
auteur
Michael Lienhardt
article
Informatique et langage [cs.CL]. Université Joseph-Fourier - Grenoble I, 2010. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00749351/file/document.pdf BibTex
titre
Bisimulations dans les calculs avec passivation
auteur
Sergueï Lenglet
article
Informatique [cs]. Université Joseph-Fourier - Grenoble I, 2010. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00447857/file/these.pdf BibTex

2009

Article dans une revue

titre
La science du logiciel libre par Roberto Di Cosmo. Entre auto-organisation et méritocratie, entretien avec Jean-Bernard Stefani, propos recueillis par Dominique Chouchan.
auteur
Roberto Di Cosmo, Jean-Bernard Stefani
article
Les Cahiers de l'INRIA - La Recherche, INRIA, 2009, Les promesses des énergies renouvelables
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00511691/file/inria-n436-dec09.pdf BibTex
titre
Improving the performances of JMS-based applications
auteur
Christophe Taton, Noel De Palma, Sara Bouchenak, Daniel Hagimont
article
International Journal of Autonomic Computing, Inderscience, 2009, 1 (1), pp.81-102. <http://www.inderscience.com/info/inarticle.php?artid=24501>. <10.1504/IJAC.2009.024501>
Accès au bibtex
BibTex
titre
Automating the Addition of Fault Tolerance with Discrete Controller Synthesis
auteur
Alain Girault, Éric Rutten
article
Formal Methods in System Design, Springer Verlag, 2009, 35, pp.190--225. <10.1007/s10703-009-0084-y>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00748687/file/main.pdf BibTex
titre
Automatic generation of safe handlers for multi-task systems
auteur
Éric Rutten, Hervé Marchand
article
Journal of Embedded Computing, IOS Press, 2009, 3 (4), pp.255-276. <10.3233/JEC-2009-0097>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00510023/file/jec-2009.pdf BibTex

Communication dans un congrès

titre
Heterogeneous Gossip
auteur
Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec, Maxime Monod, Koldehofe Boris, Mogensen Martin, Vivien Quéma
article
Middleware 2009, Dec 2009, Urbana-Champaign, IL, United States. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00436125/file/heap7452.pdf BibTex
titre
Self-adapting Service Level in Java Enterprise Edition
auteur
Jeremy Philippe, Noel De Palma, Fabienne Boyer, Olivier Gruber
article
Jean M. Bacon, Brian F. Cooper. Middleware 2009, Nov 2009, Urbana, IL, United States. Springer, 5896, pp.143-162, 2009, Lecture Notes in Computer Science (LNCS). <10.1007/978-3-642-10445-9_8>
Accès au bibtex
BibTex
titre
Reconfigurable SCA Applications with the FraSCAti Platform
auteur
Lionel Seinturier, Philippe Merle, Damien Fournier, Nicolas Dolet, Valerio Schiavoni, Jean-Bernard Stefani
article
6th IEEE International Conference on Service Computing (SCC'09), Sep 2009, Bangalore, India. pp.268-275, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00397856/file/frascati.pdf BibTex
titre
Modélisation et contrôle d'un serveur
auteur
Luc Malrait, Sara Bouchenak, Nicolas Marchand
article
Conférence Française sur les Systèmes d'Exploitation (CFSE'7), Sep 2009, Toulouse, France. 2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00676039/file/cfse2.pdf BibTex
titre
Average Delay Guarantee in Server Systems Using Admission Control
auteur
Luc Malrait, Nicolas Marchand, Sara Bouchenak
article
8th Workshop on time delay systems, Sep 2009, Sinaia, Romania. 2009
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00404404/file/TDS2009_Malrait_Marchand_Bouchenak.pdf BibTex
titre
Howe's Method for Calculi with Passivation
auteur
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
article
Mario Bravetti and Gianluigi Zavattaro. 20th International Conference on Concurrency Theory (CONCUR 2009), Sep 2009, Bologna, Italy. Springer, 5710, pp.448--462, 2009, Lecture Notes in Computer Science; Proceedings of the 20th International Conference on Concurrency Theory (CONCUR 2009)
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00486800/file/Lenglet2009Howes-Method-for-Cal.pdf BibTex
titre
Modeling and Control of Server Systems: Application to Database Systems
auteur
Luc Malrait, Nicolas Marchand, Sara Bouchenak
article
European Control Conference, ECC'09, Aug 2009, Budapest, Hungary. Proceedings of the European Control Conference, ECC'09, 2009
Accès au bibtex
BibTex
titre
MoKa : optimisation de services Internet multi-étagés
auteur
Jean Arnaud, Sara Bouchenak
article
NOTERE'09 : 9e Conférence Internationale sur Les NOuvelles TEchnologies de la REpartition, Jun 2009, Montréal, Canada. 2009
Accès au bibtex
BibTex
titre
NAT-resilient Gossip Peer Sampling
auteur
Anne-Marie Kermarrec, Alessio Pace, Vivien Quema, Valerio Schiavoni
article
ICDCS - International Conference on Distributed Computing Systems, Jun 2009, Montreal, Canada. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00945700/file/paper.pdf BibTex
titre
Fluid Modeling and Control for Server System Performance and Availability
auteur
Luc Malrait, Sara Bouchenak, Nicolas Marchand
article
39th annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2009, Estoril, Portugal. 2009
Accès au bibtex
BibTex
titre
Typing Component-Based Communication Systems
auteur
Michaël Lienhardt, Claudio Mezzina, Alan Schmitt, Jean-Bernard Stefani
article
11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) & 29th Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2009, Lisbonne, Portugal. Springer-Verlag, 5522, pp.167--181, 2009, Lecture Notes in Computer Science; Proceedings of the 11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) & 29th Formal Techniques for Networked and Distributed Systems (FORTE). <10.1007/978-3-642-02138-1_11>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00488856/file/Lienhardt2009Typing-Component-Bas.pdf BibTex
titre
Stretching Gossip with Live Streaming
auteur
Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec, Maxime Monod, Vivien Quéma
article
DSN 2009, Jun 2009, Estoril, Portugal. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00436130/file/proactive.pdf BibTex
titre
A Case Study on Controller Synthesis for Data-Intensive Embedded Systems
auteur
Abdoulaye Gamatié, Huafeng Yu, Gwenaël Delaval, Éric Rutten
article
International Conference on Embedded Software and Systems (ICESS), May 2009, Hangzhou, China. pp.75-82, 2009, <10.1109/ICESS.2009.12>
Accès au bibtex
BibTex
titre
Tools for Architecture Based Autonomic Systems
auteur
Noel De Palma, Konstantin Popov, Nikos Parlavantzas, Per Brand, Vladimir Vlassov
article
ICAS 2009 - 5th International Conference on Autonomic and Autonomous Systems, Apr 2009, Valencia, Spain. IEEE, pp.313-320, 2009, <10.1109/ICAS.2009.22>
Accès au bibtex
BibTex
titre
Normal bisimulations in process calculi with passivation
auteur
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
article
Luca de Alfaro. 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009), Mar 2009, York, United Kingdom. Springer, 5504, pp.257--271, 2009, Lecture Notes in Computer Science; Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009). <10.1007/978-3-642-00596-1_19>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00490810/file/2009.03.01-Eart-Normal_bisimulations_in_process_calculi_with_passivation_by_Lenglet._S_Schmitt._A_Stefani._J.pdf BibTex
titre
TakTuk, Adaptive Deployment of Remote Executions
auteur
Benoît Claudel, Guillaume Huard, Olivier Richard
article
Proceedings of the International Symposium on High Performance Distributed Computing (HPDC), 2009, Munich, Germany. ACM, pp.91-100, 2009, <10.1145/1551609.1551629>
Accès au bibtex
BibTex

HDR

titre
Gestion de l'adaptabilité dans les applications réparties
auteur
Jean-Bernard Stefani
article
Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2009
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00534062/file/HDR-final.pdf BibTex

Ouvrage (y compris édition critique et traduction)

titre
Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs)
auteur
Alan Schmitt
article
INRIA. INRIA, pp.174, 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00362717/file/Actes_JFLA_2009.pdf BibTex

Brevet

titre
Dispositif de commande d'admission pour un serveur Numéro pas encore connu
auteur
Luc Malrait, Nicolas Marchand, Sara Bouchenak
article
France, N° de brevet: 09/02551. Département Automatique. 2009
Accès au bibtex
BibTex

Rapport

titre
BZR Contracts for Modular Discrete Controller Synthesis
auteur
Gwenaël Delaval, Hervé Marchand, Éric Rutten
article
[Research Report] RR-7111, INRIA. 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00436560/file/RR-7111.pdf BibTex
titre
SCA Platform Specifications - Version 2.0
auteur
Damien Fournier, Philippe Merle, Gaël Blondelle, Lionel Seinturier, Nicolas Dolet, Christophe Demarey, Vivien Quéma, Valerio Schiavoni, Samir Tata, Djamel Belaid, Daniel Hagimont
article
[Research Report] 2009
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00595502/file/SCOrWare-L1-Specifications-V2-0-20090327.pdf BibTex

2008

Communication dans un congrès

titre
Typing Communicating Component Assemblages
auteur
Michaël Lienhardt, Alan Schmitt, Jean-Bernard Stefani
article
7th International Conference on Generative Programming and Component Engineering (GPCE'08), Oct 2008, Nashville, United States. ACM, pp.125--136, 2008, Proceedings of the 7th International Conference on Generative Programming and Component Engineering (GPCE'08). <10.1145/1449913.1449933>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00492749/file/Lienhardt2008Typing-Communicating.pdf BibTex
titre
Heterogeneous Gossiping
auteur
Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec, Maxime Monod, Vivien Quema
article
Large-Scale Distributed Systems and Middleware, Sep 2008, IBM TJ Watson Research Lab in Yorktown, New York., United States. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00337056/file/ladis.pdf BibTex
titre
Software for Multi Processor System on Chip: moving from generic RISC platforms to CELL
auteur
L. Demontes, M. Bonaciu, P. Amblard
article
Rapid System Prototyping Symposium (RSP'08), Jun 2008, Monterey, United States. IEEE Computer Society, pp.34-40, 2008, <10.1109/RSP.2008.21>
Accès au bibtex
BibTex
titre
On the Expressiveness and Decidability of Higher-Order Process Calculi
auteur
Ivan Lanese, Jorge Peréz, Davide Sangiorgi, Alan Schmitt
article
23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), Jun 2008, Pittsburgh, Pennsylvania, United States. pp.145--155, 2008, Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008). <10.1109/LICS.2008.8>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00494584/file/Lanese2008On-the-Expressivenes.pdf BibTex
titre
Gestion de ressources dans les services Internet
auteur
Jean Arnaud, Sara Bouchenak
article
RenPar'18, CFSE'6, Feb 2008, Fribourg, Suisse. 2008
Accès au bibtex
BibTex
titre
Boomerang: Resourceful Lenses for String Data
auteur
Aaron Bohannon, J. Foster, Benjamin Pierce, Alexandre Pilkiewicz, Alan Schmitt
article
ACM SIGPLAN--SIGACT Symposium on Principles of Programming Languages (POPL'08), Jan 2008, San Francisco, California, United States. pp.407--419, 2008, <10.1145/1328897.1328487>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00496456/file/Bohannon2008Boomerang-Resourcef.pdf BibTex
titre
Encapsulation and Dynamic Modularity in the Pi-Calculus
auteur
Daniel Hirschkoff, Aurélien Pardon, Tom Hirschowitz, Samuel Hym, Damien Pous
article
PLACES 2008, 2008, Oslo, Norway. Elsevier, 241, pp.85 - 100, 2009, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2009.06.005>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00400159/file/edmpc.pdf BibTex

Rapport

titre
Normal bisimulations in process calculi with passivation
auteur
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
article
[Research Report] RR-6664, INRIA. 2008, pp.102
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00330565/file/RR-6664.pdf BibTex
titre
MoKa: A System for Modeling and Capacity Planning of Multi-Tier Systems
auteur
Jean Arnaud, Sara Bouchenak
article
[Research Report] RR-6730, INRIA. 2008, pp.36
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00340772/file/RR-6730.pdf BibTex
titre
Efficient Static Analysis of XML Paths and Types
auteur
Pierre Genevès, Nabil Layaïda, Alan Schmitt
article
[Research Report] RR-6590, INRIA. 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00305302/file/RR-6590.pdf BibTex
titre
Gossiping Capabilities
auteur
Davide Frey, Rachid Guerraoui, Anne-Marie Kermarrec, Martin Mogensen, Maxime Monod, Vivien Quéma
article
[Research Report] 2008
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00339118/file/gcap.pdf BibTex
titre
Self-Optimization of Internet Services with Dynamic Resource Provisioning
auteur
Christophe Taton, Sara Bouchenak, Noël De Palma, Daniel Hagimont
article
[Research Report] RR-6575, INRIA. 2008, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00294071/file/RR-6575.pdf BibTex
titre
Howe's Method for Early Bisimilarities
auteur
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
article
[Research Report] RR-6773, INRIA. 2008, pp.69
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00347137/file/RR-6773v2.pdf BibTex
titre
A formal specification of the Fractal component model in Alloy
auteur
Philippe Merle, Jean-Bernard Stefani
article
[Research Report] RR-6721, INRIA. 2008, pp.44
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00338987/file/Fractal-Alloy.pdf BibTex

2007

Article dans une revue

titre
Exploiting Schemas in Data Synchronization
auteur
J. Foster, Michael Greenwald, Christian Kirkegaard, Benjamin Pierce, Alan Schmitt
article
Journal of Computer and System Sciences, Elsevier, 2007, 73 (4), pp.669-689. <10.1016/j.jcss.2006.10.024>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00483199/file/sync-jcss.pdf BibTex
titre
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem
auteur
J. Foster, Michael Greenwald, Jonathan Moore, Benjamin Pierce, Alan Schmitt
article
ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2007, ACM Transactions on Programming Languages and Systems, 29 (3), pp.17. <10.1145/1232420.1232424>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00484971/file/lenses-toplas-final.pdf BibTex

Communication dans un congrès

titre
Oz/K: A Kernel Language for Component-Based Open Programming
auteur
Michaël Lienhardt, Alan Schmitt, Jean-Bernard Stefani
article
ACM. 6th International Conference on Generative Programming and Component Engineering (GPCE'07), Oct 2007, Salzburg, Austria. pp.43--52, 2007, Proceedings of the 6th International Conference on Generative Programming and Component Engineering (GPCE'07). <10.1145/1289971.1289980>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00498413/file/GPCE07-Lienhardt-Stefani-Schmitt.pdf BibTex
titre
Efficient Static Analysis of XML Paths and Types
auteur
Pierre Genevès, Nabil Layaïda, Alan Schmitt
article
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, San Diego, United States. pp.342--351, 2007, <10.1145/1250734.1250773>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00189123/file/geneves-pldi07.pdf BibTex
titre
Efficient Static Analysis of XML Paths and Types
auteur
Pierre Genevès, Nabil Layaïda, Alan Schmitt
article
2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, New York, NY, United States. ACM Press, pp.342--351, 2007, PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation. <10.1145/1250734.1250773>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00502789/file/Geneves2007Efficient-Static-Ana.pdf BibTex
titre
Experience with implementing safe reconfigurations in Component-based embedded systems
auteur
Juraj Polakovic, Sébastien Mazaré, Jean-Bernard Stefani, Pierre-Charles David
article
Component-Based Software Engineering (CBSE 2007), Jun 2007, Boston, United States. pp.242-257, 2007
Accès au bibtex
BibTex
titre
Architecture-Based Autonomic Deployment of J2EE Systems in Grids
auteur
Didier Hoareau, Takoua Abdellatif, Yves Mahéo
article
International Conference on Grid and Pervasive Computing, May 2007, Paris, France. Springer, 4459, pp.362-373, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-72360-8_31>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00426481/file/GPC2007.pdf BibTex
titre
XPath Typing Using a Modal Logic with Converse for Finite Trees
auteur
Pierre Genevès, Nabil Layaïda, Alan Schmitt
article
Proceedings of the ACM SIGPLAN Workshop on Programming Language Techniques for XML colocated with POPL 2007, 2007, Nice, France. pp.1, 2007
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00189131/file/geneves-planx07.pdf BibTex

Rapport

titre
Oz/K: A kernel language for component-based open programming
auteur
Michaël Lienhardt, Alan Schmitt, Jean-Bernard Stefani
article
[Research Report] RR-6202, INRIA. 2007
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00149612/file/RR-6202.pdf BibTex

Thèse

titre
Conception et Implantation d'un Environnement de Développement de Logiciels à Base de Composants, Applications aux Systèmes Multiprocesseurs sur Puce
auteur
Ali Erdem Özcan
article
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2007. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00146754/file/07-Ozcan-PhD.pdf BibTex

2006

Article dans une revue

titre
Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach.
auteur
Ali Erdem Özcan, Sébastien Jean, Jean-Bernard Stefani
article
Lecture notes in computer science, springer, 2006, 3956, p. 118-137
Accès au bibtex
BibTex

Communication dans un congrès

titre
Self-protection for distributed component-based applications
auteur
Benoit Claudel, Noel De Palma, Renaud Lachaize, Daniel Hagimont
article
Springer. SSS'06 : 8th international conference on Stabilization, safety, and security of distributed systems, Nov 2006, Dallas, Texas, United States. Springer, pp.184-198, 2006
Accès au bibtex
BibTex
titre
Automated deployment of enterprise systems in large-scale environments
auteur
Takoua Abdellatif, Didier Hoareau, Yves Mahéo
article
International Conference on Distributed Objects and Applications, Oct 2006, Montpellier, France. Springer, 4277, pp.30-31, 2006, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00426507/file/DOA2006.pdf BibTex
titre
A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems.
auteur
Marc Poulhiès, Jacques Pulou, Christophe Rippert, Joseph Sifakis
article
13th Monterey Workshop : Compositions of Embedded Systems, Scientific and Industrial Issues, Oct 2006, Paris, France. 4888, Lecture Notes in Computer Science, 2006
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00309689/file/06-Poulhies-MW.pdf BibTex
titre
Une approche architecturale pour l'auto-protection de système répartis
auteur
Benoit Claudel, Noel De Palma, Renaud Lachaize, Sara Bouchenak, Daniel Hagimont
article
5ème Conférence Française sur les Systèmes d'Exploitation, Oct 2006, Perpignan, France. 2006
Accès au bibtex
BibTex
titre
Administration autonome d'applications réparties sur grilles
auteur
Stéphane Fontaine, Christophe Taton, Sara Bouchenak, Thierry Gautier
article
RenPar'17 : 17ème Rencontres Francophones du Parallélisme, Oct 2006, Canet en Roussillon, France. 2006
Accès au bibtex
BibTex
titre
Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data
auteur
Michael Greenwald, Sanjeev Khanna, Keshav Kunal, Benjamin Pierce, Alan Schmitt
article
20th International Symposium on Distributed Computing (DISC), Sep 2006, Stockholm, Sweden. 4167, pp.269--283, 2006, Lecture Notes in Computer Science; Proceedings of the 20th International Symposium on Distributed Computing (DISC). <10.1007/11864219_19>
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00535653/file/Greenwald2006Agreeing-to-Agree-C.pdf BibTex
titre
Efficient Region-Based Memory Management for Resource-limited Real-Time Embedded Systems.
auteur
Guillaume Salagnac, Chaker Nakhli, Christophe Rippert, Sergio Yovine
article
Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, in association with the 20th ACM ECOOP conference, Jul 2006, Nantes, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00309688/file/06-Salagnac-ICOOOLPS.pdf BibTex
titre
Autonomic Management of Internet Services: Experience with Self-Optimization
auteur
Sara Bouchenak, Noël De Palma, Daniel Hagimont, Sacha Krakowiak, Christophe Taton
article
IEEE. ICAC'06, Jun 2006, Dublin, Ireland. pp.309-310, 2006, <10.1109/ICAC.2006.1662420>
Accès au bibtex
BibTex

Chapitre d'ouvrage

titre
Le système de composants Fractal
auteur
Thierry Coupaye, Vivien Quéma, Lionel Seinturier, Jean-Bernard Stefani
article
ICAR. Intergiciel et Construction d'Applications Réparties, ICAR, 2006
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00155090/file/main.pdf BibTex

2005

Communication dans un congrès

titre
Component-Oriented Programming with Sharing: Containment is not Ownership
auteur
Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, Jean-Bernard Stefani
article
Generative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. Springer, 3676, pp.389-404, 2005, Lecture Notes in Computer Science. <10.1007/11561347_26>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00310126/file/components_sharing.pdf BibTex

Rapport

titre
AOP-Based Caching of Dynamic Web Content: Experience with J2EE Applications
auteur
Sara Bouchenak, Alan Cox, Steven Dropsho, Sumit Mittal, Willy Zwaenepoel
article
RR-5483, INRIA. 2005, pp.35
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070524/file/RR-5483.pdf BibTex
titre
Tolérance aux fautes dans les applications J2EE: Une solution scalable et générique
auteur
Sara Bouchenak, Sacha Krakowiak, Noël De Plama
article
RR-5463, INRIA. 2005, pp.26
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070543/file/RR-5463.pdf BibTex

Thèse

titre
Vers l'exogiciel -- Une approche de la construction d'infrastructures logicielles radicalement configurables
auteur
Vivien Quema
article
Génie logiciel [cs.SE]. Institut National Polytechnique de Grenoble - INPG, 2005. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00012075/file/QuemaThese.pdf BibTex

2004

Article dans une revue

titre
Right spatial neglect after left hemisphere stroke: qualitative and quantitative study.
auteur
J.-M. Beis, C. Keller, N. Morin, P. Bartolomeo, T. Bernati, S. Chokron, M. Leclercq, A. Louis-Dreyfus, F. Marchal, Y. Martin, D. Perennou, Pascale Pradat-Diehl, C. Prairial, G. Rode, M. Rousseaux, C. Samuel, E. Sieroff, L. Wiart, P. Azouvi
article
Neurology, American Academy of Neurology, 2004, 63 (9), pp.1600-5
Accès au bibtex
BibTex

Communication dans un congrès

titre
A Distributed WCET Computation Scheme for Smart Card Operating Systems
auteur
Nadia Bel Hadj Aissa, Christophe Rippert, Damien Deville, Gilles Grimaud
article
4th International Workshop on Worst-Case Execution Time Analysis, in association with the 16th Euromicro ECRTS conference, Jun 2004, Catania, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00309686/file/04-Aissa-WCET.pdf BibTex
titre
Flexible Bindings for Type-Safe Embedded Operating Systems.
auteur
Damien Deville, Christophe Rippert, Gilles Grimaud
article
ECOOP Workshop on Programming Languages and Operating Systems, in association with the 18th ACM ECOOP conference, Jun 2004, Oslo, Norway
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00309687/file/04-Deville-PLOS.pdf BibTex
titre
Support pour la reconfiguration d'implantation dans les applications à composants Java
auteur
Jakub Kornas, Matthieu Leclercq, Vivien Quéma, Jean-Bernard Stefani
article
IMAG/LSR. 2004, pp.171-184, 2004, ISBN : 2-7261-1276-5
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00003293/file/decor2004.pdf BibTex

Rapport

titre
JGroups evaluation in J2EE cluster environments
auteur
Takoua Abdellatif, Emmanuel Cecchet, Renaud Lachaize
article
[Research Report] RR-5336, INRIA. 2004, pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00070665/file/RR-5336.pdf BibTex

2003

Article dans une revue

titre
Protection in Flexible Operating System Architectures
auteur
Christophe Rippert
article
Operating Systems Review, Association for Computing Machinery, 2003, 37 (4), pp.8-18. <10.1145/958965.958966>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00283925/file/03-Rippert-OSR.pdf BibTex

Rapport

titre
A Calculus of Higher-Order Distributed Components
auteur
Jean-Bernard Stefani
article
RR-4692, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071894/file/RR-4692.pdf BibTex
titre
RAIDb: Redundant Array of Inexpensive Databases
auteur
Emmanuel Cecchet, Julie Marguerite, Willy Zwaenepoel
article
[Research Report] RR-4921, INRIA. 2003
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071658/file/RR-4921.pdf BibTex

Thèse

titre
Protection dans les architectures de systèmes flexibles
auteur
Christophe Rippert
article
Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 2003. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00004377/file/tel-00004377.pdf BibTex

2002

Communication dans un congrès

titre
Building secure embedded kernels with the Think architecture.
auteur
Christophe Rippert, Jean-Bernard Stefani
article
Workshop on Engineering Context-aware Object-Oriented Systems and Environments, in association with the 17th ACM OOPSLA conference, Nov 2002, Seattle, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00310149/file/02-Rippert-ECOOSE.pdf BibTex
titre
Component isolation in the Think architecture.
auteur
Christophe Rippert
article
7th CaberNet Radicals workshop, Oct 2002, Bertinoro, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00310148/file/02-Rippert-Cabernet.pdf BibTex
titre
THINK: A Secure Distributed Systems Architecture.
auteur
Christophe Rippert, Jean-Bernard Stefani
article
10th ACM SIGOPS European Workshop, Sep 2002, St Emilion, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00310150/file/02-Rippert-EW.pdf BibTex
titre
Éléments de sécurité dans l'architecture de systèmes répartis THINK.
auteur
Christophe Rippert, Jean-Bernard Stefani
article
Journées francophones des jeunes chercheurs en systèmes d'exploitation de l'ACM SIGOPS France, Apr 2002, Hammamet, Tunisie
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00310151/file/02-Rippert-JCS.pdf BibTex

Rapport

titre
Experiences Implementing Efficient Java Thread Serialization, Mobility and Persistence
auteur
Sara Bouchenak, Daniel Hagimont, Sacha Krakowiak, Noel De Palma, Fabienne Boyer
article
[Research Report] RR-4662, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071923/file/RR-4662.pdf BibTex
titre
Aspects Can Be Efficient: Experience with Replication and Protection
auteur
Fabienne Boyer, Sara Bouchenak, Noel De Palma, Daniel Hagimont
article
[Research Report] RR-4651, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00071934/file/RR-4651.pdf BibTex
titre
The M-calculus: a Higher-Order Distributed Process Calculus
auteur
Alan Schmitt, Jean-Bernard Stefani
article
[Research Report] RR-4361, INRIA. 2002
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00072227/file/RR-4361.pdf BibTex
titre
Dynamic Adaptation in Distributed Multimedia Applications
auteur
Oussama Layaida, Daniel Hagimont
article
[Research Report] RT-0266, INRIA. 2002, pp.19
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00069908/file/RT-0266.pdf BibTex
titre
Zero Overhead Java Thread Migration
auteur
Sara Bouchenak, Daniel Hagimont
article
[Research Report] RT-0261, INRIA. 2002, pp.33
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00069913/file/RT-0261.pdf BibTex

2001

Article dans une revue

titre
[Presenting a battery for assessing spatial neglect. Norms and effects of age, educational level, sex, hand and laterality].
auteur
M. Rousseaux, J. M. Beis, Pascale Pradat-Diehl, Y. Martin, P. Bartolomeo, T. Bernati, S. Chokron, M. Leclercq, A. Louis-Dreyfus, F. Marchal, D. Perennou, C. Prairial, G. Rode, C. Samuel, E. Sieroff, L. Wiart, P. Azouvi
article
Revue Neurologique, Elsevier Masson, 2001, 157 (11 Pt 1), pp.1385-400
Accès au bibtex
BibTex

Communication dans un congrès

titre
An evaluation of the Java Card environment
auteur
Christophe Rippert, Daniel Hagimont
article
Advanced Topic Workshop Middleware for Mobile Computing, in association with the 3rd ACM/IFIP Middleware conference, Nov 2001, Heidelberg, Germany
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00308880/file/01-Rippert-MMC.pdf BibTex
titre
Protection in the Think exokernel
auteur
Christophe Rippert, Jean-Bernard Stefani
article
4th CaberNet European Research Seminar on Advances in Distributed Systems, May 2001, Bertinoro, Italy
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00308882/file/01-Rippert-ERSADS.pdf BibTex

1997

Article dans une revue

titre
An experiment with reactive data-flow tasking in active robot vision
auteur
Éric Rutten, Eric Marchand, François Chaumette
article
Software: Practice and Experience, Wiley, 1997, 27 (5), pp.599-621. <10.1002/(SICI)1097-024X(199705)27:5<599::AID-SPE102>3.0.CO;2-K>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00908095/file/SPE.pdf BibTex

1993

HDR

titre
Conception et construction de noyaux de systèmes opératoires
auteur
Xavier Rousset de Pina
article
Réseaux et télécommunications [cs.NI]. Université Joseph-Fourier - Grenoble I, 1993
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00068012/file/93-rousset-HDR.pdf BibTex

Suivez Inria tout au long de son 50e anniversaire et au-delà !