Publications de

Pascal André

—

Voici un certain nombre de publications ont été réalisées ou sont en cours au 10 juin 2010. 
En voici une liste. 

Voir aussi :

Les articles publiés (postscript fournis sur demande ou en ligne / online access) :

Les ouvrages ou chapitres publiés ou en cours:

  1. Conception de Systèmes d’Information Volume 5 [AV03a]
  2. Conception de Systèmes d’Information Volume 4 [AV04]
  3. Conception de Systèmes d’Information Volume 3 [AV02]
  4. Conception de Systèmes d’Information Volume 2 [AV01b]
  5. Conception de Systèmes d’Information Volume 1 [AV01a]
  6. Développement de logiciel avec UML [AV03c]
  7. Etudes de cas : développement de logiciel avec UML [AV03b]
  8. Ingénierie objet [AR96a]

Les articles publiés (postscript fournis sur demande ou en ligne / online access) :

  1. WCSI’10 [MAA10a]
  2. TSI’10 [AAA10]
  3. FESCA’10 [AAAL10a]
  4. CAL’10 [MAA10b]
  5. ABZ’10 [AAAL10c]
  6. WCRE’09 [AAA+09]
  7. FACS’09 [AAAL10b]
  8. CAL’09 [AAM09] [cal09.zip]
  9. L’objet’08 [AA08]
  10. SC’08 [AAA08] [sc07.ps.zip]
  11. ProveCS’07 [AAA07b] [provecs07.ps.zip]
  12. WCAT’07 [AAA07c] [wcat07.ps.zip]
  13. LMO’07 [AAA07a] [lmo07.ps.zip]
  14. SC’07 [AAA07d] [sc07.ps.zip]
  15. CAL’06 [AAA06b] [cal 06.ps.zip]
  16. WCAT’06 [AAA06a] [wcat06.ps.zip]
  17. OTJ’06 [AH06] [otj06.ps.zip]
  18. MOSIM’06 [AAA06c] [mosim06.ps.zip]
  19. SC’06 [AAA06d] [sc06.ps.zip]
  20. C@MoDE’05( [AA05] [camode05.ps.zip]
  21. WESC’05 [AAA05c] [wesc05.ps.zip]
  22. OCM/LMO’05 [AAA+05b] [ocm05.ps.zip]
  23. IASSE’04 [AAS04] [iasse04.ps.zip]
  24. Inforsid’04 [HA04] [inforsid04.ps.zip]
  25. LMO’2K [ARRV00a] [lmo00Draft.ps.zip]
  26. ROOM 2000 [ARRV00b] [room3.ps.gz] et un complément [rr187.ps.gz]
  27. Anchorage’99 [PMA+99]
  28. WADT’99 [AR99a][wadt99PA.ps.gz]
  29. Invoice’98 [AR98a][invoice98.ps.gz]
  30. LMO’96 [And96d][lmo96.ps.gz]
  31. L’OBJET [AR96b][lobjet96.ps.gz]
  32. TSI [ABR95][tsi95.ps.gz]
  33. GDR Programmation 95 [AR95d][gdr95.ps.gz]
  34. Thèse [And95].[these.ps.gz]
  35. ICC’95 [AR95b][icc95.ps.gz]
  36. STUDIA "BABES-BOLYAI" [ACCR94b]
  37. Contim’94 [ACCR94a][conti94Draft.ps.gz]
  38. GDR Programmation 94 [AR94b][gdr94.ps.gz]
  39. JMLC’94 [ACR94][jmlc94.ps.gz]
  40. JFLA’94 [AR94c][jfla94.ps.gz]
  41. OOSLA’92 [AR92][oopsla92.ps.gz]

Les articles soumis à des revues :

  1. FACS [AR97b]
  2. OOS [AR94a]
  3. AMAST [AR95c]

Les rapports de recherche :

  1. A Service-Based Component Model: Description Formalism, Formal Analysis and Mechanization - rr0508 [AAA+05a][rr0508.ps.gz]
  2. Un cadre pour la vérification de modéles UML - rr0412 [AAS05][rr0412.ps.gz]
  3. Vérification de conformité des interactions entre composants - rr0411 [AAS05][rr0411.ps.gz]
  4. Modélisation formelle des concepts des réseaux pour l’apprentissage [AAO02]
  5. A propos de la vérification dans UML - rr0402 [And02][rr0204.ps.gz]
  6. An Algebraic Approach to Heterogeneous Software Systems - rr0700 [AR00][rr007.zip]
  7. Spécification de l’atelier A.S.F.O. - rr185 [And99]
  8. Modélisation par objets - rr179 [AR98b]
  9. Scheduling Models and Algorithms: An Object-Oriented Software Engineering Approach - Projet CIM - rr169 [AAB+98]
  10. Application de la méthode TAG/CF é l’exemple de l’hépital - rr160 [AR97a][rr160.ps.gz]
  11. How to Easily Extract an Abstract Data Type from a Dynamic Description - rr159 [AR97c][rr159.ps.gz]
  12. Spécification multi-formalismes : l’exemple de la facturation - rr135 [And96c][rr135.ps.gz]
  13. Aide é la spécification algébrique de types abstraits par l’utilisation d’automates : principes, algorithmes et exemples [AR95a]

Les rapports techniques ou personnels :

  1. ASFO 93 [AR93]
  2. ASFO [And94, And96b, And96a, And97, And98].
  3. Divers rapports incomplets sur des exemples TAG, la concurrence et l’héritage.

Des rapports techniques de projets encadrés :

  1. ASFO 92 [JLR92]
  2. ASFO 94 [BBG+94]
  3. ASFO 98 [JPS+98, BD98].

Autres rapports ou articles :

  1. Projet Ifremer [AR99b]
  2. ANVAR : octobre 1996 et février 1997
  3. EDF 96
  4. Conakry 98

Références

[AA05]
Pascal André and Gilles Ardourel. Domain Based Verification for UML Models. In Ludwik Kuzniarz, Gianna Reggio, Jean-Louis Sourrouille, and Miroslaw Staron, editors, Workshop on Consistency in Model Driven Engineering C@Mode’05, pages 47–62, November 2005.
[AA08]
Pascal André and Christian Attiogbé. Éditorial. L’OBJET, 14(4):7–10, 2008.
[AAA+05a]
P. André, G. Ardourel, C. Attiogbé, H. Habrias, and C. Stoquer. A Service-Based Component Model: Description Formalism, Formal Analysis and Mechanization. Technical Report RR05.08, LINA - FRE CNRS 2729 - Nantes, December 2005. (70 p.).
[AAA+05b]
Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, and Cédric Stoquer. Vérification de conformité des interactions entre composants. In Proceedings of OCM’05 workshop (Objets, Composants et Modèles), held in conjunction with LMO’05, Berne, Suisse, Jan 2005.
[AAA05c]
Pascal André, Gilles Ardourel, and Christian Attiogbé. Behavioural Verification of Service Composition. In ICSOC Workshop on Engineering Service Compositions, WESC’05, pages 77–84, Amsterdam, The Netherlands, December 2005. IBM Research Report RC23821.
[AAA06a]
Pascal André, Gilles Ardourel, and Christian Attiogbé. Coordination and Adaptation for Hierarchical Components and Services. In Third International ECOOP Workshop on Coordination and Adaptation Techniquesfor Software Entities (WCAT’06), pages 15–23, 2006.
[AAA06b]
Pascal André, Gilles Ardourel, and Christian Attiogbé. Spécification d’architectures logicielles en Kmelia : hiérarchie de connexion et composition. In 1ère Conférence Francophone sur les Architectures Logicielles, pages 101–118. Hermès Sciences Publications - Lavoisier, 2006.
[AAA06c]
Pascal André, Gilles Ardourel, and Christian Attiogbé. Vérification d’assemblage de composants logiciels Expérimentations avec MEC. In 6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, pages 497–506, Rabat, Maroc, April 2006. Lavoisier.
[AAA06d]
Christian Attiogbé, Pascal André, and Gilles Ardourel. Checking Component Composability. In 5th International Symposium on Software Composition (ETAPS/SC’06, volume 4089 of Lecture Notes in Computer Science. Springer Verlag, 2006.
[AAA07a]
Pascal André, Gilles Ardourel, and Christian Attiogbé. Protocoles d’utilisation de composants, Spécification et analyse en Kmelia. In 13e Conférence Francophone sur les Langages et Modèles à Objets, pages 19–34. Hermès Sciences Publications - Lavoisier, 2007.
[AAA07b]
Pascal André, Gilles Ardourel, and Christian Attiogbé. A Formal Analysis Toolbox for the Kmelia Component Model. In ProVeCS 2007 - Satellite Event of TOOLS Europe, page to appear, Zurich, Switzerland, 2007. ETH Research Report –.
[AAA07c]
Pascal André, Gilles Ardourel, and Christian Attiogbé. Adaptation for hierarchical components and services. Electron. Notes Theor. Comput. Sci., 189:5–20, 2007.
[AAA07d]
Pascal André, Gilles Ardourel, and Christian Attiogbé. Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. In 6th International Symposium on Software Composition, SC’07, volume 4829 of LNCS. Springer, 2007.
[AAA08]
Pascal André, Gilles Ardourel, and Christian Attiogbé. Composing Components with Shared Services in the Kmelia Model. In 7th International Symposium on Software Composition, SC’08, volume 4954 of LNCS. Springer, 2008.
[AAA+09]
P. André, N. Anquetil, G. Ardourel, J.-C. Royer, P. Hnetynka, T. Poch, D. Petrascu, and V. Petrascu. Javacompext: Extracting architectural elements from java source code. In Proceedings of the 16th Working Conference on Reverse Engineering (WCRE 2009), tool demonstration, pages 377–378, Lille, France, October 2009.
[AAA10]
Pascal André, Gilles Ardourel, and Christian Attiogbé. Kmelia : un modèle abstrait et formel pour la description et la composition de composants et de services. Technique et Science Informatique, –:–, 2010. to be published.
[AAAL10a]
P. André, G. Ardourel, C. Attiogbé, and A. Lanoix. Contract-based Verification of Kmelia Component Assemblies using Event-B. In Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2010), ENTCS, 2010. to be published.
[AAAL10b]
Pascal André, Gilles Ardourel, Christian Attiogbé, and Arnaud Lanoix. Using assertions to enhance the correctness of kmelia components and their assemblies. Electronic Notes in Theoretical Computer Science, 263:5 – 30, 2010. Proceedings of the 6th International Workshop on Formal Aspects of Component Software (FACS 2009).
[AAAL10c]
Pascal André, Gilles Ardourel, Christian Attiogbé, and Arnaud Lanoix. Using event-b to verify the kmelia components and their assemblies. In Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, and Steve Reeves, editors, ASM, volume 5977 of Lecture Notes in Computer Science, page 410. Springer, 2010.
[AAB+98]
Jean-Charles Akif, Pascal André, Franck Barbier, Laurent Girard, Christian Kerdreux, Eric Pinson, and Jean-Claude Royer. Scheduling Models and Algorithms: An Object-Oriented Software Engineering Approach. Rapport de Recherche du projet CIM-Anjou RR-169, IRIN, Octobre 1998. (7 pages).
[AAM09]
P. André, C. Attiogbé, and Messabihi M. Correction d’assemblages de composants impliquant des interfaces paramétrées. In 3ème Conférence Francophone sur les Architectures Logicielles, volume RNTI-L-4 of Revue des Nouvelles Technologies de l’Information, pages 33–44. Cépaduès-Éditions, 2009.
[AAO02]
Pascal André, Christian Attiogbé, and Souleymane Oumtanaga. Modélisation formelle des concepts des réseaux pour l’apprentissage. Rapport de Recherche Notes, IRIN/LARIMA, avril 2002.
[AAS04]
Pascal André, Gilles Ardourel, and Gerson Sunye. The Bosco Project, A JMI-Compliant Template-based Code Generator. In W. Dosch and N. Debnath, editors, Proceedings of the 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, pages 157–162, July 2004. ISBN 1-880843-52-X.
[AAS05]
Pascal André, Gilles Ardourel, and Gerson Sunyë. Un cadre pour la vérification de modèles UML. Rapport de Recherche RR-04-12, LINA, janvier 2005.
[ABR95]
Pascal André, Frank Barbier, and Jean-Claude Royer. Une expérimentation de développement formel à objets. Techniques et Sciences Informatique, 14(8):973–1005, octobre 1995.
[ACCR94a]
Pascal André, Dan Chiorean, Corina Cîrstea, and Jean-Claude Royer. Object-Oriented Design With Formal Classes. In Contim’94, International Conference on Technical Informatics, volume V, pages 245–254, Timisoara, Romania, 16-19 november 1994.
[ACCR94b]
Pascal André, Dan Chiorean, Corina Cîrstea, and Jean-Claude Royer. The Formal Class Model: an Example of an Object-Oriented Design. STUDIA "BABES-BOLYAI", MATHEMATICA, XXXIX(3):3–23, 1994. version étendue de [ACCR94a].
[ACR94]
Pascal André, Dan Chiorean, and Jean-Claude Royer. The formal class model. In Joint Modular Languages Conference, pages 59–78, Ulm, Germany, 28-30 september 1994. GI, SIG and BCS.
[AH06]
Pascal André and Henri Habrias. Application d’ontologies formelles au droit. In SDC’06 Workshop on Ontologies et textes juridiques, OTJ’06, pages 30–39, Nantes, France, 2006.
[And94]
Pascal André. Atelier de spécification formelle et conception par objets : Quelques outils d’éditions des modèles. (19 pages), April 1994.
[And95]
Pascal André. Méthodes formelles et à objets pour le développement du logiciel : Etudes et propositions. Thèse de doctorat, Université de Rennes I, 7 juillet 1995. préparée à l’IRIN - Université de Nantes.
[And96a]
Pascal André. Manuel de référence de l’application tag/cf. (19 pages), octobre 1996.
[And96b]
Pascal André. Manuel utilisateur de l’application tag/cf. (15 pages), octobre 1996.
[And96c]
Pascal André. Spécification multi-formalismes : l’exemple de la facturation. Rapport de Recherche RR-135, IRIN, Septembre 1996. (56 pages).
[And96d]
Pascal André. Vers un modèle formel en analyse à objets. In LMO’96 Proceedings, pages 62–78, Leysin, Suisse, October 1996.
[And97]
Pascal André. Quelques éléments sur l’interface graphique de l’atelier asfo. application aux types abstraits graphiques. (14 pages), novembre 1997.
[And98]
Pascal André. Spécification de l’atelier asfo. (18 pages), September 1998.
[And99]
Pascal André. Spécification de l’atelier a.s.f.o. Rapport de Recherche RR-185, IRIN, Juin 1999. (20 pages).
[And02]
Pascal André. A propos de la vérification dans UML. Rapport de Recherche RR-04-02, IRIN, juillet 2002.
[AR92]
Pascal André and Jean-Claude Royer. Optimizing Method Search with Lookup Caches and Incremental Coloring. In Andreas Paepcke, editor, 7th Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA’92, pages 110–126, Vancouver, Canada, October 1992. ACM, ACM Press. ISSN 0362-1340.
[AR93]
Pascal André and Jean-Claude Royer. Atelier de spécification formelle et conception par objets. Proposition de Projet Industriel de DESS Génie Informatique, août 1993.
[AR94a]
Pascal André and Jean-Claude Royer. Building formal classes from graphic abstract data types. Rapport personnel, 1994.
[AR94b]
Pascal André and Jean-Claude Royer. Introduction de concepts formels dans le développement objet. In Journées du GDR Programmation, Lille, 22-23 septembre 1994.
[AR94c]
Pascal André and Jean-Claude Royer. La modélisation des listes en programmation par objets. In Pierre Cointe, Christian Queinnec, and Bernard (éditeurs) Serpette, editors, Journées Francophones des Langages Applicatifs (JFLA’94), number 11 in Collection Didactique, pages 259–285, Noirmoutier, 31 janvier - 1 février 1994. INRIA.
[AR95a]
Pascal André and Jean-Claude Royer. Aide à la spécification algébrique de types abstraits par l’utilisation d’automates : principes, algorithmes et exemples. Rapport de Recherche RR-98, IRIN, octobre 1995.
[AR95b]
Pascal André and Jean-Claude Royer. Formal concepts and tools for object-oriented analysis and design. In 5th International Computing Congress, ICC’95, Hyderabad, India, January 1995. Tata McGraw-Hill Publishers. Theme : Object-Oriented Technology: Methods and Applications.
[AR95c]
Pascal André and Jean-Claude Royer. Gat: A dynamic and algebraic formalism to specify object-oriented systems. submitted to AMAST’95, 1995.
[AR95d]
Pascal André and Jean-Claude Royer. Le point sur le modèle tag/cf. In Journées du GDR Programmation, Grenoble, 22-24 novembre 1995.
[AR96a]
Pascal André and Jean-Claude Royer. Ingénierie objet : Concepts et techniques, chapter Spécifications formelles dans le développement à objets, pages 271–314. InterEditions/Masson, 1996. ISBN 2-7296-0642-4.
[AR96b]
Pascal André and Jean-Claude Royer. Un point de vue sur les méthodes formelles à Objets. L’OBJET, 2(4):5–12, February 1996. ISSN 1262-1137.
[AR97a]
Pascal André and Jean-Claude Royer. Application de la méthode tag/cf à l’exemple de l’hôpital. Rapport de Recherche RR-160, IRIN, Septembre 1997. (46 pages).
[AR97b]
Pascal André and Jean-Claude Royer. How to Easily Extract an Abstract Data Type from a Dynamic Description. submitted to Formal Aspects of Computing, September 1997.
[AR97c]
Pascal André and Jean-Claude Royer. How to easily extract an abstract data type from a dynamic description. Rapport de Recherche RR-159, IRIN, Septembre 1997. (32 pages).
[AR98a]
Pascal André and Jean-Claude Royer. Invoicing system: Using tag. In Invoice’98, Proceedings, pages 381–395, Nantes, France, March 26-27 1998. International Workshop on: Comparing Systems Specification Techniques.
[AR98b]
Pascal André and Jean-Claude Royer. Modélisation par objets. Rapport de Recherche RR-179, IRIN, Octobre 1998. (54 pages).
[AR99a]
Pascal André and Jean-Claude Royer. An Algebraic Approach to the Specification of Heterogeneous Software Systems. In 14th Workshop on Algebraic Development Techniques, page (26 pages), Bonas, France, September 1999. http://www.sciences.univ-nantes.fr/info/perso/permanents/royer/papers/rrwadt.ps.gz.
[AR99b]
Pascal André and Jean-Claude Royer. Ifremer. Rapport de Recherche IFR-06/99, IRIN, Juin 1999. (104 pages).
[AR00]
Pascal André and Jean-Claude Royer. An Algebraic Approach to Heterogeneous Software Systems. Rapport de Recherche RR-07-00, IRIN, juin 2000.
[ARRV00a]
Pascal André, Annya Romanczuk, Jean-Claude Royer, and Aline Vasconcelos. An Algebraic View of UML Class Diagrams. In H. Sahraoui C. Dony, editor, Acte de la conférence LMO’2000, pages 261–276, January 2000. ISBN 2-6462-0093-7.
[ARRV00b]
Pascal André, Annya Romanczuk, Jean-Claude Royer, and Aline Vasconcelos. Checking the Consistency of UML Class Diagrams Using Larch Prover. In T. Clark, editor, Proceedings of the third Rigorous Object-Oriented Methods Workshop, BCS eWics, January 2000.
[AV01a]
Pascal André and Alain Vailly. Conception de systèmes d’information ; Panorama des méthodes et des techniques, volume 1 of Collection Technosup. Editions Ellipses, 2001. ISBN 2-7298-0479-X.
[AV01b]
Pascal André and Alain Vailly. Spécification des logiciels ; Deux exemples de pratiques récentes : Z et UML, volume 2 of Collection Technosup. Editions Ellipses, 2001. ISBN 2-7298-0774-8.
[AV02]
Pascal André and Alain Vailly. Exercices corrigés de conception logicielle ; Modélisation des Systèmes d’Information par la pratique, volume 3 of Collection Technosup. Editions Ellipses, 2002. ISBN 2-7298-1289-X.
[AV03a]
Pascal André and Alain Vailly. Exercices corrigés en UML ; Passeport pour une maîtrise de la notation., volume 5 of Collection Technosup. Editions Ellipses, 2003. ISBN 2-7298-1725-5.
[AV03b]
Pascal André and Alain Vailly. Partie 2 de l’ouvrage collectif Piloter les technologies de l’informatique et des télécoms, Chapitre de livre 6 : Etudes de cas : Développement de logiciel avec UML, page 56 pages. Editions WEKA, Novembre 2003.
[AV03c]
Pascal André and Alain Vailly. Partie 7 de l’ouvrage collectif Piloter les technologies de l’informatique et des télécoms, Chapitre de livre 10 : Développement de logiciel avec UML, page 59 pages. Editions WEKA, Novembre 2003.
[AV04]
Pascal André and Alain Vailly. Exercices corrigés en langage Z ; Les spécifications formelles par la pratique, volume 4 of Collection Technosup. Editions Ellipses, 2004. ISBN 2-7298-1942-8.
[BBG+94]
Bruno Bonnin, J.C. Broquaire, Raymond Gueguen, Isabelle Mainguet, and Vincent Sevel. Asfo : un atelier de spécification formelle et conception à objets. Rapport de projet industriel de dess génie informatique, Université de Nantes, March 1994.
[BD98]
Sébastien Boucard and Nicolas Dezaire. Apports au modèle tag sous visualworks. Rapport de projet de maîtrise informatique, Université de Nantes, May 1998.
[HA04]
Henri Habrias and Pascal André. Préconditions et invariants, l’écriture de contraintes mal adaptées à un paradigme de spécification. In 22e congrès INFORSID, Biarritz, France, May 2004. Hermès. ISBN 2-906855-20-0.
[JLR92]
Michel Jacobin, Vincent Legeleux, François and.Lescalier, and Jean-Luc Ricoeur. Projet asfo : Rapport de projet industriel. Rapport de projet industriel de dess génie informatique, Université de Nantes, March 1992.
[JPS+98]
Anthony Julou, Johane Porhel, Nicolas Simon, Pascal Brouwet, Saïda Necib, and Yannick Hereus. Projet asfo : Rapport de projet industriel. Rapport de projet industriel de dess génie informatique, Université de Nantes, March 1998.
[MAA10a]
Mohamed Messabihi, Pascal André, and Christian Attiogbé. Multi-levels Contracts for Trusted Components. In Workshop on Component and Service Interoperability, EPTCS, 2010. to be published.
[MAA10b]
Mohamed Messabihi, Pascal André, and Christian Attiogbé. Preuve de cohérence de composants Kmelia à l’aide de la méthode B. In 4ème Conférence Francophone sur les Architectures Logicielles, volume RNTI-L-4 of Revue des Nouvelles Technologies de l’Information, pages 113–126. Cépaduès-Éditions, 2010.
[PMA+99]
Dominique Pelletier, Stéphanie Mahévas, Pascal André, Joël Bayon, Benjamin Poussin, and Jean-Claude Royer. Developing a computer-based simulation model to explore spatial and seasonal management measures in a mixed fishery. In 19ème Lowell Wakefield Symposium, Anchorage, Alaska, October 1999.
Ce document a été traduit de LATEX par HEVEA