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 | 89 | 2016 |
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 | 82 | 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 | 78 | 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 | 66 | 2013 |
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 | 59 | 2009 |
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 | 52 | 2020 |
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 | 39 | 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 | 30 | 2017 |
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 | 24 | 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 | 22 | 2021 |
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 |
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 |
Toward a verification of time-centric business process models S Cheikhrouhou, S Kallel, M Jmaiel 2014 IEEE 23rd international WETICE conference, 326-331, 2014 | 17 | 2014 |
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 |
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 | 16 | 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 |
Modeling and enforcing invariants of dynamic software architectures S Kallel, M Hadj Kacem, M Jmaiel Software & Systems Modeling 11, 127-149, 2012 | 16 | 2012 |
An engineering process for security patterns application in component based models R Bouaziz, S Kallel, B Coulette 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative …, 2013 | 15 | 2013 |
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 | 14 | 2019 |