| 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 | 105 | 2022 |
| BPMN4CPS: A BPMN extension for modeling cyber-physical systems I Graja, S Kallel, N Guermouche, AH Kacem 2016 IEEE 25th International Conference on Enabling Technologies …, 2016 | 100 | 2016 |
| 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 | 86 | 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 |
| Specifying and monitoring temporal properties in web services compositions S Kallel, A Charfi, T Dinkelaker, M Mezini, M Jmaiel 2009 Seventh IEEE European Conference on Web Services, 148-157, 2009 | 60 | 2009 |
| 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 |
| Optimal cost for time-aware cloud resource allocation in business process RB Halima, S Kallel, W Gaaloul, M Jmaiel 2017 IEEE International Conference on Services Computing (SCC), 314-321, 2017 | 32 | 2017 |
| 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 |
| An approach based on runtime models for developing dynamically adaptive systems S Loukil, S Kallel, M Jmaiel Future Generation Computer Systems 68, 365-375, 2017 | 25 | 2017 |
| Formal verification of time-aware cloud resource allocation in business process R Ben Halima, S Kallel, K Klai, W Gaaloul, M Jmaiel On the Move to Meaningful Internet Systems: OTM 2016 Conferences …, 2016 | 22 | 2016 |
| The Impact of Digital Technologies on Public Health in Developed and Developing Countries: 18th International Conference, ICOST 2020, Hammamet, Tunisia, June 24–26, 2020 … M Jmaiel, M Mokhtari, B Abdulrazak, H Aloulou, S Kallel Springer Nature, 2020 | 20 | 2020 |
| Toward a correct and optimal time-aware cloud resource allocation to business processes RB Halima, S Kallel, W Gaaloul, Z Maamar, M Jmaiel Future Generation Computer Systems 112, 751-766, 2020 | 19 | 2020 |
| AO4AADL: Aspect oriented extension for AADL S Loukil, S Kallel, B Zalila, M Jmaiel Open Computer Science 3 (2), 43-68, 2013 | 17 | 2013 |
| Toward an aspect oriented ADL for embedded systems S Loukil, S Kallel, B Zalila, M Jmaiel Software Architecture: 4th European Conference, ECSA 2010, Copenhagen …, 2010 | 17 | 2010 |
| 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 |
| Modeling and enforcing invariants of dynamic software architectures S Kallel, M Hadj Kacem, M Jmaiel Software & Systems Modeling 11, 127-149, 2012 | 16 | 2012 |
| 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 |
| A blockchain-based self-sovereign identity approach for inter-organizational business processes A Abid, S Cheikhrouhou, S Kallel, M Jmaiel 2022 17th Conference on Computer Science and Intelligence Systems (FedCSIS …, 2022 | 15 | 2022 |
| 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 |
Mohamed JmaielProfessor of Computer Science, University of SfaxVerifisert e-postadresse på enis.rnu.tn