Pascal André

Orcid: 0000-0002-1112-2973

According to our database1, Pascal André authored at least 53 papers between 1992 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A review of reference architectures for digital manufacturing: Classification, applicability and open issues.
Comput. Ind., August, 2023

A Framework for Defining Customised KPI in Manufacturing Systems.
Proceedings of the Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, 2023

A Core Reference Model for Applicable Reconfigurable Manufacturing Systems.
Proceedings of the Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, 2023

DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities.
Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

PrivDroid: Android Security Code Smells Tool for Privilege Escalation Prevention.
Proceedings of the IEEE Intl Conf on Dependable, 2023

2022
Generic Aggregation Model for Reconfigurable Holonic Control Architecture - The GARCIA Framework.
Proceedings of the Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, 2022

2021
Aggregation Patterns in Holonic Manufacturing Systems.
Proceedings of the Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, 2021

More Automation in Model Driven Development.
Proceedings of the Model and Data Engineering - 10th International Conference, 2021

Assisting Developers in Preventing Permissions Related Security Issues in Android Applications.
Proceedings of the Dependable Computing - EDCC 2021 Workshops, 2021

2020
A tool-assisted method for the systematic construction of critical embedded systems using Event-B.
Comput. Sci. Inf. Syst., 2020

Service Promotion in a Federation of Security Domains.
ARIMA J., 2020

Multi-protocol Communication Tool for Virtualized Cyber Manufacturing Systems.
Proceedings of the Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, 2020

Refining Automation System Control with MDE.
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

2019
Heterogeneous Communication Middleware for Digital Twin Based Cyber Manufacturing Systems.
Proceedings of the 9th Workshop on Service Oriented, 2019

Case Studies in Model-Driven Reverse Engineering.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Shall We Test Service-Based Models or Generated Code?
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019

Federation of Services from Autonomous Domains with Heterogeneous Access Control Models.
Proceedings of the Information and Cyber Security - 18th International Conference, 2019

2018
Modelling and Analysing the Landing Gear System: a Solution with Event-B/Rodin.
CoRR, 2018

A Model Driven Approach for Automated Generation of Service-Oriented Holonic Manufacturing Systems.
Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2018

Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework.
Proceedings of the Model-Driven Engineering and Software Development, 2018

Virtual Extension of Meta-models with Facet Tools.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Systematic Construction of Critical Embedded Systems Using Event-B.
Proceedings of the New Trends in Model and Data Engineering, 2018

Alignement des points de vue du système d'information, une approche pragmatique.
Proceedings of the Actes du XXXVIème Congrès INFORSID, Nantes, France, May 28-31, 2018., 2018

2017
Trusted Services for Cyber Manufacturing Systems.
Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2017

Combining Techniques to Verify Service-based Components.
Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

2016
An Improved Model Facet Method to Support EA Alignment.
Complex Syst. Informatics Model. Q., 2016

COSTOTest: a tool for building and running test harness for service-based component models (demo).
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

A Facet-based Model Mapping Method for EA Alignment and Evolution.
Proceedings of the CAiSE'16 Forum, 2016

2015
A Method for Business-IT Alignment of Legacy Systems.
Proceedings of the ICEIS 2015, 2015

2013
Building Test Harness From Service-based Component Models.
Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

2011
Kmelia, un modèle abstrait et formel pour la description et la composition de composants et de services.
Tech. Sci. Informatiques, 2011

2010
Multilevel Contracts for Trusted Components
Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010

Component Service Promotion: Contracts, Mechanisms and Safety.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Preuve de cohérence de composants Kmelia à l'aide de la méthode B.
Proceedings of the 4e Conférence francophone sur les Architectures Logicielles, 2010

Using Event-B to Verify the Kmelia Components and Their Assemblies.
Proceedings of the Abstract State Machines, 2010

2009
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies.
Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

JavaCompExt: Extracting Architectural Elements from Java Source Code.
Proceedings of the 16th Working Conference on Reverse Engineering, 2009

Correction d'assemblages de composants impliquant des interfaces paramétrées.
Proceedings of the 3e Conférence francophone sur les Architectures Logicielles, 2009

2008
Éditorial.
Obj. Logiciel Base données Réseaux, 2008

Composing Components with Shared Services in the KmeliaModel.
Proceedings of the Software Composition - 7th International Symposium, 2008

2007
Defining Component Protocols with Service Composition: Illustration with the Kmelia Model.
Proceedings of the Software Composition - 6th International Symposium, 2007

Protocoles d'utilisation de composants : spécification et analyse en Kmelia.
Proceedings of the Actes des journées Langages et Modèles à Objets, 2007

2006
Adaptation for Hierarchical Components and Services.
Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, 2006

Checking Component Composability.
Proceedings of the Software Composition - 5th International Symposium, 2006

Spécification d'architectures en Kmelia : hiérarchie de connexion et composition.
Proceedings of the 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 2006

2004
Précondition et invariant - l'écriture de contraintes mal adaptées à un paradigme de spécification.
Proceedings of the Actes du XXIIème Congrès INFORSID, Biarritz, France, 25-28 mai, 2004, 2004

The Bosco Project - A JMI-Compliant Template-based Code Generator.
Proceedings of the ISCA 13th International Conference on Intelligent and Adaptive Systems and Software Engineering, 2004

2000
Checking the Consistency of UML Class Diagrams Using Larch Prover.
Proceedings of the Rigorous Object-Oriented Methods, 2000

An algebraic view of UML class diagrams.
Proceedings of the Actes des journées Langages et Modèles à Objets, 2000

1996
Vers un modèle formel en analyse à objets.
Proceedings of the Actes des journéees Langages et Modèles à Objets, 1996

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

1993
SAT versus UNSAT.
Proceedings of the Cliques, 1993

1992
Optimizing Method Search with Lookup Caches and Incremental Coloring.
Proceedings of the Seventh Annual Conference on Object-Oriented Programming Systems, 1992


  Loading...