Publications de l'équipe SARDES

2012

Articles dans des revues avec comité de lecture

Titre

A Component-Based Middleware Platform for Reconfigurable Service-Oriented Architectures

Auteurs

Lionel Seinturier; Philippe Merle ; Romain Rouvoy ; Daniel Romero; Valerio Schiavoni; Jean-Bernard Stefani

Détail

Software: Practice and Experience, Wiley, 2012, 42 (5), pp. 559-583

Accès au texte intégral et bibtex

Communications avec actes

Titre

Modeling and Synthesis of a Dynamic and Partial Reconfiguration Controller

Auteurs

Sébastien Guillet; Florent De Lamotte; Nicolas Le Griguer; Éric Rutten; Jean-Philippe Diguet ; Guy Gogniat

Détail

International Conference on Field Programmable Logic and Applications (FPL), Aug 2012, Oslo, Norway. pp. x

Accès au bibtex

Titre

Designing formal reconfiguration control using UML/MARTE

Auteurs

Sébastien Guillet; Nicolas Le Griguer; Éric Rutten; Guy Gogniat; Jean-Philippe Diguet

Détail

2012 7th International Workshop on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), Jul 2012, York, United Kingdom. pp. x

Accès au bibtex

Titre

Managing the dynamism of the OSGi Service Platform in real-time Java applications

Auteurs

Joao Americo; Walter Rudametkin; Didier Donsez

Détail

SAC 2012 - Symposium On Applied Computing, Mar 2012, Trento, Italy. ACM, pp. 1115-1122

Accès au bibtex

Titre

CLASSY: a clock analysis system for rapid prototyping of embedded applications on MPSoCs

Auteurs

Xin An; Sarra Boumedien; Abdoulaye Gamatié; Eric Rutten

Détail

Proceedings of the 15th International Workshop on Software and Compilers for Embedded Systems, May 2012, St. Goar, Germany. ACM, pp. 3-12

Accès au bibtex

Rapports

Titre

CLASSY: a Clock Analysis System for Rapid Prototyping of Embedded Applications on MPSoCs

Auteurs

Xin An; Sarra Boumedien; Abdoulaye Gamatié; Eric Rutten

Détail

[Research Report], 2012, pp. 23. RR-7918

Accès au texte intégral et bibtex

Titre

An Analysis of Web Servers Architectures Performances on Commodity Multicores

Auteurs

Sylvain Genevès

Détail

[Research Report], 2012

Accès au texte intégral et bibtex

Thèses

Titre

Algèbres de Kleene, réécriture modulo AC et circuits en coq

Auteurs

Thomas Braibant

Détail

Université de Grenoble, Feb. 2012. French

Accès au texte intégral et bibtex

Titre

Réversibilité dans le pi calcul d'ordre supérieur

Auteurs

Claudio antares Mezzina

Détail

Université de Grenoble; 127 UNIVERSITA DI BOLOGNA, Feb. 2012. French

Accès au texte intégral et bibtex

2011

Articles dans des revues avec comité de lecture

Titre

Experience with ConSer: A System for Server Control Through Fluid Modeling

Auteurs

Luc Malrait; Sara Bouchenak; Nicolas Marchand

Détail

IEEE Transactions on Computers, 2011, 60 (7), pp. 951-963

Accès au bibtex

Communications avec actes

Titre

Automatic generation of discrete handlers of real-time continuous control tasks

Auteurs

Ahmed Soufyane Aboubekr; Delaval Gwenaël; Roger Pissard-Gibollet; Éric Rutten; Daniel Simon

Détail

18th IFAC World Congress (IFAC WC 2011), Aug 2011, Milan, Italy.

Accès au texte intégral et bibtex

Titre

Query Reasoning on Trees with Types, Interleaving, and Counting

Auteurs

Everardo Barcenas-Patino; Pierre Genevès; Nabil Layaïda; Alan Schmitt

Détail

22nd International Joint Conference on Artificial Intelligence IJCAI'2011, Jul 2011, Barcelone, Spain.

Accès au texte intégral et bibtex

Titre

Intégration de la synthèse de contrôleurs discrets dans un langage de programmation

Auteurs

Gwenaël Delaval; Éric Rutten; Hervé Marchand

Détail

Modélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France.

Accès au texte intégral et bibtex

HDR

Titre

Analyses Statiques pour Manipulations de Données Structurées Hiérarchiquement

Auteurs

Alan Schmitt

Détail

Université de Grenoble, May. 2011. English

Accès au texte intégral et bibtex

Rapports

Titre

Synchronous Control of Reconfiguration in Fractal Component-based Systems -- a Case Study

Auteurs

Tayeb Bouhadiba; Quentin Sabah; Gwenaël Delaval; Éric Rutten

Détail

[Research Report], 2011, pp. 31. RR-7631

Accès au texte intégral et bibtex

Thèses

Titre

Quelques défis posés par l'utilisation de protocoles de Gossip dans l'Internet

Auteurs

Alessio Pace

Détail

Université de Grenoble, Oct. 2011. French

Accès au texte intégral et bibtex

Titre

Apports des architectures à composants pour le déploiement d'applications à la juste taille

Auteurs

Loris Bouzonnet

Détail

Université de Grenoble, Sep. 2011. French

Accès au texte intégral et bibtex

2010

Articles dans des revues avec comité de lecture

Titre

Adaptivity in High-Performance Embedded Systems: a Reactive Control Model for Reliable and Flexible Design

Auteurs

Huafeng Yu; Abdoulaye Gamatié; Éric Rutten; Jean-Luc Dekeyser

Détail

Knowledge Engineering Review, Cambridge university press, 2010, 21 p.

Accès au texte intégral et bibtex

Titre

Targeting Reconfigurable FPGA based SoCs using the MARTE UML profile: from high abstraction levels to code generation

Auteurs

Imran Rafiq Quadri; Huafeng Yu; Abdoulaye Gamatié; Samy Meftali; Jean-Luc Dekeyser; Éric Rutten

Détail

International Journal of Embedded Systems, InderScience Publishers, 2010, 18 p

Accès au texte intégral et bibtex

Communications avec actes

Titre

Multicriteria optimal reconfiguration of fault-tolerant real-time tasks

Auteurs

Emil Dumitrescu; Alain Girault; Hervé Marchand; Éric Rutten

Détail

Workshop on Discrete Event Systems, WODES'10, Aug 2010, Berlin, Germany. IFAC, pp. 366-373

Accès au texte intégral et bibtex

Titre

On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi

Auteurs

Ivan Lanese; Jorge Peréz; Davide Sangiorgi; Alan Schmitt

Détail

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, Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), 6199, pp. 442-453

Accès au texte intégral et bibtex

Titre

Contracts for modular discrete controller synthesis

Auteurs

Gwenaël Delaval; Hervé Marchand; Éric Rutten

Détail

Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, Apr 2010, Stockholm, Sweden. pp. 57-66

Accès au texte intégral et bibtex

Titre

On Bisimilarity and Substitution in Presence of Replication

Auteurs

Daniel Hirschkoff; Damien Pous

Détail

ICALP, Jul 2010, Bordeaux, France. Springer, 6199, pp. 454-465, LNCS

Accès au texte intégral et bibtex

Titre

Deciding Kleene Algebras in Coq

Auteurs

Thomas Braibant; Damien Pous

Détail

ITP, Aug 2010, Edinburgh, United Kingdom. Springer, 6172, pp. 163-178, LNCS

Accès au texte intégral et bibtex

Titre

Modeling and formal control of partial dynamic reconfiguration

Auteurs

Sébastien Guillet; Florent Frizon De Lamotte; Éric Rutten; Guy Gogniat; Jean-Philippe Diguet

Détail

Reconfig, 2010, Cancun, Mexico.

Accès au bibtex

Titre

Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design

Auteurs

Abdoulaye Gamatié; Vlad Rusu; Éric Rutten

Détail

9th International Symposium on Parallel and Distributed Computing (ISPDC'2010), Jul 2010, Istanbul, Turkey.

Accès au texte intégral et bibtex

HDR

Titre

Contributions to Building Efficient and Robust State-Machine Replication Protocols

Auteurs

Vivien Quéma

Détail

Université de Grenoble, Nov. 2010. French

Accès au texte intégral et bibtex

Rapports

Titre

On the Count of Trees

Auteurs

Everardo Barcenas; Pierre Geneves; Nabil Layaida; Alan Schmitt

Détail

[Research Report], 2010. RR-7251

Accès au texte intégral et bibtex

Titre

Automatic generation of discrete handlers of real-time continuous control tasks

Auteurs

Ahmed Soufyane Aboubekr; Gwenaël Delaval; Roger Pissard-Gibollet; Éric Rutten; Daniel Simon

Détail

[Research Report], 2010, pp. 17. RR-7332

Accès au texte intégral et bibtex

Titre

Mely: Efficient Workstealing for Multicore Event-Driven Systems

Auteurs

Fabien Gaud; Sylvain Genevès; Renaud Lachaize; Baptiste Lepers; Fabien Mottet; Gilles Muller; Vivien Quéma

Détail

[Research Report], 2010, pp. 23. RR-7169

Accès au texte intégral et bibtex

Thèses

Titre

Étude et amélioration de la performance des serveurs de données pour les architectures multi-cœurs

Auteurs

Fabien Gaud

Détail

informatique. Université de Grenoble, Dec. 2010. French

Accès au texte intégral et bibtex

Titre

Performance, disponibilité et coût de services Internet adaptatifs

Auteurs

Jean Arnaud

Détail

informatique. Université Joseph-Fourier - Grenoble I, Sep. 2010. French

Accès au texte intégral et bibtex

Titre

Bisimulations dans les calculs avec passivation

Auteurs

Sergueï Lenglet

Détail

Université Joseph-Fourier - Grenoble I, Jan. 2010. French

Accès au texte intégral et bibtex

2009

Articles dans des revues avec comité de lecture

Titre

Automating the Addition of Fault Tolerance with Discrete Controller Synthesis

Auteurs

Alain Girault; Éric Rutten

Détail

Formal Methods in System Design, Springer, 2009, 35, pp. 190-225

Accès au texte intégral et bibtex

Titre

Automatic generation of safe handlers for multi-task systems

Auteurs

Éric Rutten; Hervé Marchand

Détail

Journal of Embedded Computing, IOS Press, 2009, 3 (4), pp. 255-276

Accès au texte intégral et bibtex

Articles de vulgarisation scientifique

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.

Auteurs

Roberto Di Cosmo; Jean-Bernard Stefani

Détail

La Recherche Les Cahiers de l'Inria, Societé d' éditions scientifiques, 2009, Les promesses des énergies renouvelables, 436 décembre 2009

Accès au texte intégral et bibtex

Communications avec actes

Titre

Heterogeneous Gossip

Auteurs

Davide Frey; Rachid Guerraoui; Anne-Marie Kermarrec; Maxime Monod; Koldehofe Boris; Mogensen Martin; Vivien Quéma

Détail

Middleware 2009, Dec 2009, Urbana-Champaign, IL, United States.

Accès au texte intégral et bibtex

Titre

Howe's Method for Calculi with Passivation

Auteurs

Sergueï Lenglet; Alan Schmitt; Jean-Bernard Stefani

Détail

Mario Bravetti and Gianluigi Zavattaro. 20th International Conference on Concurrency Theory (CONCUR 2009), Sep 2009, Bologna, Italy. Springer, Proceedings of the 20th International Conference on Concurrency Theory (CONCUR 2009), 5710, pp. 448-462, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Modeling and Control of Server Systems: Application to Database Systems

Auteurs

Luc Malrait; Nicolas Marchand; Sara Bouchenak

Détail

European Control Conference, ECC'09, Aug 2009, Budapest, Hungary.

Accès au bibtex

Titre

Stretching Gossip with Live Streaming

Auteurs

Davide Frey; Rachid Guerraoui; Anne-Marie Kermarrec; Maxime Monod; Vivien Quéma

Détail

DSN 2009, Jun 2009, Estoril, Portugal.

Accès au texte intégral et bibtex

Titre

Typing Component-Based Communication Systems

Auteurs

Michaël Lienhardt; Claudio Mezzina; Alan Schmitt; Jean-Bernard Stefani

Détail

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, Proceedings of the 11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) & 29th Formal Techniques for Networked and Distributed Systems (FORTE), 5522, pp. 167-181, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Normal bisimulations in process calculi with passivation

Auteurs

Sergueï Lenglet; Alan Schmitt; Jean-Bernard Stefani

Détail

Luca de Alfaro. 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009), Mar 2009, York, United Kingdom. Springer, Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009), 5504, pp. 257-271, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Encapsulation and Dynamic Modularity in the Pi-Calculus

Auteurs

Daniel Hirschkoff; Aurélien Pardon; Tom Hirschowitz; Samuel Hym; Damien Pous

Détail

PLACES 2008, 2008, Oslo, Norway. Elsevier, 241, pp. 85 - 100, 2009, Electronic Notes in Theoretical Computer Science

Accès au texte intégral et bibtex

Titre

Average Delay Guarantee in Server Systems Using Admission Control

Auteurs

Luc Malrait; Nicolas Marchand; Sara Bouchenak

Détail

8th Workshop on time delay systems, Sep 2009, Sinaia, Romania.

Accès au texte intégral et bibtex

Titre

Modélisation et contrôle d'un serveur

Auteurs

Luc Malrait; Sara Bouchenak; Nicolas Marchand

Détail

Conférence Française sur les Systèmes d'Exploitation (CFSE'7), Sep 2009, Toulouse, France.

Accès au texte intégral et bibtex

Titre

MoKa : optimisation de services Internet multi-étagés

Auteurs

Jean Arnaud; Sara Bouchenak

Détail

NOTERE'09 : 9e Conférence Internationale sur Les NOuvelles TEchnologies de la REpartition, Jun 2009, Montréal, Canada.

Accès au bibtex

Titre

Fluid Modeling and Control for Server System Performance and Availability

Auteurs

Luc Malrait; Sara Bouchenak; Nicolas Marchand

Détail

39th annual IEEE/IFIP International Conference on Dependable Systems and Networks, Jun 2009, Estoril, Portugal.

Accès au bibtex

Titre

Reconfigurable SCA Applications with the FraSCAti Platform

Auteurs

Lionel Seinturier; Philippe Merle; Damien Fournier; Nicolas Dolet; Valerio Schiavoni; Jean-Bernard Stefani

Détail

6th IEEE International Conference on Service Computing (SCC'09), Sep 2009, Bangalore, India. pp. 268-275

Accès au texte intégral et bibtex

Titre

NAT-resilient Gossip Peer Sampling

Auteurs

Anne-Marie Kermarrec; Alessio Pace; Vivien Quéma; Valerio Schiavoni

Détail

Internation Conference on Distributed Computing Systems (ICDCS), 2009, Montreal, Canada.

Accès au bibtex

Ouvrages scientifiques

Titre

Actes de la conférence JFLA 2009 (Vingtièmes Journées Francophones des Langages Applicatifs)

Auteurs

Alan Schmitt

Détail

INRIA. INRIA, pp. 174, 2009

Accès au texte intégral et bibtex

Brevets

Titre

Dispositif de commande d'admission pour un serveur Numéro pas encore connu

Auteurs

Luc Malrait; Nicolas Marchand; Sara Bouchenak

Détail

09/02551. Département Automatique. May. 2009

Accès au bibtex

Rapports

Titre

BZR Contracts for Modular Discrete Controller Synthesis

Auteurs

Gwenaël Delaval; Hervé Marchand; Éric Rutten

Détail

[Research Report], 2009. RR-7111

Accès au texte intégral et bibtex

Titre

SCA Platform Specifications - Version 2.0

Auteurs

Damien Fournier; Philippe Merle; Gaël Blondelle; Lionel Seinturier; Nicolas Dolet; Christophe Demarey; Vivien Quéma; Valerio Schiavoni; Samir Tata; Djamel Belaid; Daniel Hagimont

Détail

[Research Report], 2009

Accès au texte intégral et bibtex

2008

Communications avec actes

Titre

Typing Communicating Component Assemblages

Auteurs

Michaël Lienhardt; Alan Schmitt; Jean-Bernard Stefani

Détail

7th International Conference on Generative Programming and Component Engineering (GPCE'08), Oct 2008, Nashville, United States. ACM, Proceedings of the 7th International Conference on Generative Programming and Component Engineering (GPCE'08), pp. 125-136

Accès au texte intégral et bibtex

Titre

On the Expressiveness and Decidability of Higher-Order Process Calculi

Auteurs

Ivan Lanese; Jorge Peréz; Davide Sangiorgi; Alan Schmitt

Détail

23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), Jun 2008, Pittsburgh, Pennsylvania, United States. Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), pp. 145-155

Accès au texte intégral et bibtex

Titre

Boomerang: Resourceful Lenses for String Data

Auteurs

Aaron Bohannon; J. Foster; Benjamin Pierce; Alexandre Pilkiewicz; Alan Schmitt

Détail

ACM SIGPLAN--SIGACT Symposium on Principles of Programming Languages (POPL'08), Jan 2008, San Francisco, California, United States. pp. 407-419

Accès au texte intégral et bibtex

Titre

Software for Multi Processor System on Chip: moving from generic RISC platforms to CELL

Auteurs

L. Demontes; M. Bonaciu; P. Amblard

Détail

Rapid System Prototyping Symposium (RSP'08), Jun 2008, Monterey, United States. IEEE Computer Society, pp. 34-40

Accès au bibtex

Titre

Gestion de ressources dans les services Internet

Auteurs

Jean Arnaud; Sara Bouchenak

Détail

RenPar'18, CFSE'6, Feb 2008, Fribourg, Switzerland.

Accès au bibtex

Conférences invitées

Titre

Heterogeneous Gossiping

Auteurs

Davide Frey; Rachid Guerraoui; Anne-Marie Kermarrec; Maxime Monod; Vivien Quema

Détail

Large-Scale Distributed Systems and Middleware, Sep 2008, IBM TJ Watson Research Lab in Yorktown, New York., United States.

Accès au texte intégral et bibtex

Rapports

Titre

Self-Optimization of Internet Services with Dynamic Resource Provisioning

Auteurs

Christophe Taton; Sara Bouchenak; Noël De Palma; Daniel Hagimont

Détail

[Research Report], 2008, pp. 32. RR-6575

Accès au texte intégral et bibtex

Titre

Efficient Static Analysis of XML Paths and Types

Auteurs

Pierre Genevès; Nabil Layaïda; Alan Schmitt

Détail

[Research Report], 2008. RR-6590

Accès au texte intégral et bibtex

Titre

A formal specification of the Fractal component model in Alloy

Auteurs

Philippe Merle; Jean-Bernard Stefani

Détail

[Research Report], 2008, pp. 44. RR-6721

Accès au texte intégral et bibtex

Titre

Gossiping Capabilities

Auteurs

Davide Frey; Rachid Guerraoui; Anne-Marie Kermarrec; Martin Mogensen; Maxime Monod; Vivien Quéma

Détail

[Research Report], 2008

Accès au texte intégral et bibtex

Titre

MoKa: A System for Modeling and Capacity Planning of Multi-Tier Systems

Auteurs

Jean Arnaud; Sara Bouchenak

Détail

[Research Report], 2008, pp. 36. RR-6730

Accès au texte intégral et bibtex

Titre

Howe's Method for Early Bisimilarities

Auteurs

Sergueï Lenglet; Alan Schmitt; Jean-Bernard Stefani

Détail

[Research Report], 2008, pp. 69. RR-6773

Accès au texte intégral et bibtex

2007

Articles dans des revues avec comité de lecture

Titre

Exploiting Schemas in Data Synchronization

Auteurs

J. Foster; Michael Greenwald; Christian Kirkegaard; Benjamin Pierce; Alan Schmitt

Détail

Journal of Computer and System Sciences, Elsevier, 2007, 73 (4), pp. 669-689

Accès au texte intégral et bibtex

Titre

Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem

Auteurs

J. Foster; Michael Greenwald; Jonathan Moore; Benjamin Pierce; Alan Schmitt

Détail

ACM Transactions on Programming Languages and Systems, ACM Press, 2007, ACM Transactions on Programming Languages and Systems, 29 (3), pp. 17

Accès au texte intégral et bibtex

Communications avec actes

Titre

Oz/K: A Kernel Language for Component-Based Open Programming

Auteurs

Michaël Lienhardt; Alan Schmitt; Jean-Bernard Stefani

Détail

ACM. 6th International Conference on Generative Programming and Component Engineering (GPCE'07), Oct 2007, Salzburg, Austria. Proceedings of the 6th International Conference on Generative Programming and Component Engineering (GPCE'07), pp. 43-52

Accès au texte intégral et bibtex

Titre

Architecture-Based Autonomic Deployment of J2EE Systems in Grids

Auteurs

Didier Hoareau; Takoua Abdellatif; Yves Mahéo

Détail

International Conference on Grid and Pervasive Computing, May 2007, Paris, France. Springer, 4459, pp. 362-373, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Efficient Static Analysis of XML Paths and Types

Auteurs

Pierre Genevès; Nabil Layaïda; Alan Schmitt

Détail

2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, New York, NY, United States. ACM Press, PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, pp. 342-351

Accès au texte intégral et bibtex

Titre

Efficient Static Analysis of XML Paths and Types

Auteurs

Pierre Genevès; Nabil Layaïda; Alan Schmitt

Détail

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, Jun 2007, San Diego, United States. pp. 342-351

Accès au texte intégral et bibtex

Titre

XPath Typing Using a Modal Logic with Converse for Finite Trees

Auteurs

Pierre Genevès; Nabil Layaïda; Alan Schmitt

Détail

Proceedings of the ACM SIGPLAN Workshop on Programming Language Techniques for XML colocated with POPL 2007, 2007, Nice, France. pp. 1

Accès au texte intégral et bibtex

Titre

Experience with implementing safe reconfigurations in Component-based embedded systems

Auteurs

Juraj Polakovic; Sébastien Mazaré; Jean-Bernard Stefani; Pierre-Charles David

Détail

Component-Based Software Engineering (CBSE 2007), Jun 2007, Boston, United States. pp. 242-257

Accès au bibtex

Rapports

Titre

Oz/K: A kernel language for component-based open programming

Auteurs

Michaël Lienhardt; Alan Schmitt; Jean-Bernard Stefani

Détail

[Research Report], 2007. RR-6202

Accès au texte intégral et bibtex

Thèses

Titre

Conception et Implantation d'un Environnement de Développement de Logiciels à Base de Composants, Applications aux Systèmes Multiprocesseurs sur Puce

Auteurs

Ali Erdem Özcan

Détail

informatique. Institut National Polytechnique de Grenoble - INPG, Mar. 2007. French

Accès au texte intégral et bibtex

2006

Articles dans des revues avec comité de lecture

Titre

Bringing Ease and Adaptability to MPSoC Software Design: A Component-Based Approach.

Auteurs

Ali Erdem Özcan; Sébastien Jean; Jean-Bernard Stefani

Détail

Lecture notes in computer science, 2006, 3956, p. 118-137

Accès au bibtex

Communications avec actes

Titre

Automated deployment of enterprise systems in large-scale environments

Auteurs

Takoua Abdellatif; Didier Hoareau; Yves Mahéo

Détail

International Conference on Distributed Objects and Applications, Oct 2006, Montpellier, France. Springer, 4277, pp. 30-31, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data

Auteurs

Michael Greenwald; Sanjeev Khanna; Keshav Kunal; Benjamin Pierce; Alan Schmitt

Détail

20th International Symposium on Distributed Computing (DISC), Sep 2006, Stockholm, Sweden. Proceedings of the 20th International Symposium on Distributed Computing (DISC), 4167, pp. 269-283, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

A Methodology and Supporting Tools for the Development of Component-Based Embedded Systems.

Auteurs

Marc Poulhiès; Jacques Pulou; Christophe Rippert; Joseph Sifakis

Détail

13th Monterey Workshop : Compositions of Embedded Systems, Scientific and Industrial Issues, Oct 2006, Paris, France. 4888, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Titre

Autonomic Management of Internet Services: Experience with Self-Optimization

Auteurs

Sara Bouchenak; Noël De Palma; Daniel Hagimont; Sacha Krakowiak; Christophe Taton

Détail

IEEE. ICAC'06, Jun 2006, Dublin, Ireland. pp. 309-310

Accès au bibtex

Titre

Self-protection for distributed component-based applications

Auteurs

Benoit Claudel; Noel De Palma; Renaud Lachaize; Daniel Hagimont

Détail

Springer. SSS'06 : 8th international conference on Stabilization, safety, and security of distributed systems, Nov 2006, Dallas, Texas, United States. Springer, pp. 184-198

Accès au bibtex

Titre

Une approche architecturale pour l'auto-protection de système répartis

Auteurs

Benoit Claudel; Noel De Palma; Renaud Lachaize; Sara Bouchenak; Daniel Hagimont

Détail

5ème Conférence Française sur les Systèmes d'Exploitation, Oct 2006, Perpignan, France.

Accès au bibtex

Communications sans actes

Titre

Efficient Region-Based Memory Management for Resource-limited Real-Time Embedded Systems.

Auteurs

Guillaume Salagnac; Chaker Nakhli; Christophe Rippert; Sergio Yovine

Détail

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

Titre

Administration autonome d'applications réparties sur grilles

Auteurs

Stéphane Fontaine; Christophe Taton; Sara Bouchenak; Thierry Gautier

Détail

RenPar'17 : 17ème Rencontres Francophones du Parallélisme, Oct 2006, Canet en Roussillon, France.

Accès au bibtex

Chapitres d'ouvrages scientifiques

Titre

Le système de composants Fractal

Auteurs

Thierry Coupaye; Vivien Quéma; Lionel Seinturier; Jean-Bernard Stefani

Détail

ICAR. Intergiciel et Construction d'Applications Réparties, ICAR, 2006

Accès au texte intégral et bibtex

2005

Communications avec actes

Titre

Component-Oriented Programming with Sharing: Containment is not Ownership

Auteurs

Daniel Hirschkoff; Tom Hirschowitz; Damien Pous; Alan Schmitt; Jean-Bernard Stefani

Détail

Generative Programming and Component Engineering (GPCE), 2005, Tallinn, Estonia. Springer, 3676, pp. 389-404, Lecture Notes in Computer Science

Accès au texte intégral et bibtex

Rapports

Titre

AOP-Based Caching of Dynamic Web Content: Experience with J2EE Applications

Auteurs

Sara Bouchenak; Alan Cox; Steven Dropsho; Sumit Mittal; Willy Zwaenepoel

Détail

[Report], 2005, pp. 35. RR-5483

Accès au texte intégral et bibtex

Titre

Tolérance aux fautes dans les applications J2EE: Une solution scalable et générique

Auteurs

Sara Bouchenak; Sacha Krakowiak; Noël De Plama

Détail

[Report], 2005, pp. 26. RR-5463

Accès au texte intégral et bibtex

Thèses

Titre

Vers l'exogiciel -- Une approche de la construction d'infrastructures logicielles radicalement configurables

Auteurs

Vivien Quema

Détail

Institut National Polytechnique de Grenoble - INPG, Dec. 2005. French

Accès au texte intégral et bibtex

2004

Articles dans des revues avec comité de lecture

Titre

Right spatial neglect after left hemisphere stroke: qualitative and quantitative study.

Auteurs

J.-M. Beis; C. Keller; N. Morin; P. Bartolomeo; T. Bernati; S. Chokron; M. Leclercq; A. Louis-Dreyfus; F. Marchal; Y. Martin; D. Perennou; P. Pradat-Diehl; C. Prairial; G. Rode; M. Rousseaux; C. Samuel; E. Sieroff; L. Wiart; P. Azouvi

Détail

Neurology, 2004, 63 (9), pp. 1600-5

Accès au bibtex

Communications avec actes

Titre

Support pour la reconfiguration d'implantation dans les applications à composants Java

Auteurs

Jakub Kornas; Matthieu Leclercq; Vivien Quéma; Jean-Bernard Stefani

Détail

IMAG/LSR. 2004. pp. 171-184, ISBN : 2-7261-1276-5

Accès au texte intégral et bibtex

Communications sans actes

Titre

A Distributed WCET Computation Scheme for Smart Card Operating Systems

Auteurs

Nadia Bel Hadj Aissa; Christophe Rippert; Damien Deville; Gilles Grimaud

Détail

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

Titre

Flexible Bindings for Type-Safe Embedded Operating Systems.

Auteurs

Damien Deville; Christophe Rippert; Gilles Grimaud

Détail

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

Rapports

Titre

JGroups evaluation in J2EE cluster environments

Auteurs

Takoua Abdellatif; Emmanuel Cecchet; Renaud Lachaize

Détail

[Research Report], 2004, pp. 24. RR-5336

Accès au texte intégral et bibtex

2003

Articles dans des revues avec comité de lecture

Titre

Protection in Flexible Operating System Architectures

Auteurs

Christophe Rippert

Détail

Operating System Review, 2003, 37 (4), pp. 8-18

Accès au texte intégral et bibtex

Rapports

Titre

A Calculus of Higher-Order Distributed Components

Auteurs

Jean-Bernard Stefani

Détail

[Report], 2003. RR-4692

Accès au texte intégral et bibtex

Titre

RAIDb: Redundant Array of Inexpensive Databases

Auteurs

Emmanuel Cecchet; Julie Marguerite; Willy Zwaenepoel

Détail

[Research Report], 2003. RR-4921

Accès au texte intégral et bibtex

Thèses

Titre

Protection dans les architectures de systèmes flexibles

Auteurs

Christophe Rippert

Détail

Université Joseph-Fourier - Grenoble I, Oct. 2003. French

Accès au texte intégral et bibtex

2002

Communications sans actes

Titre

Building secure embedded kernels with the Think architecture.

Auteurs

Christophe Rippert; Jean-Bernard Stefani

Détail

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

Titre

Component isolation in the Think architecture.

Auteurs

Christophe Rippert

Détail

7th CaberNet Radicals workshop, Oct 2002, Bertinoro, Italy.

Accès au texte intégral et bibtex

Titre

THINK: A Secure Distributed Systems Architecture.

Auteurs

Christophe Rippert; Jean-Bernard Stefani

Détail

10th ACM SIGOPS European Workshop, Sep 2002, St Emilion, France.

Accès au texte intégral et bibtex

Titre

Éléments de sécurité dans l'architecture de systèmes répartis THINK.

Auteurs

Christophe Rippert; Jean-Bernard Stefani

Détail

Journées francophones des jeunes chercheurs en systèmes d'exploitation de l'ACM SIGOPS France, Apr 2002, Hammamet, Tunisia.

Accès au texte intégral et bibtex

Rapports

Titre

Dynamic Adaptation in Distributed Multimedia Applications

Auteurs

Oussama Layaida; Daniel Hagimont

Détail

[Research Report], 2002, pp. 19. RT-0266

Accès au texte intégral et bibtex

Titre

Zero Overhead Java Thread Migration

Auteurs

Sara Bouchenak; Daniel Hagimont

Détail

[Research Report], 2002, pp. 33. RT-0261

Accès au texte intégral et bibtex

Titre

Experiences Implementing Efficient Java Thread Serialization, Mobility and Persistence

Auteurs

Sara Bouchenak; Daniel Hagimont; Sacha Krakowiak; Noel De Palma; Fabienne Boyer

Détail

[Research Report], 2002. RR-4662

Accès au texte intégral et bibtex

Titre

Aspects Can Be Efficient: Experience with Replication and Protection

Auteurs

Fabienne Boyer; Sara Bouchenak; Noel De Palma; Daniel Hagimont

Détail

[Research Report], 2002. RR-4651

Accès au texte intégral et bibtex

Titre

The M-calculus: a Higher-Order Distributed Process Calculus

Auteurs

Alan Schmitt; Jean-Bernard Stefani

Détail

[Research Report], 2002. RR-4361

Accès au texte intégral et bibtex

2001

Communications sans actes

Titre

An evaluation of the Java Card environment

Auteurs

Christophe Rippert; Daniel Hagimont

Détail

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

Titre

Protection in the Think exokernel

Auteurs

Christophe Rippert; Jean-Bernard Stefani

Détail

4th CaberNet European Research Seminar on Advances in Distributed Systems, May 2001, Bertinoro, Italy.

Accès au texte intégral et bibtex

1993

HDR

Titre

Conception et construction de noyaux de systèmes opératoires

Auteurs

Xavier Rousset De Pina

Détail

Université Joseph-Fourier - Grenoble I, Jan. 1993. French

Accès au texte intégral et bibtex