Selected Publications

Google Scholar   dblp

Journals

    2022
  1. Mehdi Ahmed-Nacer, Slim Kallel, Faiez Zalila, Philippe Merle, Walid Gaaloul: Model-Driven Simulation of Elastic OCCI Cloud Resources. Comput. J. 65(5): 1144-1166 (2022)
  2. Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia: A model-driven approach for deployment descriptor design in network function virtualization. Int. J. Netw. Manag. 32(1) (2022)
  3. Hayet Brabra, Marcos Báez, Boualem Benatallah, Walid Gaaloul, Sara Bouguelia, Shayan Zamanirad: Dialogue Management in Conversational Systems: A Review of Approaches, Challenges, and Opportunities. IEEE Trans. Cogn. Dev. Syst. 14(3): 783-798 (2022)
  4. Mengyu Sun, Zhangbing Zhou, Xiao Xue, Wenbo Zhang, Walid Gaaloul: Adaptive Configuration of Service-Based Smart Sensors in Edge Networks. IEEE Trans. Ind. Informatics 18(4): 2674-2683 (2022)
  5. Jeremy Mechouche, Roua Touihri, Mohamed Sellami, Walid Gaaloul: Conformance checking for autonomous multi-cloud SLA management and adaptation. J. Supercomput. 78(11): 13004-13039 (2022)
    2021
  6. Slim Kallel, Zakaria Maamar, Mohamed Sellami, Noura Faci, Ahmed Ben Arab, Walid Gaaloul, Thar Baker: Restriction-based fragmentation of business processes over the cloud. Concurr. Comput. Pract. Exp. 33(7): 1 (2021)
    7. Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Emna Guermazi, Walid Gaaloul: A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation. J. Univers. Comput. Sci. 27(7): 693-713 (2021)
  7. Rania Ben Halima, Slim Kallel, Mehdi Ahmed-Nacer, Walid Gaaloul: Optimal business process deployment cost in cloud resources. J. Supercomput. 77(2): 1579-1611 (2021)
    2020
  8. Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Faïez Gargouri: Cloud SLA negotiation and re-negotiation: An ontology-based context-aware approach. Concurr. Comput. Pract. Exp. 32(15) (2020)
  9. Walid Gaaloul, Zhangbing Zhou, Hervé Panetto, Liang Zhang: Special Issue on Fog and Cloud Computing for Cooperative Information System Management: Challenges and Opportunities. Future Gener. Comput. Syst. 109: 704-705 (2020)
  10. Rania Ben Halima, Slim Kallel, Walid Gaaloul, Zakaria Maamar, Mohamed Jmaiel: Toward a correct and optimal time-aware cloud resource allocation to business processes. Future Gener. Comput. Syst. 112: 751-766 (2020)
  11. Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah: Toward higher-level abstractions based on state machine for cloud resources elasticity. Inf. Syst. 90: 101450 (2020)
  12. Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia: Configurable Deployment Descriptor Model in NFV. J. Netw. Syst. Manag. 28(3): 693-718 (2020) [–] 2010 – 2019 FAQ
    2019
  13. Mengyu Sun, Zhangbing Zhou, Junping Wang, Chu Du, Walid Gaaloul: Energy-Efficient IoT Service Composition for Concurrent Timed Applications. Future Gener. Comput. Syst. 100: 1017-1030 (2019)
  14. Hayet Brabra, Achraf Mtibaa, Fábio Petrillo, Philippe Merle, Layth Sliman, Naouel Moha, Walid Gaaloul, Yann-Gaël Guéhéneuc, Boualem Benatallah, Faïez Gargouri: On semantic detection of cloud API (anti)patterns. Inf. Softw. Technol. 107: 65-82 (2019)
  15. Mariam Chaabane, Ismael Bouassida Rodriguez, Ricardo Colomo Palacios, Walid Gaaloul, Mohamed Jmaiel: A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric. Sci. Comput. Program. 184 (2019)
    2018
  16. Deng Zhao, Walid Gaaloul, Wenbo Zhang, Chunsheng Zhu, Zhangbing Zhou: Formal Verification of Temporal Constraints for Mobile Service-Based Business Process Models. IEEE Access 6: 59843-59852 (2018)
  17. Kunal Suri, Walid Gaaloul, Arnaud Cuccuru, Sebastien Gerard: Semantic Framework for Energy-Aware Resource Management of IoT in Business Processes. Int. J. Syst. Serv. Oriented Eng. 8(1): 21-43 (2018)
  18. Mohamed Graiet, Imed Abbassi, Mourad Kmimech, Walid Gaaloul: A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition. IEEE Syst. J. 12(2): 1644-1654 (2018)
  19. Molka Rekik, Khouloud Boukadi, Nour Assy, Walid Gaaloul, Hanêne Ben-Abdallah: Optimal Deployment of Configurable Business Processes in Cloud Federations. IEEE Trans. Netw. Serv. Manag. 15(4): 1692-1705 (2018)
  20. Zhangbing Zhou, Zehui Cheng, Liang-Jie Zhang, Walid Gaaloul, Ke Ning: Scientific Workflow Clustering and Recommendation Leveraging Layer Hierarchical Analysis. IEEE Trans. Serv. Comput. 11(1): 169-183 (2018)
    2017
  21. Mohamed Graiet, Amel Mammar, Souha Boubaker, Walid Gaaloul: Towards Correct Cloud Resource Allocation in Business Processes. IEEE Trans. Serv. Comput. 10(1): 23-36 (2017) 2016
  22. Djamel Belaïd, Imen Ben Lahmar, Walid Gaaloul: Developing correct adapters for software architectural dynamic reconfiguration. Int. J. Auton. Adapt. Commun. Syst. 9(3/4): 201-222 (2016)
  23. Karn Yongsiriwit, Nour Assy, Walid Gaaloul: A semantic framework for configurable business process as a service in the cloud. J. Netw. Comput. Appl. 59: 168-184 (2016)
  24. Nguyen Ngoc Chan, Nattawat Nonsung, Walid Gaaloul: Service querying to support process variant development. J. Syst. Softw. 122: 538-552 (2016)
  25. Zhangbing Zhou, Kim Fung Tsang, Zhuofeng Zhao, Walid Gaaloul: Data intelligence on the Internet of Things. Pers. Ubiquitous Comput. 20(3): 277-281 (2016)
    2015
  26. Zhangbing Zhou, Walid Gaaloul, Patrick C. K. Hung, Lei Shu, Wei Tan: IEEE Access Special Session Editorial: Big Data Services and Computational Intelligence for Industrial Systems. IEEE Access 3: 3085-3088 (2015)
  27. Zahra Movahedi, Walid Gaaloul, Sami Bhiri, Bruno Defude: Assisting Sensor-Based Application Design and Instantiation Using Activity Recommendation. Comput. J. 58(3): 368-384 (2015)
  28. Mohamed Sellami, Walid Gaaloul, Bruno Defude: A decentralized and service-based solution for data mediation: the case for data providing service compositions. Concurr. Comput. Pract. Exp. 27(6): 1427-1444 (2015)
  29. Nour Assy, Walid Gaaloul, Layth Sliman, Bruno Defude: Configuration assistée des processus métier. Conception et expérimentation. Ingénierie des Systèmes d Inf. 20(6): 59-78 (2015)
  30. ZhangBing Zhou, Riliang Xing, Walid Gaaloul, Yongping Xiong: A three-dimensional sub-region query processing mechanism in underwater WSNs. Pers. Ubiquitous Comput. 19(7): 1075-1086 (2015)
  31. Nour Assy, Nguyen Ngoc Chan, Walid Gaaloul: An Automated Approach for Assisting the Design of Configurable Process Models. IEEE Trans. Serv. Comput. 8(6): 874-888 (2015)
    2014
  32. Nour Assy, Nguyen Ngoc Chan, Walid Gaaloul, Bruno Defude: Deriving configurable fragments for process design. Int. J. Bus. Process. Integr. Manag. 7(1): 2-21 (2014)
    2013
  33. ZhangBing Zhou, Walid Gaaloul, Lei Shu, Samir Tata, Sami Bhiri: Assessing the replaceability of service protocols in mediated service interactions. Future Gener. Comput. Syst. 29(1): 287-299 (2013)
  34. Mohamed Sellami, Olfa Bouchaala, Walid Gaaloul, Samir Tata: Communities of Web service registries: Construction and management. J. Syst. Softw. 86(3): 835-853 (2013)
  35. ZhangBing Zhou, Mohamed Sellami, Walid Gaaloul, Mahmoud Barhamgi, Bruno Defude: Data Providing Services Clustering and Management for Facilitating Service Discovery and Replacement. IEEE Trans Autom. Sci. Eng. 10(4): 1131-1146 (2013)
    2012
  36. Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Towards an approach of formal verification of mediation protocol based on web services of MDE type. Int. J. Web Inf. Syst. 8(1): 32-54 (2012)
  37. Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata: A recommender system based on historical usage data for web service discovery. Serv. Oriented Comput. Appl. 6(1): 51-63 (2012)
  38. ZhangBing Zhou, Sami Bhiri, Hai Zhuge, Walid Gaaloul: Assessment of Service Protocol Adaptability Based on Novel Walk Computation. IEEE Trans. Syst. Man Cybern. Part A 42(5): 1109-1140 (2012)
    2011
  39. Sami Bhiri, Walid Gaaloul, Claude Godart, Olivier Perrin, Maciej Zaremba, Wassim Derguech: Ensuring Customised Transactional Reliability of Composite Services. J. Database Manag. 22(2): 64-92 (2011)
    2010
  40. Walid Gaaloul, Sami Bhiri, Mohsen Rouached: Event-Based Design and Runtime Verification of Composite Service Transactional Behavior. IEEE Trans. Serv. Comput. 3(1): 32-45 (2010)
  41. Walid Gaaloul, Karim Baïna, Claude Godart: Fouille de workflow. Tech. Sci. Informatiques 29(10): 1207-1236 (2010)
    2009
  42. Walid Gaaloul, Khaled Gaaloul, Sami Bhiri, Armin Haller, Manfred Hauswirth: Log-based transactional workflow mining. Distributed Parallel Databases 25(3): 193-240 (2009)
    2008
  43. Sami Bhiri, Walid Gaaloul, Claude Godart: Mining and Improving Composite Web Services Recovery Mechanisms. Int. J. Web Serv. Res. 5(2): 23-48 (2008)
  44. Walid Gaaloul, Karim Baïna, Claude Godart: Log-based mining techniques applied to Web service composition reengineering. Serv. Oriented Comput. Appl. 2(2-3): 93-110 (2008)
    2004
  45. Sami Bhiri, Olivier Perrin, Walid Gaaloul, Claude Godart: An Object-Oriented Metamodel for Inter-Enterprises Cooperative Processes Based on Web Services. Trans. SDPS 8(2): 37-55 (2004)

Conference and Workshop Papers

    2022
  1. Leyla Moctar-M'Baba, Nour Assy, Mohamed Sellami, Walid Gaaloul, Mohamedade Farouk Nanne: Extracting Artifact-Centric Event Logs From Blockchain Applications. SCC 2022: 274-283
  2. Amina Brahem, Tiphaine Henry, Sami Bhiri, Thomas Devogele, Nassim Laga, Nizar Messai, Yacine Sam, Walid Gaaloul, Boualem Benatallah: A Trustworthy decentralized Change Propagation Mechanism for Declarative Choreographies. BPM 2022: 418-435
  3. Ali Nour Eldin, Nour Assy, Meriana Kobeissi, Jonathan Baudot, Walid Gaaloul: Enabling Multi-process Discovery on Graph Databases. CoopIS 2022: 112-130
  4. Tiphaine Henry, Julien Hatin, Léo Kazmierczak, Nassim Laga, Walid Gaaloul, Emmanuel Bertin: Random-Value Payment Tokens for On-Chain Privacy-Preserving Payments. CoopIS 2022: 223-241
  5. Tiphaine Henry, Roman Beck, Nassim Laga, Walid Gaaloul, Shenle Pan: Decentralized procurement mechanisms for efficient logistics services mapping - a design science research approach. HICSS 2022: 1-10
  6. Leyla Moctar-M'Baba, Mohamed Sellami, Walid Gaaloul, Mohamedade Farouk Nanne: Blockchain logging for process mining: a systematic review. HICSS 2022: 1-10
  7. Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Walid Gaaloul: Automatic Processing of Planning Problems: Application on Representative Case Studies. ICCCI (CCIS Volume) 2022: 436-445
  8. Walid Gaaloul: Mining Knowledge Graphs From Loosely Structured Processes: A Use Case From Emailing Systems. ICSBT 2022: 9
  9. Imen Jerbi, Nour Assy, Mohamed Sellami, Hayet Brabra, Walid Gaaloul, Sami Bhiri, Olivier Tirat, Djamal Zeghlache: Enabling Multi-Provider Cloud Network Service Bundling. ICWS 2022: 405-414
  10. Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul: Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. SAC 2022: 316-325
    2021
  11. Tiphaine Henry, Nassim Laga, Julien Hatin, Roman Beck, Walid Gaaloul: Hire me fairly: towards dynamic resource-binding with smart contracts. SCC 2021: 407-412
  12. Ikram Garfatta, Kais Klai, Walid Gaaloul, Mohamed Graiet: A Survey on Formal Verification for Solidity Smart Contracts. ACSW 2021: 3:1-3:10
  13. Tiphaine Henry, Nassim Laga, Julien Hatin, Walid Gaaloul, Imed Boughzala: Cross-Collaboration Processes based on Blockchain and IoT: a survey. HICSS 2021: 1-10
  14. Jeremy Mechouche, Roua Touihri, Mohamed Sellami, Walid Gaaloul: Towards higher-level description of SLA-aware reconfiguration strategies based on state-machine. ICEBE 2021: 1-8
  15. Meriana Kobeissi, Nour Assy, Walid Gaaloul, Bruno Defude, Bassem Haidar: An Intent-Based Natural Language Interface for Querying Process Execution Data. ICPM 2021: 152-159
  16. Tiphaine Henry, Amina Brahem, Nassim Laga, Julien Hatin, Walid Gaaloul, Boualem Benatallah: Trustworthy Cross-Organizational Collaborations with Hybrid On/Off-Chain Declarative Choreographies. ICSOC 2021: 81-96
  17. Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul: Model Checking of Solidity Smart Contracts Adopted for Business Processes. ICSOC 2021: 116-132
  18. Mengyu Sun, Zhangbing Zhou, Xiao Xue, Walid Gaaloul: Migration-Based Service Allocation Optimization in Dynamic IoT Networks. ICSOC 2021: 385-399
  19. Deng Zhao, Zhangbing Zhou, Xiao Xue, Zhuofeng Zhao, Walid Gaaloul, Wenbo Zhang: CTL-Based Dynamic IoT Service Composition. ICWS 2021: 381-388
  20. Mengyu Sun, Zhangbing Zhou, Walid Gaaloul: Adaptive IoT Service Configuration Optimization in Edge Networks. INFOCOM Workshops 2021: 1-2
  21. Ralph Bou Nader, Nour Assy, Walid Gaaloul, Yehia Taher, Rafiqul Haque: Track Before Detect: A Novel Approach For Unsupervised Anomaly Detection In Time Series. SMDS 2021: 142-151
  22. Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul: A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts. WETICE 2021: 69-74
    2020
  23. Marwa Elleuch, Nour Assy, Nassim Laga, Walid Gaaloul, Oumaima Alaoui Ismaili, Boualem Benatallah: A Meta Model for Mining Processes from Email Data. SCC 2020: 152-161
  24. Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Walid Gaaloul, Boualem Benatallah: Discovering Activities from Emails Based on Pattern Discovery Approach. BPM (Forum) 2020: 88-104
  25. Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Nour Assy, Walid Gaaloul: Discovery of Activities' Actor Perspective from Emails based on Speech Acts Detection. ICPM 2020: 73-80
  26. Ikram Garfatta, Kaïs Klai, Mahamed Graïet, Walid Gaaloul: Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach. ICSOC Workshops 2020: 47-53
  27. Amina Brahem, Nizar Messai, Yacine Sam, Sami Bhiri, Thomas Devogele, Walid Gaaloul: Running Transactional Business Processes with Blockchain's Smart Contracts. ICWS 2020: 89-93
  28. Deng Zhao, Zhangbing Zhou, Yasha Wang, Walid Gaaloul: Detecting Temporal Anomaly and Interestingness in Timed Business Process Models. ICWS 2020: 418-422
  29. Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul: Poster: Word embedding for deployment descriptors in NFV. Networking 2020: 625-627
  30. Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia: Learning a Configurable Deployment Descriptors Model in NFV. NOMS 2020: 1-9
  31. Marwa Elleuch, Nassim Laga, Oumaima Alaoui Ismaili, Walid Gaaloul: Discovering Business Processes And Activities From Messaging Systems: State-Of-The Art. WETICE 2020: 137-142
    2019
  32. Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah, Faïez Gargouri: Model-Driven Orchestration for Cloud Resources. CLOUD 2019: 422-429
  33. Farah Bellaaj, Hayet Brabra, Mohamed Sellami, Walid Gaaloul, Sami Bhiri: A Transactional Approach for Reliable Elastic Cloud Resources. SCC 2019: 154-161
  34. Nassim Laga, Marwa Elleuch, Walid Gaaloul, Oumaima Alaoui Ismaili: Emails Analysis for Business Process Discovery. ATAED@Petri Nets/ACSD 2019: 54-70
  35. Amani Abou Rida, Nour Assy, Walid Gaaloul: Extracting Attribute-Based Access Control Rules from Business Process Event Logs. BDCSIntell 2019: 38-45
  36. Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul: On the Verification of Data Encryption Requirements in Internet of Things Using Event-B. ICDEc 2019: 147-156
  37. Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul: Virtual Network Function Descriptors Mining using Word Embeddings and Deep Neural Networks. IM 2019: 515-520
  38. Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul: A SAT-Based Formal Approach for Verifying Business Process Configuration. Innovate-Data 2019: 47-62
  39. Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul: Using Deep Learning for Recommending and Completing Deployment Descriptors in NFV. NetSoft 2019: 233-235
  40. Jinfeng Wen, Zhangbing Zhou, Yasha Wang, Walid Gaaloul, Yucong Duan: Discovering Crossing-Workflow Fragments Based on Activity Knowledge Graph. OTM Conferences 2019: 515-532
  41. Wided Mathlouthi, Chahrazed Labba, Walid Gaaloul, Narjès Bellamine Ben Saoud: SoS Paradigm Benefits SaaS Integration: Novel Approach and First Results. WETICE 2019: 174-179
  42. Amina Brahem, Nizar Messai, Yacine Sam, Sami Bhiri, Thomas Devogele, Walid Gaaloul: Blockchain's Fame Reaches the Execution of Personalized Touristic Itineraries. WETICE 2019: 186-191
    2018
  43. Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel: Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. AINA 2018: 952-959
  44. Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Walid Gaaloul: Trustless Blockchain-based Access Control in Dynamic Collaboration. BDCSIntell 2018: 27-33
  45. Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah: Model-Driven Elasticity for Cloud Resources. CAiSE 2018: 187-202
  46. Jiabei Xu, Deng Zhao, Zhangbing Zhou, Walid Gaaloul, Yucong Duan: Energy-Efficient WSN Service Composition for Concurrent Applications. ICWS 2018: 74-81
  47. Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul: Semantic-Based Global Network View Construction in Software Defined Networks with Multiple Controllers. NetSoft 2018: 252-256
  48. Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel: Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation. OTM Conferences (1) 2018: 445-462
  49. Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul: Formal Modelling and Verification of Cloud Resource Allocation in Business Processes. OTM Conferences (1) 2018: 552-567
  50. Souha Boubaker, Kais Klai, Hedi Kortas, Walid Gaaloul: A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics. OTM Conferences (1) 2018: 623-642
  51. Kunal Suri, Walid Gaaloul, Arnaud Cuccuru: Configurable IoT-Aware Allocation in Business Processes. SCC 2018: 119-136
  52. Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul: [WiP] Formal Modelling of IT Resource Allocation in Business Processes. SOCA 2018: 227-232
    2017
  53. Mehdi Ahmed-Nacer, Kunal Suri, Mohamed Sellami, Walid Gaaloul: Simulation of Configurable Resource Allocation for Cloud-Based Business Processes. SCC 2017: 305-313
  54. Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel: Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process. SCC 2017: 314-321
  55. Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Samir Tata, Faïez Gargouri: Cloud SLA Modeling and Monitoring. SCC 2017: 338-345
  56. Mehdi Ahmed-Nacer, Walid Gaaloul, Samir Tata: OCCI-Compliant Cloud Configuration Simulation. EDGE 2017: 73-81
  57. Molka Rekik, Khouloud Boukadi, Walid Gaaloul, Hanêne Ben-Abdallah: Anti-Pattern Specification and Correction Recommendations for Semantic Cloud Services. HICSS 2017: 1-10
  58. Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul: Deadlock-Freeness Verification of Business Process Configuration Using SOG. ICSOC 2017: 96-112
  59. Emna Hachicha, Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul: Genetic-Based Configurable Cloud Resource Allocation in QoS-Aware Business Process Development. ICWS 2017: 836-839
  60. Kunal Suri, Arnaud Cuccuru, Juan Cadavid, Sebastien Gerard, Walid Gaaloul, Samir Tata: Model-based Development of Modular Complex Systems for Accomplishing System Integration for Industry 4.0. MODELSWARD 2017: 487-495
  61. Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Faïez Gargouri: Ontology-Based SLA Negotiation and Re-Negotiation for Cloud Computing. WETICE 2017: 36-41
  62. Kunal Suri, Walid Gaaloul, Arnaud Cuccuru, Sebastien Gerard: Semantic Framework for Internet of Things-Aware Business Process Development. WETICE 2017: 214-219
  63. Chahrazed Labba, Nour Assy, Narjès Bellamine Ben Saoud, Walid Gaaloul: Adaptive Deployment of Service-Based Processes into Cloud Federations. WISE (1) 2017: 275-289
    2016
  64. Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul: A Semantic Framework Supporting Cloud Resource Descriptions Interoperability. CLOUD 2016: 585-592
  65. Molka Rekik, Khouloud Boukadi, Nour Assy, Walid Gaaloul, Hanêne Ben-Abdallah: A Linear Program for Optimal Configurable Business Processes Deployment into Cloud Federation. SCC 2016: 34-41
  66. Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul: A Semantic Framework Supporting Business Process Variability Using Event Logs. SCC 2016: 163-170
  67. Emna Hachicha, Walid Gaaloul, Zakaria Maamar: Social-Based Semantic Framework for Cloud Resource Management in Business Processes. SCC 2016: 443-450
  68. Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Faïez Gargouri: Semantic Web Technologies in Cloud Computing: A Systematic Literature Review. SCC 2016: 744-751
  69. Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul: Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B. AINA 2016: 746-753
  70. Emna Hachicha, Nour Assy, Walid Gaaloul, Jan Mendling: A Configurable Resource Allocation for Multi-tenant Process Development in the Cloud. CAiSE 2016: 558-574
  71. Ons Bibani, Carla Mouradian, Sami Yangui, Roch H. Glitho, Walid Gaaloul, Nejib Ben Hadj-Alouane, Monique Morrow, Paul A. Polakos: A Demo of IoT Healthcare Application Provisioning in Hybrid Cloud/Fog Environment. CloudCom 2016: 472-475
  72. Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Faïez Gargouri: Toward Context-Aware SLA for Cloud Computing. HIS 2016: 350-359
  73. Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Boualem Benatallah, Faïez Gargouri: Detecting Cloud (Anti)Patterns: OCCI Perspective. ICSOC 2016: 202-218
  74. Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul: A Formal Guidance Approach for Correct Process Configuration. ICSOC 2016: 483-498
  75. Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul: An Event-B Based Approach for Ensuring Correct Configurable Business Processes. ICWS 2016: 460-467
  76. Ons Bibani, Sami Yangui, Roch H. Glitho, Walid Gaaloul, Nejib Ben Hadj-Alouane, Monique J. Morrow, Paul A. Polakos: A demo of a PaaS for IoT applications provisioning in hybrid cloud/fog environment. LANMAN 2016: 1-2
  77. Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Abir Elkhalfa, Walid Gaaloul: A Global SLA-Aware Approach for Aggregating Services in the Cloud. OTM Conferences 2016: 363-380
  78. Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel: Formal Verification of Time-Aware Cloud Resource Allocation in Business Process. OTM Conferences 2016: 400-417
  79. Emna Hachicha, Karn Yongsiriwit, Walid Gaaloul: Energy Efficient Configurable Resource Allocation in Cloud-Based Business Processes (Short Paper). OTM Conferences 2016: 437-444
    2015
  80. Souha Boubaker, Walid Gaaloul, Mohamed Graiet, Nejib Ben Hadj-Alouane: Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process. SCC 2015: 538-545
  81. Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul: Semantic Process Fragments Matching to Assist the Development of Process Variants. SCC 2015: 712-719
  82. Emna Hachicha, Walid Gaaloul: Towards Resource-aware Business Process development in the Cloud. AINA 2015: 761-768
  83. Nour Assy, Walid Gaaloul: Extracting Configuration Guidance Models from Business Process Repositories. BPM 2015: 198-206
  84. Karn Yongsiriwit, Nguyen Ngoc Chan, Walid Gaaloul: Log-Based Process Fragment Querying to Support Process Design. HICSS 2015: 4109-4119
  85. Walid Gaaloul, Joaquin Ezpeleta, ZhangBing Zhou, Mahmoud Barhamgi: CPS 2015 Track Report: Cyber Physical Society. WETICE 2015: 114-115
  86. Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane: Genetic-Based Approach for ATS and SLA-aware Web Services Composition. WISE (1) 2015: 369-383
    2014
  87. Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane: A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions. IEEE SCC 2014: 637-644
  88. Nguyen Ngoc Chan, Karn Yongsiriwit, Walid Gaaloul, Jan Mendling: Mining Event Logs to Assist the Development of Executable Process Variants. CAiSE 2014: 548-563
  89. Nour Assy, Walid Gaaloul, Bruno Defude: Mining Configurable Process Fragments for Business Process Design. DESRIST 2014: 209-224
  90. Nour Assy, Walid Gaaloul: Configuration Rule Mining for Variability Analysis in Configurable Process Models. ICSOC 2014: 1-15
  91. Nour Assy, Karn Yongsiriwit, Walid Gaaloul, Imen Grida Ben Yahia: A framework for semantic telco process management - An industrial case study. ISDA 2014: 44-49
  92. Nguyen Ngoc Chan, Walid Gaaloul: Querying Services Based on Composition Context. WETICE 2014: 44-49
  93. Mahmoud Barhamgi, Walid Gaaloul, Joaquin Ezpeleta, ZhangBing Zhou: Track Report of Capacity Driven Processes and Services for Cyber Physical Society (CPS 2014). WETICE 2014: 255-256
  94. Imed Abbassi, Mourad Kmimech, Nejib Ben Hadj-Alouane, Walid Gaaloul: Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B. WETICE 2014: 313-318
    2013
  95. Nour Assy, Nguyen Ngoc Chan, Walid Gaaloul: Assisting Business Process Design with Configurable Process Fragments. IEEE SCC 2013: 535-542
  96. Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul: Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. ICWS 2013: 251-259
  97. ZhangBing Zhou, Walid Gaaloul, Jianwei Niu: CPS Track Report. WETICE 2013: 200-201
    2012
  98. Mohamed Sellami, Walid Gaaloul, Bruno Defude, Samir Tata: Towards a Unified Marketplace for Functionality-based Cloud Service Discovery. CLOSER 2012: 252-257
  99. Chihab Hanachi, Walid Gaaloul, Ravi Mondi: Performative-Based Mining of Workflow Organizational Structures. EC-Web 2012: 63-75
  100. Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata: Assisting Business Process Design by Activity Neighborhood Context Matching. ICSOC 2012: 541-549
  101. Lazhar Hamel, Mohamed Graiet, Walid Gaaloul: Event-B Formalisation of Web Services for Dynamic Composition. SKG 2012: 150-156
  102. Mohamed Sellami, Walid Gaaloul, Bruno Defude: Data Mapping Web Services for Composite DaaS Mediation. WETICE 2012: 36-41
  103. Rami Sellami, Walid Gaaloul, Samir Moalla: An Ontology for Workflow Organizational Model Mining. WETICE 2012: 199-204
  104. ZhangBing Zhou, Walid Gaaloul, Wei Tan, Daqiang Zhang: CPS Track Report: 2nd Track on Cyber Physical Society with SOA, BPM and Sensor Networks. WETICE 2012: 315-317
    2011
  105. Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata: Composition Context Matching for Web Service Recommendation. IEEE SCC 2011: 624-631
  106. Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata: A Web Service Recommender System Using Vector Space Model and Latent Semantic Indexing. AINA 2011: 602-609
  107. Wil M. P. van der Aalst, Arya Adriansyah, Ana Karla Alves de Medeiros, Franco Arcieri, Thomas Baier, Tobias Blickle, R. P. Jagadeesh Chandra Bose, Peter van den Brand, Ronald Brandtjen, Joos C. A. M. Buijs, Andrea Burattin, Josep Carmona, Malú Castellanos, Jan Claes, Jonathan E. Cook, Nicola Costantini, Francisco Curbera, Ernesto Damiani, Massimiliano de Leoni, Pavlos Delias, Boudewijn F. van Dongen, Marlon Dumas, Schahram Dustdar, Dirk Fahland, Diogo R. Ferreira, Walid Gaaloul, Frank van Geffen, Sukriti Goel, Christian W. Günther, Antonella Guzzo, Paul Harmon, Arthur H. M. ter Hofstede, John Hoogland, Jon Espen Ingvaldsen, Koki Kato, Rudolf Kuhn, Akhil Kumar, Marcello La Rosa, Fabrizio Maria Maggi, Donato Malerba, R. S. Mans, Alberto Manuel, Martin McCreesh, Paola Mello, Jan Mendling, Marco Montali, Hamid R. Motahari Nezhad, Michael zur Muehlen, Jorge Munoz-Gama, Luigi Pontieri, Joel Ribeiro, Anne Rozinat, Hugo Seguel Pérez, Ricardo Seguel Pérez, Marcos Sepúlveda, Jim Sinur, Pnina Soffer, Minseok Song, Alessandro Sperduti, Giovanni Stilo, Casper Stoel, Keith D. Swenson, Maurizio Talamo, Wei Tan, Chris Turner, Jan Vanthienen, George Varvaressos, Eric Verbeek, Marc Verdonk, Roberto Vigo, Jianmin Wang, Barbara Weber, Matthias Weidlich, Ton Weijters, Lijie Wen, Michael Westergaard, Moe Thandar Wynn: Process Mining Manifesto. Business Process Management Workshops (1) 2011: 169-194
  108. Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Verifying Composite Service Transactional Behavior with EVENT-B. ECSA 2011: 67-74
  109. Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata: Context-Based Service Recommendation for Assisting Business Process Design. EC-Web 2011: 39-51
  110. Mohamed Sellami, Walid Gaaloul, Samir Tata: Implementation of Communities of Web Service Registries. ICWS 2011: 690-691
  111. Mohamed Sellami, Walid Gaaloul, Samir Tata: An implicit approach for building communities of web service registries. iiWAS 2011: 230-237
  112. Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou: MDE approach for the generation and verification of SCA model. iiWAS 2011: 317-320
  113. Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou: Towards a transformation of composite web service with QoS extension into ACME\Armani. iiWAS 2011: 349-352
  114. Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Verifying Composite Service Transactional Behavior with EVENT-B. SKG 2011: 99-106
  115. Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou: ATL Transformation for the Generation of SCA Model. SKG 2011: 164-167
  116. Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou: Profile UML2.0 for Specification of the SCA Architectures. SKG 2011: 191-194
  117. ZhangBing Zhou, Mohamed Sellami, Walid Gaaloul, Bruno Defude: Clustering and Managing Data Providing Services Using Machine Learning Technique. SKG 2011: 225-232
  118. Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel: Graph-based Management of Communities of Web Service Registries. WEBIST 2011: 61-70
  119. Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel: Modeling and Managing Communities of Web Service Registries. WEBIST (Selected Papers) 2011: 88-102
  120. Kais Klai, Walid Gaaloul: Petri Net Modeling and Verification of Transactional Workflows. WETICE 2011: 176-184
    2010
  121. Mohamed Sellami, Walid Gaaloul, Samir Tata: Functionality-Driven Clustering of Web Service Registries. IEEE SCC 2010: 631-634
  122. Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel: Using Recommendation to Limit Search Space in Web Services Discovery. AINA 2010: 974-981
  123. Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata: Web Services Recommendation Based on User's Behavior. ICEBE 2010: 214-221
  124. Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul: Towards an approach of formal verification of mediation protocol based on web services. iiWAS 2010: 75-82
  125. Mohamed Sellami, Olfa Bouchaala, Walid Gaaloul, Samir Tata: WSRD: A Web Services Registry Description. NOTERE 2010: 89-96
  126. Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata: Collaborative Filtering Technique for Web Service Recommendation Based on User-Operation Combination. OTM Conferences (1) 2010: 222-239
    2009
  127. Armin Haller, Mateusz Marmolowski, Walid Gaaloul, Eyal Oren, Brahmananda Sapkota, Manfred Hauswirth: From Workflow Models to Executable Web Service Interfaces. ICWS 2009: 131-140
    2008
  128. ZhangBing Zhou, Sami Bhiri, Walid Gaaloul, Manfred Hauswirth: Developing Process Mediator for Supporting Mediated Web Service Interactions. ECOWS 2008: 155-164
  129. Fodé Touré, Karim Baïna, Walid Gaaloul: Toward a Hybrid Algorithm for Workflow Graph Structural Verification. ICEIS (3-2) 2008: 442-447
  130. ZhangBing Zhou, Sami Bhiri, Walid Gaaloul, Lei Shu, Laurentiu Vasiliu, Manfred Hauswirth: Developing Process Mediator for Web Service Interactions. ICWS 2008: 828-829
  131. ZhangBing Zhou, Sami Bhiri, Walid Gaaloul, Lei Shu, Manfred Hauswirth: Behavioral Compatibility of Web Services. OTM Workshops 2008: 27-28
  132. Armin Haller, Walid Gaaloul, Mateusz Marmolowski: Towards an XPDL Compliant Process Ontology. SERVICES I 2008: 83-86
    2007
  133. Walid Gaaloul, Sami Bhiri, Manfred Hauswirth, Mohsen Rouached, Claude Godart: Formal verification of composite service recovery mechanisms consistency. CollaborateCom 2007: 278-287
  134. Walid Gaaloul, Sami Bhiri, Armin Haller: Mining and Re-engineering Transactional Workflows for Reliable Executions. ER 2007: 485-501
  135. Walid Gaaloul, Mohsen Rouached, Claude Godart, Manfred Hauswirth: Verifying Composite Service Transactional Behavior Using Event Calculus. OTM Conferences (1) 2007: 353-370
  136. ZhangBing Zhou, Sami Bhiri, Ke Ning, Laurentiu Vasiliu, Douglas Foxvog, Walid Gaaloul: Better Behavioral Description for Dynamic Semantic Web Services Collaboration. SKG 2007: 338-341
    2006
  137. Karim Baïna, Walid Gaaloul, Reda El Khattabi, Abdellah Mouhou: WorkflowMiner: a New Workflow Patterns and Performance Analysis tool. CAiSE Forum 2006
  138. Walid Gaaloul, Karim Baïna, Claude Godart: A Bottom-Up Workflow Mining Approach for Workflow Applications Analysis. DEECS 2006: 182-197
  139. Sami Bhiri, Walid Gaaloul, Claude Godart: Discovering and Improving Recovery Mechanisms of CompositeWeb Services. ICWS 2006: 99-110
  140. Walid Gaaloul, Claude Godart: A Workflow Mining Tool based on Logs Statistical Analysis. SEKE 2006: 595-600
    2005
  141. Walid Gaaloul, Claude Godart: Mining Workflow Recovery from Event Based Logs. Business Process Management 2005: 169-185
  142. Walid Gaaloul, Karim Baïna, Claude Godart: Towards Mining Structural Workflow Patterns. DEXA 2005: 24-33
  143. Walid Gaaloul, Sadek Alaoui, Karim Baïna, Claude Godart: Mining Workflow Patterns through Event-Data Analysis. SAINT Workshops 2005: 226-229
    2004
  144. Walid Gaaloul, Sami Bhiri, Claude Godart: Discovering Workflow Transactional Behavior from Event-Based Log. CoopIS/DOA/ODBASE (1) 2004: 3-18
  145. Walid Gaaloul, Sami Bhiri, Claude Godart: Discovering Workflow Patterns from Timed Logs. EMISA 2004: 84-94
  146. Walid Gaaloul, Karim Baïna, Khalid Benali, Claude Godart: A Pattern for Interconnecting Distributed Components. ICEIS (4) 2004: 430-434

Contact

Walid Gaaloul
Telecom SudParis (Palaiseau), département Informatique
Office 4A 310
19 Place Marguerite Perey
91120 Palaiseau, France
email: walid.gaaloul (-at-) telecom-sudparis.eu
tel: +33.1.75.31.44.30

Map

External Links

  • TSP engineering school, Evry, France.
  • SAMOVAR research laboratory, Evry, France.
  • ACMES research Team, Palaiseau, France.
  • DIEGO research group, Evry, France.