Publications de

Pascal André

—

Voici un certain nombre de publications ont été réalisées ou sont en cours au January 24, 2013. En voici une liste.

1 Ouvrages, revues

Les ouvrages ou chapitres publiés ou en cours:

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

Les articles publiés dans des revues :

  1. TSI [AAA11]
  2. FACS 09 [AAAL10a]
  3. WCAT’07 [AAA07c] [wcat07.ps.zip]
  4. L’OBJET [AR96b][lobjet96.ps.gz]
  5. TSI [ABR95][tsi95.ps.gz]
  6. STUDIA "BABES-BOLYAI" [ACCR94b]

Les volumes édités dans des revues :

  1. L’OBJET [AA08]
  2. L’OBJET [AR00]

2 Articles

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

  1. IDM 2011 [AAM11]
  2. FACS’10 [AAM10]
  3. ASM 2010 [AAAL10b]
  4. WCSI 2010 [MAA10b]
  5. WCRE 2009 [ARA+09]
  6. FACS’09 [AAAL10a] [facs09.pdf.zip]
  7. CAL’09 [AAAM09] [cal09.pdf.zip]
  8. SC’08 [AAA08] [sc08.pdf.zip]
  9. ProveCS’07 [AAA07b] [provecs07.pdf.zip]
  10. LMO’07 [AAA07a] [lmo07.pdf.zip]
  11. SC’07 [AAA07d] [sc07.pdf.zip]
  12. CAL’06 [AAA06b] [cal06.ps.zip]
  13. WCAT’06 [AAA06a] [wcat06.ps.zip]
  14. OTJ’06 [AH06] [otj06.ps.zip]
  15. MOSIM’06 [AAA06c] [mosim06.ps.zip]
  16. SC’06 [AAA06d] [sc06.ps.zip]
  17. C@MoDE’05( [AA05] [camode05.ps.zip]
  18. WESC’05 [AAA05b] [wesc05.ps.zip]
  19. OCM/LMO’05 [AAA+05a] [ocm05.ps.zip]
  20. IASSE’04 [AAS04] [iasse04.ps.zip]
  21. Inforsid’04 [HA04] [inforsid04.ps.zip]
  22. LMO’2K [ARRV00a] [lmo00Draft.ps.zip]
  23. ROOM 2000 [ARRV00b] [room3.ps.gz] et un complément [rr187.ps.gz]
  24. Anchorage’99 [PMA+99]
  25. WADT’99 [AR99][wadt99PA.ps.gz]
  26. Invoice’98 [AR98][invoice98.ps.gz]
  27. LMO’96 [And96][lmo96.ps.gz]
  28. GDR Programmation 95 [AR95b][gdr95.ps.gz]
  29. ICC’95 [AR95a][icc95.ps.gz]
  30. Contim’94 [ACCR94a][conti94Draft.ps.gz]
  31. JMLC’94 [ACR94][jmlc94.ps.gz]
  32. JFLA’94 [AR94b][jfla94.ps.gz]
  33. OOSLA’92 [AR92][oopsla92.ps.gz]

3 Thèses, autres communications

Les thèses :

  1. Thèse [Mes11] (co-encadrement) [thesemm.pdf]
  2. Thèse [And95].[these.pdf]

Autres communications dans des colloques :

  1. GDR GPL 2010 [MAA10a][gdr-gpl-2010opt.pdf]
  2. Groupe COSMAL 2009 [ALM09][cosmal09.pdf]
  3. GDR Programmation 1994 [AR94a][gdr94.ps.gz]

References

[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. No spécial Composants, services et aspects. Techniques et outils pour la vérification.

[AAA+05a]   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.

[AAA05b]    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, pages –, 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, volume 4829 of Lecture Notes in Computer Science, pages 2–17. Springer Verlag, 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, volume 4954 of Lecture Notes in Computer Science, pages 125–140. Springer Verlag, 2008.

[AAA11]    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 Informatiques, 30(6):627–658, 2011.

[AAAL10a]   Pascal André, Gilles Ardourel, Christian Attiogbé, and Arnaud Lanoix. Using assertions to enhance the correctness of kmelia components and their assemblies. Electr. Notes Theor. Comput. Sci., 263:5–30, 2010.

[AAAL10b]   Pascal André, Gilles Ardourel, Christian Attiogbé, and Arnaud Lanoix. Using event-b to verify the kmelia components and their assemblies. In Proceedings of ABZ 2010, volume 5977 of Lecture Notes in Computer Science, page 410. Springer, 2010.

[AAAM09]    Pascal André, Gilles Ardourel, Christian Attiogbé, and Messabihi Mohamed. Correction d’assemblages de composants impliquant des interfaces paramétrées. In 3e 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.

[AAM10]    Pascal André, Gilles Ardourel, and Mohamed Messabihi. Component Service Promotion: Contracts, Mechanisms and Safety. In 7th International Workshop on Formal Aspects of Component Software(FACS 2010), volume 6921 of LNCS, pages 145–162. Springer, 2010.

[AAM11]    Pascal André, Gilles Ardourel, and Mohamed Messabihi. Véridication de contrats logiciels à lŠaide de transformations de modèles. In Actes des 7e journées sur l’ingénierie des modèles, IDM 2011, edité par Ileana Ober, pages 115–120. IRIT, 2011.

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

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

[ALM09]    Christian André, Pascal aand Attiogbé, Arnaud Lanoix, and Messabihi Mohamed. Prise en compte dŠassertions pour la correction dŠassemblages de composants kmelia. In Journée thématique Composition d’objets, de composants et de services, Toulouse, 2009. Groupe de travail COSMAL (Composants Objets Services : Modèles, Architectures et Langages).

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

[And96]    Pascal André. Vers un modèle formel en analyse à objets. In LMO’96 Proceedings, pages 62–78, Leysin, Suisse, October 1996.

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

[AR94a]    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.

[AR94b]    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. 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.

[AR95b]    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.

[AR98]    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.

[AR99]    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.

[AR00]    Pascal André and Roger Rousseau. Éditorial. L’OBJET, 6(1), 2000. No spécial Formal Methods for objects.

[ARA+09]    Nicolas Anquetil, Jean-Claude Royer, Pascal André, Gilles Ardourel, Petr Hnetynka, Tomás Poch, Dragos Petrascu, and Vladiela Petrascu. Javacompext: Extracting architectural elements from java source code. In Andy Zaidman, Giuliano Antoniol, and Stéphane Ducasse, editors, WCRE, pages 317–318. IEEE Computer Society, 2009.

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

[AV13]    Pascal André and Alain Vailly. Développement de logiciel avec UML2 et OCL ; cours et exercices corrigés, volume X of Collection Technosup. Editions Ellipses, 2013. ISBN XX.

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

[MAA10a]    Mohamed Messabihi, Pascal André, and Christian Attiogbé. Correction d’assemblages de composants impliquant des données et assertions. In Actes des journées nationales 2010 du GDR GPL, pages 87–101, Pau, 10-12 mars 2010.

[MAA10b]    Mohamed Messabihi, Pascal André, and Christian Attiogbé. Multilevel contracts for trusted components. In Proceedings International Workshop on Component and Service Interoperability, volume 37 of EPTCS, pages 71–85, 2010.

[Mes11]    Mohamed El-Habib Messabihi. Contribution à la spécification et à la vérification des logiciels à base de composants : enrichissement du langage de données de Kmelia et vérification de contrats. Thèse de doctorat, Université de Nantes, 4 juillet 2011. préparée au LINA - Université de Nantes.

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