Pascal André

Complex Syst. Informatics Model. Q., 2024

Privbench: A Benchmark Capturing Privilege Escalation Vulnerabilities in Android.

[BibT_eX]

[DOI]

Proceedings of the 21st Annual International Conference on Privacy, Security and Trust, 2024

An Approach to Assess Operational Business-IT Alignment.

[BibT_eX]

[DOI]

Proceedings of the Harnessing Opportunities: Reshaping ISD in the post-COVID-19 and Generative AI Era (ISD2024 Proceedings), 2024

Détection d'anti-patrons d'alignement dans les SI : Vers une approche automatisée.

[BibT_eX]

[DOI]

Proceedings of the Actes du 42ème Congrès INFORSID, Nancy, France, May 28-31, 2024., 2024

Towards a Link Mapping and Evaluation Approach for Core Operational Business-IT Alignment.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Enterprise Information Systems, 2024

Modélisation rigoureuse au service du logiciel et des systèmes: Rester modeste et avancer ensemble.

[BibT_eX]

[DOI]

, 2024

2023

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

[BibT_eX]

[DOI]

Comput. Ind., August, 2023

A Framework for Defining Customised KPI in Manufacturing Systems.

[BibT_eX]

[DOI]

Virginie Goepp

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ivan Baheux

Yves Ledru

Proceedings of the 34th IEEE International Symposium on Software Reliability Engineering, ISSRE 2023, 2023

A Review of Core Operational Business-IT Alignment.

[BibT_eX]

[DOI]

Proceedings of the Information Systems Development: Organizational Aspects and Societal Trends (ISD2023 Proceedings), Lisbon, Portugal, 30 August, 2023

PrivDroid: Android Security Code Smells Tool for Privilege Escalation Prevention.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intl Conf on Dependable, 2023

2022

Generic Aggregation Model for Reconfigurable Holonic Control Architecture - The GARCIA Framework.

[BibT_eX]

[DOI]

Proceedings of the Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, 2022

2021

Aggregation Patterns in Holonic Manufacturing Systems.

[BibT_eX]

[DOI]

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

More Automation in Model Driven Development.

[BibT_eX]

[DOI]

Proceedings of the Model and Data Engineering - 10th International Conference, 2021

Assisting Developers in Preventing Permissions Related Security Issues in Android Applications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Comput. Sci. Inf. Syst., 2020

Service Promotion in a Federation of Security Domains.

[BibT_eX]

[DOI]

Abdramane Bah

Jacqueline Konaté

ARIMA J., 2020

Multi-protocol Communication Tool for Virtualized Cyber Manufacturing Systems.

[BibT_eX]

[DOI]

Fawzi Azzi

Proceedings of the Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, 2020

Refining Automation System Control with MDE.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Fawzi Azzi

Proceedings of the 9th Workshop on Service Oriented, 2019

Case Studies in Model-Driven Reverse Engineering.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

Shall We Test Service-Based Models or Generated Code?

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Abdramane Bah

Jacqueline Konaté

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.

[BibT_eX]

[DOI]

CoRR, 2018

A Model Driven Approach for Automated Generation of Service-Oriented Holonic Manufacturing Systems.

[BibT_eX]

[DOI]

Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2018

Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering and Software Development, 2018

Virtual Extension of Meta-models with Facet Tools.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Systematic Construction of Critical Embedded Systems Using Event-B.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Model and Data Engineering, 2018

Alignement des points de vue du système d'information, une approche pragmatique.

[BibT_eX]

[DOI]

Proceedings of the Actes du XXXVIème Congrès INFORSID, Nantes, France, May 28-31, 2018., 2018

2017

Trusted Services for Cyber Manufacturing Systems.

[BibT_eX]

[DOI]

Proceedings of the Service Orientation in Holonic and Multi-Agent Manufacturing, 2017

Combining Techniques to Verify Service-based Components.

[BibT_eX]

[DOI]

Jean-Marie Mottu

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

2016

An Improved Model Facet Method to Support EA Alignment.

[BibT_eX]

[DOI]

Complex Syst. Informatics Model. Q., 2016

COSTOTest: a tool for building and running test harness for service-based component models (demo).

[BibT_eX]

[DOI]

Jean-Marie Mottu

Gerson Sunyé

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

A Facet-based Model Mapping Method for EA Alignment and Evolution.

[BibT_eX]

[DOI]

Proceedings of the CAiSE'16 Forum, 2016

2015

A Method for Business-IT Alignment of Legacy Systems.

[BibT_eX]

[DOI]

Proceedings of the ICEIS 2015, 2015

2013

Building Test Harness From Service-based Component Models.

[BibT_eX]

[DOI]

Jean-Marie Mottu

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.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2011

2010

Multilevel Contracts for Trusted Components

[BibT_eX]

[DOI]

Proceedings of the Proceedings International Workshop on Component and Service Interoperability, 2010

Component Service Promotion: Contracts, Mechanisms and Safety.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 4e Conférence francophone sur les Architectures Logicielles, 2010

Using Event-B to Verify the Kmelia Components and Their Assemblies.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010

2009

Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 2009

JavaCompExt: Extracting Architectural Elements from Java Source Code.

[BibT_eX]

[DOI]

Proceedings of the 16th Working Conference on Reverse Engineering, 2009

Correction d'assemblages de composants impliquant des interfaces paramétrées.

[BibT_eX]

[DOI]

Proceedings of the 3e Conférence francophone sur les Architectures Logicielles, 2009

2008

Éditorial.

[BibT_eX]

[DOI]

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

Composing Components with Shared Services in the KmeliaModel.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 7th International Symposium, 2008

2007

Defining Component Protocols with Service Composition: Illustration with the Kmelia Model.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 6th International Symposium, 2007

Protocoles d'utilisation de composants : spécification et analyse en Kmelia.

[BibT_eX]

Proceedings of the Actes des journées Langages et Modèles à Objets, 2007

2006

Adaptation for Hierarchical Components and Services.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, 2006

Checking Component Composability.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 5th International Symposium, 2006

Spécification d'architectures en Kmelia : hiérarchie de connexion et composition.

[BibT_eX]

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.

[BibT_eX]

Henri Habrias

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.

[BibT_eX]

Gerson Sunyé

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.

[BibT_eX]

[DOI]

Annya Romanczuk

Jean-Claude Royer

Proceedings of the Rigorous Object-Oriented Methods, 2000

An algebraic view of UML class diagrams.

[BibT_eX]

Proceedings of the Actes des journées Langages et Modèles à Objets, 2000

1996

Vers un modèle formel en analyse à objets.

[BibT_eX]

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).

[BibT_eX]

[DOI]