Selected Bibliography -- Eric Madelaine



Editions

[E-08] Eric Madelaine and Markus Lumpe, editors.
Proceedings of the 4th International Workshop on Formal Aspects of Component Software (FACS'07), volume vol 215.
ENTCS, 2008.

[E-09] Frank S. de Boer, Marcello M. Bonsangue, and Eric Madelaine, editors.
Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures, volume 5751 of LNCS. Springer, dec 2009.


Journals and Book Chapters

[J-92] E. Madelaine.
Verification tools from the Concur project.
EATCS Bulletin, 47, 1992.

[J-08] Antonio Cansado, Denis Caromel, Ludovic Henrio, Eric Madelaine, Marcela Rivera, and Emil Salageanu.
The Common Component Modeling Example: Comparing Software Component Models, volume 5153 of LNCS, chapter A Specification Language for Distributed Components implemented in GCM/ProActive.
Springer, 2008.
http://agrausch.informatik.uni-kl.de/CoCoME.

[J-09] Tomás Barros, Rabéa Boulifa, Antonio Cansado, Ludovic Henrio, and Eric Madelaine.
Behavioural models for distributed Fractal components.
Annals of Telecommunications, 64(1-2), jan 2009.


International Conferences with Selection Committee and Proceedings

[C-84] E. Madelaine.
Un système d'aide à la preuve de compilateurs.
In Manfred Paul and Bernard Robinet, editors, International Symposium on Programming, 6th Colloquium, Toulouse, April 17-19, 1984, Proceedings, volume 167 of LNCS. Springer, 1984.

[C-89] Eric Madelaine and Didier Vergamini.
Auto: A verification tool for distributed systems using reduction of finite automata networks.
In Son T. Vuong, editor, Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1: 2nd International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 89, Vancouver, BC, Canada, 5-8 December, 1989. North-Holland, 1989.

[C-90] Eric Madelaine and Didier Vergamini.
Finiteness conditions and structural construction of automata for all process algebras.
In Edmund M. Clarke and Robert P. Kurshan, editors, Computer Aided Verification, 2nd International Workshop, CAV 90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings, volume 531 of Lecture Notes in Computer Science. Springer, 1990.

[C-91a] Eric Madelaine and Didier Vergamini.
Specification and verification of a sliding window protocol in LOTOS.
In Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG 6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE 91, Sydney, Australia, 19-22 November 1991, volume C-2 of IFIP Transactions. North-Holland, 1991.

[C-91b] Eric Madelaine and Didier Vergamini.
Tool demonstration: Tools for process algebras.
In Ken R. Parker and Gordon A. Rose, editors, Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG 6.1 Fourth International Conference on Formal Description Techniques for Distrib uted Systems and Communication Protocols, FORTE 91, Sydney, Australia, 19-22 No vember 1991, volume C-2 of IFIP Transactions. North-Holland, 1991.

[C-92] Eric Madelaine and Didier Vergamini.
Verification of communicating processes by means of automata reduction and abstraction.
In Alain Finkel and Matthias Jantzen, editors, STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings, volume 577 of Lecture Notes in Computer Science. Springer, 1992.

[C-95] Rance Cleaveland, Eric Madelaine, and Steve Sims.
A front-end generator for verification tools.
In Tools and Algorithms for Construction and Analysis of Systems, First International Workshop, TACAS 95, Aarhus, Denmark, May 19-20, 1995, Proceedings, volume 1019 of LNCS. Springer, 1995.

[C-03a] R. Boulifa and E. Madelaine.
Finite model generation for distributed java programs.
In IEEE, editor, Workshop on Model-Checking for Dependable software-Intensive Systems, DNS'03,, pages 92-96, San Francisco, USA, Jan. 2003. IEEE.

[C-03b] R. Boulifa and E. Madelaine.
Model generation for distributed Java programs.
In E. Astesiano N. Guelfi and G. Reggio, editors, Workshop on scientiFic engIneering of Distributed Java applIcations, Luxembourg, nov 2003. Springer-Verlag, LNCS 2952.

[C-04a] Tomás Barros, Rabéa Boulifa, and Eric Madelaine.
Parameterized models for distributed Java objects.
In Formal Techniques for Networked and Distributed Systems FORTE 2004, volume LNCS 3235, pages 43-60, Madrid, September 2004. Spinger Verlag.

[C-04b] I. Attali, T. Barros, and E. Madelaine.
Formalisation and proofs of the chilean electronic invoices system.
In in proc. of the XXIV International Conference of the Chilean Computer Science Society (SCCC'04), Arica, Chile, November 2004. IEEE.

[C-05a] T. Barros, L. Henrio, and E. Madelaine.
Behavioural models for hierarchical components.
In Patrice Godefroid, editor, Model Checking Software, 12th Int. SPIN Workshop, San Francisco, CA, USA, August 2005. LNCS 3639, Springer.

[C-05b] T. Barros, L. Henrio, and E. Madelaine.
Verification of distributed hierarchical components.
In International Workshop on Formal Aspects of Component Software (FACS'05), volume 160, pages 41-55, Macao, October 2006. ENTCS.

[C-06] T. Barros, A. Cansado, E. Madelaine, and M. Rivera.
Model checking distributed components : The Vercors platform.
In 3rd workshop on Formal Aspects of Component Systems (FACS'06), volume 182, pages 3-16, Prague, Czech Republic, Sep 2007. ENTCS.

[C-07a] S. Ahumada, L. Apvrille, T. Barros, A. Cansado, E. Madelaine, and E. Salageanu.
Specifying Fractal and GCM Components With UML.
In proc. of the XXVI International Conference of the Chilean Computer Science Society (SCCC'07), Iquique, Chile, November 2007. IEEE.

[C-07b] Denis Caromel, Ludovic Henrio, and Eric Madelaine.
Active objects and distributed components: Theory and implementation.
In Frank S. de Boer and Marcello M. Bonsangue, editors, FMCO 2007, number 5382 in LNCS, pages 179-199, Berlin Heidelberg, 2008. Springer-Verlag.

[C-08a] Antonio Cansado, Ludovic Henrio, and Eric Madelaine.
Transparent first-class futures and distributed component.
In International Workshop on Formal Aspects of Component Software (FACS'08), volume 260, pages 155-171, Malaga, Sept 2008. Electronic Notes in Theoretical Computer Science (ENTCS).

[C-08b] Antonio Cansado, Eric Madelaine, and Pablo Valenzuela.
VCE: A Graphical Tool for Architectural Definitions of GCM Components.
Tool paper, 5th workshop on Formal Aspects of Component Systems (FACS'08), Sep 2008.

[C-08c] Antonio Cansado, Ludovic Henrio, Eric Madelaine, and Pablo Valenzuela.
Unifying architectural and behavioural specifications of distributed components.
In International Workshop on Formal Aspects of Component Software (FACS'08), volume 260, pages 25-45, Malaga, Sept 2008. Electronic Notes in Theoretical Computer Science (ENTCS).

[C-09] Antonio Cansado and Eric Madelaine.
Specification and verification for grid component-based applications: from models to tools.
In Formal Methods for Components and Objects (FMCO 2008), number 5751 in LNCS, pages 180-203, Berlin Heidelberg, 2009. Springer-Verlag.

[C-10] Rabéa Boulifa, Ludovic Henrio, and Eric Madelaine.
Behavioural models for group communications.
In WCSI-10: International Workshop on Component and Service Interoperability, number 37 in EPTCS, pages 42-56, 2010.

Conferences without proceedings or local audience:

[W-04] T. Barros and E. Madelaine.
Formal description and analysis for distributed systems.
Technical Report 4-04, University of Kent, Computing Laboratory, April 2004.
Doctoral Symposium at IFM'04, Canterbury, Kent, England.

[W-06] A. Cansado, L. Henrio and E. Madelaine.
Towards Real-case Component Model-checking
In 5th Fractal Workshop
Nantes, France, July 2006


Thesis

[T-83] E. Madelaine.
Système d'aide à la preuve de compilateurs.
PhD thesis, Université de Paris VII, 1983.


Technical reports, Others

[R-82] E. Madelaine.
Le système Perluette et les preuves de représentation de types abstraits
Rapport de Recherche RR0133, INRIA, may 1982.

[R-85] M. Devin, A. Ressouche, E. Madelaine.
Application de CEYX a la construction de programmes sous forme de machines virtuelles
Rapport de Recherche RR0219, INRIA, may 1985.

[R-87a] V. Lecompte, D. Vergamini, E. Madelaine.
AUTO : un systeme de verification de processus paralleles et communicants
Rapport Technique RT083, INRIA, mar. 1987.

[R-87b] R. de Simone, E. Madelaine.
ECRINS : un laboratoire de preuve pour les calculs de processus
Rapport de Recherche RR672, INRIA, mar. 1987.

[R-88] G. Doumenc and E. Madelaine.
Une traduction de Plotos en Meije.
Rapport de Recherche RR938, INRIA, 1988.

[R-90] G. Doumenc, E. Madelaine, and R. de Simone.
Proving process calculi translations in ECRINS: The PureLotos --> Meije example
Rapport de recherche RR1192, INRIA, March 1990.

[R-92a] S. Gnesi, E. Madelaine, and G. Ristori.
An exercise in protocol verification.
In T. Bolognesi, E. Brinksma, and C. Vissers, editors, Third Lotosphere Workshop and Seminar, Pisa, September 1992.

[R-92b] E. Najm, A. Lakas, A. Serouchni, E. Madelaine, and R. de Simone.
Alto: an interactive transformation tool for lotos and lotomaton.
In T. Bolognesi, E. Brinksma, and C. Vissers, editors, Third Lotosphere Workshop and Seminar, Pisa, September 1992.

[R-95] W.R. Cleaveland, S. Sims and E. Madelaine.
A front-end generator for verification tools
Rapport de Recherche RR2612, INRIA, July 1995.

[R-02] Rabea Boulifa and Eric Madelaine.
Preuves de propriétés de comportement de programmes proactive.
Technical Report RR4460, INRIA, May 2002.

[R-04] T. Barros and E. Madelaine.
Formalisation and proofs of the chilean electronic invoices system.
Technical Report RR-5217, INRIA, june 2004.

[R-05a] T. Barros, L. Henrio, and E. Madelaine.
Behavioural models for hierarchical components.
Technical Report RR-5591, INRIA, June 2005.

[R-06] OASIS team and other partners in the CoreGRID Programming Model Virtual Institute.
Proposals for a grid component model.
Technical Report D.PM.02, CoreGRID, Programming Model Virtual Institute, Feb 2006.
Responsible for the delivrable.

[R-07a] Yu Feng, Eric Madelaine, Ian Stockes-Rees and partners of the NESSI-Grid consortium.
Grid Vision and Strategic Research Agenda.
Technical report, NESSI-Grid: Networked European Software and Services Initiative - Grid, October 2007.

[R-07b] OASIS team and GridCOMP partners.
Proceedings of the first gridcomp workshop.
Technical report, GridComp, December 2007.
Deliverable D.DIS.03.

[R-08a] Tomás Barros, Rabéa Boulifa, Antonio Cansado, Ludovic Henrio, and Eric Madelaine.
Behavioural models for distributed fractal components.
Research Report 6491, INRIA, April 2008.

[R-08b] NESSI-Grid WP1 partners.
Grid Vision and Strategic Agenda, Deliverable D.1.5.
Technical report, NESSI-Grid SSA EU project, Nov 2008.
final version.

[R-09] Régis Gascon and Eric Madelaine.
Verifying distributed systems with unbounded channels.
Technical report, INRIA, 2009.

[R-10] Ludovic Henrio and Eric Madelaine.
Experiments with distributed model-checking of group-based applications.
In Sophia-Antipolis Formal Analysis Workshop, page 3p., France Sophia-Antipolis, Oct 2010.


Standards, Software

[S-08a] ETSI TC-GRID.
ETSI TS 102 827: GRID; Grid Component Model; Part 1: GCM Interoperability Deployment.
Technical report, European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France, 2008.

[S-08b] ETSI TC-GRID.
ETSI TS 102 828: GRID; Grid Component Model; Part 2: GCM Application Description.
Technical report, European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France, 2008.

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

[S-10] ETSI TC-GRID.
ETSI TS 102 830: GRID; Grid Component Model; Part 4: GCM Fractal JAVA API.
Technical report, European Telecommunications Standards Institute (ETSI), Sophia-Antipolis, France, 2010.

[L-10] OASIS Team.
The VERCORS platform: Verification of models for distributed communicating componants, with safety and security, 2010.
http://agrausch.informatik.uni-kl.de/CoCoME.

[L-88] E. Madelaine, R. de Simone, and D. Vergamini.
ECRINS, user manual, 1988.
Technical Documentation.


About this document ...

This document was generated using the LaTeX2HTML translator Version 2008 (1.71)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -split 0 -nonavigation bibperso-july2011.tex

The translation was initiated by Eric Madelaine on 2011-09-09


Eric Madelaine 2011-09-09