Imen Graja

According to our database, Imen Graja authored at least 9 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

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

2019

Modelling and verifying time-aware processes for cyber-physical environments.

Imen Graja, Slim Kallel, Nawal Guermouche, Saoussen Cheikhrouhou, Ahmed Hadj Kacem

IET Softw., 2019

2017

Verification of the Consistency of Time-Aware Cyber-Physical Processes.

Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem

Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems.

Imen Graja, Aicha Mechim, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem

Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference, 2017

Modeling and verification of temporal properties in cyber-physical systems.

Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem

Proceedings of the 14th IEEE Annual Consumer Communications & Networking Conference, 2017

2016

BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems.

Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem

Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Time patterns for cyber-physical systems.

Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem

Proceedings of the IEEE Symposium on Computers and Communication, 2016

2015

An Approach for Multiple-Instance Based Service Composition.

Imen Graja, Nawal Guermouche, Ahmed Hadj Kacem, Khalil Drira

Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014

SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties.

Imen Graja, Imen Loulou, Ahmed Hadj Kacem

Proceedings of the ENASE 2014, 2014