Nombre de documents

51

CV de Pascal Andre


Thèse1 document

  • Pascal Andre. Méthodes formelles et à objets pour le développement du logiciel :. Génie logiciel [cs.SE]. Université Rennes 1, 1995. Français. <tel-00006148>

Communication dans un congrès32 documents

  • Pascal Andre, Jean-Marie Mottu, Gerson Sunyé. COSTOTest: a tool for building and running test harness for service-based component models (demo). ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis, Jul 2016, Saarbrücken, Germany. ACM, pp.437-440, 2016, <10.1145/2931037.2948704>. <hal-01436067>
  • Ali Mahfouf, Pascal André, Géraldine Faure. Numerical calculation of the transport coefficients in thermal plasmas. The 9th International Student Conference on Advanced Science and Technology., Dec 2014, Clermont-Ferrand, France. 2014. <hal-01111210>
  • Pascal Andre, Gilles Ardourel, Jean-Marie Mottu. Assistance au test de modèles à composants et services. 2ème Conférence en IngénieriE du Logiciel, Apr 2013, Nancy, France. pp.13-28, 2013. <hal-00823319>
  • Pascal Andre, Jean-Marie Mottu, Gilles Ardourel. Building Test Harness From Service-based Component Models. Frédéric Boulanger and Michalis Famelis and Daniel Ratiu. MoDeVVa 2013 Workshop on Model Driven Engineering, Verification and Validation, Oct 2013, Miami, United States. 1069, pp. 11-20, ISSN 1613-0073, 2013, CEUR Workshop Proceedings. <hal-00918505>
  • Pascal André, Gilles Ardourel, Christian Attiogbe, Arnaud Lanoix. Contract-based Verification of Kmelia Component Assemblies using Event-B. FESCA @ Etaps2010, Mar 2010, Paphos, Greece. pp.1, 2010. <hal-00483755>
  • Stéphane Clain, David Rochette, Rachid Touzani, Mario Lino da Silva, Damien Vacher, et al.. A numerical simulation of axisymmetric ICP torches. Fifth European Conference on Computational Fluid Dynamics ECCOMAS CFD 2010, Jun 2010, Lisbonne, Portugal. pp.1-12, 2010. <hal-00578799>
  • Mohamed Messabihi, Pascal André, Christian Attiogbé. Multi-levels Use of Contracts for Trusted Components. Workshop on Component and Service Interoperability, Jun 2010, Malaga, Spain. 37, pp.71-85, 2010, <10.4204/EPTCS.37>. <hal-00488125>
  • Mohamed Messabihi, Pascal André, Christian Attiogbé. Preuve de cohérence de composants Kmelia à l'aide de la méthode B. 4e Conférence Francophone sur les Architectures Logicielles, Mar 2010, Pau, France. Cépaduès-Editions, RNTI (L-4), pp.113-126, 2010, Revue des Nouvelles Technologies de L'Information. <hal-00487359>
  • Pascal André, Nicolas Anquetil, Gilles Ardourel, Jean-Claude Royer, Petr Hnetynka, et al.. JavaCompExt: Extracting Architectural Elements from Java Source Code. WCRE, Oct 2009, Lille, France. IEEE, pp.317-318, 2009, <10.1109/WCRE.2009.53>. <hal-00457219>
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix. Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. 6th International Workshop on Formal Aspects of Component Software (FACS 2009), Oct 2009, Eindhoven, Netherlands. Springer, to appear, 2009, Lecture Notes in Computer Science. <hal-00423672>
  • Pascal André, Christian Attiogbé, Mohamed Messabihi. Correction d'assemblages de composants impliquant des interfaces paramétrées. 3e Conférence Francophone sur les Architectures Logicielles, Mar 2009, Nancy, France. Cépaduès-Editions, RNTI-L-4 (ISBN 978-2-85428-887-2), pp.34--44, 2009, Revue des Nouvelles Technologies de l'Information. <hal-00423658>
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé. Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. Markus Lumpe and Wim Vanderperren. Software Composition, 6th International Symposium, SC 2007, Mar 2007, Braga, Portugal. Springer Berlin / Heidelberg, 4829, pp.2-17, 2007, LNCS. <10.1007/978-3-540-77351-1>. <hal-00397713>
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé. A Formal Analysis Toolbox for the Kmelia Component Model. Christian Attiogbé et Daniel Kröning. ProVeCS 2007 - Satellite Event of TOOLS Europe, Jun 2007, Zürich, Switzerland. pp.10-25, 2007. <hal-00423690>
  • Pascal André, Gilles Ardourel, Christian Attiogbé. Protocoles d'utilisation de composants : spécification et analyse en Kmelia. Isabelle Borne, Xavier Crégut, Sophie Ebersold et Frédéric Migeon. 13e Conférence Francophone sur les Langages et Modèles à Objets, Mar 2007, Toulouse, France. Hermès - Lavoisier, pp.19-34, 2007. <hal-00423643>
  • Christian Attiogbé, Pascal André, Gilles Ardourel. Checking Component Composability. 5th International Symposium on Software Composition, Mar 2006, Vienne, Austria. Springer Berlin / Heidelberg, 4089, pp.18-33, 2006, LNCS. <10.1007/11821946>. <hal-00397694>
  • Pascal André, Henri Habrias. Application d'ontologies formelles au droit. SDC'06 Journée sur les Ontologies et textes juridiques, OTJ'06, 2006, Nantes, France, France. pp.30--39, 2006. <hal-00458123>
  • Pascal André, Gilles Ardourel, Christian Attiogbé. Vérification d'assemblage de composants logiciels Expérimentations avec MEC. 6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, 2006, Rabat, Maroc, Maroc. Lavoisier, pp.497--506, 2006. <hal-00458119>
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé. Composing Components with Shared Services in the Kmelia Model. Cesare Pautasso and Eric Tanter. Software Composition, 7th International Symposium, SC 2008, Mar 2006, Budapest, Hungary. Springer, 4954, pp.125-140, 2008, Lecture Notes in Computer Science. <10.1007/978-3-540-78789-1_9>. <hal-00423639>
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé. Protocoles d'utilisation de composants : spécification et analyse en Kmelia. Mourad Chabane Oussalah, Flavio Oquendo, Dalila Tamzalit etTahar Khammaci. 1ère Conférence Francophone sur les Architectures Logicielles, Sep 2006, Nantes, France. Hermès - Lavoisier, pp.101--118, 2006, Science. <hal-00423665>
  • Pascal André, Patrick Lacroix-Desmazes, Darlene K. Taylor, Bernard Boutevin. Abnormal micellization in compressed CO2: solubility of homopolymer and block copolymer. ISASF. 10th European Meeting on Supercritical Fluids, Dec 2005, Colmar, France. pp.CD-Rom, 2005. <hal-00381006>
  • Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, Cédric Stoquer. Vérification de conformité des interactions entre composants. Collet, Philippe and Lahire, Philippe. LMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse. pp.1-6, 2005. <hal-00458121>
  • Pascal André, Gilles Ardourel, Christian Attiogbé. Behavioural Verification of Service Composition. ICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Netherlands. IBM Research Report RC23821, pp.77--84, 2005. <hal-00458120>
  • Pascal André, Gilles Ardourel. Domain Based Verification for UML Models. Kuzniarz, Ludwik and Reggio, Gianna and Sourrouille, Jean-Louis and Staron, Miroslaw. 2005, Nuremberg, Germany. pp.47--62, 2005. <hal-00458118>
  • Pascal André, Gilles Ardourel, Gerson Sunyé. The Bosco Project - A JMI-Compliant Template-based Code Generator. 13th Int. Conf. on Intelligent and Adaptative Systems and Software Engineering. (IASSE-2004, 2004, Nice, France. pp.157-162, 2004. <hal-00448041>
  • Pascal André, Gilles Ardourel, Gerson Sunye. The Bosco Project, A JMI-Compliant Template-based Code Generator. ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004, Nice, France, France. pp.157--162, 2004. <hal-00458122>
  • Henri Habrias, Pascal André. Préconditions et invariants, l'écriture de contraintes mal adaptées à un paradigme de spécification. 22e congrès INFORSID, 2004, Biarritz, France, France. her, pp.387--403, 2004. <hal-00467549>
  • Pascal André, Annya Réquilé Romanczuk, Jean-Claude Royer, Vasconcelos Aline. Checking the Consistency of UML Class Diagrams Using Larch Prover. T. Clark". Third Rigorous Object-Oriented Methods Workshop, 2000, York, United Kingdom. BCS eWics. <hal-01135641>
  • Pascal André, Annya Réquilé Romanczuk, Jean-Claude Royer, Vasconcelos Aline. An Algebraic View of UML Class Diagrams. C. Dony, H. Sahraoui. Langages et Modèles à Objets, 2000, Montréal, Canada. pp.261-276. <hal-01135647>
  • Pascal André, Jean-Claude Royer. The Invoicing System: Using GAT. Michel Allemand, Christian Attiogbé, and Henri Habrias. Comparing Systems Specification Techniques, 1998, Nantes, France. pp.381-395, Comparing Systems Specification Techniques: "What questions are prompted by ones particular method of specification?". <hal-01135557>
  • Pascal Andre, Jean-Claude Royer. La modélisation des listes en programmation par objet. Pierre Cointe, Christian Queinnec, Bernard Serpette. Journées Francophones des Langages Applicatifs, Jan 1994, Noirmoutier, France. 11, pp.259-285, INRIA, Collection Didactique. <hal-01135544>
  • Pascal André, Dan Chiorean, Jean-Claude Royer. The Formal Class Model. Joint Modular Languages Conference, Modula, Oberon \& friends, Sep 1994, Ulm, Germany. pp.59-78, ISBN 3-89559-220-X. <hal-01135547>
  • Pascal André, Jean-Claude Royer. Optimizing Method Search with Lookup Caches and Incremental Coloring. 110-126, Oct 1992, Vancouver, Canada. ACM Press, 27 (10), pp.110-126, OOPSLA'92 Proceedings. <10.1145/141937.141947>. <hal-01135528>

Article dans une revue6 documents

  • Nadezda Varkentina, Thierry Cardinal, Fabien Moroté, Patrick Mounaix, Pascal André, et al.. Examination of femtosecond laser matter interaction in multipulse regime for surface nanopatterning of vitreous substrates. Optics Express, Optical Society of America, 2013, 21 (24), pp.29090-29100. <10.1364/OE.21.029090>. <hal-00909676>
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix. Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. ENTCS, 2010, 263, pp.5-30. <10.1016/j.entcs.2010.05.002>. <hal-00505336>
  • Pascal Andre, Gilles Ardourel, Christian Attiogbé. Adaptation for Hierarchical Components and Services. Electronic Notes in Theoretical Computer Science, Elsevier, 2007, 189, pp.5--20. <10.1016/j.entcs.2007.05.045>. <hal-00423697>
  • Pascal André, Patrick Lacroix-Desmazes, Darlene K. Taylor, Bernard Boutevin. Solubility of fluorinated homopolymer and block copolymer in compressed CO2. Journal of Supercritical Fluids, Elsevier, 2006, 37 (2), pp.263-270. <10.1016/j.supflu.2005.08.007>. <hal-00179170>
  • Pascal André, Jean-Claude Royer. Un point de vue sur les méthodes formelles à Objets. Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 1996, 2 (4), pp.5-12. <hal-00444069>
  • Pascal André, Franck Barbier, Jean-Claude Royer. Une expérimentation de développement formel à objets. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 1995, 14 (8), pp.973-1005. <hal-00444074>

Direction d'ouvrage, Proceedings2 documents

  • Pascal André, Christian Attiogbé. Composants, services et aspects Techniques et outils pour la vérification. Hermès - Lavoisier, pp.130, 2008. <hal-00457209>
  • Christian Attiogbe, Pascal Andre. L'Objet : Composants, services et aspects. Lavoisier, Hermes, pp.128, 2008. <hal-00482908>

Rapport3 documents

  • Pascal André, Yannick Deshayes. Etude de la faisabilité de protection de disque optique polymère avec sol-gel. [Rapport de recherche] IMS; Polyrise. 2014. <hal-01096118>
  • Pascal André, Yannick Deshayes. Etude de la mise en place d’un Laser beam recorder avec Laser femtoseconde. [Rapport de recherche] IMS. 2013. <hal-01096115>
  • Pascal André, Nadezda Varkentina, Lionel Canioni, Yannick Deshayes. Etude de la faisabilité d’inscription de donnée numérique en surface par Laser femtoseconde. [Rapport de recherche] IMS; LOMA. 2013. <hal-01096105>

Pré-publication, Document de travail1 document

  • Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, Cédric Stoquer. A Service-Based Component Model: Formalism, Analysis and Mechanization. RR 05.08. 2006. <hal-00023153>

Ouvrage (y compris édition critique et traduction)2 documents

  • Pascal André, Alain Vailly. Exercices corrigés en langage Z - Les spécifications formelles par la pratique. Editions Ellipses, pp.246, 2004, Collection Technosup. <hal-00458124>
  • Pascal André, Alain Vailly. Exercices corrigés en UML - Passeport pour une maîtrise de la notation.. Editions Ellipses, pp.310, 2003, Collection Technosup. <hal-00458125>

Autre publication3 documents

  • Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, Cédric Stoquer. Vérification de conformité des interactions entre composants. \url. 2005. <hal-00458115>
  • Pascal André, Gilles Ardourel, Christian Attiogbé, Henri Habrias, Cédric Stoquer. A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization. \url. 2005. <hal-00458116>
  • Pascal André, Gilles Ardourel, Gerson Sunye. Un cadre pour la vérification de modèles UML. \url. 2005. <hal-00458117>

Chapitre d'ouvrage1 document

  • Pascal André, Jean-Claude Royer. Objets et spécifications formelles. Ingénierie Objet, Concepts et techniques, 1997, 2-7296-60642-4. <hal-01135550>