Imen Graja
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2014–2017
Best venue rank
A
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ICSOC | Verification of the Consistency of Time-Aware Cyber-Physical Processes. | Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem |
| 2016 | ISCC | Time patterns for cyber-physical systems. | Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem |
| 2016 | WETICE | BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems. | Imen Graja, Slim Kallel, Nawal Guermouche, Ahmed Hadj Kacem |
| 2014 | ENASE | SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties. | Imen Graja, Imen Loulou, Ahmed Hadj Kacem |