Follow
Slim Kallel
Slim Kallel
University of Sfax, Tunisia
Verified email at fsegs.usf.tn - Homepage
Title
Cited by
Cited by
Year
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 (1), 75-85, 2015
732015
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
702016
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
592013
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
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
372014
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
302020
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
222022
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
222017
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
212017
Formal verification of time-aware cloud resource allocation in business process
R Ben Halima, S Kallel, K Klai, W Gaaloul, M Jmaiel
OTM Confederated International Conferences" On the Move to Meaningful …, 2016
212016
AO4AADL: Aspect oriented extension for AADL
S Loukil, S Kallel, B Zalila, M Jmaiel
Open Computer Science 3 (2), 43-68, 2013
172013
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 (1), 127-149, 2012
162012
Toward an aspect oriented ADL for embedded systems
S Loukil, S Kallel, B Zalila, M Jmaiel
European Conference on Software Architecture, 489-492, 2010
162010
Toward a verification of time-centric business process models
S Cheikhrouhou, S Kallel, M Jmaiel
2014 IEEE 23rd international WETICE conference, 326-331, 2014
152014
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
152013
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
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
132020
Combining formal methods and aspects for specifying and enforcing architectural invariants
S Kallel, A Charfi, M Mezini, M Jmaiel
International Conference on Coordination Languages and Models, 211-230, 2007
122007
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
82019
The system can't perform the operation now. Try again later.
Articles 1–20