Mohamed Jmaiel
Mohamed Jmaiel
Professor of Computer Science, University of Sfax
Verified email at enis.rnu.tn - Homepage
Title
Cited by
Cited by
Year
A comparative study of the current cloud computing technologies and offers
M Mahjoub, A Mdhaffar, RB Halima, M Jmaiel
2011 First International Symposium on Network Cloud Computing and …, 2011
1102011
A qos-oriented reconfigurable middleware for self-healing web services
RB Halima, K Drira, M Jmaiel
2008 IEEE International Conference on Web Services, 104-111, 2008
772008
IoT-based health monitoring via LoRaWAN
A Mdhaffar, T Chaari, K Larbi, M Jmaiel, B Freisleben
IEEE EUROCON 2017-17th International Conference on Smart Technologies, 519-524, 2017
572017
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
Privacy in cloud computing environments: a survey and research challenges
A Ghorbel, M Ghorbel, M Jmaiel
The Journal of Supercomputing 73 (6), 2763-2800, 2017
432017
Describing dynamic software architectures using an extended UML model
MH Kacem, AH Kacem, M Jmaiel, K Drira
Proceedings of the 2006 ACM symposium on Applied computing, 1245-1249, 2006
432006
Providing predictive self-healing for web services: a qos monitoring and analysis-based approach
RB Halima, MK Guennoun, K Drira, M Jmaiel
362008
Safe and efficient runtime testing framework applied in dynamic and distributed systems
M Lahami, M Krichen, M Jmaiel
Science of Computer Programming 122, 1-28, 2016
342016
Specification and verification of multi-agent applications using temporal z
A Regayeg, AH Kacem, M Jmaiel
Proceedings. IEEE/WIC/ACM International Conference on Intelligent Agent …, 2004
332004
A comprehensive ontology-based approach for SLA obligations monitoring
K Fakhfakh, T Chaari, S Tazi, K Drira, M Jmaiel
2008 The Second International Conference on Advanced Engineering Computing …, 2008
322008
Towards a TTCN-3 test system for runtime testing of adaptable and distributed systems
M Lahami, F Fakhfakh, M Krichen, M Jmaiel
IFIP International Conference on Testing Software and Systems, 71-86, 2012
312012
Using knapsack problem model to design a resource aware test architecture for adaptable and distributed systems
M Lahami, M Krichen, M Bouchakwa, M Jmaiel
IFIP International Conference on Testing Software and Systems, 103-118, 2012
302012
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
Evaluation and Comparison of ADL Based Approaches for the Description of Dynamic of Software Architectures.
MH Kacem, M Jmaiel, AH Kacem, K Drira
ICEIS (3), 189-195, 2005
282005
Towards a unified graph-based framework for dynamic component-based architectures description in Z
I Loulou, AH Kacem, M Jmaiel, K Drira
The IEEE/ACS International Conference onPervasive Services, 2004. ICPS 2004 …, 2004
282004
Pruning based service selection approach under QoS and temporal constraints
I Guidara, N Guermouche, T Chaari, S Tazi, M Jmaiel
2014 IEEE International Conference on Web Services, 9-16, 2014
262014
Electing a leader in the local computation model using mobile agents
MA Haddar, AH Kacem, Y Métivier, M Mosbah, M Jmaiel
2008 IEEE/ACS International Conference on Computer Systems and Applications …, 2008
262008
AOP4CSM: an aspect-oriented programming approach for cloud service monitoring
A Mdhaffar, RB Halima, E Juhnke, M Jmaiel, B Freisleben
2011 IEEE 11th International Conference on Computer and Information …, 2011
252011
The system can't perform the operation now. Try again later.
Articles 1–20