ArchMDE Approach for the Development of Embedded Real Time Systems. - Nourchène Elleuch; Adel Khalfallah; Samir Ben Ahmed (Ada-Europe, 2007)

ArchMDE Approach for the Formal Verification of Real Time Systems. - Nourchène Elleuch; Adel Khalfallah; Samir Ben Ahmed (CIT, 2011)

Quantitative Functional Change Impact Analysis in Activity Diagrams: A COSMIC-Based Approach. - Mariem Haoues; Asma Sellami; Hanêne Ben-Abdallah; Nourchène Elleuch Ben Ayed (IWSM/Mensura, 2015)

EVARES: A Quality-driven Refactoring Method for Business Process Models. - Wiem Khlif; Nourchène Elleuch Ben Ayed; Hanêne Ben-Abdallah (ICEIS (3), 2017)

A methodology for the semantic and structural restructuring of BPMN models. - Wiem Khlif; Hanêne Ben-Abdallah; Nourchène Elleuch Ben Ayed (Bus. Process. Manag. J., 2017)

Designing BP-IS Aligned Models: An MDA-based Transformation Methodology. - Wiem Khlif; Nourchène Elleuch; Enaam Alotabi; Hanêne Ben-Abdallah (ENASE, 2018)

From a BPMN Model to an Aligned UML Analysis Model. - Wiem Khlif; Nourchène Elleuch Ben Ayed; Hanêne Ben-Abdallah (ICSOFT, 2018)

From an Annotated BPMN Model to a Use Case Diagram: DESTINY Methodology. - Nourchène Elleuch Ben Ayed; Hanêne Ben-Abdallah (CISIS, 2019)

Towards A Systematic Derivation Of BPMN Model From Business Process Textual Description. - Wiem Khlif; Nourchène Elleuch Ben Ayed; Faten Chihi (SEKE, 2020)

A Methodology for Generating BPEL Models from a Business Process Textual Description. - Wiem Khlif; Nadia Aloui; Nourchène Elleuch Ben Ayed (ENASE, 2021)

From Business Process Textual Description to BPEL Models. - Wiem Khlif; Nadia Aloui; Nourchène Elleuch Ben Ayed (ENASE (Selected Papers), 2021)