Skip to Main content Skip to Navigation

Search by documents



...
inria-00389211v1  Journal articles
Pierre ParrendStéphane Frénot. Vérification automatique pour l'exécution sécurisée de composants Java
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2008, Composants, services et aspects, 14 (4), pp.103-127. ⟨10.3166/obj.14.4.103-127⟩
...
hal-00848514v2  Conference papers
Julien PongeFrédéric Le MouëlNicolas Stouls. Golo, a Dynamic, Light and Efficient Language for Post-Invokedynamic JVM
PPPJ - International Conference on Principles and Practices of Programming on the Java platform: virtual machines, lamguages and tools - 2013, Sep 2013, Stuttgart, Germany. ⟨10.1145/2500828.2500844⟩
...
tel-00271481v1  Theses
Yvan Royon. Environnements d'exécution pour passerelles domestiques
Réseaux et télécommunications [cs.NI]. INSA de Lyon, 2007. Français
...
tel-00395181v1  Habilitation à diriger des recherches
Stéphane Frénot. Intergiciels systèmes pour passerelles de services ambiants
Génie logiciel [cs.SE]. Université Claude Bernard - Lyon I, 2008
...
inria-00436041v1  Conference papers
Stéphane FrénotNoha IbrahimFrédéric Le MouëlAmira Ben HamidaJulien Ponge et al.  ROCS: a Remotely Provisioned OSGi Framework for Ambient Systems
Network Operations and Management Symposium, IEEE/IFIP, Apr 2010, Osaka, Japan. pp.503-510