Slim Kallel
Title
Cited by
Cited by
Year
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
542009
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
522015
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
492013
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
352016
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
282014
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
192017
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
182016
A survey on time-aware business process modeling
S Cheikhrouhou, S Kallel, N Guermouche, M Jmaiel
162013
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
Modeling and enforcing invariants of dynamic software architectures
S Kallel, MH Kacem, M Jmaiel
Software & Systems Modeling 11 (1), 127-149, 2012
152012
AO4AADL: Aspect oriented extension for AADL
S Loukil, S Kallel, B Zalila, M Jmaiel
Open Computer Science 3 (2), 43-68, 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
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
122017
Toward a verification of time-centric business process models
S Cheikhrouhou, S Kallel, M Jmaiel
2014 IEEE 23rd International WETICE Conference, 326-331, 2014
112014
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
112013
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
112007
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
92020
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
62012
ForMAAD Method: An Experimental Design for Air Traffic Control
A Regayeg, S Kallel, AH Kacem, M Jmaiel
Behaviour 6 (6), 6, 2006
62006
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
52018
The system can't perform the operation now. Try again later.
Articles 1–20