Membre

Fiche Membre

En un clic !

Thématiques de recherche
Pôles d’expertises
Nos équipes
Formation par la recherche
- Doctorats
- Masters
HDR
Thèses
Publications

Composante(s) d’expertise Pôle associée(s)

SLS

Génie de la programmation, du logiciel et des systèmesModel-checkingModélisation

Expertises équipes

Méthodes formelles de preuve et de vérification de systèmes complexesModélisation et analyse de systèmes complexes issus de l'écologie et de la santéModélisation et méta-modélisation pour l'industrie

Pascal Andre

HDR

Enseignant chercheur / Enseignante chercheuse – Maître / maîtresse de conférences

Equipe :

Employeur : Nantes Université

Expertises :

ModélisationSystèmes complexesVérification formelleSystèmes hétérogènesMéta-modélisationLogicielDidactique

Coordonnées

Email :

Adresse(s)

Informations non disponibles pour l’instant

Publications déposées sur HAL

Nombre de publications retournées : 104

Revues internationales avec comité de lecture

[1] P. Andre, G. Ardourel, C. Attiogbé. Adaptation for Hierarchical Components and Services, in Electronic Notes in Theoretical Computer Science, vol. 189, pp. 5–20, DOI

[2] 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, vol. 263, pp. 5-30, DOI

[3] 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, vol. 5, DOI

[4] J. Pepin, P. Andre, C. Attiogbé, E. Breton. An Improved Model Facet Method to Support EA Alignment, in Complex Systems Informatics and Modeling Quarterly, no. 9, pp. 1 – 27, DOI

[5] 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, vol. 17, no. 1, pp. 315-338, DOI

[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, vol. Volume 34 – 2020 – Special Issue CARI 2020, DOI

[7] 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, vol. 16, no. 1 & 2, pp. 54-71,

[8] 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, vol. 149, pp. 103923, DOI

[9] P. André, M. Tebib. Assistance in Model Driven Development: Toward an Automated Transformation Design Process, in Complex Systems Informatics and Modeling Quarterly, no. 38, pp. 54-99, DOI

[10] 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, vol. 16, no. 18, pp. 8193, DOI

[11] E. Desmontils, P. Andre, L. Kodo. Modélisation assistée par l'IA pour l'enseignement des bases de données, in Repères IREM, no. 142, pp. 49-86,

Revues nationales avec comité de lecture

[12] 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, vol. 14, no. 8, pp. 973-1005,

[13] 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, vol. 2, no. 4, pp. 5-12,

[14] 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, vol. 30, no. 6, pp. 627-658, DOI

[15] P. Andre. Approche compétences pour la recherche, in 1024 : Bulletin de la Société Informatique de France, no. 25, DOI

Conférences internationales avec comité de lecture et actes

[16] P. André, J. Royer. Optimizing Method Search with Lookup Caches and Incremental Coloring, in 110-126, Vancouver, Canada, DOI

[17] P. André, D. Chiorean, J. Royer. The Formal Class Model, in Joint Modular Languages Conference, Modula, Oberon \& friends, Ulm, Allemagne,

[18] P. André, J. Royer. The Invoicing System: Using GAT, in Comparing Systems Specification Techniques, Nantes, France,

[19] P. André, A. Romanczuk, J. Royer, V. Aline. An Algebraic View of UML Class Diagrams, in Langages et Modèles à Objets, Montréal, Canada,

[20] 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, York, Royaume-Uni,

[21] 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, Nice, France, France,

[22] 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, Berne, Suisse, Suisse,

[23] P. André, G. Ardourel, C. Attiogbé. Behavioural Verification of Service Composition, in ICSOC Workshop on Engineering Service Compositions, WESC'05, Amsterdam, The Netherlands, Pays-Bas,

[24] 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, Colmar, France,

[25] 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, Rabat, Maroc, Maroc,

[26] C. Attiogbé, P. André, G. Ardourel. Checking Component Composability, in 5th International Symposium on Software Composition, Vienne, Autriche, DOI

[27] P. Andre, G. Ardourel, C. Attiogbé. Composing Components with Shared Services in the Kmelia Model, in Software Composition, 7th International Symposium, SC 2008, Budapest, Hongrie, DOI

[28] 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, Braga, Portugal, DOI

[29] P. Andre, G. Ardourel, C. Attiogbé. A Formal Analysis Toolbox for the Kmelia Component Model, in ProVeCS 2007 – Satellite Event of TOOLS Europe, Zürich, Suisse,

[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), Eindhoven, Pays-Bas,

[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, Lille, France, DOI

[32] P. André, G. Ardourel, C. Attiogbe, A. Lanoix. Contract-based Verification of Kmelia Component Assemblies using Event-B, in FESCA @ Etaps2010, Paphos, Grèce,

[33] 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, Lisbonne, Portugal,

[34] M. Messabihi, P. André, C. Attiogbé. Multi-levels Use of Contracts for Trusted Components, in EPTCS, vol. 37, pp. 71-85, in Workshop on Component and Service Interoperability, Malaga, Espagne, DOI

[35] 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, Nancy, France,

[36] 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, Miami, états-Unis,

[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., Clermont-Ferrand, France,

[38] 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, Barcelona, France, DOI

[39] 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, Saarbrücken, Allemagne, DOI

[40] 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, Porto, Portugal, DOI

[41] P. Andre, O. Cardin. Trusted Services for Cyber Manufacturing Systems, in SOHOMA’17 Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, Nantes, France, DOI

[42] 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, Funchal, Portugal, DOI

[43] 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, Bergamo, Italie, DOI

[44] 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, Marrakesh, Maroc, DOI

[45] P. Andre. Case Studies in Model-Driven Reverse Engineering, in 7th International Conference on Model-Driven Engineering and Software Development, Prague, République tchèque, DOI

[46] A. Bah, P. Andre, C. Attiogbé, J. Konaté. Federation of Services from Autonomous Domains with Heterogeneous Access Control Models, in 18th International Information Security for South Africa Conference, Johanesbourg, Afrique du Sud, DOI

[47] 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), Munich, Allemagne, DOI

[48] 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, Angers, France,

[49] P. Andre, M. Tebib. Refining Automation System Control with MDE, in 8th International Conference on Model-Driven Engineering and Software Development, Valletta, Malte, DOI

[50] 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), Paris, France,

[51] 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, Munich (en ligne), Allemagne,

[52] 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, Bucarest, Roumanie, DOI

[53] 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, Lisbonne, Portugal,

[54] 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), Lisbon, Portugal, DOI

[55] I. Baheux, O. Aktouf, M. Tebib, M. Graa, P. Andre, Y. Ledru. DroidSecTester: Vers une modélisation contextuelle et une détection des vulnérabilités dans les applications Android, in 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW), Florence, France, DOI

[56] 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), Angers, France, DOI

[57] 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), Nancy, France,

[58] 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), Gdańsk, Pologne, DOI

[59] M. Tebib, O. Aktouf, P. André, M. Graa. Privvench : un banc d'essai pour détecter des vulnérabilités d'escalade de privilèges dans Android, in 2024 21st Annual International Conference on Privacy, Security and Trust (PST), Sydney, France, DOI

[60] P. Andre, H. Habrias. Formal Modelling of Information System Evolution using B, in 33RD INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS DEVELOPMENT (ISD2025 BELGRADE, SERBIA), Belgrade (Serbia), Serbie,

[61] A. Ben Bouzaiene, O. Boutin, P. Andre. Modelling and Control of the Flexibac Robotic Sorting System: A Multi-Approach Study Using FlexSim, in 15th International Workshop on Service-Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future (SOHOMA2025), Aix-en-Provence, France,

[62] M. Denu, P. David, F. Mangione, P. Andre, I. Rasovska, V. Goepp. A Circular Manufacturing Systems Dashboard for Sus-tainable Performance Measurements, in 15th International Workshop on Service-Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future (SOHOMA2025), Aix-en-Provence, France,

[63] P. Andre, H. Locteau, O. Cardin, Y. Dali Youcef. A Domain-Specific Language to evaluate the performance of Reconfigurable Manufacturing Systems, in 15th International Workshop on Service-Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future (SOHOMA2025), Aix – en – Provence, France,

Conférences nationales avec comité de lecture et actes

[64] P. Andre, J. Royer. La modélisation des listes en programmation par objet, in Journées Francophones des Langages Applicatifs, Noirmoutier, France,

[65] 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, Biarritz, France, France,

[66] 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, Nice, France,

[67] P. André, G. Ardourel. Domain Based Verification for UML Models, in {Workshop on Consistency in Model Driven Engineering C@Mode'05}, Nuremberg, Allemagne,

[68] P. André, H. Habrias. Application d'ontologies formelles au droit, in SDC'06 Journée sur les Ontologies et textes juridiques, OTJ'06, Nantes, France, France,

[69] 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, Nantes, France,

[70] 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, Toulouse, France,

[71] 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, Nancy, France,

[72] 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, Pau, France,

[73] 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, Toulouse, France,

[74] 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, Montpellier, France,

[75] 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, Nantes, France,

[76] P. Andre, A. Pageot, O. Cailleau, C. Bedran. Comment choisir son outil d'analyse de systèmes à événements discrets ?, in Modélisation des Systèmes Réactifs (MSR'25), Reims (51), France,

[77] P. Andre, H. Locteau, Y. Dali Youcef, E. Bousse, O. Cardin. Un DSL pour représenter et analyser des systèmes à événements discrets *, in Modélisation des Systèmes Réactifs (MSR'25), Reims (51), France,

Ouvrages – Chapitres d'ouvrages et directions d'ouvrages

[78] P. André, J. Royer. Objets et spécifications formelles,

[79] P. André, A. Vailly. Exercices corrigés en UML – Passeport pour une maîtrise de la notation.,

[80] P. André, A. Vailly. Exercices corrigés en langage Z – Les spécifications formelles par la pratique,

[81] C. Attiogbe, P. Andre. L'Objet : Composants, services et aspects,

[82] P. André, C. Attiogbé. Composants, services et aspects Techniques et outils pour la vérification,

[83] P. Andre, J. Pepin, C. Attiogbé, E. Breton. Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework, DOI

[84] 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, Valencia, Espagne, DOI

[85] P. Andre, O. Cardin, F. Azzi. Multi-protocol Communication Tool for Virtualized Cyber Manufacturing Systems, DOI

[86] P. Andre, M. El Amin Tebib. Vers plus d'automatisation dans l'igénierie des modèles, DOI

[87] P. André, O. Cardin. Patrons d'agrégation pour les systèmes de profuction, DOI

[88] P. André, O. Cardin. A Core Reference Model for Applicable Reconfigurable Manufacturing Systems, DOI

[89] P. André, V. Goepp. A Framework for Defining Customised KPI in Manufacturing Systems, DOI

[90] P. Andre, H. Bruneliere, D. Tamzalit, A. Benjilany. Core Operational Business-IT Alignment: Current Trends and Open Challenges, DOI

[91] P. Andre, A. Benjilany, H. Bruneliere, D. Tamzalit. Assessing Operational Business-IT Alignment for Architecture Improvement, DOI

[92] P. Andre, A. Benjilany, H. Bruneliere, D. Tamzalit. A Practical Approach to Evaluate Operational Business-IT Alignment, DOI

Theses et HDR

[93] P. Andre. Méthodes formelles et à objets pour le développement du logiciel :,

[94] P. Andre. Modélisation rigoureuse au service du logiciel et des systèmes,

Autres publications

[95] P. André, G. Ardourel, C. Attiogbé, H. Habrias, C. Stoquer. A Service-Based Component Model{:} Description Formalism, Formal Analysis and Mechanization,

[96] P. André, G. Ardourel, C. Attiogbé, H. Habrias, C. Stoquer. Vérification de conformité des interactions entre composants,

[97] P. André, G. Ardourel, G. Sunye. Un cadre pour la vérification de modèles UML,

[98] P. André, G. Ardourel, C. Attiogbé, H. Habrias, C. Stoquer. A Service-Based Component Model: Formalism, Analysis and Mechanization,

[99] P. André, Y. Deshayes. Etude de la mise en place d’un Laser beam recorder avec Laser femtoseconde,

[100] P. André, Y. Deshayes. Etude de la faisabilité de protection de disque optique polymère avec sol-gel,

[101] J. Blain, C. Guillevic, A. Moulin, A. Benjilany, P. Andre, H. Bruneliere, D. Tamzalit. From code similarity detection to model driven similarity detection: first milestones, in Journées du GDR GPL 2021, Nice (Sophia Antipolis), France,

[102] 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), Chambon-sur-Lac, France,

[103] M. Denu, P. David, F. Mangione, P. Andre, I. Rasovska, V. Goepp. [Supplementary data] A Circular Manufacturing Systems Dashboard for Sustainable Performance Measurements,

[104] B. Abir Ben, O. Boutin, P. Andre. Comparing Modelling and Simulation Tools in Order to Face a Manufacturing-System Contest, in Modélisation des Systèmes Réactifs (MSR'25), Reims (51), France,

Pas de projets référencées pour l’instant

Pas de plateformes référencées pour l’instant

Pas de logiciels de référencés pour l’instant