Fiche membre Retour à l'annuaire
Pascal ANDRE
ENSEIGNANT-CHERCHEUR
Publications référencées sur HAL
Revues internationales avec comité de lecture (ART_INT)
- [1] P. André, M. Tebib. Assistance in Model Driven Development: Toward an Automated Transformation Design Process. In Complex Systems Informatics and Modeling Quarterly ; éd. Royal Institute of Technology, 2024, num. 38.https://hal.science/hal-04606582v1
- [2] W. Derigent, M. David, P. André, O. Cardin, S. Najjar. WSN energy control by holonic dynamic reconfiguration: Application to the sustainability of communicating materials. In Sustainability ; éd. MDPI, 2024, vol. 16, num. 18.https://hal.science/hal-04719362v1
- [3] M. Tebib, M. Graa, P. Andre, O. Aktouf. A Survey on Secure Android Apps Development Life-Cycle: Vulnerabilities and Tools. In International Journal On Advances in Security ; éd. IARIA, 2023, vol. 16, num. 1 & 2.https://hal.science/hal-04181107v1
- [4] J. Kaiser, D. Mcfarlane, G. Hawkridge, P. André, P. Leitão. A review of reference architectures for digital manufacturing: Classification, applicability and open issues. In Computers in Industry ; éd. Elsevier, 2023, vol. 149.https://nantes-universite.hal.science/hal-04085152v1
- [5] P. André, O. Cardin. Aggregation Patterns in Holonic Manufacturing Systems. In Studies in Computational Intelligence ; éd. Springer Verlag, 2022, vol. 1034.https://hal.science/hal-03904851v1
- [6] 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. African Society in Digital Science, 2021, vol. Volume 34 - 2020 - Special Issue CARI 2020.https://hal.science/hal-02928753v4
- [7] A. Bah, P. André, C. Attiogbé, J. Konate. Service Promotion in a Federation of Security Domains. In Revue Africaine de Recherche en Informatique et Mathématiques Appliquées ; éd. African Society in Digital Science, 2020, vol. 34, num. Spécial CARI 2020-2021.https://hal.science/hal-02909605v2
- [8] 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, vol. 17, num. 1.https://hal.science/hal-02468473v1
- [9] J. Pepin, P. Andre, C. Attiogbé, E. Breton. An Improved Model Facet Method to Support EA Alignment. In Complex Systems Informatics and Modeling Quarterly ; éd. Royal Institute of Technology, 2016, num. 9.https://hal.science/hal-01686322v1
- [10] 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.science/hal-01719578v1
- [11] 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.science/hal-00505336v1
- [12] P. Andre, G. Ardourel, C. Attiogbé. Adaptation for Hierarchical Components and Services. In Electronic Notes in Theoretical Computer Science ; éd. Elsevier, 2007, vol. 189.https://hal.science/hal-00423697v1
- [13] 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.science/hal-01147205v1
- [14] 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.science/hal-00444069v1
- [15] 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.science/hal-00444074v1
- [16] A. Benjilany, P. Andre, D. Tamzalit, H. Bruneliere. Towards a link mapping and evaluation approach for Core Operational Business-IT Alignment. In 26th International Conference on Enterprise Information Systems (ICEIS 2024), avril 2024, Angers, France.https://hal.science/hal-04447879v1
- [17] A. Benjilany, P. Andre, H. Bruneliere, D. Tamzalit. Détection d'anti-patrons d'alignement dans les SI : Vers une approche automatisée. In INFormatique des ORganisations et Systèmes d'Information et de Décision (INFORSID 2024), mai 2024, Nancy, France.https://hal.science/hal-04557692v1
- [18] A. Benjilany, H. Bruneliere, P. Andre, D. Tamzalit. An Approach to Assess Operational Business-IT Alignment. In 32nd International Conference on Information Systems Development (ISD 2024), août 2024, Gdańsk, Pologne.https://hal.science/hal-04626942v1
- [19] P. Andre, D. Tamzalit, A. Benjilany, H. Bruneliere. A Review of Core Operational Business-IT Alignment. In 31st International Conference on Information Systems Development (ISD 2023), août 2023, Lisbon, Portugal.https://hal.science/hal-04140806v1
- [20] I. Baheux, O. Aktouf, M. Tebib, M. Graa, P. Andre, Y. Ledru. DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities. In 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW), octobre 2023, Florence, France.https://hal.science/hal-04402402v1
- [21] I. Baheux, O. Aktouf, M. Tebib, M. Graa, P. Andre, Y. Ledru. DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities. In IWSR 2023 - The 7th International Workshop on Software Faults, octobre 2023, Florence, Italie.In IEEE (éds.), . IEEE, 2023.https://hal.science/hal-04464426v1
- [22] W. Derigent, M. David, P. André, O. Cardin. Generic aggregation model for reconfigurable holonic control architecture – The GARCIA framework. In 12th International Workshop on Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, SOHOMA’22, septembre 2022, Bucarest, Roumanie.https://hal.science/hal-03970710v1
- [23] M. Tebib, P. Andre, M. Graa, O. Aktouf. IDE Plugins for Secure Android Applications Development: Analysis & Classification Study. In SECURWARE 2022 : The Sixteenth International Conference on Emerging Security Information, Systems and Technologies, octobre 2022, Lisbonne, Portugal.In IARIA (éds.), . IARIA, 2022.https://hal.science/hal-03865020v1
- [24] P. Andre, A. Guérin, A. Rozen, A. Gicquel. Raffinement de protocoles de communication par transformation de modèle. In 13ème Colloque sur la Modélisation des Systèmes Réactifs (MSR'21), septembre 2021, Paris, France.https://hal.science/hal-04203186v1
- [25] 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.science/hal-03290122v1
- [26] 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.science/hal-02940826v1
- [27] 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.science/hal-02468440v1
- [28] 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.science/hal-02434955v1
- [29] 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.science/hal-02431942v1
- [30] 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.science/hal-01911500v1
- [31] 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.science/hal-01929259v1
- [32] 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.science/hal-01959122v2
- [33] 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.science/hal-01628303v1
- [34] 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.science/hal-01690903v1
- [35] 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.science/hal-01436067v1
- [36] 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.science/hal-01911502v1
- [37] 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.science/hal-01111210v1
- [38] P. Andre, G. Ardourel, J. Mottu. Assistance au test de modèles à composants et services. In 2ème Conférence en IngénieriE du Logiciel, avril 2013, Nancy, France.https://hal.science/hal-00823319v1
- [39] 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.science/hal-00918505v1
- [40] P. André, G. Ardourel, C. Attiogbe, A. Lanoix. Contract-based Verification of Kmelia Component Assemblies using Event-B. In FESCA @ Etaps2010, mars 2010, Paphos, Grèce.https://hal.science/hal-00483755v1
- [41] 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.science/hal-00578799v1
- [42] 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-2010https://hal.science/hal-00488125v1
- [43] 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.science/hal-00423672v1
- [44] 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.science/hal-00457219v1
- [45] 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.science/hal-00397713v1
- [46] 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.science/hal-00423690v1
- [47] 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.science/hal-00458119v1
- [48] C. Attiogbé, P. André, G. Ardourel. Checking Component Composability. In 5th International Symposium on Software Composition, mars 2006, Vienne, Autriche.https://hal.science/hal-00397694v1
- [49] 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.science/hal-00423639v1
- [50] 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.science/hal-00458120v1
- [51] 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.science/hal-00458121v1
- [52] 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.science/hal-00381006v1
- [53] 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.science/hal-00458122v1
- [54] 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.science/hal-01135647v1
- [55] 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.science/hal-01135641v1
- [56] 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.science/hal-01135557v1
- [57] P. André, D. Chiorean, J. Royer. The Formal Class Model. In Joint Modular Languages Conference, Modula, Oberon \& friends, septembre 1994, Ulm, Allemagne.https://hal.science/hal-01135547v1
- [58] P. André, J. Royer. Optimizing Method Search with Lookup Caches and Incremental Coloring. In 110-126, octobre 1992, Vancouver, Canada.https://hal.science/hal-01135528v1
- [59] 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.science/hal-02468406v1
- [60] 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.science/hal-01628306v1
- [61] 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.science/hal-01147192v1
- [62] 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.science/hal-00487359v1
- [63] 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.science/hal-00423658v1
- [64] 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.science/hal-00423643v1
- [65] P. André, H. Habrias. Application d'ontologies formelles au droit. In SDC'06 Journée sur les Ontologies et textes juridiques, OTJ'06, 2006, Nantes, France, France.https://hal.science/hal-00458123v1
- [66] 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.science/hal-00423665v1
- [67] 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.science/hal-00458118v1
- [68] 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.science/hal-00467549v1
- [69] 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.science/hal-00448041v1
- [70] 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.science/hal-01135544v1
- [71] P. André, O. Cardin. A Core Reference Model for Applicable Reconfigurable Manufacturing Systems. In Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future. 03-02-2024 https://hal.science/hal-04440581v2
- [72] P. André, V. Goepp. A Framework for Defining Customised KPI in Manufacturing Systems. In Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future. 03-02-2024 https://hal.science/hal-04440557v1
- [73] P. Andre, H. Bruneliere, D. Tamzalit, A. Benjilany. Core Operational Business-IT Alignment: Current Trends and Open Challenges. In Advances in Information Systems Development: Information Systemes Development, Organizational Aspects, and Societal Trends. 18-07-2024 https://hal.science/hal-04557812v1
- [74] 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.science/hal-03452293v1
- [75] P. Andre, M. El Amin Tebib. More Automation in Model Driven Development. In Model and Data Engineering. 14-06-2021 https://hal.science/hal-03682475v1
- [76] 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.science/hal-02090263v1
- [77] 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.science/hal-02382463v1
- [78] C. Attiogbe, P. Andre. L'Objet : Composants, services et aspects. 2008 https://hal.science/hal-00482908v1
- [79] P. André, C. Attiogbé. Composants, services et aspects Techniques et outils pour la vérification. 2008 https://hal.science/hal-00457209v1
- [80] P. André, A. Vailly. Exercices corrigés en langage Z - Les spécifications formelles par la pratique. 2004 https://hal.science/hal-00458124v1
- [81] P. André, A. Vailly. Exercices corrigés en UML - Passeport pour une maîtrise de la notation.. 2003 https://hal.science/hal-00458125v1
- [82] P. André, J. Royer. Objets et spécifications formelles. In Ingénierie Objet, Concepts et techniques. 1997 https://hal.science/hal-01135550v1
- [83] P. Andre. Modélisation rigoureuse au service du logiciel et des systèmes. https://hal.science/tel-04631290v2
- [84] P. Andre. Méthodes formelles et à objets pour le développement du logiciel :. Thèses : Université Rennes 1. https://theses.hal.science/tel-00006148v1
- [85] M. Tebib, P. Andre, M. Graa, O. Aktouf. PermDroid: Handling over-privileged Android applications based on the minimum permissions set identification. In RESSI (Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information), mai 2022, Chambon-sur-Lac, France.https://hal.science/hal-03864899v1
- [86] P. André, Y. Deshayes. Etude de la faisabilité de protection de disque optique polymère avec sol-gel. Rapport technique, 2014 ; IMS, Polyrise, .https://hal.science/hal-01096118v1
- [87] P. André, Y. Deshayes. Etude de la mise en place d’un Laser beam recorder avec Laser femtoseconde. Rapport technique, 2013 ; IMS.https://hal.science/hal-01096115v1
- [88] P. André, G. Ardourel, C. Attiogbé, H. Habrias, C. Stoquer. A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization. https://hal.science/hal-00458116v1
- [89] P. André, G. Ardourel, C. Attiogbé, H. Habrias, C. Stoquer. Vérification de conformité des interactions entre composants. https://hal.science/hal-00458115v1
- [90] P. André, G. Ardourel, G. Sunye. Un cadre pour la vérification de modèles UML. https://hal.science/hal-00458117v1