Get started
Author

Imen Graja

Institution: University of Sfax
Observed institution: University of Sfax
ORCID: 0000-0001-8099-9624
Observed ORCID: 0000-0001-8099-9624
OpenAlex ID: A5008789517
BPMN4CPS: A BPMN Extension for Modeling Cyber-Physical Systems
2016 · Imen Graja, Slim Kallel, et al. · IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE) · 69
A comprehensive survey on modeling of cyber‐physical systems
2018 · Imen Graja, Slim Kallel, et al. · Concurrency and Computation Practice and Experience · 54
Modelling and verifying time‐aware processes for cyber‐physical environments
2018 · Imen Graja, Slim Kallel, et al. · IET Software · 14
Modeling and verification of temporal properties in cyber-physical systems
2017 · Imen Graja, Slim Kallel, et al. · IEEE Consumer Communications and Networking Conference · 6
Verification of the Consistency of Time-Aware Cyber-Physical Processes
2018 · Imen Graja, Slim Kallel, et al. · Lecture notes in computer science · 5
Demonstrating BPMN4CPS: Modeling anc verification of cyber-physical systems
2017 · Imen Graja, Aicha Mechim, et al. · IEEE Consumer Communications and Networking Conference · 4
Time patterns for cyber-physical systems
2016 · Imen Graja, Slim Kallel, et al. · IEEE Symposium on Computers and Communications (ISCC) · 4
Towards the verification of cyber-physical processes based on time and physical properties
2018 · Imen Graja, Slim Kallel, et al. · International Journal of Business and Systems Research · 3
An Approach for Multiple-Instance Based Service Composition
2015 · Imen Graja, Nawal Guermouche, et al. · IEEE International Conference on Services Computing
SOA-CoM: Building a Correct by Design Service Oriented Architectural Style - Supporting Structural and Non-functional Properties
2014 · Imen Graja, Imen Loulou, et al. · International Conference on Evaluation of Novel Approaches to Software Engineering
Works count: 10
Citation count: 159
H-index: 5
I10-index: 3
Year
Topic
Type