Imen Graja

Publication Activity (10 Years)

Years Active: 2014-2020
Publications (10 Years): 7

Top Topics

Business Processes

Architectural Style

Service Composition

Top Venues

ICSOC Workshops

Publications

Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem
A comprehensive survey on modeling of cyber-physical systems. Concurr. Comput. Pract. Exp. 32 (15) (2020)
Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem
Modelling and verifying time-aware processes for cyber-physical environments. IET Softw. 13 (1) (2019)
Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
Modeling and verification of temporal properties in cyber-physical systems. CCNC (2017)
Imen Graja, Aicha Mechim, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems. CCNC (2017)
Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
Verification of the Consistency of Time-Aware Cyber-Physical Processes. ICSOC Workshops (2017)
Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems. WETICE (2016)
Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem
Time patterns for cyber-physical systems. ISCC (2016)
Imen Graja, Nawal Guermouche, Ahmed Hadj Kacem, Khalil Drira
An Approach for Multiple-Instance Based Service Composition. SCC (2015)
Imen Graja, Imen Loulou, Ahmed Hadj Kacem
SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties. ENASE (2014)