Follow
Slim Kallel
Slim Kallel
Associate Professor of Computer Science, University of Sfax
Verified email at fsegs.usf.tn - Homepage
Title
Cited by
Cited by
Year
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
892016
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
772015
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
732022
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
662013
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
592009
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
512020
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
392014
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
302017
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
242017
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
222016
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
202021
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
192020
Toward a verification of time-centric business process models
S Cheikhrouhou, S Kallel, M Jmaiel
2014 IEEE 23rd international WETICE conference, 326-331, 2014
172014
AO4AADL: Aspect oriented extension for AADL
S Loukil, S Kallel, B Zalila, M Jmaiel
Open Computer Science 3 (2), 43-68, 2013
172013
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
172010
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
162020
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
162013
Modeling and enforcing invariants of dynamic software architectures
S Kallel, M Hadj Kacem, M Jmaiel
Software & Systems Modeling 11, 127-149, 2012
162012
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
142013
From formal access control policies to runtime enforcement aspects
S Kallel, A Charfi, M Mezini, M Jmaiel, K Klose
International Symposium on Engineering Secure Software and Systems, 16-31, 2009
142009
The system can't perform the operation now. Try again later.
Articles 1–20