NovidChain: Blockchain‐based privacy‐preserving platform for COVID‐19 test/vaccine certificates A Abid, S Cheikhrouhou, S Kallel, M Jmaiel Software: Practice and Experience 52 (4), 841-867, 2022 | 106 | 2022 |
The temporal perspective in business process modeling: a survey and research challenges S Cheikhrouhou, S Kallel, N Guermouche, M Jmaiel Service Oriented Computing and Applications 9, 75-85, 2015 | 87 | 2015 |
Toward a time-centric modeling of business processes in BPMN 2.0 S Cheikhrouhou, S Kallel, N Guermouche, M Jmaiel Proceedings of international conference on information integration and web …, 2013 | 72 | 2013 |
A comprehensive survey on modeling of cyber‐physical systems I Graja, S Kallel, N Guermouche, S Cheikhrouhou, A Hadj Kacem Concurrency and Computation: Practice and Experience 32 (15), e4850, 2020 | 64 | 2020 |
Lorachaincare: An iot architecture integrating blockchain and lora network for personal health care data monitoring B Dammak, M Turki, S Cheikhrouhou, M Baklouti, R Mars, A Dhahbi Sensors 22 (4), 1497, 2022 | 53 | 2022 |
NFT-IoT pharma chain: IoT drug traceability system based on blockchain and non fungible tokens (NFTs) M Turki, S Cheikhrouhou, B Dammak, M Baklouti, R Mars, A Dhahbi Journal of King Saud University-Computer and Information Sciences 35 (2 …, 2023 | 38 | 2023 |
Enhancing formal specification and verification of temporal constraints in business processes S Cheikhrouhou, S Kallel, N Guermouche, M Jmaiel 2014 IEEE international conference on services computing, 701-708, 2014 | 38 | 2014 |
A machine learning approach for gas price prediction in ethereum blockchain R Mars, A Abid, S Cheikhrouhou, S Kallel 2021 IEEE 45th annual computers, software, and applications conference …, 2021 | 28 | 2021 |
Modelling and executing time-aware processes in trustless blockchain environment A Abid, S Cheikhrouhou, M Jmaiel Risks and Security of Internet and Systems: 14th International Conference …, 2020 | 23 | 2020 |
A survey on time-aware business process modeling S Cheikhrouhou, S Kallel, N Guermouche, M Jmaiel International Conference on Enterprise Information Systems (ICEIS), 10p., 2013 | 16 | 2013 |
A smart contract-based access control framework for smart healthcare systems A Abid, S Cheikhrouhou, S Kallel, Z Tari, M Jmaiel The Computer Journal 67 (2), 407-422, 2024 | 15 | 2024 |
Toward a verification of time-centric business process models S Cheikhrouhou, S Kallel, M Jmaiel 2014 IEEE 23rd international WETICE conference, 326-331, 2014 | 15 | 2014 |
Modelling and verifying time‐aware processes for cyber‐physical environments I Graja, S Kallel, N Guermouche, S Cheikhrouhou, A Hadj Kacem IET Software 13 (1), 36-48, 2019 | 13 | 2019 |
How blockchain helps to combat trust crisis in COVID-19 pandemic? poster abstract A Abid, S Cheikhrouhou, S Kallel, M Jmaiel Proceedings of the 18th Conference on Embedded Networked Sensor Systems, 764-765, 2020 | 10 | 2020 |
Towards a Blockchain-based approach to fight drugs counterfeit. R Mars, J Youssouf, S Cheikhrouhou, M Turki TACC, 197-208, 2021 | 9 | 2021 |
On enabling time-aware consistency of collaborative cross-organisational business processes S Cheikhrouhou, S Kallel, N Guermouche, M Jmaiel Service-Oriented Computing: 12th International Conference, ICSOC 2014, Paris …, 2014 | 7 | 2014 |
Towards a resource-aware thing composition approach Z Maamar, S Cheikhrouhou, M Asim, A Qamar, T Bake, E Ugljanin 2019 International Conference on High Performance Computing & Simulation …, 2019 | 5 | 2019 |
Formal specification and verification of cloud resource allocation using timed petri-nets S Cheikhrouhou, N Chabouh, S Kallel, Z Maamar New Trends in Model and Data Engineering: MEDI 2018 International Workshops …, 2018 | 5 | 2018 |
Multi-objective approach for scheduling time-aware business processes in cloud-fog environment F Fakhfakh, S Cheikhrouhou, B Dammak, M Hamdi, M Rekik The Journal of Supercomputing 79 (8), 8153-8177, 2023 | 4 | 2023 |
Formal Verification of Cloud and Fog Systems: A Review and Research Challenges. F Fakhfakh, S Kallel, S Cheikhrouhou J. Univers. Comput. Sci. 27 (4), 341-363, 2021 | 4 | 2021 |