Walid Gaaloul

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 120

Top Venues

Henri Poincaré University, Nancy, France (PHD)

Education History

Henri Poincaré University, Nancy, France

PHD

Publications

Hongtai Guo, Zhangbing Zhou, Deng Zhao, Walid Gaaloul
multivariate time series data using graph neural network. Future Gener. Comput. Syst. 151 (2024)
Deng Zhao, Zhangbing Zhou, Wenbo Zhang, Shuiguang Deng, Xiao Xue, Walid Gaaloul
CSTL: Compositional Signal Temporal Logic for Adaptive Edge Service Monitoring. IEEE Trans. Serv. Comput. 17 (2) (2024)
Jeremy Mechouche, Mohamed Sellami, Zakaria Maamar, Roua Touihri, Walid Gaaloul
Process mining approach for Multi-Cloud SLA Reporting. BigData (2023)
Marwa Elleuch, Nassim Laga, Oumaima Alaoui Ismaili, Walid Gaaloul
Multi-perspective business process discovery from messaging systems: State-of-the art. Concurr. Comput. Pract. Exp. 35 (11) (2023)
Deng Zhao, Zhangbing Zhou, Patrick C. K. Hung, Shuiguang Deng, Xiao Xue, Walid Gaaloul
CTL-Based Adaptive Service Composition in Edge Networks. IEEE Trans. Serv. Comput. 16 (2) (2023)
Leyla Moctar-M'Baba, Mohamed Sellami, Nour Assy, Walid Gaaloul, Mohamedade Farouk Nanne
Discovering Guard Stage Milestone Models Through Hierarchical Clustering. CoopIS (2023)
Hayet Brabra, Imen Jerbi, Mohamed Sellami, Walid Gaaloul, Djamal Zeghlache
Uncovering Implicit Bundling Constraints: Empowering Cloud Network Service Discovery. ICSOC (2) (2023)
Meriana Kobeissi, Nour Assy, Walid Gaaloul, Bruno Defude, Boualem Benatallah, Bassem Haidar
Natural language querying of process execution data. Inf. Syst. 116 (2023)
Imen Jerbi, Hayet Brabra, Mohamed Sellami, Walid Gaaloul, Sami Bhiri, Boualem Benatallah, Djamal Zeghlache, Olivier Tirat
Request Relaxation Based-on Provider Constraints for a Capability-Based NaaS Services Discovery. CAiSE (2023)
Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Walid Gaaloul
Process fragments discovery from emails: Functional, data and behavioral perspectives discovery. Inf. Syst. 118 (2023)
Ali Nour Eldin, Jonathan Baudot, Walid Gaaloul
Zooming in for Clarity: Towards Low-Code Modeling for Activity Data Flow. BPM (Forum) (2023)
Deng Zhao, Zhangbing Zhou, Shangguang Wang, Bo Liu, Walid Gaaloul
Reinforcement learning-enabled efficient data gathering in underground wireless sensor networks. Pers. Ubiquitous Comput. 27 (3) (2023)
Xiaocui Li, Zhangbing Zhou, Qiang He, Zhensheng Shi, Walid Gaaloul, Sami Yangui
Re-Scheduling IoT Services in Edge Networks. IEEE Trans. Netw. Serv. Manag. 20 (3) (2023)
Leyla Moctar-M'Baba, Nour Assy, Mohamed Sellami, Walid Gaaloul, Mohamedade Farouk Nanne
Process mining for artifact-centric blockchain applications. Simul. Model. Pract. Theory 127 (2023)
Deng Zhao, Zhangbing Zhou, Xiao Xue, Jin Diao, Sami Yangui, Bo Liu, Walid Gaaloul
A Novel Logic-Based Adaptive Monitoring for Composite Edge Services. ICWS (2023)
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)
Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Walid Gaaloul
Automatic Processing of Planning Problems: Application on Representative Case Studies. ICCCI (CCIS Volume) (2022)
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)
Leyla Moctar-M'Baba, Mohamed Sellami, Walid Gaaloul, Mohamedade Farouk Nanne
Blockchain logging for process mining: a systematic review. HICSS (2022)
Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul
Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. SAC (2022)
Ali Nour Eldin, Nour Assy, Meriana Kobeissi, Jonathan Baudot, Walid Gaaloul
Enabling Multi-process Discovery on Graph Databases. CoopIS (2022)
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)
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)
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) (2022)
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)
Jeremy Mechouche, Roua Touihri, Mohamed Sellami, Walid Gaaloul
Conformance checking for autonomous multi-cloud SLA management and adaptation. J. Supercomput. 78 (11) (2022)
Leyla Moctar-M'Baba, Nour Assy, Mohamed Sellami, Walid Gaaloul, Mohamedade Farouk Nanne
Extracting Artifact-Centric Event Logs From Blockchain Applications. SCC (2022)
Walid Gaaloul
Mining Knowledge Graphs From Loosely Structured Processes: A Use Case From Emailing Systems. ICSBT (2022)
Mehdi Ahmed-Nacer, Slim Kallel, Faiez Zalila, Philippe Merle, Walid Gaaloul
Model-Driven Simulation of Elastic OCCI Cloud Resources. Comput. J. 65 (5) (2022)
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) (2022)
Tiphaine Henry, Nassim Laga, Julien Hatin, Walid Gaaloul, Imed Boughzala
Cross-Collaboration Processes based on Blockchain and IoT: a survey. HICSS (2021)
Rania Ben Halima, Slim Kallel, Mehdi Ahmed-Nacer, Walid Gaaloul
Optimal business process deployment cost in cloud resources. J. Supercomput. 77 (2) (2021)
Jeremy Mechouche, Roua Touihri, Mohamed Sellami, Walid Gaaloul
Towards higher-level description of SLA-aware reconfiguration strategies based on state-machine. ICEBE (2021)
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) (2021)
Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul
A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts. WETICE (2021)
Tiphaine Henry, Nassim Laga, Julien Hatin, Roman Beck, Walid Gaaloul
Hire me fairly: towards dynamic resource-binding with smart contracts. SCC (2021)
Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul
Model Checking of Solidity Smart Contracts Adopted for Business Processes. ICSOC (2021)
Deng Zhao, Zhangbing Zhou, Xiao Xue, Zhuofeng Zhao, Walid Gaaloul, Wenbo Zhang
CTL-Based Dynamic IoT Service Composition. ICWS (2021)
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) (2021)
Mengyu Sun, Zhangbing Zhou, Walid Gaaloul
Adaptive IoT Service Configuration Optimization in Edge Networks. INFOCOM Workshops (2021)
Ikram Garfatta, Kais Klai, Walid Gaaloul, Mohamed Graiet
A Survey on Formal Verification for Solidity Smart Contracts. ACSW (2021)
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)
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)
Mengyu Sun, Zhangbing Zhou, Xiao Xue, Walid Gaaloul
Migration-Based Service Allocation Optimization in Dynamic IoT Networks. ICSOC (2021)
Meriana Kobeissi, Nour Assy, Walid Gaaloul, Bruno Defude, Bassem Haidar
An Intent-Based Natural Language Interface for Querying Process Execution Data. ICPM (2021)
Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia
Configurable Deployment Descriptor Model in NFV. J. Netw. Syst. Manag. 28 (3) (2020)
Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Walid Gaaloul, Boualem Benatallah
Discovering Activities from Emails Based on Pattern Discovery Approach. BPM (Forum) (2020)
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)
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 (2020)
Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia
Learning a Configurable Deployment Descriptors Model in NFV. NOMS (2020)
Marwa Elleuch, Nassim Laga, Oumaima Alaoui Ismaili, Walid Gaaloul
Discovering Business Processes And Activities From Messaging Systems: State-Of-The Art. WETICE (2020)
Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah
Toward higher-level abstractions based on state machine for cloud resources elasticity. Inf. Syst. 90 (2020)
Ikram Garfatta, Kaïs Klai, Mahamed Graïet, Walid Gaaloul
Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach. ICSOC Workshops (2020)
Deng Zhao, Zhangbing Zhou, Yasha Wang, Walid Gaaloul
Detecting Temporal Anomaly and Interestingness in Timed Business Process Models. ICWS (2020)
Marwa Elleuch, Nour Assy, Nassim Laga, Walid Gaaloul, Oumaima Alaoui Ismaili, Boualem Benatallah
A Meta Model for Mining Processes from Email Data. SCC (2020)
Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul
Poster: Word embedding for deployment descriptors in NFV. Networking (2020)
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)
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 (2020)
Amina Brahem, Nizar Messai, Yacine Sam, Sami Bhiri, Thomas Devogele, Walid Gaaloul
Running Transactional Business Processes with Blockchain's Smart Contracts. ICWS (2020)
Amina Brahem, Nizar Messai, Yacine Sam, Sami Bhiri, Thomas Devogele, Walid Gaaloul
Blockchain's Fame Reaches the Execution of Personalized Touristic Itineraries. WETICE (2019)
Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul
A SAT-Based Formal Approach for Verifying Business Process Configuration. Innovate-Data (2019)
Amani Abou Rida, Nour Assy, Walid Gaaloul
Extracting Attribute-Based Access Control Rules from Business Process Event Logs. BDCSIntell (2019)
Wided Mathlouthi, Chahrazed Labba, Walid Gaaloul, Narjès Bellamine Ben Saoud
SoS Paradigm Benefits SaaS Integration: Novel Approach and First Results. WETICE (2019)
Mengyu Sun, Zhangbing Zhou, Junping Wang, Chu Du, Walid Gaaloul
Energy-Efficient IoT Service Composition for Concurrent Timed Applications. Future Gener. Comput. Syst. 100 (2019)
Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah, Faïez Gargouri
Model-Driven Orchestration for Cloud Resources. CLOUD (2019)
Farah Bellaaj, Hayet Brabra, Mohamed Sellami, Walid Gaaloul, Sami Bhiri
A Transactional Approach for Reliable Elastic Cloud Resources. SCC (2019)
Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul
On the Verification of Data Encryption Requirements in Internet of Things Using Event-B. ICDEc (2019)
Jinfeng Wen, Zhangbing Zhou, Yasha Wang, Walid Gaaloul, Yucong Duan
Discovering Crossing-Workflow Fragments Based on Activity Knowledge Graph. OTM Conferences (2019)
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 (2019)
Nassim Laga, Marwa Elleuch, Walid Gaaloul, Oumaima Alaoui Ismaili
Emails Analysis for Business Process Discovery. ATAED@Petri Nets/ACSD (2019)
Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul
Virtual Network Function Descriptors Mining using Word Embeddings and Deep Neural Networks. IM (2019)
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)
Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul
Using Deep Learning for Recommending and Completing Deployment Descriptors in NFV. NetSoft (2019)
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) (2018)
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 (2018)
Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah
Model-Driven Elasticity for Cloud Resources. CAiSE (2018)
Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul
Formal Modelling and Verification of Cloud Resource Allocation in Business Processes. OTM Conferences (1) (2018)
Jiabei Xu, Deng Zhao, Zhangbing Zhou, Walid Gaaloul, Yucong Duan
Energy-Efficient WSN Service Composition for Concurrent Applications. ICWS (2018)
Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul
Semantic-Based Global Network View Construction in Software Defined Networks with Multiple Controllers. NetSoft (2018)
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)
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) (2018)
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) (2018)
Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Walid Gaaloul
Trustless Blockchain-based Access Control in Dynamic Collaboration. BDCSIntell (2018)
Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation. OTM Conferences (1) (2018)
Kunal Suri, Walid Gaaloul, Arnaud Cuccuru
Configurable IoT-Aware Allocation in Business Processes. SCC (2018)
Souha Boubaker, Kais Klai, Hedi Kortas, Walid Gaaloul
A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics. OTM Conferences (1) (2018)
Mohamed Graiet, Imed Abbassi, Mourad Kmimech, Walid Gaaloul
A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition. IEEE Syst. J. 12 (2) (2018)
Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul
[WiP] Formal Modelling of IT Resource Allocation in Business Processes. SOCA (2018)
Chahrazed Labba, Nour Assy, Narjès Bellamine Ben Saoud, Walid Gaaloul
Adaptive Deployment of Service-Based Processes into Cloud Federations. WISE (1) (2017)
Mehdi Ahmed-Nacer, Walid Gaaloul, Samir Tata
OCCI-Compliant Cloud Configuration Simulation. EDGE (2017)
Kunal Suri, Walid Gaaloul, Arnaud Cuccuru, Sebastien Gerard
Semantic Framework for Internet of Things-Aware Business Process Development. WETICE (2017)
Mehdi Ahmed-Nacer, Kunal Suri, Mohamed Sellami, Walid Gaaloul
Simulation of Configurable Resource Allocation for Cloud-Based Business Processes. SCC (2017)
Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul
Deadlock-Freeness Verification of Business Process Configuration Using SOG. ICSOC (2017)
Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Faïez Gargouri
Ontology-Based SLA Negotiation and Re-Negotiation for Cloud Computing. WETICE (2017)
Mohamed Graiet, Amel Mammar, Souha Boubaker, Walid Gaaloul
Towards Correct Cloud Resource Allocation in Business Processes. IEEE Trans. Serv. Comput. 10 (1) (2017)
Emna Hachicha, Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul
Genetic-Based Configurable Cloud Resource Allocation in QoS-Aware Business Process Development. ICWS (2017)
Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Samir Tata, Faïez Gargouri
Cloud SLA Modeling and Monitoring. SCC (2017)
Molka Rekik, Khouloud Boukadi, Walid Gaaloul, Hanêne Ben-Abdallah
Anti-Pattern Specification and Correction Recommendations for Semantic Cloud Services. HICSS (2017)
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)
Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process. SCC (2017)

Walid Gaaloul.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Walid Gaaloul