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
622015
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
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
522016
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
522013
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
322014
Formal verification of time-aware cloud resource allocation in business process
RB Halima, S Kallel, K Klai, W Gaaloul, M Jmaiel
OTM Confederated International Conferences" On the Move to Meaningful …, 2016
192016
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
182017
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
172020
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
172017
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
AO4AADL: Aspect oriented extension for AADL
S Loukil, S Kallel, B Zalila, M Jmaiel
Open Computer Science 3 (2), 43-68, 2013
162013
Modeling and enforcing invariants of dynamic software architectures
S Kallel, MH 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
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 verification of time-centric business process models
S Cheikhrouhou, S Kallel, M Jmaiel
2014 IEEE 23rd International WETICE Conference, 326-331, 2014
132014
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
122013
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
Modeling and verification of temporal properties in cyber-physical systems
I Graja, S Kallel, N Guermouche, AH Kacem
2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC …, 2017
72017
An aspect-oriented approach to enforce security properties in business processes
I Yahya, SH Turki, A Charfi, S Kallel, R Bouaziz
International Conference on Service-Oriented Computing, 344-355, 2012
72012
Formal verification of temporal constraints and allocated cloud resources in business processes
RB Halima, I Zouaghi, S Kallel, W Gaaloul, M Jmaiel
2018 IEEE 32nd international conference on advanced information networking …, 2018
62018
The system can't perform the operation now. Try again later.
Articles 1–20