The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ludovic Henrio: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson
    Smart Tools for Java Cards. [Citation Graph (0, 0)][DBLP]
    CARDIS, 2000, pp:155-176 [Conf]
  2. Françoise Baude, Denis Caromel, Ludovic Henrio, Matthieu Morel
    Collective Interfaces for Distributed Components. [Citation Graph (0, 0)][DBLP]
    CCGRID, 2007, pp:599-610 [Conf]
  3. Denis Caromel, Ludovic Henrio, Bernard P. Serpette
    Context Inference for Static Analysis of Java Card Object Sharing. [Citation Graph (0, 0)][DBLP]
    E-smart, 2001, pp:43-57 [Conf]
  4. Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio
    A Hybrid Message Logging-CIC Protocol for Constrained Checkpointability. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2005, pp:644-653 [Conf]
  5. Ludovic Henrio, Bernard P. Serpette
    A Parametrized Polyvariant Bytecode Verifier. [Citation Graph (0, 0)][DBLP]
    JFLA, 2003, pp:95-110 [Conf]
  6. Denis Caromel, Ludovic Henrio, Bernard P. Serpette
    Asynchronous and deterministic objects. [Citation Graph (0, 0)][DBLP]
    POPL, 2004, pp:123-134 [Conf]
  7. Françoise Baude, Denis Caromel, Christian Delbé, Ludovic Henrio
    Promised messages: recovering from inconsistent global states. [Citation Graph (0, 0)][DBLP]
    PPOPP, 2007, pp:154-155 [Conf]
  8. Tomás Barros, Ludovic Henrio, Eric Madelaine
    Behavioural Models for Hierarchical Components. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:154-168 [Conf]
  9. Isabelle Attali, Denis Caromel, Carine Courbis, Ludovic Henrio, Henrik Nilsson
    An integrated development environment for Java Card. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2001, v:36, n:4, pp:391-405 [Journal]
  10. Tomás Barros, Ludovic Henrio, Eric Madelaine
    Verification of Distributed Hierarchical Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:160, n:, pp:41-55 [Journal]
  11. Sebastien Bezzine, Virginie Galtier, Stéphane Vialle, Françoise Baude, Mireille Bossy, Viet Dung Doan, Ludovic Henrio
    A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Option Pricing in Finance. [Citation Graph (0, 0)][DBLP]
    e-Science, 2006, pp:49- [Conf]
  12. Ludovic Henrio, Florian Kammüller
    A Mechanized Model of the Theory of Objects. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:190-205 [Conf]
  13. Denis Caromel, Guillaume Chazarain, Ludovic Henrio
    Garbage Collecting the Grid: A Complete DGC for Activities. [Citation Graph (0, 0)][DBLP]
    Middleware, 2007, pp:164-183 [Conf]
  14. Isabelle Attali, Denis Caromel, Ludovic Henrio, Felipe Luna Del Aguila
    Secured Information Flow for Asynchronous Sequential Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:180, n:1, pp:17-34 [Journal]

  15. A Specification Language for Distributed Components Implemented in GCM/ProActive. [Citation Graph (, )][DBLP]


  16. Exceptions for Algorithmic Skeletons. [Citation Graph (, )][DBLP]


  17. Active Objects and Distributed Components: Theory and Implementation. [Citation Graph (, )][DBLP]


  18. An Asynchronous Distributed Component Model and Its Semantics. [Citation Graph (, )][DBLP]


  19. Structural Reconfiguration: An Autonomic Strategy for GCM Components. [Citation Graph (, )][DBLP]


  20. Asynchonous Distributed Components: Concurrency and Determinacy. [Citation Graph (, )][DBLP]


  21. Type Safe Algorithmic Skeletons. [Citation Graph (, )][DBLP]


  22. A component platform for experimenting with autonomic composition. [Citation Graph (, )][DBLP]


  23. Interoperability of Grid component models: GCM and CCA case study. [Citation Graph (, )][DBLP]


  24. GCM: a grid extension to Fractal for autonomous distributed components. [Citation Graph (, )][DBLP]


  25. Behavioural models for distributed Fractal components. [Citation Graph (, )][DBLP]


  26. Functional Active Objects: Typing and Formalisation. [Citation Graph (, )][DBLP]


  27. Transparent First-class Futures and Distributed Components. [Citation Graph (, )][DBLP]


  28. Unifying Architectural and Behavioural Specifications of Distributed Components. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002