Searching for authors named "Ludovic Henrio" – sorted by Relevance.
-
Context Inference for Static Analysis of Java Card Object Sharing
- Context Inference for Static Analysis of Java Card Object Sharing Denis Caromel, Ludovic Henrio
- Cited by 6 (0 self) – Add To MetaCart
-
Smarttools for Java Card
- SMART TOOLS FOR JAVA CARDS Isabelle Attali Denis Caromel Carine Courbis Ludovic Henrio and Henrik
- Cited by 2 (0 self) – Add To MetaCart
-
An Integrated Development Environment for Java Card
- Courbis, Ludovic Henrio and Henrik Nilsson 2 INRIA CNRS I3S UNSA INRIA Sophia Antipolis, BP 93, FR
- Cited by 1 (0 self) – Add To MetaCart
-
Asynchronous Sequential Processes
- AUTOMATIQUE Asynchronous Sequential Processes Denis Caromel --- Ludovic Henrio --- Bernard Serpette N 4753
- Add To MetaCart
-
Specification and verification of reconfiguration protocols in grid component systems
- .Bolotov,V.S.Getov,A.Basukoski,A.Basso}@(email omitted); Ludovic Henrio 2 Ludovic.Henrio@(email omitted); and Mariusz Urbanski 3 murbansk@(email omitted); 1 University
- Cited by 1 (1 self) – Add To MetaCart
-
Proposal for a Lightweight, Generic Grid Platform Architecture
- Parlavantzas ∗‡ , Stavros Isaiadis ∗ Ludovic Henrio ‡ , Denis Caromel ‡ , Vladimir Getov ∗ ∗ Harrow School
- Cited by 1 (0 self) – Add To MetaCart
-
Asynchronous and Deterministic Objects
- Asynchronous and Deterministic Objects Denis Caromel Ludovic Henrio Bernard Paul Serpette INRIA
- Add To MetaCart
-
Collective interfaces for distributed components
- Collective Interfaces for Distributed Components Françoise Baude, Denis Caromel, Ludovic Henrio
- Cited by 1 (0 self) – Add To MetaCart

