SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties. - Imen Graja; Imen Loulou; Ahmed Hadj Kacem (ENASE, 2014)

An Approach for Multiple-Instance Based Service Composition. - Imen Graja; Nawal Guermouche; Ahmed Hadj Kacem; Khalil Drira (SCC, 2015)

Time patterns for cyber-physical systems. - Imen Graja; Slim Kallel; Nawal Guermouche; Ahmed Hadj Kacem (ISCC, 2016)

BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems. - Imen Graja; Slim Kallel; Nawal Guermouche; Ahmed Hadj Kacem (WETICE, 2016)

Modeling and verification of temporal properties in cyber-physical systems. - Imen Graja; Slim Kallel; Nawal Guermouche; Ahmed Hadj Kacem (CCNC, 2017)

Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems. - Imen Graja; Aicha Mechim; Slim Kallel; Nawal Guermouche; Ahmed Hadj Kacem (CCNC, 2017)

Verification of the Consistency of Time-Aware Cyber-Physical Processes. - Imen Graja; Slim Kallel; Nawal Guermouche; Ahmed Hadj Kacem (ICSOC Workshops, 2017)

Modelling and verifying time-aware processes for cyber-physical environments. - Imen Graja; Slim Kallel; Nawal Guermouche; Saoussen Cheikhrouhou; Ahmed Hadj Kacem (IET Softw., 2019)

A comprehensive survey on modeling of cyber-physical systems. - Imen Graja; Slim Kallel; Nawal Guermouche; Saoussen Cheikhrouhou; Ahmed Hadj Kacem (Concurr. Comput. Pract. Exp., 2020)