Home » Fiche   membre
Fiche   membre Retour à l'annuaire  

Pascal ANDRE

ENSEIGNANT-CHERCHEUR


: Pascal.Andreatls2n.fr

Page pro : https://pagesperso.ls2n.fr/~andre-p/fr/index.html

Adresse :




Publications référencées sur HAL

Revues internationales avec comité de lecture (ART_INT)

    • [1] A. Bah, P. Andre, C. Attiogbé, J. Konaté. Service Promotion in a Federation of Security Domains. In Revue Africaine de Recherche en Informatique et Mathématiques Appliquées ; éd. INRIA, 2021, vol. Volume 34 - 2020 - Special Issue CARI 2020.
      https://hal.archives-ouvertes.fr/hal-02928753v4
    • [2] P. Andre, C. Attiogbé, A. Lanoix. A tool-assisted method for the systematic construction of critical embedded systems using Event-B. In Computer Science and Information Systems ; éd. ComSIS Consortium, 2019, num. 00.
      https://hal.archives-ouvertes.fr/hal-02468473
    • [4] R. Kim, H. Kim, I. Bae, S. Hwang, D. Velusamy, S. Cho, K. Takaishi, T. Muto, D. Hashizume, M. Uchiyama, P. André, F. Mathevet, B. Heinrich, T. Aoyama, D. Kim, H. Lee, J. Ribierre, C. Park. Non-volatile organic memory with sub-millimetre bending radius. In Nature Communications ; éd. Nature Publishing Group, 2014, vol. 5.
      https://hal.archives-ouvertes.fr/hal-01719578
    • [5] N. Varkentina, T. Cardinal, F. Moroté, P. Mounaix, P. André, Y. Deshayes, L. Canioni. Examination of femtosecond laser matter interaction in multipulse regime for surface nanopatterning of vitreous substrates. In Optics Express ; éd. Optical Society of America - OSA Publishing, 2013, vol. 21, num. 24.
      https://hal.archives-ouvertes.fr/hal-00909676
    • [6] P. Andre, G. Ardourel, C. Attiogbé, A. Lanoix. Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. In Electronic Notes in Theoretical Computer Science ; éd. Elsevier, 2010, vol. 263.
      https://hal.archives-ouvertes.fr/hal-00505336

Revues nationales avec comité de lecture (ART_NAT)

    • [8] P. Andre, G. Ardourel, C. Attiogbé. Kmelia : un modèle abstrait et formel pour la description et la composition de compo-sants et de services. In Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques ; éd. Lavoisier, 2011, vol. 30, num. 6.
      https://hal.archives-ouvertes.fr/hal-01147205
    • [9] P. André, J. Royer. Un point de vue sur les méthodes formelles à Objets. In Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux ; éd. Hermès-Lavoisier, 1996, vol. 2, num. 4.
      https://hal.archives-ouvertes.fr/hal-00444069
    • [10] P. André, F. Barbier, J. Royer. Une expérimentation de développement formel à objets. In Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques ; éd. Lavoisier, 1995, vol. 14, num. 8.
      https://hal.archives-ouvertes.fr/hal-00444074

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [11] M. Tebib, P. Andre, O. Aktouf, M. Graa. Assisting Developers in Preventing Permissions Related Issues in Android Applications. In 13th International Workshop on Software Engineering for Resilient Systems SERENE 2021 - 17th European Dependable Computing Conference (EDCC), septembre 2021, Munich (en ligne), Allemagne.
      https://hal.archives-ouvertes.fr/hal-03290122
    • [12] P. Andre, M. Tebib. Refining Automation System Control with MDE. In 8th International Conference on Model-Driven Engineering and Software Development, février 2020, Valletta, Malte.
      https://hal.archives-ouvertes.fr/hal-02940826
    • [13] A. Bah, P. André, C. Attiogbé, J. Konate. Service Promotion in a Federation of Security Domains. In Colloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées, octobre 2020, Thiès, Sénégal.
      https://hal.archives-ouvertes.fr/hal-02909605
    • [14] P. Andre. Case Studies in Model-Driven Reverse Engineering. In 7th International Conference on Model-Driven Engineering and Software Development, février 2019, Prague, République tchèque.
      https://hal.archives-ouvertes.fr/hal-02468440
    • [15] J. Mottu, P. Andre, M. Coutant, T. Le Berre. Shall We Test Service-Based Models or Generated Code?. In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), septembre 2019, Munich, Allemagne.
      https://hal.archives-ouvertes.fr/hal-02434955
    • [16] P. Andre, Y. Le Bars. Conception assistée de contrôleurs d'automates depuis des modèles UML. In MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, novembre 2019, Angers, France.
      https://hal.archives-ouvertes.fr/hal-02431942
    • [17] P. Andre, J. Pepin, C. Attiogbé, E. Breton. Virtual Extension of Meta-models with Facet Tools. In 6th International Conference on Model-Driven Engineering and Software Development, janvier 2018, Funchal, Portugal.
      https://hal.archives-ouvertes.fr/hal-01911500
    • [18] P. Andre, C. Attiogbé, A. Lanoix. Systematic Construction of Critical Embedded Systems Using Event-B. In New Trends in Model and Data Engineering - MEDI 2018 Workshops: DETECT, MEDI4SG, IWCFS, REMEDY, octobre 2018, Marrakesh, Maroc.
      https://hal.archives-ouvertes.fr/hal-01929259
    • [19] M. El Amin Tebib, P. Andre, O. Cardin. A Model Driven Approach for Automated Generation of Service-Oriented Holonic Manufacturing Systems. In SOHOMA 2018 - International Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, juin 2018, Bergamo, Italie.In Theodor Borangiu, Damien Trentesaux, André Thomas, Sergio Cavalieri (éds.), . Springer, 2018.
      https://hal.archives-ouvertes.fr/hal-01959122v2
    • [20] P. Andre, C. Attiogbe, J. Mottu. Combining Techniques to Verify Service-based Components. In MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development, février 2017, Porto, Portugal.
      https://hal.archives-ouvertes.fr/hal-01628303
    • [21] P. Andre, O. Cardin. Trusted Services for Cyber Manufacturing Systems. In SOHOMA’17 Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, octobre 2017, Nantes, France.
      https://hal.archives-ouvertes.fr/hal-01690903
    • [22] P. Andre, J. Mottu, G. Sunyé. COSTOTest: a tool for building and running test harness for service-based component models (demo). In ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis, juillet 2016, Saarbrücken, Allemagne.
      https://hal.archives-ouvertes.fr/hal-01436067
    • [23] P. Andre, J. Pepin, C. Attiogbé, E. Breton. A Method for Business-IT Alignment of Legacy Systems. In 17th International Conference on Enterprise Information Systems, avril 2015, Barcelona, France.
      https://hal.archives-ouvertes.fr/hal-01911502
    • [24] A. Mahfouf, P. André, G. Faure. Numerical calculation of the transport coefficients in thermal plasmas. In The 9th International Student Conference on Advanced Science and Technology., décembre 2014, Clermont-Ferrand, France.
      https://hal.archives-ouvertes.fr/hal-01111210
    • [26] P. Andre, J. Mottu, G. Ardourel. Building Test Harness From Service-based Component Models. In MoDeVVa 2013 Workshop on Model Driven Engineering, Verification and Validation, octobre 2013, Miami, états-Unis.In Frédéric Boulanger and Michalis Famelis and Daniel Ratiu (éds.), Proceedings of the 10th International Workshop on Model Driven Engineering, Verification and Validation co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013). , 2013.
      https://hal.archives-ouvertes.fr/hal-00918505
    • [28] S. Clain, D. Rochette, R. Touzani, M. Lino da Silva, D. Vacher, P. André. A numerical simulation of axisymmetric ICP torches. In Fifth European Conference on Computational Fluid Dynamics ECCOMAS CFD 2010, juin 2010, Lisbonne, Portugal.
      https://hal.archives-ouvertes.fr/hal-00578799
    • [29] M. Messabihi, P. André, C. Attiogbé. Multi-levels Use of Contracts for Trusted Components. In Workshop on Component and Service Interoperability, juin 2010, Malaga, Espagne.In EPTCS, vol. 37. 29-06-2010
      https://hal.archives-ouvertes.fr/hal-00488125
    • [30] P. Andre, G. Ardourel, C. Attiogbé, A. Lanoix. Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. In 6th International Workshop on Formal Aspects of Component Software (FACS 2009), octobre 2009, Eindhoven, Pays-Bas.
      https://hal.archives-ouvertes.fr/hal-00423672
    • [31] P. André, N. Anquetil, G. Ardourel, J. Royer, P. Hnetynka, T. Poch, D. Petrascu, V. Petrascu. JavaCompExt: Extracting Architectural Elements from Java Source Code. In WCRE, octobre 2009, Lille, France.
      https://hal.archives-ouvertes.fr/hal-00457219
    • [32] P. Andre, G. Ardourel, C. Attiogbé. Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. In Software Composition, 6th International Symposium, SC 2007, mars 2007, Braga, Portugal.In Markus Lumpe and Wim Vanderperren (éds.), Software Composition. Springer Berlin / Heidelberg, 2007.
      https://hal.archives-ouvertes.fr/hal-00397713
    • [33] P. Andre, G. Ardourel, C. Attiogbé. A Formal Analysis Toolbox for the Kmelia Component Model. In ProVeCS 2007 - Satellite Event of TOOLS Europe, juin 2007, Zürich, Suisse.In Christian Attiogbé et Daniel Kröning (éds.), ProVeCS 2007 - Satellite Event of TOOLS Europe. , 2007.
      https://hal.archives-ouvertes.fr/hal-00423690
    • [34] P. André, G. Ardourel, C. Attiogbé. Vérification d'assemblage de composants logiciels Expérimentations avec MEC. In 6e conférence francophone de MOdélisation et SIMulation, MOSIM 2006, 2006, Rabat, Maroc, Maroc.
      https://hal.archives-ouvertes.fr/hal-00458119
    • [36] P. Andre, G. Ardourel, C. Attiogbé. Composing Components with Shared Services in the Kmelia Model. In Software Composition, 7th International Symposium, SC 2008, mars 2006, Budapest, Hongrie.In Cesare Pautasso and Eric Tanter (éds.), 7th International Symposium on Software Composition, SC'08. Springer, 2006.
      https://hal.archives-ouvertes.fr/hal-00423639
    • [37] P. André, G. Ardourel, C. Attiogbé. Behavioural Verification of Service Composition. In ICSOC Workshop on Engineering Service Compositions, WESC'05, 2005, Amsterdam, The Netherlands, Pays-Bas.
      https://hal.archives-ouvertes.fr/hal-00458120
    • [38] P. André, G. Ardourel, C. Attiogbé, H. Habrias, C. Stoquer. Vérification de conformité des interactions entre composants. In LMO Workshop (Objets, Composants et Modèles), OCM'05, 2005, Berne, Suisse, Suisse.In Collet, Philippe and Lahire, Philippe (éds.), Actes du Workshop (Objets, Composants et Modèles), OCM'05. , 2005.
      https://hal.archives-ouvertes.fr/hal-00458121
    • [39] P. André, P. Lacroix-Desmazes, D. Taylor, B. Boutevin. Abnormal micellization in compressed CO2: solubility of homopolymer and block copolymer. In 10th European Meeting on Supercritical Fluids, décembre 2005, Colmar, France.In ISASF (éds.), 10th European Meeting on Supercritical Fluids, Proceedings (ISASF). , 2005.
      https://hal.archives-ouvertes.fr/hal-00381006
    • [40] P. André, G. Ardourel, G. Sunye. The Bosco Project, A JMI-Compliant Template-based Code Generator. In ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004, Nice, France, France.
      https://hal.archives-ouvertes.fr/hal-00458122
    • [41] P. André, A. Romanczuk, J. Royer, V. Aline. An Algebraic View of UML Class Diagrams. In Langages et Modèles à Objets, 2000, Montréal, Canada.In C. Dony, H. Sahraoui (éds.), . , 2000.
      https://hal.archives-ouvertes.fr/hal-01135647
    • [42] P. André, A. Romanczuk, J. Royer, V. Aline. Checking the Consistency of UML Class Diagrams Using Larch Prover. In Third Rigorous Object-Oriented Methods Workshop, 2000, York, Royaume-Uni.In T. Clark" (éds.), . , 2000.
      https://hal.archives-ouvertes.fr/hal-01135641
    • [43] P. André, J. Royer. The Invoicing System: Using GAT. In Comparing Systems Specification Techniques, 1998, Nantes, France.In Michel Allemand, Christian Attiogbé, and Henri Habrias (éds.), . , 1998.
      https://hal.archives-ouvertes.fr/hal-01135557

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [46] J. Pepin, P. Andre, C. Attiogbé, E. Breton. Alignement des points de vue du système d'information Une approche pragmatique. In Actes du XXXVIème Congrès INFORSID, mai 2018, Nantes, France.
      https://hal.archives-ouvertes.fr/hal-02468406
    • [47] P. Andre, G. Ardourel, J. Mottu, G. Sunyé. Un outil d'assistance à la construction de tests de modèles à composants et services. In 16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, juin 2017, Montpellier, France.
      https://hal.archives-ouvertes.fr/hal-01628306
    • [48] P. Andre, G. Ardourel, M. Messabihi. Vérification de contrats logiciels à l'aide de transformations de modèles Application à Kmelia. In 7ièmes Journées sur l'Ingénierie Dirigée par les Modèles, juin 2011, Toulouse, France.In Ileana Ober (éds.), . , 2011.
      https://hal.archives-ouvertes.fr/hal-01147192
    • [49] M. Messabihi, P. André, C. Attiogbé. Preuve de cohérence de composants Kmelia à l'aide de la méthode B. In 4e Conférence Francophone sur les Architectures Logicielles, mars 2010, Pau, France.
      https://hal.archives-ouvertes.fr/hal-00487359
    • [50] P. André, C. Attiogbé, M. Messabihi. Correction d'assemblages de composants impliquant des interfaces paramétrées. In 3e Conférence Francophone sur les Architectures Logicielles, mars 2009, Nancy, France.
      https://hal.archives-ouvertes.fr/hal-00423658
    • [51] P. André, G. Ardourel, C. Attiogbé. Protocoles d'utilisation de composants : spécification et analyse en Kmelia. In 13e Conférence Francophone sur les Langages et Modèles à Objets, mars 2007, Toulouse, France.In Isabelle Borne, Xavier Crégut, Sophie Ebersold et Frédéric Migeon (éds.), Actes des journées Langages et Modèles à Objets. Hermès - Lavoisier, 2007.
      https://hal.archives-ouvertes.fr/hal-00423643
    • [53] P. Andre, G. Ardourel, C. Attiogbé. Protocoles d'utilisation de composants : spécification et analyse en Kmelia. In 1ère Conférence Francophone sur les Architectures Logicielles, septembre 2006, Nantes, France.In Mourad Chabane Oussalah, Flavio Oquendo, Dalila Tamzalit etTahar Khammaci (éds.), Actes de la 1ère Conférence Francophone sur les Architectures Logicielles. Hermès - Lavoisier, 2006.
      https://hal.archives-ouvertes.fr/hal-00423665
    • [54] P. André, G. Ardourel. Domain Based Verification for UML Models. In {Workshop on Consistency in Model Driven Engineering C@Mode'05}, 2005, Nuremberg, Allemagne.In Kuzniarz, Ludwik and Reggio, Gianna and Sourrouille, Jean-Louis and Staron, Miroslaw (éds.), {Workshop on Consistency in Model Driven Engineering C@Mode'05}. , 2005.
      https://hal.archives-ouvertes.fr/hal-00458118
    • [55] H. Habrias, P. André. Préconditions et invariants, l'écriture de contraintes mal adaptées à un paradigme de spécification. In 22e congrès INFORSID, 2004, Biarritz, France, France.
      https://hal.archives-ouvertes.fr/hal-00467549
    • [56] P. André, G. Ardourel, G. Sunyé. The Bosco Project - A JMI-Compliant Template-based Code Generator. In 13th Int. Conf. on Intelligent and Adaptative Systems and Software Engineering. (IASSE-2004, 2004, Nice, France.
      https://hal.archives-ouvertes.fr/hal-00448041
    • [57] P. Andre, J. Royer. La modélisation des listes en programmation par objet. In Journées Francophones des Langages Applicatifs, janvier 1994, Noirmoutier, France.In Pierre Cointe, Christian Queinnec, Bernard Serpette (éds.), . , 1994.
      https://hal.archives-ouvertes.fr/hal-01135544

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

    • [58] P. Andre, O. Cardin, F. Azzi. Multi-protocol Communication Tool for Virtualized Cyber Manufacturing Systems. In Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future. 03-03-2021
      https://hal.archives-ouvertes.fr/hal-03452293
    • [60] P. Andre, J. Pepin, C. Attiogbé, E. Breton. Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework. In Model-Driven Engineering and Software Development - 6th International Conference, {MODELSWARD} 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers. 01-02-2019
      https://hal.archives-ouvertes.fr/hal-02090263
    • [61] P. Andre, F. Azzi, O. Cardin. Heterogeneous Communication Middleware for Digital Twin Based Cyber Manufacturing Systems. In 9th Workshop on Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, octobre 2019, Valencia, Espagne.
      https://hal.archives-ouvertes.fr/hal-02382463

Theses et HDR (THESE)

Autres publications (AUTRES)

Copyright : LS2N 2017 - Mentions Légales - 
 -