Project-Team Oasis
Members
Overall Objectives
Research Program
Application Domains
Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

previous Previous | up Home

Bibliography

Major publications by the team in recent years
  • 1L. Baduel, F. Baude, D. Caromel.
    Asynchronous Typed Object Groups for Grid Programming, in: International Journal of Parallel Programming, 2007, vol. 35, no 6, pp. 573-614.
  • 2L. Baduel, F. Baude, D. Caromel, A. Contes, F. Huet, M. Morel, R. Quilici.
    9, in: Grid Computing: Software Environments and Tools, Springer, 2006, ISBN: 1-85233-998-5.
  • 3T. Barros, R. Boulifa, A. Cansado, L. Henrio, E. Madelaine.
    Behavioural Models for Distributed Fractal Components, in: Annals of Telecommunications, jan 2009, vol. 64, no 1–2, also Research Report Inria RR-6491. [ DOI : 10.1007/s12243-008-0069-7 ]
    http://hal.inria.fr/inria-00268965
  • 4F. Baude, D. Caromel, C. Dalmasso, M. Danelutto, V. Getov, L. Henrio, C. Pérez.
    GCM: A Grid Extension to Fractal for Autonomous Distributed Components, in: Annals of Telecommunications, 2009, vol. 64, no 1, pp. 5–24. [ DOI : 10.1007/s12243-008-0068-8 ]
    http://hal.archives-ouvertes.fr/inria-00323919/en/
  • 5F. Bongiovanni, L. Henrio.
    A Mechanized Model for CAN Protocols, in: 16th International Conference on Fundamental Approaches to Software Engineering (FASE'13), Rome, Italy, Springer, 2013.
    http://hal.inria.fr/hal-00802006
  • 6D. Caromel, L. Henrio.
    A Theory of Distributed Object, Springer-Verlag, 2005.
  • 7L. Henrio, F. Huet, Z. István.
    Multi-threaded Active Objects, in: COORDINATION 2013, Firenze, Italy, C. Julien, R. De Nicola (editors), Springer, 2013, 15th International Conference on Coordination Models and Languages, Florence, Italy, 3–6.
    http://hal.inria.fr/hal-00818482
  • 8L. Henrio, F. Kammüller, B. Lutz.
    ASPfun : A typed functional active object calculus, in: Science of Computer Programming, 2011. [ DOI : DOI: 10.1016/j.scico.2010.12.008 ]
    http://www.sciencedirect.com/science/article/B6V17-51XR3D4-1/2/52153869e8c4df60a65b2d52bbf9828c
  • 9F. Hermenier, J. L. Lawall, G. Muller.
    BtrPlace: A Flexible Consolidation Manager for Highly Available Applications, in: IEEE Transactions on Dependable and Secure Computing, 2013, vol. 10, no 5, pp. 273-286. [ DOI : 10.1109/TDSC.2013.5 ]
    http://hal.inria.fr/hal-00916311
  • 10F. Huet, D. Caromel, H. E. Bal.
    A High Performance Java Middleware with a Real Application, in: Proceedings of the ACM/IEEE SC2004 Conference on High Performance Networking and Computing, 6-12 November 2004, Pittsburgh, PA, USA, 2004.
Publications of the year

Articles in International Peer-Reviewed Journals

  • 11F. Hermenier, J. Lawall, G. Muller.
    BtrPlace: A Flexible Consolidation Manager for Highly Available Applications, in: IEEE Transactions on Dependable and Secure Computing, 2013, vol. 10, no 5, pp. 273-286. [ DOI : 10.1109/TDSC.2013.5 ]
    http://hal.inria.fr/hal-00916311

Invited Conferences

  • 12O. Dalle.
    Using Computer Simulations for Producing Scientific Results: Are We There Yet?, in: NS3 Workshop, Cannes, France, March 2013.
    http://hal.inria.fr/hal-00926967

International Conferences with Proceedings

  • 13R. Abid, G. Salaün, F. Bongiovanni, N. De Palma.
    Verification of a Dynamic Management Protocol for Cloud Applications, in: 11th International Symposium, ATVA 2013, Hanoi, Viet Nam, Dang Van Hung and Mizuhito Ogawa, 2013, vol. 8172, pp. 178-192. [ DOI : 10.1007/978-3-319-02444-8_14 ]
    http://hal.inria.fr/hal-00863262
  • 14M. Benguigui, F. Baude.
    American Basket Option Pricing on a multi GPU Cluster, in: 22nd High Performance Computing Symposium, Tampa, FL, United States, April 2014, pp. 1-8.
    http://hal.inria.fr/hal-00927482
  • 15F. Bongiovanni, L. Henrio.
    A Mechanized Model for CAN Protocols, in: 16th International Conference on Fundamental Approaches to Software Engineering (FASE'13), Rome, Italy, Springer, 2013.
    http://hal.inria.fr/hal-00802006
  • 16O. Dalle, E. P. Mancini.
    NetStep: a micro-stepped distributed network simulation framework, in: SIMUTools - 6th International ICST Conference on Simulation Tools and Techniques - 2013, Cannes, France, W. Cai, K. Vanmechelen (editors), ICST, March 2013.
    http://hal.inria.fr/hal-00787636
  • 17N. Gaspar, L. Henrio, E. Madelaine.
    Bringing Coq Into the World of GCM Distributed Applications, in: International Symposium on High-level Parallel Programming and Applications & HLPP, Paris, France, 2013.
    http://hal.inria.fr/hal-00880533
  • 18N. Gaspar, L. Henrio, E. Madelaine.
    Formally Reasoning on a Reconfigurable Component-Based System — A Case Study for the Industrial World, in: The 10th International Symposium on Formal Aspects of Component Software, Nanchang, China, October 2013.
    http://hal.inria.fr/hal-00916115
  • 19L. Henrio, F. Huet, Z. István.
    Multi-threaded Active Objects, in: 15th International Conference on Coordination Models and Languages, COORDINATION, Firenze, Italy, C. Julien, R. De Nicola (editors), Springer, June 3 2013.
    http://hal.inria.fr/hal-00818482
  • 20L. Henrio, F. Huet, J. Rochas.
    An Optimal Broadcast Algorithm for Content-Addressable Networks, in: OPODIS 2013 - International Conference on Principles of DIstributed Systems, Nice, France, R. Baldoni, M. an Steen (editors), Springer, December 2013, pp. 176-190. [ DOI : 10.1007/978-3-319-03850-6_13 ]
    http://hal.inria.fr/hal-00916301
  • 21L. Henrio, J. Rochas.
    Declarative Scheduling for Active Objects, in: SAC 2014 - 29th Symposium On Applied Computing, Gyeongju, Korea, Republic Of, S. Y. Shin (editor), ACM, March 2014, pp. 1-6.
    http://hal.inria.fr/hal-00916293
  • 22L. Pellegrino, F. Huet, F. Baude, A. Alshabani.
    A Distributed Publish/Subscribe System for RDF Data, in: Data Management in Cloud, Grid and P2P Systems, Prague, Czech Republic, A. Hameurlain, P. Sabatier, D. Taniar (editors), Springer Berlin Heidelberg, August 2013, pp. 39-50.
    http://hal.inria.fr/hal-00856737
  • 23G. Song, Z. Meng, F. Huet, F. Magoules, L. Yu, X. Lin.
    A Hadoop MapReduce Performance Prediction Method, in: HPCC 2013, Zhangjiajie, China, November 2013, pp. 820-825. [ DOI : 10.1109/HPCC.and.EUC.2013.118 ]
    http://hal.inria.fr/hal-00918329
  • 24R. Stühmer, Y. Verginadis, I. Alshabani, T. Morsellino, A. Aversa.
    PLAY: Semantics-based Event Marketplace, in: 14th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2013, Dresden, Germany, December 2013.
    http://hal.inria.fr/hal-00916386
  • 25T.-T. Vu, F. Huet.
    A Lightweight Continuous Jobs Mechanism for MapReduce Frameworks, in: 13th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing, CCGrid 2013, Netherlands, June 2013, pp. 269-276.
    http://hal.inria.fr/hal-00916103
  • 26Q. Zagarese, G. Canfora, E. Zimeo, I. Alshabani, L. Pellegrino, F. Baude.
    Efficient Data-Intensive Event-Driven Interaction in SOA, in: SAC '13, the 28th Annual ACM Symposium on Applied Computing, Coimbra, Portugal, ACM, April 2013, pp. 1907-1912. [ DOI : 10.1145/2480362.2480715 ]
    http://hal.inria.fr/hal-00918637

National Conferences with Proceedings

  • 27F. Bongiovanni, L. Henrio.
    Broadcast Algorithms for CAN: Design and Mechanisation, in: Cinquièmes journees nationales du Groupement De Recherche CNRS du Genie de la Programmation et du Logiciel, Nancy, France, May 2013.
    http://hal.inria.fr/hal-00916102

Conferences without Proceedings

Internal Reports

  • 29I. Alshabani, B. Sauvan, R. Stuehmer, T. Morsellino.
    PLAY federated middleware specification and implementation V2, Deliverable D2.5.2, March 2013, 37 p.
    http://hal.inria.fr/hal-00925314
  • 30L. Henrio, F. Huet, J. Rochas.
    An Optimal Broadcast Algorithm for Content-Addressable Networks – Extended Version, Inria, September 2013, no RR-8375.
    http://hal.inria.fr/hal-00866228
  • 31L. Pellegrino, F. Baude, I. Alshabani, R. Stuehmer, S. Obermeier.
    PLAY Platform – Quality of Service, Deliverable D3.3, March 2013, 58 p.
    http://hal.inria.fr/hal-00925318
  • 32Y. Verginadis, I. Patiniotakis, N. Papageorgiou, R. Stuehmer, I. Alshabani.
    Assessment of the PLAY integrated platform V2, Deliverable D5.2.2, November 2013, 49 p.
    http://hal.inria.fr/hal-00925319

Other Publications

  • 33O. Kulankhina.
    A graphical specification environnement for GCM component-based applications, Université Nice Sophia Antipolis, August 2013, 56 p.
    http://hal.inria.fr/hal-00932190
  • 34J. Rochas.
    Request Scheduling for Multiactive Objects, Université Nice Sophia Antipolis, July 2013, 53 p.
    http://hal.inria.fr/hal-00916130
  • 35S. H. Tan.
    Towards Efficient Risk Quantification - Using GPUs and Variance Reduction Technique, Universite de Nice Sophia-Antipolis (UNS), Sophia-Antipolis, September 2013, 51 p.
    http://hal.inria.fr/hal-00932233
References in notes
  • 36R. Ameur-Boulifa, L. Henrio, E. Madelaine, A. Savu.
    Behavioural Semantics for Asynchronous Components, Inria, December 2012, no RR-8167, 58 p.
    http://hal.inria.fr/hal-00761073
  • 37L. Baduel, F. Baude, D. Caromel, A. Contes, F. Huet, M. Morel, R. Quilici.
    9, in: Grid Computing: Software Environments and Tools, Springer, 2006, ISBN: 1-85233-998-5.
  • 38F. Baude, D. Caromel, N. Furmento, D. Sagnol.
    Optimizing remote method invocation with communication-computation overlap, in: Future Generation Computer Systems, Elsevier, 2002, vol. 18, pp. 769–778, Selected article from PaCT 2001.
  • 39F. Baude, D. Caromel, F. Huet, L. Mestre, J. Vayssière.
    Interactive and Descriptor-based Deployment of Object-Oriented Grid Applications, in: 11th IEEE International Symposium on High Performance Distributed Computing, 2002, pp. 93–102.
  • 40M. Benguigui, F. Baude.
    Towards Parallel and Distributed Computing on GPU for American Basket Option Pricing, in: GPU Computing in the Clouds (GPU-Cloud 2012) workshop in conjunction with 4th IEEE international conference on Cloud Computing Technology and Science (CloudCom 2012), IEEE (editor), Dec 2012.
  • 41E. Bruneton, T. Coupaye, M. Leclercp, V. Quema, Jean-Bernard. Stefani.
    An Open Component Model and Its Support in Java, in: 7th Int. Symp. on Component-Based Software Engineering (CBSE-7), LNCS 3054, may 2004.
  • 42O. Dalle.
    OSA: an Open Component-based Architecture for Discrete-Event Simulation, in: 20th European Conference on Modeling and Simulation (ECMS), Bonn, Germany, May 2006, pp. 253–259.
    ftp://ftp-sop.inria.fr/mascotte/Publications/Dal06b.pdf
  • 43C. Dupont, T. Schulze, G. Giuliani, A. Somov, F. Hermenier.
    An Energy Aware Framework for Virtual Machine Placement in Cloud Federated Data Centres, in: Proceedings of the 3rd International Conference on Future Energy Systems: Where Energy, Computing and Communication Meet, New York, NY, USA, e-Energy '12, ACM, 2012, pp. 4:1–4:10.
    http://doi.acm.org/10.1145/2208828.2208832
  • 44I. Filali, L. Pellegrino, F. Bongiovanni, F. Huet, F. Baude.
    Modular P2P-Based Approach for RDF Data Storage and Retrieval, in: AP2PS 2011, The Third International Conference on Advances in P2P Systems, November 2011, pp. 39-46, Best paper award.
  • 45TC-GRID, ETSI.
    ETSI TS 102 830: GRID; Grid Component Model; Part 4: GCM Fractal JAVA API, European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France, 2010.
    http://webapp.etsi.org/workprogram/Report_WorkItem.asp?wki_id=28857
  • 46Q. Zagarese, G. Canfora, E. Zimeo, F. Baude.
    Enabling Advanced Loading Strategies for Data-Intensive Web Services, in: 19th Int. Conference on Web Services, ICWS, IEEE, 2012, pp. 480–487.

previous Previous | up Home