Bibliography

Major publications by the team in recent years

[1]

L. Baduel, F. Baude, D. Caromel.
Asynchronous Typed Object Groups for Grid Programming, in: International Journal of Parallel Programming, 2007, vol. 35, n^o 6, p. 573-614.

[2]

L. Baduel, F. Baude, D. Caromel, A. Contes, F. Huet, M. Morel, R. Quilici.
Programming, Composing, Deploying for the Grid (chapter 9), in: Grid Computing: Software Environments and Tools, Springer, 2006, ISBN: 1-85233-998-5.

[3]

T. Barros, R. Boulifa, E. Madelaine.
Parameterized Models for Distributed Java Objects, in: Forte'04 conference, Madrid, LNCS 3235, Springer Verlag, 2004
http://hal.inria.fr/inria-00087222.

[4]

F. 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, p. 93–102.

[5]

D. Caromel.
Towards a Method of Object-Oriented Concurrent Programming, in: Communications of the ACM, September 1993, vol. 36, n^o 9, p. 90–102.

[6]

D. Caromel, L. Henrio.
A Theory of Distributed Object, Springer-Verlag, 2005.

[7]

D. Caromel, L. Henrio, B. Serpette.
Asynchronous and Deterministic Objects, in: Proceedings of the 31st ACM Symposium on Principles of Programming Languages, ACM Press, 2004, p. 123–134.

[8]

D. Caromel, W. Klauser, J. Vayssière.
Towards Seamless Computing and Metacomputing in Java, in: Concurrency Practice and Experience, November 1998, vol. 10, n^o 11–13, p. 1043–1061.

[9]

D. Caromel, L. Mateu, E. Tanter.
Sequential Object Monitors, in: Proceedings of the 18th European Conference on Object-Oriented Programming (ECOOP 2004), Oslo, Norway, LNCS, jun 2004, n^o 3086, p. 316-340.

[10]

F. 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 Journal

[11]

T. Barros, R. Boulifa, A. Cansado, L. Henrio, E. Madelaine.
Behavioural Models for Distributed Fractal Components, in: Annals of Telecommunications, jan 2009, vol. 64, n^o 1–2
http://hal.inria.fr/inria-00268965, also Research Report INRIA RR-6491.

[12]

F. 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, n^o 1, p. 5–24
http://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/s12243-008-0068-8&sa_campaign=Email/ACE/Paginated.

[13]

A. Cansado, L. Henrio, E. Madelaine.
A Specification Language for Distributed Components, in: Science of Computer Programming, 2010, To appear.

[14]

V. D. Doan, M. Bossy, F. Baude, I. Stokes-Rees.
Grid computing of Monte Carlo based American option pricing: Analysis of two methods, in: Mathematics and Computers in Simulation, 2010, To appear.

Invited Conferences

[15]

A. Cansado, E. Madelaine.
Specification and Verification for Grid Component-based Applications: from Models to Tools, in: FMCO 2008, Berlin Heidelberg, F. S. de Boer, M. M. Bonsangue, E. Madelaine (editors), LNCS, Springer-Verlag, 2009, n^o 5751, p. 180-203.

[16]

L. Henrio, F. Kammüller, M. Rivera.
An Asynchronous Distributed Component Model and Its Semantics, in: FMCO 2008, F. S. de Boer, M. M. Bonsangue, E. Madelaine (editors), Lecture Notes in Computer Science, Springer, dec 2009, vol. 5751, p. 159-179
http://www.springer.com/978-3-642-04166-2.

International Peer-Reviewed Conference/Proceedings

[17]

B. Bannour, L. Henrio, M. Rivera.
A Reconfiguration Framework for Distributed Components, in: SINTER Workshop on Software Integration and Evolution @ Runtime, ACM, 2009.

[18]

F. Baude, I. Filali, F. Huet, V. Legrand, E. Mathias, P. Merle, C. Ruz, R. Krummenacher, E. Simperl, C. Hamerling, J.-P. Lorré.
"ESB Federation for Large-Scale SOA", in: 25th ACM Int. Symposium on Applied Computing, March 2010, To appear.

[19]

F. Baude, L. Henrio, P. Naoumenko.
Structural reconfiguration: an autonomic strategy for GCM components, in: 5th International Conference on Autonomic and Autonomous Systems(ICAS 2009), IEEE Xplore, 2009, p. 123–128.

[20]

L. Henrio, F. Kammüller.
Functional Active Objects: Typing and Formalisation, in: Foundations of Coordination Languages and Software Architectures (FOCLASA'09), 2009.

[21]

E. Mathias, V. Cavé, S. Lanteri, F. Baude.
Grid-enabling SPMD Applications through Hierarchical Partitioning and a Component-Based Runtime., in: 15th Int. European Conference on Parallel and Distributed Computing (Euro-Par 2009), LNCS, 2009, vol. 5704, p. 691–703.

Workshops without Proceedings

[22]

A. Gaikwad, V. D. Doan, M. Bossy, F. Abergel, F. Baude.
SuperQuant Financial-Benchmark Suite for Performance Analysis of Grid Middlewares, in: 4th Int. Conference on High Performance Scientific Computing, Modeling, Simulation and Optimization of Complex Processes, March 2-6 2009, Hanoi, Vietnam, Institute of Mathematics, Vietnamese Academy of Science and Technology, March 2009, 70 p, Abstract.

[23]

C. Ruz, F. Baude.
"Enabling SLA monitoring for component-based SOA applications", in: "XXVIII International Conference of the Chilean Computer Society (SCCC'09)", IEEE, Nov. 2009, Accepted for presentation.

Scientific Books (or Scientific Book chapters)

[24]

I. Stokes-Rees, F. Baude, V. D. Doan, M. Bossy.
Managing parallel and distributed Monte Carlo simulations for computational finance in a grid environment, Springer, 2009, p. 183-204.

Books or Proceedings Editing

[25]

F. S. de Boer, M. M. Bonsangue, E. Madelaine (editors)
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures, Lecture Notes in Computer Science, Springer, dec 2009, vol. 5751, 299 p
http://www.springer.com/978-3-642-04166-2.

Internal Reports

[26]

B. Bannour, L. Henrio, M. Rivera.
A Reconfiguration Framework for Distributed Components, INRIA, 2009, n^o RR-6911
http://hal.inria.fr/inria-00379268/en/, Research Report.

[27]

F. Baude, E. Mathias, C. Pérez.
Resource selection algorithm and tools for deploying DiscoGrid applications on grids and clouds, ANR DiscoGrid project, Delivrable from the WP4: Application Deployment, Jun 2009, Technical report.

[28]

A. Bouchakhchoukha.
Translation from pNets model to Fiacre language, for the verification of parallel, distributed and concurrent applications , Master 2 MDFI, Univ. Aix-Marseille II, 2009, Technical report.

[29]

V. D. Doan, A. Gaikwad, M. Bossy, F. Baude, F. Abergel.
A financial engineering benchmark for performance analysis of grid middlewares , INRIA, 2009, n^o RT-365
http://hal.inria.fr/inria-00387324/fr/, Technical Report.

[30]

R. Gascon, E. Madelaine.
Verifying distributed systems with unbounded channels, INRIA, 2009
http://www-sop.inria.fr/oasis/SAFA/abstracts09/safa09-GM.pdf, Technical Report.

[31]

C. Hamerling, V. Legrand, F. Baude, E. Mathias, C. Ruz, M. Fried, R. Krummenacher, P. Merle, N. Dolet.
SOA4All Runtime, SOA4All IP Project Delivrable from the SOA4All Runtime WP (WP1), August 2009, n^o D1.4.1B, Technical report.

[32]

M. U. Khan, L. Henrio.
First Class Futures: a Study of Update Strategies, INRIA a CCSD electronic archive server based on P.A.O.L [http://hal.inria.fr/oai/oai.php] (France), 2009
http://hal.inria.fr/inria-00435573/en/, RR-7113.

[33]

R. Krummenacher, I. Filali, F. Huet, F. Baude.
Distributed Semantic Spaces: A Scalable Approach To Coordination, SOA4All IP Project Delivrable from the SOA4All Runtime WP (WP1), February 2009, n^o D1.3.2A, Technical report.

[34]

R. Krummenacher, M. Fried, F. Huet, I. Filali, L. Pellegrino, C. Hamerling.
Distributed Semantic Spaces: A first Implementation, SOA4All IP Project Delivrable from the SOA4All Runtime WP (WP1), August 2009, n^o D1.3.2B, Technical report.

[35]

R. Krummenacher, C. Hamerling, J.-P. Lorré, V. Legrand, C. Ruz, F. Baude, C. Pedrinaci, M. Richardson, T.-P. Lobo.
SOA4All reference architecture specification, SOA4All IP Project Delivrable from the SOA4All Runtime WP (WP1), February 2009, n^o D.1.4.1A, Technical report.

[36]

R. Krummenacher, I. Toma, C. Hamerling, J.-P. Lorré, F. Baude, V. Legrand, P. Merle, C. Ruz, C. Pedrinaci, D. Liu, T.-P. Lobo.
SOA4All Reference Architecture Specification, SOA4All IP Project Delivrable from the SOA4All Runtime WP (WP1), February 2009, n^o D1.4.1A, Technical report.

[37]

E. Mathias, A. Gastinel, C. Pérez, S. Chaumette, J. Ouoba, F. Baude.
Resource selection algorithm and tools for deploying DiscoGrid applications on grids and clouds, ANR DiscoGrid project, Delivrable from the WP6: Validation and performance assessment, Sept 2009, Technical report.

[38]

A. Mos, C. Pedrinaci, J. M. Gomez-Perez, G. A. Rey, C. Hamerling, F. Baude, C. Ruz.
Service Monitoring and Management Tool Suite Design, SOA4All IP Project Delivrable from the SOA4All Studio WP (WP2), February 2009, n^o D2.3.1, Resubmission.

[39]

P. Naoumenko.
An extension for ADL definition of GCM components, taking into account the full specification of the membrane, INRIA, 2009, n^o RR-7001
http://hal.inria.fr/inria-00407788/en/, Technical Report.

[40]

H. Pfeffer, L. Bassbouss, P. Naoumenko, D. Miorandi, D. Lowe, M. Ion, L. Janne, L. Henrio, F. Baude.
Bio inspired service creation and evolution, BIONETS IP Project Delivrable from the Autonomic Service Life-Cycle And Service Ecosystems WP (3.2), Sept 2009, n^o D.3.2.6, Technical report.

Patents and standards

[41]

ETSI TS 102 829: GRID;Grid Component Model; Part 3: GCM Fractal Architecture Description Language (ADL), European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France, 2009.

Other Publications

[42]

F. Baude, L. Henrio, P. Naoumenko.
Distributed pong demo: dynamic and autonomic reconfiguration of composite services, March 2009, SAC-FIRE workshop organized by EU FET projects on Situated and Autonomic Communications.

[43]

F. Baude, V. Legrand.
Exécution distribuée et agile de compositions de services, Janvier 2009, Journées du GDR CNRS Génie de la Programmation et du Logiciel, Groupe de Travail COSMAL (Composants Objets Services : Modèles, Architectures et Langages).

[44]

M. U. Khan.
Update strategies for first class futures, July 2009, 19th Doctoral Symposium, Ecoop 2009, Genova, Italy.

[45]

OASIS team.
Grid Component Model - GCM, April 2009, OW2 Annual Conference, Poster session Fractal Ecosystem.

References in notes

[46]

M. Abadi, L. Cardelli.
A Theory of Objects, Springer-Verlag, New York, 1996.

[47]

L. Baduel, F. Baude, D. Caromel, A. Contes, F. Huet, M. Morel, R. Quilici.
Programming, Composing, Deploying for the Grid (chapter 9), in: Grid Computing: Software Environments and Tools, O. F. Cunha (editor), Springer, 2006, ISBN: 1-85233-998-5.

[48]

F. Baude, D. Caromel, N. Maillard, E. Mathias.
Hierarchical MPI-like Programming using GCM Components as Implementation Support, Dec. 2006, Selected and presented at the CoreGRID workshop: Grid Systems, Tools and Environments, Grids@work II conference.

[49]

F. Baude, L. Henrio, P. Naoumenko.
A Component Platform for Experimenting with Autonomic Composition, in: First International Conference on Autonomic Computing and Communication Systems (Autonomics 2007), ACM Digital Library, Oct 2007, Invited Paper.

[50]

S. Bezinne, V. Galtier, S. Vialle, F. Baude, M. Bossy, Viet Dung. Doan, L. Henrio.
A Fault Tolerant and Multi-Paradigm Grid Architecture for Time Constrained Problems. Application to Option Pricing in Finance, in: 2nd IEEE International Conference on e-Science and Grid Computing, IEEE, December 2006.

[51]

E. 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.

[52]

A. Cansado.
Formal Specification and Verification of Distributed Component Systems, Université de Nice - Sophia Antipolis – UFR Sciences, December 2008, Ph. D. Thesis.

[53]

CoreGRID, Programming Model Institute.
Basic Features of the Grid Component Model (assessed), 2006
http://www.coregrid.net/mambo/images/stories/Deliverables/d.pm.04.pdf.

[54]

V. D. Doan, A. Gaikwad, M. Bossy, F. Baude.
“Gridifying” Classification-Monte Carlo algorithm for pricing high-dimensional American options, in: Workshop on High Performance Computational Finance, IEEE/ACM Supercomputing conference 2008, 2008.

[55]

J. Dünnwebber, F. Baude, V. Legrand, N. Parlavantzas, S. Gorlatch.
Towards Automatic Creation of Web Services for Grid Component Composition, in: Integrated Research in GRID computing - Invited papers from the 1st CoreGRID Integration Workshop 2005, Springer, 2006
http://www.coregrid.net/mambo/images/stories/TechnicalReports/tr-0003.pdf, ISBN: 978-0-387-47656-8. Also as the CoreGrid TR003 report.

[56]

D. Linner, H. Pfeffer, S. Steglich, F. Baude, L. Henrio, P. Naoumenko.
Service Probes Implementation and Evaluation, BIONETS IP Project Delivrable from the Service Probes WP (3.4), June 2008, n^o D.3.4.1
http://www.bionets.eu/docs/BIONETS_D3_4_1.pdf, Technical report.

[57]

E. Mathias, F. Baude, V. Cavé.
A GCM-Based Runtime Support for Parallel Grid Applications, in: Proceedings of the Workshop on Component-Based High Performance Computing (CBHPC'08) in conjunction with ACM SIGPLAN CompArch 2008, October 2008.

[58]

I. Stokes-Rees, F. Baude, Viet Dung. Doan, M. Bossy.
Managing parallel and distributed Monte Carlo simulations for computational finance in a grid environment, in: Proceedings of the International Symposium on Grid Computing 2007, S. Lin (editor), Springer Verlag, 2008.