Publications de l'équipe OASIS

2012

Communications avec actes

Titre

Fractal à la Coq

Auteurs

Nuno Gaspar; Eric Madelaine

Détail

Conférence en IngénieriE du Logiciel, Jun 2012, Rennes, France.

Accès au texte intégral et bibtex

Titre

Simulation in the Cloud Using Handheld Devices

Auteurs

Emilio P. Mancini; Gabriel Wainer; Khaldoon Al-Zoubi; Olivier Dalle

Détail

IEEE. MSGC@CCGRID - Workshop on Modeling and Simulation on Grid and Cloud Computing - 2012, May 2012, Ottawa, Canada. pp. 867 -872

Accès au texte intégral et bibtex

Titre

Latency Based Dynamic Grouping Aware Cloud Scheduling

Auteurs

Sheheryar Malik ; Fabrice Huet; Denis Caromel

Détail

26th IEEE International Conference on Advanced Information Networking and Applications Workshops, Mar 2012, Fukuoka, Japan. IEEE, pp. 1190 - 1195

Accès au texte intégral et bibtex

Conférences invitées

Titre

Timed-pNets: A formal communication behavior model for real-time CPS system

Auteurs

Yanwen Chen; Yixiang Chen; Eric Madelaine

Détail

Trustworthy Cyber-Physical Systems, Sep 2012, Newcastle, United Kingdom.

Accès au texte intégral et bibtex

HDR

Titre

Modèles Formels pour la Programmation et la Composition de Systèmes Distribués Corrects

Auteurs

Ludovic Henrio

Détail

Université de Nice Sophia-Antipolis, Jul. 2012. English

Accès au texte intégral et bibtex

Rapports

Titre

Parallel Budgeted Optimization Applied to the Design of an Air Duct

Auteurs

Ramunas Girdziusas; Rodolphe Le Riche ; Fabien Viale ; David Ginsbourger

Détail

[Report], 2012

Accès au texte intégral et bibtex

Titre

A Language for Multi-threaded Active Objects

Auteurs

Ludovic Henrio ; Fabrice Huet; Zsolt István

Détail

[Research Report], 2012. RR-8021

Accès au texte intégral et bibtex

2011

Communications avec actes

Titre

Virtual Cloud: Rent Out the Rented Resources

Auteurs

Sheheryar Malik; Fabrice Huet

Détail

6th IEEE International Conference for Internet Technology and Secured Transactions (ICITST-2011), Dec 2011, Abu Dhabi, United Arab Emirates. IEEE

Accès au texte intégral et bibtex

Titre

Modular P2P-Based Approach for RDF Data Storage and Retrieval

Auteurs

Imen Filali; Laurent Pellegrino; Francesco Bongiovanni; Fabrice Huet; Françoise Baude

Détail

Advances in P2P Systems, Nov 2011, Lisbonne, Portugal.

Accès au texte intégral et bibtex

Titre

Adaptive Fault Tolerance in Real Time Cloud Computing

Auteurs

Sheheryar Malik; Fabrice Huet

Détail

2011 IEEE World Congress on Services, Jul 2011, Washington DC, United States. IEEE, 2011 IEEE World Congress on Services (SERVICES 2011), pp. 280-287

Accès au texte intégral et bibtex

Titre

Consolidation dynamique d'applications Web haute-disponibilité

Auteurs

Fabien Hermenier ; Julia L. Lawall; Jean-Marc Menaud; Gilles Muller

Détail

CFSE - 8ème Conférence Francophone sur les Systèmes d'Exploitation, May 2011, St Malo, France.

Accès au bibtex

Titre

Adapting Active Objects to Multicore Architectures

Auteurs

Ludovic Henrio; Fabrice Huet; Zsolt István; Gheorghen Sebestyén

Détail

ISPDC, Jul 2011, Cluj, Romania. IEEE Computer Society

Accès au texte intégral et bibtex

Conférences invitées

Titre

Optimization tools and applications developed during the OMD & OMD2 projects

Auteurs

Rodolphe Le Riche; Denis Caromel; Régis Duvigneau

Détail

Forum Teratech 2011, Complex systems engineering workshop (atelier ingénierie des systèmes complexes), Jun 2011, Palaiseau, France.

Accès au bibtex

HDR

Titre

Specification, Model Generation, and Verification of Distributed Applications

Auteurs

Eric Madelaine

Détail

Université de Nice Sophia-Antipolis, Sep. 2011. English

Accès au texte intégral et bibtex

Rapports

Titre

Verifying Safety of Fault-Tolerant Distributed Components -- Extended Version

Auteurs

Rabéa Ameur-Boulifa; Raluca Halalai; Ludovic Henrio; Eric Madelaine

Détail

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

Accès au texte intégral et bibtex

Titre

Mechanical Support for Efficient Dissemination on the CAN Overlay Network

Auteurs

Francesco Bongiovanni; Ludovic Henrio

Détail

[Research Report], 2011. RR-7599

Accès au texte intégral et bibtex

Titre

High Performance Hydraulic Simulations on the Grid using Java and ProActive

Auteurs

Guilherme Peretti Pezzi; Denis Caromel; Evelyne Vaissié; Yann VIALA; Bruno Grawitz; Frédéric Bonnadier

Détail

[Research Report], 2011. RR-7508

Accès au texte intégral et bibtex

Thèses

Titre

UNE APPROCHE À COMPOSANT POUR L'ORCHESTRATION DE SERVICES À LARGE ÉCHELLE

Auteurs

Virginie Legrand Contes

Détail

informatique. Université de Nice Sophia-Antipolis, Dec. 2011. French

Accès au texte intégral et bibtex

2010

Articles dans des revues avec comité de lecture

Titre

HPC in Java: Experiences in Implementing the NAS Parallel Benchmarks

Auteurs

Brian Amedro; Denis Caromel; Fabrice Huet; Vladimir Bodnartchouk; Christian Delbé; Guillermo L. Taboada

Détail

APPLIED INFORMATICS AND COMMUNICATIONS, WSEAS, 2010

Accès au texte intégral et bibtex

Communications avec actes

Titre

Combining Grid and Cloud Resources by Use of Middleware for SPMD Application

Auteurs

Brian Amedro; Françoise Baude; Fabrice Huet; Elton Mathias

Détail

2nd International Conference on Cloud Computing Technology and Science, Nov 2010, Indianapolis, IN, United States. pp. 177-184

Accès au texte intégral et bibtex

Titre

Experiments with distributed Model-Checking of group-based applications

Auteurs

Ludovic Henrio; Eric Madelaine

Détail

Sophia-Antipolis Formal Analysis Workshop, Oct 2010, Sophia-Antipolis, France. 3p.

Accès au texte intégral et bibtex

Titre

Behavioural models for group communications

Auteurs

Rabéa Ameur-Boulifa; Ludovic Henrio; Eric Madelaine

Détail

Int. Workshop on Components and Service Interoperability (WCSI), Jun 2010, Malaga, Spain. 15 p.

Accès au texte intégral et bibtex

Titre

Dynamic TTL-Based Search In Unstructured Peer-to-Peer Networks

Auteurs

Imen Filali; Fabrice Huet

Détail

CCGrid 2010, May 2010, Melbourne, Australia. 10 p.

Accès au texte intégral et bibtex

Titre

Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL

Auteurs

Ludovic Henrio; Muhammad Uzair Khan

Détail

7th International Workshop on Formal Engineering approaches to Software Components and Architectures, Mar 2010, Paphos, Cyprus. pp. 1-20

Accès au texte intégral et bibtex

Titre

Exceptions for Algorithmic Skeletons

Auteurs

Mario Leyton; Ludovic Henrio; José Piquer

Détail

16th Int. European Conference on Parallel and Distributed Computing (Euro-Par 2010), 2010, Italy. pp. ??

Accès au texte intégral et bibtex

Titre

A Framework for Reasoning on Component Composition

Auteurs

Ludovic Henrio; Florian Kammüller; Muhammad Uzair Khan

Détail

FMCO, Nov 2009, Eindhoven, Netherlands. 2010

Accès au texte intégral et bibtex

Titre

First Class Futures: Specification and implementation of Update Strategies

Auteurs

Ludovic Henrio; Muhammad Uzair Khan; Nadia Ranaldo; Eugenio Zimeo

Détail

M. Danelutto and F. Desprez and P. Fragopoulou and A. Stewart. CoreGRID/ERCIM Workshop on Grids, Clouds and P2P Computing, Aug 2010, Ischia - Naples, Italy. Euro-Par 2010 - Parallel Processing Workshops VHPC, HeteroPar, HPPC, HiBB, CoreGrid, UCHPC, HPCF, XtreemOS, PROPER, and CCPI

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

An efficient framework for running applications on clusters, grids, and clouds

Auteurs

Brian Amedro; Françoise Baude; Denis Caromel; Christian Delbé; Imen Filali; Fabrice Huet; Elton Mathias; Oleg Smirnov

Détail

Nick Antonopoulos and Lee Gillam. Cloud Computing, Springer, pp. 163-178, 2010, Computer Communications and Networks, 978-1849962407

Accès au bibtex

Rapports

Titre

RDF Data Indexing and Retrieval: A survey of Peer-to-Peer based solutions

Auteurs

Imen Filali; Francesco Bongiovanni; Fabrice Huet; Françoise Baude

Détail

[Research Report], 2010. RR-7457

Accès au texte intégral et bibtex

Titre

Synapse: a Scalable Protocol for Interconnecting Heterogeneous Overlay Networks

Auteurs

Luigi Liquori; Cédric Tedeschi; Laurent Vanni; Francesco Bongiovanni; Vincenzo Ciancaglini; Bojan Marinkovic

Détail

[Research Report], 2010, pp. 16. RR-7255

Accès au texte intégral et bibtex

2009

Communications avec actes

Titre

Functional Active Objects: Typing and Formalisation

Auteurs

Ludovic Henrio; Florian Kammüller

Détail

Foundations of Coordination Languages and Software Architectures (FOCLASA'09), 2010, France. ENTCS, x-pays = DE, x-proceedings=yes, x-international-audience=yes, pp. 83-101, 2009

Accès au texte intégral et bibtex

Titre

"Gridifying" Classification-Monte Carlo algorithm for pricing high-dimensional Bermudan-American options

Auteurs

Viet Dung Doan; Abhijeet Gaikwad; Françoise Baude; Mireille Bossy

Détail

Workshop on high performance computational finance, WHPCF Austin, TX - November 16th, 2008, Nov 2008, Austin, United States. pp. 1-8, 2009

Accès au bibtex

Titre

An Asynchronous Distributed Component Model and Its Semantics

Auteurs

Ludovic Henrio; Florian Kammüller; Marcela Rivera

Détail

FMCO - 08, 2008, Sophia antiopolis, France. 2009

Accès au texte intégral et bibtex

Rapports

Titre

D1.4.1B SOA4All Runtime

Auteurs

Christophe Hamerling; Virginie Legrand; Francoise Baude; Elton Mathias; Cristian Ruz; Michael Fried; Reto Krummenacher; Philippe Merle; Nicolas Dolet

Détail

[Technical Report], 2009, pp. 80

Accès au bibtex

Titre

D1.4.1A SOA4All Reference Architecture Specification

Auteurs

Reto Krummenacher; Ioan Toma; Christophe Hamerling; Jean-Pierre Lorre; Françoise Baude; Virginie Legrand; Philippe Merle; Cristian Ruz; Carlos Pedrinaci; Dong Liu; Tomas Pariente Lobo

Détail

[Technical Report], 2009, pp. 70

Accès au bibtex

Titre

A Reconfiguration Framework for Distributed Components

Auteurs

Boutheina Bennour; Ludovic Henrio; Marcela Rivera

Détail

[Research Report], 2009. RR-6911

Accès au texte intégral et bibtex

Titre

A financial engineering benchmark for performance analysis of grid middlewares

Auteurs

Viet Dung Doan; Abhijeet Gaikwad; Mireille Bossy; Françoise Baude; Frédéric Abergel

Détail

[Technical Report], 2009. RT-365

Accès au texte intégral et bibtex

Titre

An extension for ADL definition of GCM components, taking into account the full specification of the membrane

Auteurs

Paul Naoumenko

Détail

[Technical Report], 2009. RR-7001

Accès au texte intégral et bibtex

Titre

First Class Futures: a Study of Update Strategies

Auteurs

Muhammad Uzair Khan; Ludovic Henrio

Détail

[Research Report], 2009. RR-7113

Accès au texte intégral et bibtex

2008

Articles dans des revues avec comité de lecture

Titre

Tilting at windmills with Coq: formal verification of a compilation algorithm for parallel moves

Auteurs

Laurence Rideau; Bernard Serpette; Xavier Leroy

Détail

Journal of Automated Reasoning, Springer, 2008, 40 (4), pp. 307-326

Accès au texte intégral et bibtex

Titre

GCM: A Grid Extension to Fractal for Autonomous Distributed Components

Auteurs

Françoise Baude; Denis Caromel; Cédric Dalmasso; Marco Danelutto; Vladimir Getov; Ludovic Henrio; Christian Pérez

Détail

Annales des Télécommunications, Springer, 2008

Accès au texte intégral et bibtex

Communications avec actes

Titre

Genetic algorithms and grid computing for artificial embryogeny

Auteurs

Sylvain Cussat-Blanc; Fabien Viale; Hervé Luga; Yves Duthen; Denis Caromel

Détail

GECCO '08 Proceedings of the 10th annual conference on Genetic and evolutionary computation, Jul 2008, Atlanta, United States. pp. 281-282

Accès au bibtex

Titre

Transparent First-class Futures and Distributed Components

Auteurs

Antonio Cansado; Ludovic Henrio; Eric Madelaine

Détail

5th workshop on Formal Aspects of Component Systems, Sep 2008, Málaga, Spain.

Accès au texte intégral et bibtex

Titre

Unifying Architectural and Behavioural Specifications of Distributed Components

Auteurs

Antonio Cansado; Ludovic Henrio; Eric Madelaine

Détail

5th workshop on Formal Aspects of Component Systems, Sep 2008, Málaga, Spain.

Accès au texte intégral et bibtex

Directions d'ouvrages

Titre

Proceedings of the 4th International Workshop on Formal Aspects of Component Software

Auteurs

Eric Madelaine; Markus Lumpe

Détail

Eric Madelaine and Markus Lumpe. vol 215, ENTCS, pp. 226, 2008

Accès au bibtex

Rapports

Titre

An algorithm for safely stopping a component system

Auteurs

Ludovic Henrio; Marcela Rivera

Détail

[Research Report], 2008, pp. 18. RR-6444

Accès au texte intégral et bibtex

Titre

Behavioural Models for Distributed Fractal Components

Auteurs

Tomás Barros; Rabea Boulifa; Antonio Cansado; Ludovic Henrio; Eric Madelaine

Détail

[Research Report], 2008, pp. 27. RR-6491

Accès au texte intégral et bibtex

Titre

Parallel Pricing Algorithms for Multi--Dimensional Bermudan/American Options using Monte Carlo methods

Auteurs

Viet Dung Doan; Abhijeet Gaikwad; Mireille Bossy; Françoise Baude; Ian Stokes-Rees

Détail

[Research Report], 2008, pp. 16. RR-6530

Accès au texte intégral et bibtex

Titre

Current State of Java for HPC

Auteurs

Brian Amedro; Vladimir Bodnartchouk; Denis Caromel; Christian Delbe; Fabrice Huet; Guillermo Taboada

Détail

[Technical Report], 2008, pp. 26. RT-0353

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Qui sème la fonction, récolte le tuyau typé

Auteurs

Didier Parigot; Bernard Serpette

Détail

Oct. 2008

Accès au texte intégral et bibtex

2007

Articles dans des revues avec comité de lecture

Titre

Peer-to-Peer for Computational Grids: Mixing Clusters and Desktop Machines

Auteurs

Denis Caromel; Alexandre Di Costanzo; Clément Mathieu

Détail

Parallel Computing, 2007, Special issue for Large Scale Grid

Accès au texte intégral et bibtex

Titre

Peer-to-Peer and Fault-tolerance: Towards Deployment-based Technical Services

Auteurs

Denis Caromel; Alexandre Di Costanzo; Christian Delbe

Détail

Future Generation Computer Systems, 2007, pp. FGCS-D-06-00155

Accès au texte intégral et bibtex

Titre

File transfer in Grid applications at Deployment, Execution and Retrieval

Auteurs

Françoise Baude; Denis Caromel; Mario Leyton

Détail

Multiagent and Grid Systems, IOS Press, 2007, 3 (4), pp. 381-391

Accès au bibtex

Titre

Garbage Collecting the Grid: A Complete DGC for Activities

Auteurs

Denis Caromel; Guillaume Chazarain; Ludovic Henrio

Détail

Middleware 2007, LNCS 4834, Springer, 2007

Accès au texte intégral et bibtex

Communications avec actes

Titre

Large-Scale Service Deployment--Application to OSGi

Auteurs

Françoise Baude; Virginie Legrand; Vincent Lestideau

Détail

Third International Conference on Autonomic and Autonomous Systems, Jun 2007, Athens, Greece. IEEE Conference Publications, pp. 19

Accès au bibtex

Titre

A Mechanized Model of the Theory of Objects

Auteurs

Ludovic Henrio; Florian Kammüller

Détail

9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2007, CYPRUS. Springer

Accès au texte intégral et bibtex

Communications sans actes

Titre

Comparison of parallel distributed American option pricing: Through Continuation Values Classification Versus Optimal Exercise Boundary Computation

Auteurs

Viet Dung Doan; Mireille Bossy; Françoise Baude; Ian Stokes-Rees

Détail

Sixth IMACS Seminar on Monte Carlo Methods, Jun 2007, Reading, United Kingdom.

Accès au bibtex

Conférences invitées

Titre

Towards Deployments Contracts in Large Scale Clusters & Desktop Grids

Auteurs

Françoise Baude; Denis Caromel; Alexandre Di Costanzo; Christian Delbe; Mario Leyton

Détail

Workshop on Large-Scale and Volatile Desktop Grids (PCGrid 2007), Mar 2007, Long Beach, California, United States.

Accès au texte intégral et bibtex

Titre

A Component Platform for Experimenting with Autonomic Composition

Auteurs

Françoise Baude; Ludovic Henrio; Paul Naoumenko

Détail

First International Conference on Autonomic Computing and Communication Systems (Autonomics 2007), Oct 2007, Rome, Italy.

Accès au texte intégral et bibtex

Rapports

Titre

Towards Grid Monitoring and deployment in Jade, using ProActive

Auteurs

Cristian Ruz; Françoise Baude; Virginie Legrand Contes

Détail

[Research Report], 2007, pp. 20. RR-6340

Accès au texte intégral et bibtex

Titre

ASPfun: A Functional and Distributed Object Calculus Semantics, Type-system, and Formalization

Auteurs

Ludovic Henrio; Florian Kammüller; Henry Sudhof

Détail

[Research Report], 2007, pp. 18. RR-6353

Accès au texte intégral et bibtex

Thèses

Titre

Branchement et Elagage sur Grilles Pair-à-Pair à Grande-Echelle

Auteurs

Alexandre Di Costanzo

Détail

informatique. Université de Nice Sophia-Antipolis, Oct. 2007. English

Accès au texte intégral et bibtex

Titre

Tolérance aux pannes pour objets actifs asynchrones : modèle, protocole et expérimentations

Auteurs

Delbé Christian

Détail

informatique. Université de Nice Sophia-Antipolis, Jan. 2007. French

Accès au texte intégral et bibtex

Documents sans référence de publication

Titre

Multi-cluster parallel job submission: Experiences with Monte Carlo simulations for computational finance on Grid5000

Auteurs

Ian Stokes-Rees; Françoise Baude; Viet Dung Doan; Mireille Bossy

Détail

Sep. 2007

Accès au texte intégral et bibtex

2006

Articles dans des revues avec comité de lecture

Titre

ProActive: an Integrated platform for programming and running applications on grids and P2P systems

Auteurs

Denis Caromel; Christian Delbe; Alexandre Di Costanzo; Mario Leyton

Détail

Computational Methods in Science and Technology, 2006, 12, pp. issue 1

Accès au texte intégral et bibtex

Communications avec actes

Titre

A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Financial Option Pricing

Auteurs

Sébastien Bezinne; Virginie Galtier; Stéphane Vialle; Françoise Baude; Mireille Bossy; Viet Dung; Ludovic Henrio

Détail

2nd IEEE International Conference on e-Science and Grid Computing - e-science'06, Dec 2006, Amsterdam, Netherlands. IEEE, pp. 49

Accès au texte intégral et bibtex

Titre

Executing Hydrodynamic Simulation on Desktop Grid with ObjectWeb ProActive

Auteurs

Denis Caromel; Vincent Cavé; Alexandre Di Costanzo; Céline Brignolles; Bruno Grawitz; Yann VIALA

Détail

HIC2006: Proceedings of the 7th International Conference on HydroInformatics, Sep 2006, Nice, France.

Accès au texte intégral et bibtex

Titre

Peer-to-Peer and Fault-Tolerance: Towards Deployment Based Technical Services

Auteurs

Denis Caromel; Christian Delbe; Alexandre Di Costanzo

Détail

Second CoreGRID Workshop on Grid and Peer to Peer Systems Architecture, Jan 2006, Paris, France.

Accès au texte intégral et bibtex

Titre

Grid File Transfer during Deployment

Auteurs

Françoise Baude; Denis Caromel; Romain Quilici

Détail

On the Move to Meaningful Internet Systems 2006, Oct 2006, Montpellier, France. Springer, 4276, pp. 1191-1202, Lecture Notes in Computer Science

Accès au bibtex

Titre

Dynamically-Fulfilled Application Constraints through Technical Services - Towards Flexible Component Deployments

Auteurs

Denis Caromel; Christian Delbé; Alexandre Di Costanzo; Matthieu Morel

Détail

Proceedings of HPC-GECO/CompFrame 2006, HPC Grid programming Environments and COmponents - Component and Framework Technology in High-Performance and Scientific Computing, Jun 2006, Paris, France. IEEE

Accès au texte intégral et bibtex

Titre

Model-checking Distributed Components: The Vercors Platform

Auteurs

Tomás Barros; Antonio Cansado; Eric Madelaine; Marcela Rivera

Détail

Formal Aspect of Component Systems, Sep 2006, Prague / Tcheque republic. ENTCS

Accès au texte intégral et bibtex

Titre

Asynchonous Distributed Components: Concurrency and Determinacy

Auteurs

Denis Caromel; Ludovic Henrio

Détail

Theoretical Computer Science 2006 (IFIP TCS'06), 2006, Santiago, Chile. Springer Science

Accès au texte intégral et bibtex

Chapitres d'ouvrages scientifiques

Titre

Programming, Composing, Deploying for the Grid

Auteurs

Laurent Baduel; Françoise Baude; Denis Caromel; Arnaud Contes; Fabrice Huet; Matthieu Morel; Romain Quilici

Détail

Cunha, Jose C.; Rana, Omer F.. Grid Computing: Software Environments and Tools, Springer, pp. 205 - 229, 2006, 978-1-85233-998-2

Accès au texte intégral et bibtex

HDR

Titre

De la programmation parallèle structurée à la programmation pour la grille

Auteurs

Françoise Baude

Détail

Université de Nice Sophia-Antipolis, Sep. 2006. French

Accès au texte intégral et bibtex

Rapports

Titre

Componentising a Scientific Application for the Grid

Auteurs

Nikos Parlavantzas; Matthieu Morel; Françoise Baude; Fabrice Huet; Denis Caromel; Vladimir Getov

Détail

[Technical Report], 2006

Accès au bibtex

Titre

Behavioural Models for Hierarchical Components

Auteurs

Tomás Barros; Ludovic Henrio; Eric Madelaine

Détail

[Research Report], 2006, pp. 33. RR-5591

Accès au texte intégral et bibtex

Titre

Promised Consistency for Rollback Recovery

Auteurs

Denis Caromel; Christian Delbé; Ludovic Henrio

Détail

[Research Report], 2006. RR-5902

Accès au texte intégral et bibtex

Titre

A Formalization of the Theory of Objects in Isabelle/HOL

Auteurs

Ludovic Henrio; Florian Kammüller

Détail

[Research Report], 2006, pp. 17. RR-6079

Accès au texte intégral et bibtex

Thèses

Titre

ÉQUILIBRAGE DE CHARGE DYNAMIQUE POUR
DES OBJETS ACTIFS DANS LES GRILLES DE CALCUL

Auteurs

Javier Bustos-Jiménez

Détail

informatique. Université de Nice Sophia-Antipolis, Dec. 2006. English

Accès au texte intégral et bibtex

Titre

Composants pour la grille

Auteurs

Matthieu Morel

Détail

Université de Nice Sophia-Antipolis, Nov. 2006. French

Accès au texte intégral et bibtex

2005

Communications avec actes

Titre

Balancing Active Objects on a Peer to Peer Infrastructure

Auteurs

Javier Bustos-Jimenez; Denis Caromel; Alexandre Di Costanzo; Mario Leyton; Jose M. Piquer

Détail

Proceedings of the XXV International Conference of the Chilean Computer Science Society (SCCC 2005), Nov 2005, Valdivia, Chile. ieee

Accès au texte intégral et bibtex

Titre

Asynchronous Peer-to-Peer Web Services and Firewalls

Auteurs

Denis Caromel; Alexandre Di Costanzo; Dennis Gannon; Aleksander Slominski

Détail

IPDPS '05: Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 5, Apr 2005, Washington, DC, United States. IEEE Computer Society, pp. 183.1

Accès au texte intégral et bibtex

Titre

Coq à la conquête des moulins

Auteurs

Laurence Rideau; Bernard Serpette

Détail

Olivier Michel. JFLA '2005, Mar 2005, Obernai. INRIA, JFLA 2005 : actes de la conférence journées francophones des langages applicatifs, pp. 169-180

Accès au texte intégral et bibtex

Titre

Verification of Distributed Hierarchical Components

Auteurs

Tomás Barros; Ludovic Henrio; Eric Madelaine

Détail

International Workshop on Formal Aspects of Component Software (FACS'05), 2005, Macao. Electronic Notes in Theoretical Computer Science (ENTCS)

Accès au texte intégral et bibtex

Titre

Behavioural Models for Hierarchical Components

Auteurs

Tomás Barros; Ludovic Henrio; Eric Madelaine

Détail

SPIN'05, 2005, San Francisco, USA. Spinger Verlag

Accès au texte intégral et bibtex

Titre

Secured Information Flow for Asynchronous Sequential Processes

Auteurs

Isabelle Attali; Denis Caromel; Ludovic Henrio; Felipe Luna

Détail

3rd International Workshop on Security Issues in Concurrency (SecCo'05), Aug 2005, San Francisco, USA. Elsevier

Accès au texte intégral et bibtex

Thèses

Titre

Spécification et vérification formelles des systèmes de composants répartis

Auteurs

Tomás Barros

Détail

informatique. Université de Nice Sophia-Antipolis, Nov. 2005. French

Accès au texte intégral et bibtex

Titre

Sécurité par contrôle de flux d'applications asynchrones, distribuées et mobiles

Auteurs

Felipe Luna Del Aguila

Détail

Université de Nice Sophia-Antipolis, Oct. 2005. English

Accès au texte intégral et bibtex

Titre

Typed Groups for the Grid

Auteurs

Laurent Baduel

Détail

Université de Nice Sophia-Antipolis, Jul. 2005. English

Accès au texte intégral et bibtex

2004

Communications avec actes

Titre

Sequential Object Monitors

Auteurs

Denis Caromel; Luis Mateu; Eric Tanter

Détail

Odersky, Martin. 18th European Conference on Object-Oriented Programming, 2004, Oslo, Norway, Norway. pub.springer, 3086, pp. 316-340, lncs

Accès au bibtex

Titre

Formalisation and Proofs of the Chilean Electronic Invoices System

Auteurs

Isabelle Attali; Tomás Barros; Eric Madelaine

Détail

in proc. of the XXIV International Conference of the Chilean Computer Science Society (SCCC'04), Oct 2004, Arica, Chili. IEEE

Accès au texte intégral et bibtex

Titre

Parameterized Models for Distributed Java Objects

Auteurs

Tomás Barros; Rabea Boulifa; Eric Madelaine

Détail

Forte'04 conference, Sep 2004, Madrid. Spinger Verlag, LNCS 3235

Accès au texte intégral et bibtex

Rapports

Titre

A Fault Tolerance protocol for ASP calculus: Design and Proof

Auteurs

Françoise Baude; Denis Caromel; Christian Delbé; Ludovic Henrio

Détail

[Report], 2004, pp. 37. RR-5246

Accès au texte intégral et bibtex

Titre

Formalisation and verification of the Chilean electronic invoice system

Auteurs

Tomás Barros; Eric Madelaine

Détail

[Report], 2004, pp. 55. RR-5217

Accès au texte intégral et bibtex

Titre

Modèle et Infrastructure de Programmation Pair à Pair

Auteurs

Alexandre Di Costanzo

Détail

[Travaux universitaires], 2004, pp. 50

Accès au texte intégral et bibtex

Thèses

Titre

Génération de modèles comportemementaux des applications des applications réparties

Auteurs

Rabea Boulifa

Détail

Université de Nice Sophia-Antipolis, Dec. 2004. French

Accès au texte intégral et bibtex

Titre

Une architecture de sécurité hiérarchique, adaptable et dynamique pour la grille

Auteurs

Arnaud Contes

Détail

informatique. Université de Nice Sophia-Antipolis, Sep. 2004. French

Accès au texte intégral et bibtex

Titre

Agents Mobiles : itinéraires pour l'administration système et réseau

Auteurs

Emmanuel Reuter

Détail

informatique. Université de Nice Sophia-Antipolis, May. 2004. French

Accès au texte intégral et bibtex

2003

Communications avec actes

Titre

Partial Behavioral Reflection: Spatial and Temporal Selection of Reification

Auteurs

Eric Tanter; Jacques Noyé; Denis Caromel; Pierre Cointe

Détail

Ron Crocker and Guy L. {Steele, Jr.}. The 18th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications (OOPSLA 2003), 2003, Anaheim, California, USA, United States. pub.acm, pp. 27-46

Accès au bibtex

HDR

Titre

Contribution à la programmation générative

Auteurs

Didier Parigot

Détail

Université de Nice Sophia-Antipolis, Nov. 2003. French

Accès au texte intégral et bibtex

Rapports

Titre

Implementation and Complexity of the Lowest Static Reduction

Auteurs

Ludovic Henrio; Bernard Paul Serpette; Szabolcs Szentes

Détail

[Report], 2003. RR-5034

Accès au texte intégral et bibtex

Titre

Asynchronous Sequential Processes

Auteurs

Denis Caromel; Ludovic Henrio

Détail

[Report], 2003. RR-4753

Accès au texte intégral et bibtex

Thèses

Titre

Calcul d'objet asynchrone : confluence et déterminisme

Auteurs

Ludovic Henrio

Détail

informatique. Université de Nice Sophia-Antipolis, Nov. 2003. French

Accès au texte intégral et bibtex

2002

Articles dans des revues avec comité de lecture

Titre

Forwarders vs. centralized server: an evaluation of two approaches for locating mobile agents

Auteurs

Sara Alouf; Fabrice Huet; Philippe Nain

Détail

Performance Evaluation, Elsevier Science B.V., 2002, Performance 2002, 49 (1-4), pp. 299-319

Accès au bibtex

Titre

Aspect and XML-oriented Semantic Framework Generator: SmartTools

Auteurs

Didier Parigot; Carine Courbis; Pascal Degenne; Alexandre Fau; Claude Pasquier; Joël Fillon; Christophe Held; Isabelle Attali

Détail

Electronic Notes in Theoretical Computer Science, 2002, 65 (3), pp. 97-116

Accès au bibtex

Communications avec actes

Titre

Forwarders vs. centralized server: an evaluation of two approaches for locating mobile agents

Auteurs

Sara Alouf; Fabrice Huet; Philippe Nain

Détail

ACM SIGMETRICS international conference on Measurement and modeling of computer systems - 2002, Jun 2002, Marina Del Rey, California, United States. ACM New York, NY, USA, Proceedings of ACM SIGMETRICS 2002, 30, pp. 278-279, ACM SIGMETRICS Performance Evaluation Review

Accès au bibtex

Rapports

Titre

Preuve de propriétés de comportement deprogrammes ProActive

Auteurs

Rabea Boulifa; Eric Madelaine

Détail

[Report], 2002. RR-4460

Accès au texte intégral et bibtex

Titre

Forwarders vs. Centralized Server : An Evaluation of two Approaches for Locating Mobile Agents

Auteurs

Sara Alouf; Fabrice Huet; Philippe Nain

Détail

[Report], 2002. RR-4440

Accès au texte intégral et bibtex

Thèses

Titre

Objets mobiles : conception d'un middleware et évaluation de la communication

Auteurs

Fabrice Huet

Détail

informatique. Université de Nice Sophia-Antipolis, Dec. 2002. French

Accès au texte intégral et bibtex

Titre

Contribution à la programmation générative. Application dans le générateur SmartTools : technologies XML, programmation par aspects et composants

Auteurs

Carine Courbis

Détail

informatique. Université de Nice Sophia-Antipolis, Dec. 2002. French

Accès au texte intégral et bibtex

2001

Articles dans des revues avec comité de lecture

Titre

SmartTools: A Generator of Interactive Environments Tools

Auteurs

Isabelle Attali; Carine Courbis; Pascal Degenne; Alexandre Fau; Didier Parigot; Claude Pasquier

Détail

Electronic Notes in Theoretical Computer Science, 2001, 44 (2), pp. 225-231

Accès au bibtex

1999

Rapports

Titre

Static Analysis of Java for Distributed and Parallel Programming

Auteurs

Isabelle Attali; Denis Caromel; Romain Guider

Détail

[Report], 1999. RR-3634

Accès au texte intégral et bibtex

Thèses

Titre

Techniques et outils pour les communications et la répartition dynamique de charge dans les réseaux de stations de travail

Auteurs

Olivier Dalle

Détail

informatique. Université de Nice Sophia-Antipolis, Jan. 1999. French

Accès au texte intégral et bibtex