Walid Gaaloul
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
104
Venues
34
Active years
2004–2026
Best venue rank
A*
Where they publish
- CWETICE16 papers
- AICWS15 papers
- AICSOC12 papers
- BCoopIS8 papers
- ABPM7 papers
- ACaiSE5 papers
- BAINA5 papers
- BWISE4 papers
- CIIWAS4 papers
- BICPM2 papers
- BNetSoft2 papers
- CWEBIST2 papers
- CWorldCIST1 paper
- A*EMNLP1 paper
- BWiMob1 paper
- BACIIDS1 paper
- CVECoS1 paper
- BICCCI1 paper
- MulticonferenceSAC1 paper
- A*INFOCOM1 paper
- BNetworking1 paper
- BNOMS1 paper
- BIM1 paper
- CMODELSWARD1 paper
- CCloudCom1 paper
- CHIS1 paper
- CLANMAN1 paper
- CISDA1 paper
- CCLOSER1 paper
- BECSA1 paper
- BSERVICES1 paper
- AER1 paper
- CSEKE1 paper
- CDEXA1 paper
Papers
104 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | WorldCIST | Deep Learning Method for Detecting Spoofing Attacks in Internet of Things Networks. | Ikbel Haouas, Lazhar Hamel, Mouna Attia, Mohamed Graiet, Walid Gaaloul |
| 2025 | BPM | Leveraging the Diamond Pattern for Scalable and Upgradeable Blockchain-Based Business Process Management Applications. | Victor Lemaire, Tiphaine Henry, lvaro Garca-Prez, Walid Gaaloul, Sara Tucci Piergiovanni |
| 2025 | CoopIS | Extracting Object-Centric Event Logs from Incident Data Using Large Language Models. | Ahmed Takiy Eddine Hamdi, Marwa Elleuch, Nassim Laga, Walid Gaaloul |
| 2025 | EMNLP | BTC-SAM: Leveraging LLMs for Generation of Bias Test Cases for Sentiment Analysis Models. | Zsolt T. Kardkovcs, Lynda Djennane, Anna Field, Boualem Benatallah, Yacine Gaci, Fabio Casati, Walid Gaaloul |
| 2025 | ICSOC | Optimizing Containerized Edge Service Migration Through File-Level Storage Sharing. | Jiangwei Li, Zhangbing Zhou, Sami Yangui, Deng Zhao, Ruixi Pan, Walid Gaaloul |
| 2025 | ICSOC | From Natural Language to TOSCA: Leveraging LLMs for Automated Service Composition. | Wided Meflah, Hayet Brabra, Mehdi Acheli, Hosni Ben Douma, Mohamed Sellami, Walid Gaaloul, Djamal Zeghlache |
| 2025 | WISE | Verifying Security Requirements of Fog Services Communication with Event-B. | Samia Ben Ismail, Imed Abbassi, Marwa Aloui, Zied Jaoua, Mohamed Graiet, Walid Gaaloul |
| 2025 | WiMob | Dilated Causal CNNs for Energy Forecasting and Optimization in LoRaWAN Networks. | Sana Slama, Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Walid Gaaloul |
| 2024 | ACIIDS | Efficient Deep Learning Method for Detection of Malware Attacks in Internet of Things Networks. | Ikbel Haouas, Mouna Attia, Lazhar Hamel, Mohamed Graiet, Walid Gaaloul |
| 2024 | CoopIS | A Decomposed Hybrid Approach to Business Process Modeling with LLMs. | Ali Nour Eldin, Nour Assy, Olan Anesini, Benjamin Dalmas, Walid Gaaloul |
| 2024 | CoopIS | Nala2BPMN: Automating BPMN Model Generation with Large Language Models. | Ali Nour Eldin, Nour Assy, Olan Anesini, Benjamin Dalmas, Walid Gaaloul |
| 2024 | CoopIS | Predictive Process Approach for Email Response Recommendations. | Ralph Bou Nader, Marwa Elleuch, Ikram Garfatta, Walid Gaaloul, Boualem Benatallah |
| 2024 | ICWS | Accurate Anomaly Detection Leveraging Knowledge-enhanced GAT. | Yi Li, Zhangbing Zhou, Shuiguang Deng, Xiao Sun, Xiao Xue, Sami Yangui, Walid Gaaloul |
| 2024 | ICWS | Energy-Aware Service Migration in End-Edge-Cloud Collaborative Networks. | Jiangwei Li, Zhangbing Zhou, Deng Zhao, Zhensheng Shi, Lin Meng, Walid Gaaloul |
| 2024 | WISE | Multi-perspective Conformance Checking for Email-Driven Processes. | Ralph Bou Nader, Ikram Garfatta, Marwa Elleuch, Walid Gaaloul, Yehia Taher |
| 2024 | WETICE | Integrating Business Process Context into Solidity-to-CPN Formal Verification. | Ikram Garfatta, Kas Klai, Walid Gaaloul |
| 2024 | VECoS | Formal Verification of Declarative Specifications of BPs: DCR2CPN-Based Approach. | Ikram Garfatta, Kas Klai, Walid Gaaloul |
| 2023 | BPM | Zooming in for Clarity: Towards Low-Code Modeling for Activity Data Flow. | Ali Nour Eldin, Jonathan Baudot, Walid Gaaloul |
| 2023 | CaiSE | Request Relaxation Based-on Provider Constraints for a Capability-Based NaaS Services Discovery. | Imen Jerbi, Hayet Brabra, Mohamed Sellami, Walid Gaaloul, Sami Bhiri, Boualem Benatallah, Djamal Zeghlache, Olivier Tirat |
| 2023 | CoopIS | Discovering Guard Stage Milestone Models Through Hierarchical Clustering. | Leyla Moctar-M'Baba, Mohamed Sellami, Nour Assy, Walid Gaaloul, Mohamedade Farouk Nanne |
| 2023 | ICSOC | Uncovering Implicit Bundling Constraints: Empowering Cloud Network Service Discovery. | Hayet Brabra, Imen Jerbi, Mohamed Sellami, Walid Gaaloul, Djamal Zeghlache |
| 2023 | ICWS | A Novel Logic-Based Adaptive Monitoring for Composite Edge Services. | Deng Zhao, Zhangbing Zhou, Xiao Xue, Jin Diao, Sami Yangui, Bo Liu, Walid Gaaloul |
| 2022 | BPM | A Trustworthy decentralized Change Propagation Mechanism for Declarative Choreographies. | Amina Brahem, Tiphaine Henry, Sami Bhiri, Thomas Devogele, Nassim Laga, Nizar Messai, Yacine Sam, Walid Gaaloul, Boualem Benatallah |
| 2022 | CoopIS | Enabling Multi-process Discovery on Graph Databases. | Ali Nour Eldin, Nour Assy, Meriana Kobeissi, Jonathan Baudot, Walid Gaaloul |
| 2022 | CoopIS | Random-Value Payment Tokens for On-Chain Privacy-Preserving Payments. | Tiphaine Henry, Julien Hatin, Lo Kazmierczak, Nassim Laga, Walid Gaaloul, Emmanuel Bertin |
| 2022 | ICCCI | Automatic Processing of Planning Problems: Application on Representative Case Studies. | Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Walid Gaaloul |
| 2022 | ICWS | Enabling Multi-Provider Cloud Network Service Bundling. | Imen Jerbi, Nour Assy, Mohamed Sellami, Hayet Brabra, Walid Gaaloul, Sami Bhiri, Olivier Tirat, Djamal Zeghlache |
| 2022 | SAC | Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. | Ikram Garfatta, Kas Klai, Mohamed Graet, Walid Gaaloul |
| 2021 | ICPM | An Intent-Based Natural Language Interface for Querying Process Execution Data. | Meriana Kobeissi, Nour Assy, Walid Gaaloul, Bruno Defude, Bassem Haidar |
| 2021 | INFOCOM | Adaptive IoT Service Configuration Optimization in Edge Networks. | Mengyu Sun, Zhangbing Zhou, Walid Gaaloul |
| 2021 | ICSOC | Model Checking of Solidity Smart Contracts Adopted for Business Processes. | Ikram Garfatta, Kas Klai, Mohamed Graet, Walid Gaaloul |
| 2021 | ICSOC | Trustworthy Cross-Organizational Collaborations with Hybrid On/Off-Chain Declarative Choreographies. | Tiphaine Henry, Amina Brahem, Nassim Laga, Julien Hatin, Walid Gaaloul, Boualem Benatallah |
| 2021 | ICSOC | Migration-Based Service Allocation Optimization in Dynamic IoT Networks. | Mengyu Sun, Zhangbing Zhou, Xiao Xue, Walid Gaaloul |
| 2021 | ICWS | CTL-Based Dynamic IoT Service Composition. | Deng Zhao, Zhangbing Zhou, Xiao Xue, Zhuofeng Zhao, Walid Gaaloul, Wenbo Zhang |
| 2021 | WETICE | A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts. | Ikram Garfatta, Kas Klai, Mohamed Graet, Walid Gaaloul |
| 2020 | BPM | Discovering Activities from Emails Based on Pattern Discovery Approach. | Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Walid Gaaloul, Boualem Benatallah |
| 2020 | ICPM | Discovery of Activities' Actor Perspective from Emails based on Speech Acts Detection. | Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Nour Assy, Walid Gaaloul |
| 2020 | ICSOC | Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach. | Ikram Garfatta, Kas Klai, Mahamed Graet, Walid Gaaloul |
| 2020 | ICWS | Running Transactional Business Processes with Blockchain's Smart Contracts. | Amina Brahem, Nizar Messai, Yacine Sam, Sami Bhiri, Thomas Devogele, Walid Gaaloul |
| 2020 | ICWS | Detecting Temporal Anomaly and Interestingness in Timed Business Process Models. | Deng Zhao, Zhangbing Zhou, Yasha Wang, Walid Gaaloul |
| 2020 | Networking | Poster: Word embedding for deployment descriptors in NFV. | Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul |
| 2020 | NOMS | Learning a Configurable Deployment Descriptors Model in NFV. | Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia |
| 2020 | WETICE | Discovering Business Processes And Activities From Messaging Systems: State-Of-The Art. | Marwa Elleuch, Nassim Laga, Oumaima Alaoui Ismaili, Walid Gaaloul |
| 2019 | IM | Virtual Network Function Descriptors Mining using Word Embeddings and Deep Neural Networks. | Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul |
| 2019 | NetSoft | Using Deep Learning for Recommending and Completing Deployment Descriptors in NFV. | Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul |
| 2019 | WETICE | Blockchain's Fame Reaches the Execution of Personalized Touristic Itineraries. | Amina Brahem, Nizar Messai, Yacine Sam, Sami Bhiri, Thomas Devogele, Walid Gaaloul |
| 2019 | WETICE | SoS Paradigm Benefits SaaS Integration: Novel Approach and First Results. | Wided Mathlouthi, Chahrazed Labba, Walid Gaaloul, Narjs Bellamine Ben Saoud |
| 2018 | AINA | Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. | Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel |
| 2018 | CaiSE | Model-Driven Elasticity for Cloud Resources. | Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah |
| 2018 | ICWS | Energy-Efficient WSN Service Composition for Concurrent Applications. | Jiabei Xu, Deng Zhao, Zhangbing Zhou, Walid Gaaloul, Yucong Duan |
| 2018 | NetSoft | Semantic-Based Global Network View Construction in Software Defined Networks with Multiple Controllers. | Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul |
| 2017 | ICSOC | Deadlock-Freeness Verification of Business Process Configuration Using SOG. | Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul |
| 2017 | ICWS | Genetic-Based Configurable Cloud Resource Allocation in QoS-Aware Business Process Development. | Emna Hachicha, Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul |
| 2017 | MODELSWARD | Model-based Development of Modular Complex Systems for Accomplishing System Integration for Industry 4.0. | Kunal Suri, Arnaud Cuccuru, Juan Cadavid, Sebastien Gerard, Walid Gaaloul, Samir Tata |
| 2017 | WISE | Adaptive Deployment of Service-Based Processes into Cloud Federations. | Chahrazed Labba, Nour Assy, Narjs Bellamine Ben Saoud, Walid Gaaloul |
| 2017 | WETICE | Ontology-Based SLA Negotiation and Re-Negotiation for Cloud Computing. | Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Faez Gargouri |
| 2017 | WETICE | Semantic Framework for Internet of Things-Aware Business Process Development. | Kunal Suri, Walid Gaaloul, Arnaud Cuccuru, Sebastien Gerard |
| 2016 | AINA | Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B. | Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul |
| 2016 | CaiSE | A Configurable Resource Allocation for Multi-tenant Process Development in the Cloud. | Emna Hachicha, Nour Assy, Walid Gaaloul, Jan Mendling |
| 2016 | CloudCom | A Demo of IoT Healthcare Application Provisioning in Hybrid Cloud/Fog Environment. | Ons Bibani, Carla Mouradian, Sami Yangui, Roch H. Glitho, Walid Gaaloul, Nejib Ben Hadj-Alouane, Monique Morrow, Paul A. Polakos |
| 2016 | HIS | Toward Context-Aware SLA for Cloud Computing. | Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Faez Gargouri |
| 2016 | ICSOC | A Formal Guidance Approach for Correct Process Configuration. | Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul |
| 2016 | ICSOC | Detecting Cloud (Anti)Patterns: OCCI Perspective. | Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Boualem Benatallah, Faez Gargouri |
| 2016 | ICWS | An Event-B Based Approach for Ensuring Correct Configurable Business Processes. | Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul |
| 2016 | LANMAN | A demo of a PaaS for IoT applications provisioning in hybrid cloud/fog environment. | Ons Bibani, Sami Yangui, Roch H. Glitho, Walid Gaaloul, Nejib Ben Hadj-Alouane, Monique J. Morrow, Paul A. Polakos |
| 2015 | AINA | Towards Resource-aware Business Process development in the Cloud. | Emna Hachicha, Walid Gaaloul |
| 2015 | BPM | Extracting Configuration Guidance Models from Business Process Repositories. | Nour Assy, Walid Gaaloul |
| 2015 | WISE | Genetic-Based Approach for ATS and SLA-aware Web Services Composition. | Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane |
| 2015 | WETICE | CPS 2015 Track Report: Cyber Physical Society. | Walid Gaaloul, Joaquin Ezpeleta, ZhangBing Zhou, Mahmoud Barhamgi |
| 2014 | CaiSE | Mining Event Logs to Assist the Development of Executable Process Variants. | Nguyen Ngoc Chan, Karn Yongsiriwit, Walid Gaaloul, Jan Mendling |
| 2014 | ICSOC | Configuration Rule Mining for Variability Analysis in Configurable Process Models. | Nour Assy, Walid Gaaloul |
| 2014 | ISDA | A framework for semantic telco process management - An industrial case study. | Nour Assy, Karn Yongsiriwit, Walid Gaaloul, Imen Grida Ben Yahia |
| 2014 | WETICE | Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B. | Imed Abbassi, Mourad Kmimech, Nejib Ben Hadj-Alouane, Walid Gaaloul |
| 2014 | WETICE | Track Report of Capacity Driven Processes and Services for Cyber Physical Society (CPS 2014). | Mahmoud Barhamgi, Walid Gaaloul, Joaquin Ezpeleta, ZhangBing Zhou |
| 2014 | WETICE | Querying Services Based on Composition Context. | Nguyen Ngoc Chan, Walid Gaaloul |
| 2013 | ICWS | Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. | Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul |
| 2013 | WETICE | CPS Track Report. | ZhangBing Zhou, Walid Gaaloul, Jianwei Niu |
| 2012 | CLOSER | Towards a Unified Marketplace for Functionality-based Cloud Service Discovery. | Mohamed Sellami, Walid Gaaloul, Bruno Defude, Samir Tata |
| 2012 | ICSOC | Assisting Business Process Design by Activity Neighborhood Context Matching. | Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata |
| 2012 | WETICE | Data Mapping Web Services for Composite DaaS Mediation. | Mohamed Sellami, Walid Gaaloul, Bruno Defude |
| 2012 | WETICE | An Ontology for Workflow Organizational Model Mining. | Rami Sellami, Walid Gaaloul, Samir Moalla |
| 2012 | WETICE | CPS Track Report: 2nd Track on Cyber Physical Society with SOA, BPM and Sensor Networks. | ZhangBing Zhou, Walid Gaaloul, Wei Tan, Daqiang Zhang |
| 2011 | AINA | A Web Service Recommender System Using Vector Space Model and Latent Semantic Indexing. | Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata |
| 2011 | BPM | Process Mining Manifesto. | 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. Gnther, 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 Prez, Ricardo Seguel Prez, Marcos Seplveda, 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 |
| 2011 | ECSA | Verifying Composite Service Transactional Behavior with EVENT-B. | Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul |
| 2011 | IIWAS | MDE approach for the generation and verification of SCA model. | Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou |
| 2011 | IIWAS | Towards a transformation of composite web service with QoS extension into ACME\Armani. | Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou |
| 2011 | IIWAS | An implicit approach for building communities of web service registries. | Mohamed Sellami, Walid Gaaloul, Samir Tata |
| 2011 | ICWS | Implementation of Communities of Web Service Registries. | Mohamed Sellami, Walid Gaaloul, Samir Tata |
| 2011 | WEBIST | Graph-based Management of Communities of Web Service Registries. | Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel |
| 2011 | WEBIST | Modeling and Managing Communities of Web Service Registries. | Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel |
| 2011 | WETICE | Petri Net Modeling and Verification of Transactional Workflows. | Kais Klai, Walid Gaaloul |
| 2010 | AINA | Using Recommendation to Limit Search Space in Web Services Discovery. | Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel |
| 2010 | IIWAS | Towards an approach of formal verification of mediation protocol based on web services. | Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul |
| 2009 | ICWS | From Workflow Models to Executable Web Service Interfaces. | Armin Haller, Mateusz Marmolowski, Walid Gaaloul, Eyal Oren, Brahmananda Sapkota, Manfred Hauswirth |
| 2008 | ICWS | Developing Process Mediator for Web Service Interactions. | ZhangBing Zhou, Sami Bhiri, Walid Gaaloul, Lei Shu, Laurentiu Vasiliu, Manfred Hauswirth |
| 2008 | SERVICES | Towards an XPDL Compliant Process Ontology. | Armin Haller, Walid Gaaloul, Mateusz Marmolowski |
| 2007 | ER | Mining and Re-engineering Transactional Workflows for Reliable Executions. | Walid Gaaloul, Sami Bhiri, Armin Haller |
| 2006 | CaiSE | WorkflowMiner: a New Workflow Patterns and Performance Analysis tool. | Karim Bana, Walid Gaaloul, Reda El Khattabi, Abdellah Mouhou |
| 2006 | ICWS | Discovering and Improving Recovery Mechanisms of CompositeWeb Services. | Sami Bhiri, Walid Gaaloul, Claude Godart |
| 2006 | SEKE | A Workflow Mining Tool based on Logs Statistical Analysis. | Walid Gaaloul, Claude Godart |
| 2005 | BPM | Mining Workflow Recovery from Event Based Logs. | Walid Gaaloul, Claude Godart |
| 2005 | DEXA | Towards Mining Structural Workflow Patterns. | Walid Gaaloul, Karim Bana, Claude Godart |
| 2004 | CoopIS | Discovering Workflow Transactional Behavior from Event-Based Log. | Walid Gaaloul, Sami Bhiri, Claude Godart |