default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWalid Gaaloul
Person information
- affiliation: Telecom SudParis, Institut Polytechnique de Paris, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2014
[b2]Walid Gaaloul:
Supporting service consumption : advanced discovery and recommendation techniques. (Techniques de recommendation et de découverte de services et procédés). Pierre and Marie Curie University, France, 2014- 2007
- [b1]Walid Gaaloul:
La Découverte de WorkflowTransactionnel pour la Fiabilisation desExécutions. (Mining transaction workflow for execution reliability). Henri Poincaré University, Nancy, France, 2007
Journal Articles
- 2024
- [j58]Hongtai Guo
, Zhangbing Zhou, Deng Zhao, Walid Gaaloul:
EGNN: Energy-efficient anomaly detection for IoT multivariate time series data using graph neural network. Future Gener. Comput. Syst. 151: 45-56 (2024) - [j57]Jiangwei Li, Deng Zhao, Zhensheng Shi, Lin Meng, Walid Gaaloul, Zhangbing Zhou:
Energy-Efficient Online Service Migration in Edge Networks. IEEE Internet Things J. 11(18): 29689-29708 (2024) - [j56]Tiphaine Henry, Julien Hatin, Eloi Besnard, Nassim Laga, Walid Gaaloul:
Towards trustworthy and privacy-preserving decentralized auctions. J. Bank. Financial Technol. 8(1): 45-63 (2024) - [j55]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): 482-496 (2024) - [j54]Amina Brahem, Tiphaine Henry, Sami Bhiri, Thomas Devogele, Nizar Messai, Yacine Sam, Walid Gaaloul:
Towards a Trustworthy and Adaptive Execution of Business Process Choreographies. IEEE Trans. Serv. Comput. 17(6): 4383-4396 (2024) - 2023
- [j53]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) - [j52]Meriana Kobeissi, Nour Assy, Walid Gaaloul, Bruno Defude, Boualem Benatallah, Bassem Haidar:
Natural language querying of process execution data. Inf. Syst. 116: 102227 (2023) - [j51]Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Walid Gaaloul:
Process fragments discovery from emails: Functional, data and behavioral perspectives discovery. Inf. Syst. 118: 102229 (2023) - [j50]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): 581-598 (2023) - [j49]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: 102779 (2023) - [j48]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): 3233-3246 (2023) - [j47]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): 1051-1065 (2023) - 2022
- [j46]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) - [j45]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) - [j44]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) - [j43]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) - [j42]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
- [j41]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) - [j40]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) - [j39]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
- [j38]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) - [j37]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) - [j36]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) - [j35]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) - [j34]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) - 2019
- [j33]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) - [j32]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) - [j31]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
- [j30]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) - [j29]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) - [j28]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) - [j27]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) - [j26]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
- [j25]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
- [j24]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) - [j23]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) - [j22]Nguyen Ngoc Chan, Nattawat Nonsung, Walid Gaaloul:
Service querying to support process variant development. J. Syst. Softw. 122: 538-552 (2016) - [j21]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
- [j20]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) - [j19]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) - [j18]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) - [j17]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) - [j16]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) - [j15]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
- [j14]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
- [j13]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) - [j12]Mohamed Sellami, Olfa Bouchaala, Walid Gaaloul, Samir Tata:
Communities of Web service registries: Construction and management. J. Syst. Softw. 86(3): 835-853 (2013) - [j11]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
- [j10]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) - [j9]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) - [j8]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
- [j7]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
- [j6]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) - [j5]Walid Gaaloul, Karim Baïna, Claude Godart:
Fouille de workflow. Tech. Sci. Informatiques 29(10): 1207-1236 (2010) - 2009
- [j4]Walid Gaaloul, Khaled Gaaloul, Sami Bhiri, Armin Haller, Manfred Hauswirth:
Log-based transactional workflow mining. Distributed Parallel Databases 25(3): 193-240 (2009) - 2008
- [j3]Sami Bhiri, Walid Gaaloul, Claude Godart:
Mining and Improving Composite Web Services Recovery Mechanisms. Int. J. Web Serv. Res. 5(2): 23-48 (2008) - [j2]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
- [j1]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
- 2024
- [c164]Ikbel Haouas, Mouna Attia, Lazhar Hamel, Mohamed Graiet, Walid Gaaloul:
Efficient Deep Learning Method for Detection of Malware Attacks in Internet of Things Networks. ACIIDS (Companion 1) 2024: 15-26 - [c163]Ali Nour Eldin, Nour Assy, Olan Anesini, Benjamin Dalmas, Walid Gaaloul:
A Decomposed Hybrid Approach to Business Process Modeling with LLMs. CoopIS 2024: 243-260 - [c162]Ralph Bou Nader, Marwa Elleuch, Ikram Garfatta, Walid Gaaloul, Boualem Benatallah:
Predictive Process Approach for Email Response Recommendations. CoopIS 2024: 338-345 - [c161]Ali Nour Eldin, Nour Assy, Olan Anesini, Benjamin Dalmas, Walid Gaaloul:
Nala2BPMN: Automating BPMN Model Generation with Large Language Models. CoopIS 2024: 398-404 - [c160]Lynda Djennane, Zsolt T. Kardkovács, Boualem Benatallah, Yacine Gaci, Walid Gaaloul, Zoubeyr Farah:
Empirical Evaluation of Social Bias in Text Classification Systems. FLLM 2024: 313-321 - [c159]Yi Li, Zhangbing Zhou, Shuiguang Deng, Xiao Sun, Xiao Xue, Sami Yangui, Walid Gaaloul:
Accurate Anomaly Detection Leveraging Knowledge-enhanced GAT. ICWS 2024: 568-577 - [c158]Jiangwei Li, Zhangbing Zhou, Deng Zhao, Zhensheng Shi, Lin Meng, Walid Gaaloul:
Energy-Aware Service Migration in End-Edge-Cloud Collaborative Networks. ICWS 2024: 974-979 - [c157]Ikram Garfatta, Kaïs Klai, Walid Gaaloul:
Formal Verification of Declarative Specifications of BPs: DCR2CPN-Based Approach. VECoS 2024: 32-46 - [c156]Ikram Garfatta, Kaïs Klai, Walid Gaaloul:
Integrating Business Process Context into Solidity-to-CPN Formal Verification. WETICE 2024: 68-73 - [c155]Ralph Bou Nader, Ikram Garfatta, Marwa Elleuch, Walid Gaaloul, Yehia Taher:
Multi-perspective Conformance Checking for Email-Driven Processes. WISE (5) 2024: 441-457 - 2023
- [c154]Jeremy Mechouche, Mohamed Sellami, Zakaria Maamar, Roua Touihri, Walid Gaaloul:
Process mining approach for Multi-Cloud SLA Reporting. IEEE Big Data 2023: 5867-5876 - [c153]Ali Nour Eldin, Jonathan Baudot, Walid Gaaloul:
Zooming in for Clarity: Towards Low-Code Modeling for Activity Data Flow. BPM (Forum) 2023: 267-282 - [c152]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: 611-627 - [c151]Leyla Moctar-M'Baba, Mohamed Sellami, Nour Assy, Walid Gaaloul, Mohamedade Farouk Nanne:
Discovering Guard Stage Milestone Models Through Hierarchical Clustering. CoopIS 2023: 239-256 - [c150]Hayet Brabra, Imen Jerbi, Mohamed Sellami, Walid Gaaloul, Djamal Zeghlache:
Uncovering Implicit Bundling Constraints: Empowering Cloud Network Service Discovery. ICSOC (2) 2023: 115-123 - [c149]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: 310-317 - 2022
- [c148]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 - [c147]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 - [c146]Ali Nour Eldin, Nour Assy, Meriana Kobeissi, Jonathan Baudot, Walid Gaaloul:
Enabling Multi-process Discovery on Graph Databases. CoopIS 2022: 112-130 - [c145]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 - [c144]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 - [c143]Leyla Moctar-M'Baba, Mohamed Sellami, Walid Gaaloul, Mohamedade Farouk Nanne:
Blockchain logging for process mining: a systematic review. HICSS 2022: 1-10 - [c142]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 - [c141]Walid Gaaloul:
Mining Knowledge Graphs From Loosely Structured Processes: A Use Case From Emailing Systems. ICSBT 2022: 9 - [c140]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 - [c139]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
- [c138]Tiphaine Henry, Nassim Laga, Julien Hatin, Roman Beck, Walid Gaaloul:
Hire me fairly: towards dynamic resource-binding with smart contracts. SCC 2021: 407-412 - [c137]Ikram Garfatta, Kais Klai, Walid Gaaloul, Mohamed Graiet:
A Survey on Formal Verification for Solidity Smart Contracts. ACSW 2021: 3:1-3:10 - [c136]Tiphaine Henry, Nassim Laga, Julien Hatin, Walid Gaaloul, Imed Boughzala:
Cross-Collaboration Processes based on Blockchain and IoT: a survey. HICSS 2021: 1-10 - [c135]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 - [c134]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 - [c133]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 - [c132]Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul:
Model Checking of Solidity Smart Contracts Adopted for Business Processes. ICSOC 2021: 116-132 - [c131]Mengyu Sun, Zhangbing Zhou, Xiao Xue, Walid Gaaloul:
Migration-Based Service Allocation Optimization in Dynamic IoT Networks. ICSOC 2021: 385-399 - [c130]Deng Zhao, Zhangbing Zhou, Xiao Xue, Zhuofeng Zhao, Walid Gaaloul, Wenbo Zhang:
CTL-Based Dynamic IoT Service Composition. ICWS 2021: 381-388 - [c129]Mengyu Sun, Zhangbing Zhou, Walid Gaaloul:
Adaptive IoT Service Configuration Optimization in Edge Networks. INFOCOM Workshops 2021: 1-2 - [c128]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 - [c127]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
- [c126]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 - [c125]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 - [c124]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 - [c123]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 - [c122]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 - [c121]Deng Zhao, Zhangbing Zhou, Yasha Wang, Walid Gaaloul:
Detecting Temporal Anomaly and Interestingness in Timed Business Process Models. ICWS 2020: 418-422 - [c120]Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul:
Poster: Word embedding for deployment descriptors in NFV. Networking 2020: 625-627 - [c119]Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia:
Learning a Configurable Deployment Descriptors Model in NFV. NOMS 2020: 1-9 - [c118]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
- [c117]Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah, Faïez Gargouri:
Model-Driven Orchestration for Cloud Resources. CLOUD 2019: 422-429 - [c116]Farah Bellaaj, Hayet Brabra, Mohamed Sellami, Walid Gaaloul, Sami Bhiri:
A Transactional Approach for Reliable Elastic Cloud Resources. SCC 2019: 154-161 - [c115]Nassim Laga, Marwa Elleuch, Walid Gaaloul, Oumaima Alaoui Ismaili:
Emails Analysis for Business Process Discovery. ATAED@Petri Nets/ACSD 2019: 54-70 - [c114]Amani Abou Rida, Nour Assy, Walid Gaaloul:
Extracting Attribute-Based Access Control Rules from Business Process Event Logs. BDCSIntell 2019: 38-45 - [c113]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 - [c112]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 - [c111]Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul:
A SAT-Based Formal Approach for Verifying Business Process Configuration. Innovate-Data 2019: 47-62 - [c110]Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul:
Using Deep Learning for Recommending and Completing Deployment Descriptors in NFV. NetSoft 2019: 233-235 - [c109]Jinfeng Wen, Zhangbing Zhou, Yasha Wang, Walid Gaaloul, Yucong Duan:
Discovering Crossing-Workflow Fragments Based on Activity Knowledge Graph. OTM Conferences 2019: 515-532 - [c108]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 - [c107]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
- [c106]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 - [c105]Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Walid Gaaloul:
Trustless Blockchain-based Access Control in Dynamic Collaboration. BDCSIntell 2018: 27-33 - [c104]Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah:
Model-Driven Elasticity for Cloud Resources. CAiSE 2018: 187-202 - [c103]Jiabei Xu, Deng Zhao, Zhangbing Zhou, Walid Gaaloul, Yucong Duan:
Energy-Efficient WSN Service Composition for Concurrent Applications. ICWS 2018: 74-81 - [c102]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 - [c101]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 - [c100]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 - [c99]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 - [c98]Kunal Suri, Walid Gaaloul, Arnaud Cuccuru:
Configurable IoT-Aware Allocation in Business Processes. SCC 2018: 119-136 - [c97]Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul:
[WiP] Formal Modelling of IT Resource Allocation in Business Processes. SOCA 2018: 227-232 - 2017
- [c96]Mehdi Ahmed-Nacer, Kunal Suri, Mohamed Sellami, Walid Gaaloul:
Simulation of Configurable Resource Allocation for Cloud-Based Business Processes. SCC 2017: 305-313 - [c95]Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel:
Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process. SCC 2017: 314-321 - [c94]Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Samir Tata, Faïez Gargouri:
Cloud SLA Modeling and Monitoring. SCC 2017: 338-345 - [c93]Mehdi Ahmed-Nacer, Walid Gaaloul, Samir Tata:
OCCI-Compliant Cloud Configuration Simulation. EDGE 2017: 73-81 - [c92]Molka Rekik, Khouloud Boukadi, Walid Gaaloul, Hanêne Ben-Abdallah:
Anti-Pattern Specification and Correction Recommendations for Semantic Cloud Services. HICSS 2017: 1-10 - [c91]Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul:
Deadlock-Freeness Verification of Business Process Configuration Using SOG. ICSOC 2017: 96-112 - [c90]Emna Hachicha, Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul:
Genetic-Based Configurable Cloud Resource Allocation in QoS-Aware Business Process Development. ICWS 2017: 836-839 - [c89]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 - [c88]Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Faïez Gargouri:
Ontology-Based SLA Negotiation and Re-Negotiation for Cloud Computing. WETICE 2017: 36-41 - [c87]Kunal Suri, Walid Gaaloul, Arnaud Cuccuru, Sebastien Gerard:
Semantic Framework for Internet of Things-Aware Business Process Development. WETICE 2017: 214-219 - [c86]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
- [c85]Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul:
A Semantic Framework Supporting Cloud Resource Descriptions Interoperability. CLOUD 2016: 585-592 - [c84]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 - [c83]Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul:
A Semantic Framework Supporting Business Process Variability Using Event Logs. SCC 2016: 163-170 - [c82]Emna Hachicha, Walid Gaaloul, Zakaria Maamar:
Social-Based Semantic Framework for Cloud Resource Management in Business Processes. SCC 2016: 443-450 - [c81]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 - [c80]Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul:
Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B. AINA 2016: 746-753 - [c79]Emna Hachicha, Nour Assy, Walid Gaaloul, Jan Mendling:
A Configurable Resource Allocation for Multi-tenant Process Development in the Cloud. CAiSE 2016: 558-574 - [c78]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 - [c77]Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Faïez Gargouri:
Toward Context-Aware SLA for Cloud Computing. HIS 2016: 350-359 - [c76]Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Boualem Benatallah, Faïez Gargouri:
Detecting Cloud (Anti)Patterns: OCCI Perspective. ICSOC 2016: 202-218 - [c75]Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul:
A Formal Guidance Approach for Correct Process Configuration. ICSOC 2016: 483-498 - [c74]Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul:
An Event-B Based Approach for Ensuring Correct Configurable Business Processes. ICWS 2016: 460-467 - [c73]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 - [c72]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 - [c71]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 - [c70]Emna Hachicha, Karn Yongsiriwit, Walid Gaaloul:
Energy Efficient Configurable Resource Allocation in Cloud-Based Business Processes (Short Paper). OTM Conferences 2016: 437-444 - 2015
- [c69]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 - [c68]Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul:
Semantic Process Fragments Matching to Assist the Development of Process Variants. SCC 2015: 712-719 - [c67]Emna Hachicha, Walid Gaaloul:
Towards Resource-aware Business Process development in the Cloud. AINA 2015: 761-768 - [c66]Nour Assy, Walid Gaaloul:
Extracting Configuration Guidance Models from Business Process Repositories. BPM 2015: 198-206 - [c65]Karn Yongsiriwit, Nguyen Ngoc Chan, Walid Gaaloul:
Log-Based Process Fragment Querying to Support Process Design. HICSS 2015: 4109-4119 - [c64]Walid Gaaloul, Joaquin Ezpeleta, ZhangBing Zhou, Mahmoud Barhamgi:
CPS 2015 Track Report: Cyber Physical Society. WETICE 2015: 114-115 - [c63]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
- [c62]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 - [c61]Nguyen Ngoc Chan, Karn Yongsiriwit, Walid Gaaloul, Jan Mendling:
Mining Event Logs to Assist the Development of Executable Process Variants. CAiSE 2014: 548-563 - [c60]Nour Assy, Walid Gaaloul, Bruno Defude:
Mining Configurable Process Fragments for Business Process Design. DESRIST 2014: 209-224 - [c59]Nour Assy, Walid Gaaloul:
Configuration Rule Mining for Variability Analysis in Configurable Process Models. ICSOC 2014: 1-15 - [c58]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 - [c57]Nguyen Ngoc Chan, Walid Gaaloul:
Querying Services Based on Composition Context. WETICE 2014: 44-49 - [c56]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 - [c55]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
- [c54]Nour Assy, Nguyen Ngoc Chan, Walid Gaaloul:
Assisting Business Process Design with Configurable Process Fragments. IEEE SCC 2013: 535-542 - [c53]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 - [c52]ZhangBing Zhou, Walid Gaaloul, Jianwei Niu:
CPS Track Report. WETICE 2013: 200-201 - 2012
- [c51]Mohamed Sellami, Walid Gaaloul, Bruno Defude, Samir Tata:
Towards a Unified Marketplace for Functionality-based Cloud Service Discovery. CLOSER 2012: 252-257 - [c50]Chihab Hanachi, Walid Gaaloul, Ravi Mondi:
Performative-Based Mining of Workflow Organizational Structures. EC-Web 2012: 63-75 - [c49]Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata:
Assisting Business Process Design by Activity Neighborhood Context Matching. ICSOC 2012: 541-549 - [c48]Lazhar Hamel, Mohamed Graiet, Walid Gaaloul:
Event-B Formalisation of Web Services for Dynamic Composition. SKG 2012: 150-156 - [c47]Mohamed Sellami, Walid Gaaloul, Bruno Defude:
Data Mapping Web Services for Composite DaaS Mediation. WETICE 2012: 36-41 - [c46]Rami Sellami, Walid Gaaloul, Samir Moalla:
An Ontology for Workflow Organizational Model Mining. WETICE 2012: 199-204 - [c45]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
- [c44]Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata:
Composition Context Matching for Web Service Recommendation. IEEE SCC 2011: 624-631 - [c43]Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata:
A Web Service Recommender System Using Vector Space Model and Latent Semantic Indexing. AINA 2011: 602-609 - [c42]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 - [c41]Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul:
Verifying Composite Service Transactional Behavior with EVENT-B. ECSA 2011: 67-74 - [c40]Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata:
Context-Based Service Recommendation for Assisting Business Process Design. EC-Web 2011: 39-51 - [c39]Mohamed Sellami, Walid Gaaloul, Samir Tata:
Implementation of Communities of Web Service Registries. ICWS 2011: 690-691 - [c38]Mohamed Sellami, Walid Gaaloul, Samir Tata:
An implicit approach for building communities of web service registries. iiWAS 2011: 230-237 - [c37]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 - [c36]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 - [c35]Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul:
Verifying Composite Service Transactional Behavior with EVENT-B. SKG 2011: 99-106 - [c34]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 - [c33]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 - [c32]ZhangBing Zhou, Mohamed Sellami, Walid Gaaloul, Bruno Defude:
Clustering and Managing Data Providing Services Using Machine Learning Technique. SKG 2011: 225-232 - [c31]Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel:
Graph-based Management of Communities of Web Service Registries. WEBIST 2011: 61-70 - [c30]Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel:
Modeling and Managing Communities of Web Service Registries. WEBIST (Selected Papers) 2011: 88-102 - [c29]Kais Klai, Walid Gaaloul:
Petri Net Modeling and Verification of Transactional Workflows. WETICE 2011: 176-184 - 2010
- [c28]Mohamed Sellami, Walid Gaaloul, Samir Tata:
Functionality-Driven Clustering of Web Service Registries. IEEE SCC 2010: 631-634 - [c27]Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel:
Using Recommendation to Limit Search Space in Web Services Discovery. AINA 2010: 974-981 - [c26]Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata:
Web Services Recommendation Based on User's Behavior. ICEBE 2010: 214-221 - [c25]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 - [c24]Mohamed Sellami, Olfa Bouchaala, Walid Gaaloul, Samir Tata:
WSRD: A Web Services Registry Description. NOTERE 2010: 89-96 - [c23]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
- [c22]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
- [c21]ZhangBing Zhou, Sami Bhiri, Walid Gaaloul, Manfred Hauswirth:
Developing Process Mediator for Supporting Mediated Web Service Interactions. ECOWS 2008: 155-164 - [c20]Fodé Touré, Karim Baïna, Walid Gaaloul:
Toward a Hybrid Algorithm for Workflow Graph Structural Verification. ICEIS (3-2) 2008: 442-447 - [c19]ZhangBing Zhou, Sami Bhiri, Walid Gaaloul, Lei Shu, Laurentiu Vasiliu, Manfred Hauswirth:
Developing Process Mediator for Web Service Interactions. ICWS 2008: 828-829 - [c18]ZhangBing Zhou, Sami Bhiri, Walid Gaaloul, Lei Shu, Manfred Hauswirth:
Behavioral Compatibility of Web Services. OTM Workshops 2008: 27-28 - [c17]Armin Haller, Walid Gaaloul, Mateusz Marmolowski:
Towards an XPDL Compliant Process Ontology. SERVICES I 2008: 83-86 - 2007
- [c16]Walid Gaaloul, Sami Bhiri, Manfred Hauswirth, Mohsen Rouached, Claude Godart:
Formal verification of composite service recovery mechanisms consistency. CollaborateCom 2007: 278-287 - [c15]Walid Gaaloul, Sami Bhiri, Armin Haller:
Mining and Re-engineering Transactional Workflows for Reliable Executions. ER 2007: 485-501 - [c14]Walid Gaaloul, Mohsen Rouached, Claude Godart, Manfred Hauswirth:
Verifying Composite Service Transactional Behavior Using Event Calculus. OTM Conferences (1) 2007: 353-370 - [c13]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
- [c12]Karim Baïna, Walid Gaaloul, Reda El Khattabi, Abdellah Mouhou:
WorkflowMiner: a New Workflow Patterns and Performance Analysis tool. CAiSE Forum 2006 - [c11]Walid Gaaloul, Karim Baïna, Claude Godart:
A Bottom-Up Workflow Mining Approach for Workflow Applications Analysis. DEECS 2006: 182-197 - [c10]Sami Bhiri, Walid Gaaloul, Claude Godart:
Discovering and Improving Recovery Mechanisms of CompositeWeb Services. ICWS 2006: 99-110 - [c9]Mohsen Rouached, Walid Gaaloul, Wil M. P. van der Aalst, Sami Bhiri, Claude Godart:
Erratum: Web Service Mining and Verification of Properties: An Approach Based on Event Calculus. OTM Conferences (1) 2006: 2 - [c8]Mohsen Rouached, Walid Gaaloul, Wil M. P. van der Aalst, Sami Bhiri, Claude Godart:
Web Service Mining and Verification of Properties: An Approach Based on Event Calculus. OTM Conferences (1) 2006: 408-425 - [c7]Walid Gaaloul, Claude Godart:
A Workflow Mining Tool based on Logs Statistical Analysis. SEKE 2006: 595-600 - 2005
- [c6]Walid Gaaloul, Claude Godart:
Mining Workflow Recovery from Event Based Logs. Business Process Management 2005: 169-185 - [c5]Walid Gaaloul, Karim Baïna, Claude Godart:
Towards Mining Structural Workflow Patterns. DEXA 2005: 24-33 - [c4]Walid Gaaloul, Sadek Belamfedel Alaoui, Karim Baïna, Claude Godart:
Mining Workflow Patterns through Event-Data Analysis. SAINT Workshops 2005: 226-229 - 2004
- [c3]Walid Gaaloul, Sami Bhiri, Claude Godart:
Discovering Workflow Transactional Behavior from Event-Based Log. CoopIS/DOA/ODBASE (1) 2004: 3-18 - [c2]Walid Gaaloul, Sami Bhiri, Claude Godart:
Discovering Workflow Patterns from Timed Logs. EMISA 2004: 84-94 - [c1]Walid Gaaloul, Karim Baïna, Khalid Benali, Claude Godart:
A Pattern for Interconnecting Distributed Components. ICEIS (4) 2004: 430-434
Parts in Books or Collections
- 2009
- [p1]Sami Bhiri, Walid Gaaloul, Mohsen Rouached, Manfred Hauswirth:
Semantic Web Services for Satisfying SOA Requirements. Advances in Web Semantics I 2009: 374-395
Editorship
- 2025
- [e10]Walid Gaaloul, Michael Sheng, Qi Yu, Sami Yangui:
Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part I. Lecture Notes in Computer Science 15404, Springer 2025, ISBN 978-981-96-0804-1 [contents] - [e9]Walid Gaaloul, Michael Sheng, Qi Yu, Sami Yangui:
Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part II. Lecture Notes in Computer Science 15405, Springer 2025, ISBN 978-981-96-0807-2 [contents] - 2024
- [e8]Mohamed Sellami, Maria-Esther Vidal, Boudewijn F. van Dongen, Walid Gaaloul, Hervé Panetto:
Cooperative Information Systems - 29th International Conference, CoopIS 2023, Groningen, The Netherlands, October 30 - November 3, 2023, Proceedings. Lecture Notes in Computer Science 14353, Springer 2024, ISBN 978-3-031-46845-2 [contents] - 2022
- [e7]Andrea Marrella, Raimundas Matulevicius, Renata Gabryelczyk, Bernhard Axmann, Vesna Bosilj-Vuksic, Walid Gaaloul, Mojca Indihar Stemberger, Andrea Ko, Qinghua Lu:
Business Process Management: Blockchain, Robotic Process Automation, and Central and Eastern Europe Forum - BPM 2022 Blockchain, RPA, and CEE Forum, Münster, Germany, September 11-16, 2022, Proceedings. Lecture Notes in Business Information Processing 459, Springer 2022, ISBN 978-3-031-16167-4 [contents] - [e6]Mohamed Sellami, Paolo Ceravolo, Hajo A. Reijers, Walid Gaaloul, Hervé Panetto:
Cooperative Information Systems - 28th International Conference, CoopIS 2022, Bozen-Bolzano, Italy, October 4-7, 2022, Proceedings. Lecture Notes in Computer Science 13591, Springer 2022, ISBN 978-3-031-17833-7 [contents] - 2020
- [e5]Sami Yangui, Athman Bouguettaya, Xiao Xue, Noura Faci, Walid Gaaloul, Qi Yu, Zhangbing Zhou, Nathalie Hernandez, Elisa Yumi Nakagawa:
Service-Oriented Computing - ICSOC 2019 Workshops - WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28-31, 2019, Revised Selected Papers. Lecture Notes in Computer Science 12019, Springer 2020, ISBN 978-3-030-45988-8 [contents] - 2017
- [e4]Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike P. Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman:
On the Move to Meaningful Internet Systems. OTM 2017 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I. Lecture Notes in Computer Science 10573, Springer 2017, ISBN 978-3-319-69461-0 [contents] - [e3]Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike P. Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman:
On the Move to Meaningful Internet Systems. OTM 2017 Conferences - Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II. Lecture Notes in Computer Science 10574, Springer 2017, ISBN 978-3-319-69458-0 [contents] - 2016
- [e2]Alex Norta, Walid Gaaloul, G. R. Gangadharan, Hoa Khanh Dam:
Service-Oriented Computing - ICSOC 2015 Workshops - WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9586, Springer 2016, ISBN 978-3-662-50538-0 [contents] - [e1]Sumitra Reddy, Walid Gaaloul:
25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016, Paris, France, June 13-15, 2016. IEEE Computer Society 2016, ISBN 978-1-5090-1663-1 [contents]
Informal and Other Publications
- 2024
- [i1]Ali Nour Eldin, Benjamin Dalmas, Walid Gaaloul:
A Novel Approach to Process Discovery with Enhanced Loop Handling. CoRR abs/2412.06653 (2024)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-06-17 00:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
