Optimizing Method Search with Lookup Caches and Incremental Coloring. - Pascal André; Jean-Claude Royer (OOPSLA, 1992)

SAT versus UNSAT. - Olivier Dubois 002; Pascal André; Yacine Boufkhad; Jacques Carlier (Cliques, Coloring, and Satisfiability, 1993)

Méthodes formelles et à objets pour le développement du logiciel : Etudes et propositions. (Object-Oriented Formal Methods for Software Development: study and proposals). - Pascal André (1995)

Vers un modèle formel en analyse à objets. - Pascal André (LMO, 1996)

An algebraic view of UML class diagrams. - Pascal André; Annya Romanczuk; Jean-Claude Royer; Aline Vasconcelos (LMO, 2000)

Checking the Consistency of UML Class Diagrams Using Larch Prover. - Pascal André; Annya Romanczuk; Jean-Claude Royer (Rigorous Object-Oriented Methods, 2000)

The Bosco Project - A JMI-Compliant Template-based Code Generator. - Pascal André; Gilles Ardourel; Gerson Sunyé (IASSE, 2004)

Précondition et invariant - l'écriture de contraintes mal adaptées à un paradigme de spécification. - Henri Habrias; Pascal André (INFORSID, 2004)

Spécification d'architectures en Kmelia : hiérarchie de connexion et composition. - Pascal André; Gilles Ardourel; J. Christian Attiogbé (CAL, 2006)

Checking Component Composability. - J. Christian Attiogbé; Pascal André; Gilles Ardourel (SC@ETAPS, 2006)

Adaptation for Hierarchical Components and Services. - Pascal André; Gilles Ardourel; J. Christian Attiogbé (WCAT@ECOOP, 2006)

Protocoles d'utilisation de composants : spécification et analyse en Kmelia. - Pascal André; Gilles Ardourel; J. Christian Attiogbé (LMO, 2007)

Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. - Pascal André; Gilles Ardourel; J. Christian Attiogbé (SC@ETAPS, 2007)

Composing Components with Shared Services in the KmeliaModel. - Pascal André; Gilles Ardourel; J. Christian Attiogbé (SC@ETAPS, 2008)

Éditorial. - Pascal André; J. Christian Attiogbé (Obj. Logiciel Base données Réseaux, 2008)

Correction d'assemblages de composants impliquant des interfaces paramétrées. - Pascal André; J. Christian Attiogbé; Mohamed Messabihi (CAL, 2009)

JavaCompExt: Extracting Architectural Elements from Java Source Code. - Nicolas Anquetil; Jean-Claude Royer; Pascal André; Gilles Ardourel; Petr Hnetynka; Tomás Poch; Dragos Petrascu; Vladiela Petrascu (WCRE, 2009)

Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. - Pascal André; Gilles Ardourel; J. Christian Attiogbé; Arnaud Lanoix (FACS@FMWeek, 2009)

Using Event-B to Verify the Kmelia Components and Their Assemblies. - Pascal André; Gilles Ardourel; J. Christian Attiogbé; Arnaud Lanoix (ASM, 2010)

Preuve de cohérence de composants Kmelia à l'aide de la méthode B. - Mohamed Messabihi; Pascal André; J. Christian Attiogbé (CAL, 2010)

Component Service Promotion: Contracts, Mechanisms and Safety. - Pascal André; Gilles Ardourel; Mohamed Messabihi (FACS, 2010)

Multilevel Contracts for Trusted Components - Mohamed Messabihi; Pascal André; J. Christian Attiogbé (WCSI, 2010)

Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services. - Pascal André; Gilles Ardourel; J. Christian Attiogbé (Tech. Sci. Informatiques, 2011)

Building Test Harness From Service-based Component Models. - Pascal André; Jean-Marie Mottu; Gilles Ardourel (MoDeVVa@MoDELS, 2013)

A Method for Business-IT Alignment of Legacy Systems. - Jonathan Pepin; Pascal André; J. Christian Attiogbé; Erwan Breton (ICEIS (3), 2015)

A Facet-based Model Mapping Method for EA Alignment and Evolution. - Jonathan Pepin; Pascal André; J. Christian Attiogbé; Erwan Breton (CAiSE Forum, 2016)

COSTOTest: a tool for building and running test harness for service-based component models (demo). - Pascal André; Jean-Marie Mottu; Gerson Sunyé (ISSTA, 2016)

An Improved Model Facet Method to Support EA Alignment. - Jonathan Pepin; Pascal André; J. Christian Attiogbé; Erwan Breton (Complex Syst. Informatics Model. Q., 2016)

Combining Techniques to Verify Service-based Components. - Pascal André; J. Christian Attiogbé; Jean-Marie Mottu (MODELSWARD, 2017)

Trusted Services for Cyber Manufacturing Systems. - Pascal André; Olivier Cardin (SOHOMA, 2017)

Alignement des points de vue du système d'information, une approche pragmatique. - Jonathan Pepin; Pascal André; J. Christian Attiogbé; Erwan Breton (INFORSID, 2018)

Systematic Construction of Critical Embedded Systems Using Event-B. - Pascal André; J. Christian Attiogbé; Arnaud Lanoix (MEDI Workshops, 2018)

Virtual Extension of Meta-models with Facet Tools. - Jonathan Pepin; Pascal André; J. Christian Attiogbé; Erwan Breton (MODELSWARD, 2018)

Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework. - Jonathan Pepin; Pascal André; J. Christian Attiogbé; Erwan Breton (MODELSWARD (Revised Selected Papers), 2018)

A Model Driven Approach for Automated Generation of Service-Oriented Holonic Manufacturing Systems. - Mohammed El Amin Tebib; Pascal André; Olivier Cardin (SOHOMA, 2018)

Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin. - Pascal André; J. Christian Attiogbé; Arnaud Lanoix (CoRR, 2018)

Federation of Services from Autonomous Domains with Heterogeneous Access Control Models. - Abdramane Bah; Pascal André; J. Christian Attiogbé; Jacqueline Konaté (ISSA, 2019)

Shall We Test Service-Based Models or Generated Code? - Jean-Marie Mottu; Pascal André; Maxence Coutant; Tom Le Berre (MoDELS (Companion), 2019)

Case Studies in Model-Driven Reverse Engineering. - Pascal André (MODELSWARD, 2019)

Heterogeneous Communication Middleware for Digital Twin Based Cyber Manufacturing Systems. - Pascal André; Fawzi Azzi; Olivier Cardin (SOHOMA, 2019)

Refining Automation System Control with MDE. - Pascal André; Mohammed El Amin Tebib (MODELSWARD, 2020)

Multi-protocol Communication Tool for Virtualized Cyber Manufacturing Systems. - Pascal André; Olivier Cardin; Fawzi Azzi (SOHOMA, 2020)

Service Promotion in a Federation of Security Domains. - Abdramane Bah; Pascal André; J. Christian Attiogbé; Jacqueline Konaté (ARIMA J., 2020)

A tool-assisted method for the systematic construction of critical embedded systems using Event-B. - Pascal André; J. Christian Attiogbé; Arnaud Lanoix (Comput. Sci. Inf. Syst., 2020)

Assisting Developers in Preventing Permissions Related Security Issues in Android Applications. - Mohammed El Amin Tebib; Pascal André; Oum-El-Kheir Aktouf; Mariem Graa (EDCC Workshops, 2021)

More Automation in Model Driven Development. - Pascal André; Mohammed El Amin Tebib (MEDI, 2021)

Aggregation Patterns in Holonic Manufacturing Systems. - Pascal André; Olivier Cardin (SOHOMA, 2021)

Generic Aggregation Model for Reconfigurable Holonic Control Architecture - The GARCIA Framework. - William Derigent; Michaël David; Pascal André; Olivier Cardin (SOHOMA, 2022)

PrivDroid: Android Security Code Smells Tool for Privilege Escalation Prevention. - Mohammed El Amin Tebib; Pascal André; Mariem Graa; Oum-El-Kheir Aktouf (DASC/PiCom/CBDCom/CyberSciTech, 2023)

A Review of Core Operational Business-IT Alignment. - Pascal André; Dalila Tamzalit; Ali Benjilany; Hugo Bruneliere (ISD, 2023)

DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities. - Ivan Baheux; Oum-El-Kheir Aktouf; Mohammed El Amin Tebib; Mariem Graa; Pascal André; Yves Ledru (ISSREW, 2023)

A Core Reference Model for Applicable Reconfigurable Manufacturing Systems. - Pascal André; Olivier Cardin (SOHOMA, 2023)

A Framework for Defining Customised KPI in Manufacturing Systems. - Pascal André; Virginie Goepp (SOHOMA, 2023)

A review of reference architectures for digital manufacturing: Classification, applicability and open issues. - Jan Kaiser; Duncan C. McFarlane; Gregory Hawkridge; Pascal André; Paulo Leitão (Comput. Ind., 2023)

Modélisation rigoureuse au service du logiciel et des systèmes: Rester modeste et avancer ensemble. - Pascal André (2024)

Towards a Link Mapping and Evaluation Approach for Core Operational Business-IT Alignment. - Ali Benjilany; Pascal André; Dalila Tamzalit; Hugo Bruneliere (ICEIS (2), 2024)

Détection d'anti-patrons d'alignement dans les SI : Vers une approche automatisée. - Ali Benjilany; Pascal André; Hugo Bruneliere; Dalila Tamzalit (INFORSID, 2024)

An Approach to Assess Operational Business-IT Alignment. - Ali Benjilany; Hugo Bruneliere; Pascal André; Dalila Tamzalit (ISD, 2024)

Privbench: A Benchmark Capturing Privilege Escalation Vulnerabilities in Android. - Mohammed El Amin Tebib; Oum-El-Kheir Aktouf; Pascal André; Mariem Graa (PST, 2024)

A Meta-Model Based Methodology for Building Performance Dashboards in Manufacturing. - Ivana Rasovska; Pascal André; Virginie Goepp (SOHOMA, 2024)

Assistance in Model Driven Development: Toward an Automated Transformation Design Process. - Pascal André; Mohammed El Amin Tebib (Complex Syst. Informatics Model. Q., 2024)