Pascal André

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 32

Top Venues

SOHOMA

MODELSWARD

Complex Syst. Informatics Model. Q.

INFORSID

University of Rennes 1, France (PHD)

Education History

University of Rennes 1, France

PHD

Publications

Pascal André, Mohammed El Amin Tebib
Assistance in Model Driven Development: Toward an Automated Transformation Design Process. Complex Syst. Informatics Model. Q. 38 (2024)
Ali Benjilany, Pascal André, Dalila Tamzalit, Hugo Bruneliere
Towards a Link Mapping and Evaluation Approach for Core Operational Business-IT Alignment. ICEIS (2) (2024)
Ali Benjilany, Pascal André, Hugo Bruneliere, Dalila Tamzalit
Détection d'anti-patrons d'alignement dans les SI : Vers une approche automatisée. INFORSID (2024)
Jan Kaiser, Duncan C. McFarlane, Gregory Hawkridge, Pascal André, Paulo Leitão
A review of reference architectures for digital manufacturing: Classification, applicability and open issues. Comput. Ind. 149 (2023)
Pascal André, Olivier Cardin
A Core Reference Model for Applicable Reconfigurable Manufacturing Systems. SOHOMA (2023)
Mohammed El Amin Tebib, Pascal André, Mariem Graa, Oum-El-Kheir Aktouf
PrivDroid: Android Security Code Smells Tool for Privilege Escalation Prevention. DASC/PiCom/CBDCom/CyberSciTech (2023)
Pascal André, Virginie Goepp
A Framework for Defining Customised KPI in Manufacturing Systems. SOHOMA (2023)
Ivan Baheux, Oum-El-Kheir Aktouf, Mohammed El Amin Tebib, Mariem Graa, Pascal André, Yves Ledru
DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities. ISSREW (2023)
Pascal André, Dalila Tamzalit, Ali Benjilany, Hugo Bruneliere
A Review of Core Operational Business-IT Alignment. ISD (2023)
William Derigent, Michael David, Pascal André, Olivier Cardin
Generic Aggregation Model for Reconfigurable Holonic Control Architecture - The GARCIA Framework. SOHOMA (2022)
Pascal André, Olivier Cardin
Aggregation Patterns in Holonic Manufacturing Systems. SOHOMA (2021)
Pascal André, Mohammed El Amin Tebib
More Automation in Model Driven Development. MEDI (2021)
Mohammed El Amin Tebib, Pascal André, Oum-El-Kheir Aktouf, Mariem Graa
Assisting Developers in Preventing Permissions Related Security Issues in Android Applications. EDCC Workshops (2021)
Abdramane Bah, Pascal André, J. Christian Attiogbé, Jacqueline Konaté
Service Promotion in a Federation of Security Domains. ARIMA J. 34 (2020)
Pascal André, Mohammed El Amin Tebib
Refining Automation System Control with MDE. MODELSWARD (2020)
Pascal André, J. Christian Attiogbé, Arnaud Lanoix
A tool-assisted method for the systematic construction of critical embedded systems using Event-B. Comput. Sci. Inf. Syst. 17 (1) (2020)
Pascal André, Olivier Cardin, Fawzi Azzi
Multi-protocol Communication Tool for Virtualized Cyber Manufacturing Systems. SOHOMA (2020)
Abdramane Bah, Pascal André, J. Christian Attiogbé, Jacqueline Konaté
Federation of Services from Autonomous Domains with Heterogeneous Access Control Models. ISSA (2019)
Pascal André
Case Studies in Model-Driven Reverse Engineering. MODELSWARD (2019)
Pascal André, Fawzi Azzi, Olivier Cardin
Heterogeneous Communication Middleware for Digital Twin Based Cyber Manufacturing Systems. SOHOMA (2019)
Jean-Marie Mottu, Pascal André, Maxence Coutant, Tom Le Berre
Shall We Test Service-Based Models or Generated Code? MoDELS (Companion) (2019)
Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
Alignement des points de vue du système d'information, une approche pragmatique. INFORSID (2018)
Mohammed El Amin Tebib, Pascal André, Olivier Cardin
A Model Driven Approach for Automated Generation of Service-Oriented Holonic Manufacturing Systems. SOHOMA (2018)
Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
Virtual Extension of Meta-models with Facet Tools. MODELSWARD (2018)
Pascal André, J. Christian Attiogbé, Arnaud Lanoix
Systematic Construction of Critical Embedded Systems Using Event-B. MEDI Workshops (2018)
Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework. MODELSWARD (Revised Selected Papers) (2018)
Pascal André, J. Christian Attiogbé, Arnaud Lanoix
Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin. CoRR (2018)
Pascal André, J. Christian Attiogbé, Jean-Marie Mottu
Combining Techniques to Verify Service-based Components. MODELSWARD (2017)
Pascal André, Olivier Cardin
Trusted Services for Cyber Manufacturing Systems. SOHOMA (2017)
Pascal André, Jean-Marie Mottu, Gerson Sunyé
COSTOTest: a tool for building and running test harness for service-based component models (demo). ISSTA (2016)
Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
A Facet-based Model Mapping Method for EA Alignment and Evolution. CAiSE Forum (2016)
Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
An Improved Model Facet Method to Support EA Alignment. Complex Syst. Informatics Model. Q. 9 (2016)
Jonathan Pepin, Pascal André, J. Christian Attiogbé, Erwan Breton
A Method for Business-IT Alignment of Legacy Systems. ICEIS (3) (2015)
Pascal André, Jean-Marie Mottu, Gilles Ardourel
Building Test Harness From Service-based Component Models. MoDeVVa@MoDELS (2013)
Pascal André, Gilles Ardourel, J. Christian Attiogbé
Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services. Tech. Sci. Informatiques 30 (6) (2011)
Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. Electron. Notes Theor. Comput. Sci. 263 (2010)
Mohamed Messabihi, Pascal André, J. Christian Attiogbé
Preuve de cohérence de composants Kmelia à l'aide de la méthode B. CAL (2010)
Mohamed Messabihi, Pascal André, J. Christian Attiogbé
Multilevel Contracts for Trusted Components WCSI (2010)
Pascal André, Gilles Ardourel, J. Christian Attiogbé, Arnaud Lanoix
Using Event-B to Verify the Kmelia Components and Their Assemblies. ASM (2010)
Pascal André, Gilles Ardourel, Mohamed Messabihi
Component Service Promotion: Contracts, Mechanisms and Safety. FACS (2010)
Pascal André, J. Christian Attiogbé, Mohamed Messabihi
Correction d'assemblages de composants impliquant des interfaces paramétrées. CAL (2009)
Nicolas Anquetil, Jean-Claude Royer, Pascal André, Gilles Ardourel, Petr Hnetynka, Tomás Poch, Dragos Petrascu, Vladiela Petrascu
JavaCompExt: Extracting Architectural Elements from Java Source Code. WCRE (2009)
Pascal André, J. Christian Attiogbé
Éditorial. Obj. Logiciel Base données Réseaux 14 (4) (2008)
Pascal André, Gilles Ardourel, J. Christian Attiogbé
Composing Components with Shared Services in the KmeliaModel. SC@ETAPS (2008)
Pascal André, Gilles Ardourel, J. Christian Attiogbé
Protocoles d'utilisation de composants : spécification et analyse en Kmelia. LMO (2007)
Pascal André, Gilles Ardourel, J. Christian Attiogbé
Defining Component Protocols with Service Composition: Illustration with the Kmelia Model. SC@ETAPS (2007)
Pascal André, Gilles Ardourel, J. Christian Attiogbé
Adaptation for Hierarchical Components and Services. Electron. Notes Theor. Comput. Sci. 189 (2007)
J. Christian Attiogbé, Pascal André, Gilles Ardourel
Checking Component Composability. SC@ETAPS (2006)
Pascal André, Gilles Ardourel, J. Christian Attiogbé
Spécification d'architectures en Kmelia : hiérarchie de connexion et composition. CAL (2006)
Henri Habrias, Pascal André
Précondition et invariant - l'écriture de contraintes mal adaptées à un paradigme de spécification. INFORSID (2004)
Pascal André, Gilles Ardourel, Gerson Sunyé
The Bosco Project - A JMI-Compliant Template-based Code Generator. IASSE (2004)
Pascal André, Annya Romanczuk, Jean-Claude Royer
Checking the Consistency of UML Class Diagrams Using Larch Prover. Rigorous Object-Oriented Methods (2000)
Pascal André, Annya Romanczuk, Jean-Claude Royer, Aline Vasconcelos
An algebraic view of UML class diagrams. LMO (2000)
Pascal André
Vers un modèle formel en analyse à objets. LMO (1996)
Olivier Dubois, Pascal André, Yacine Boufkhad, Jacques Carlier
SAT versus UNSAT. Cliques, Coloring, and Satisfiability (1993)
Pascal André, Jean-Claude Royer
Optimizing Method Search with Lookup Caches and Incremental Coloring. OOPSLA (1992)

Pascal André.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pascal André