Walid Gaaloul - RankMe

252 papers A* 1A 32B 26C 32Misc 1Journal 67Unranked 83

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	BSTL: Bayesian STL for Predictive Edge Service Monitoring With Probabilistic Guarantee. IEEE Trans. Serv. Comput. Deng Zhao, Zhangbing Zhou, Xiaoyan Meng, Xiao Xue, Ruixi Pan, Walid Gaaloul
2026	J	`jnl`	Exploring Semantic Labeling Strategies for Third-Party Cybersecurity Risk Assessment Questionnaires. CoRR Ali Nour Eldin, Mohamed Sellami, Walid Gaaloul
2026	J	`jnl`	Low-code solutions for business process dataflows: From modeling to execution. Inf. Syst. Ali Nour Eldin, Jonathan Baudot, Benjamin Dalmas, Walid Gaaloul
2026	J	`jnl`	Motivation is Something You Need. CoRR Mehdi Acheli, Walid Gaaloul
2025	—	`conf`	A Domain Specific Object Centric Event Log for Structured Representation of Incident Data. SSE Ahmed Takiy Eddine Hamdi, Marwa Elleuch, Nassim Laga, Walid Gaaloul
2025	A*	`conf`	BTC-SAM: Leveraging LLMs for Generation of Bias Test Cases for Sentiment Analysis Models. EMNLP Zsolt T. Kardkovács, Lynda Djennane, Anna Field, Boualem Benatallah, Yacine Gaci, Fabio Casati, Walid Gaaloul
2025	J	`jnl`	BTC-SAM: Leveraging LLMs for Generation of Bias Test Cases for Sentiment Analysis Models. CoRR Zsolt T. Kardkovács, Lynda Djennane, Anna Field, Boualem Benatallah, Yacine Gaci, Fabio Casati, Walid Gaaloul
2025	B	`conf`	Dilated Causal CNNs for Energy Forecasting and Optimization in LoRaWAN Networks. WiMob Sana Slama, Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Walid Gaaloul
2025	B	`conf`	Extracting Object-Centric Event Logs from Incident Data Using Large Language Models. CoopIS Ahmed Takiy Eddine Hamdi, Marwa Elleuch, Nassim Laga, Walid Gaaloul
2025	—	`conf`	From Natural Language to TOSCA: Leveraging LLMs for Automated Service Composition. ICSOC (1) Wided Meflah, Hayet Brabra, Mehdi Acheli, Hosni Ben Douma, Mohamed Sellami, Walid Gaaloul, Djamal Zeghlache
2025	A	`ed.`	IEEE International Conference on Web Services, ICWS 2025, Helsinki, Finland, July 7-12, 2025 ICWS Rong N. Chang, Carl K. Chang, Jingwei Yang, Nimanthi Atukorala, Dan Chen, Sumi Helal, Sasu Tarkoma, Qiang He, Tevfik Kosar, Claudio A. Ardagna, Amin Beheshti, Bo Cheng, Walid Gaaloul
2025	J	`jnl`	KeAD: Knowledge-enhanced Graph Attention Network for Accurate Anomaly Detection. IEEE Trans. Serv. Comput. Yi Li, Zhangbing Zhou, Pu Sun, Shuiguang Deng, Xiao Sun, Xiao Xue, Sami Yangui, Walid Gaaloul
2025	—	`conf`	Leveraging the Diamond Pattern for Scalable and Upgradeable Blockchain-Based Business Process Management Applications. BPM (Forum) Victor Lemaire, Tiphaine Henry, Álvaro García-Pérez, Walid Gaaloul, Sara Tucci Piergiovanni
2025	J	`jnl`	On the Marriage of Theory and Practice in Data-Aware Business Processes via Low-Code. CoRR Ali Nour Eldin, Benjamin Dalmas, Walid Gaaloul
2025	—	`conf`	Optimizing Containerized Edge Service Migration Through File-Level Storage Sharing. ICSOC (1) Jiangwei Li, Zhangbing Zhou, Sami Yangui, Deng Zhao, Ruixi Pan, Walid Gaaloul
2025	—	`ed.`	Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part I ICSOC (1) Walid Gaaloul, Michael Sheng, Qi Yu, Sami Yangui
2025	—	`ed.`	Service-Oriented Computing - 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part II ICSOC (2) Walid Gaaloul, Michael Sheng, Qi Yu, Sami Yangui
2025	J	`jnl`	Web 3.0-Enabled Microservice Re-Scheduling for Heterogenous Resources Co-Optimization in Metaverse-Integrated Edge Networks. ACM Trans. Auton. Adapt. Syst. Yihong Yang, Zhangbing Zhou, Lei Shu, Feng Zhou, Walid Gaaloul, Arif Ali Khan
2024	B	`conf`	A Decomposed Hybrid Approach to Business Process Modeling with LLMs. CoopIS Ali Nour Eldin, Nour Assy, Olan Anesini, Benjamin Dalmas, Walid Gaaloul
2024	J	`jnl`	A Novel Approach to Process Discovery with Enhanced Loop Handling. CoRR Ali Nour Eldin, Benjamin Dalmas, Walid Gaaloul
2024	A	`conf`	Accurate Anomaly Detection Leveraging Knowledge-enhanced GAT. ICWS Yi Li, Zhangbing Zhou, Shuiguang Deng, Xiao Sun, Xiao Xue, Sami Yangui, Walid Gaaloul
2024	J	`jnl`	CSTL: Compositional Signal Temporal Logic for Adaptive Edge Service Monitoring. IEEE Trans. Serv. Comput. Deng Zhao, Zhangbing Zhou, Wenbo Zhang, Shuiguang Deng, Xiao Xue, Walid Gaaloul
2024	B	`ed.`	Cooperative Information Systems - 29th International Conference, CoopIS 2023, Groningen, The Netherlands, October 30 - November 3, 2023, Proceedings CoopIS Mohamed Sellami, Maria-Esther Vidal, Boudewijn F. van Dongen, Walid Gaaloul, Hervé Panetto
2024	J	`jnl`	EGNN: Energy-efficient anomaly detection for Future Gener. Comput. Syst. Hongtai Guo, Zhangbing Zhou, Deng Zhao, Walid Gaaloul
2024	—	`conf`	Efficient Deep Learning Method for Detection of Malware Attacks in Internet of Things Networks. ACIIDS (Companion 1) Ikbel Haouas, Mouna Attia, Lazhar Hamel, Mohamed Graiet, Walid Gaaloul
2024	—	`conf`	Empirical Evaluation of Social Bias in Text Classification Systems. FLLM Lynda Djennane, Zsolt T. Kardkovács, Boualem Benatallah, Yacine Gaci, Walid Gaaloul, Zoubeyr Farah
2024	A	`conf`	Energy-Aware Service Migration in End-Edge-Cloud Collaborative Networks. ICWS Jiangwei Li, Zhangbing Zhou, Deng Zhao, Zhensheng Shi, Lin Meng, Walid Gaaloul
2024	J	`jnl`	Energy-Efficient Online Service Migration in Edge Networks. IEEE Internet Things J. Jiangwei Li, Deng Zhao, Zhensheng Shi, Lin Meng, Walid Gaaloul, Zhangbing Zhou
2024	C	`conf`	Formal Verification of Declarative Specifications of BPs: DCR2CPN-Based Approach. VECoS Ikram Garfatta, Kaïs Klai, Walid Gaaloul
2024	C	`conf`	Integrating Business Process Context into Solidity-to-CPN Formal Verification. WETICE Ikram Garfatta, Kaïs Klai, Walid Gaaloul
2024	—	`conf`	Multi-perspective Conformance Checking for Email-Driven Processes. WISE (5) Ralph Bou Nader, Ikram Garfatta, Marwa Elleuch, Walid Gaaloul, Yehia Taher
2024	B	`conf`	Nala2BPMN: Automating BPMN Model Generation with Large Language Models. CoopIS Ali Nour Eldin, Nour Assy, Olan Anesini, Benjamin Dalmas, Walid Gaaloul
2024	B	`conf`	Predictive Process Approach for Email Response Recommendations. CoopIS Ralph Bou Nader, Marwa Elleuch, Ikram Garfatta, Walid Gaaloul, Boualem Benatallah
2024	J	`jnl`	Towards a Trustworthy and Adaptive Execution of Business Process Choreographies. IEEE Trans. Serv. Comput. Amina Brahem, Tiphaine Henry, Sami Bhiri, Thomas Devogele, Nizar Messai, Yacine Sam, Walid Gaaloul
2024	J	`jnl`	Towards trustworthy and privacy-preserving decentralized auctions. J. Bank. Financial Technol. Tiphaine Henry, Julien Hatin, Eloi Besnard, Nassim Laga, Walid Gaaloul
2023	A	`conf`	A Novel Logic-Based Adaptive Monitoring for Composite Edge Services. ICWS Deng Zhao, Zhangbing Zhou, Xiao Xue, Jin Diao, Sami Yangui, Bo Liu, Walid Gaaloul
2023	J	`jnl`	CTL-Based Adaptive Service Composition in Edge Networks. IEEE Trans. Serv. Comput. Deng Zhao, Zhangbing Zhou, Patrick C. K. Hung, Shuiguang Deng, Xiao Xue, Walid Gaaloul
2023	B	`conf`	Discovering Guard Stage Milestone Models Through Hierarchical Clustering. CoopIS Leyla Moctar-M'Baba, Mohamed Sellami, Nour Assy, Walid Gaaloul, Mohamedade Farouk Nanne
2023	J	`jnl`	Multi-perspective business process discovery from messaging systems: State-of-the art. Concurr. Comput. Pract. Exp. Marwa Elleuch, Nassim Laga, Oumaima Alaoui Ismaili, Walid Gaaloul
2023	J	`jnl`	Natural language querying of process execution data. Inf. Syst. Meriana Kobeissi, Nour Assy, Walid Gaaloul, Bruno Defude, Boualem Benatallah, Bassem Haidar
2023	J	`jnl`	Process fragments discovery from emails: Functional, data and behavioral perspectives discovery. Inf. Syst. Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Walid Gaaloul
2023	B	`conf`	Process mining approach for Multi-Cloud SLA Reporting. IEEE Big Data Jeremy Mechouche, Mohamed Sellami, Zakaria Maamar, Roua Touihri, Walid Gaaloul
2023	J	`jnl`	Process mining for artifact-centric blockchain applications. Simul. Model. Pract. Theory Leyla Moctar-M'Baba, Nour Assy, Mohamed Sellami, Walid Gaaloul, Mohamedade Farouk Nanne
2023	J	`jnl`	Re-Scheduling IoT Services in Edge Networks. IEEE Trans. Netw. Serv. Manag. Xiaocui Li, Zhangbing Zhou, Qiang He, Zhensheng Shi, Walid Gaaloul, Sami Yangui
2023	J	`jnl`	Reinforcement learning-enabled efficient data gathering in underground wireless sensor networks. Pers. Ubiquitous Comput. Deng Zhao, Zhangbing Zhou, Shangguang Wang, Bo Liu, Walid Gaaloul
2023	A	`conf`	Request Relaxation Based-on Provider Constraints for a Capability-Based NaaS Services Discovery. CAiSE Imen Jerbi, Hayet Brabra, Mohamed Sellami, Walid Gaaloul, Sami Bhiri, Boualem Benatallah, Djamal Zeghlache, Olivier Tirat
2023	—	`conf`	Uncovering Implicit Bundling Constraints: Empowering Cloud Network Service Discovery. ICSOC (2) Hayet Brabra, Imen Jerbi, Mohamed Sellami, Walid Gaaloul, Djamal Zeghlache
2023	—	`conf`	Zooming in for Clarity: Towards Low-Code Modeling for Activity Data Flow. BPM (Forum) Ali Nour Eldin, Jonathan Baudot, Walid Gaaloul
2022	A	`conf`	A Trustworthy decentralized Change Propagation Mechanism for Declarative Choreographies. BPM Amina Brahem, Tiphaine Henry, Sami Bhiri, Thomas Devogele, Nassim Laga, Nizar Messai, Yacine Sam, Walid Gaaloul, Boualem Benatallah
2022	J	`jnl`	A model-driven approach for deployment descriptor design in network function virtualization. Int. J. Netw. Manag. Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia
2022	J	`jnl`	Adaptive Configuration of Service-Based Smart Sensors in Edge Networks. IEEE Trans. Ind. Informatics Mengyu Sun, Zhangbing Zhou, Xiao Xue, Wenbo Zhang, Walid Gaaloul
2022	—	`conf`	Automatic Processing of Planning Problems: Application on Representative Case Studies. ICCCI (CCIS Volume) Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Walid Gaaloul
2022	—	`conf`	Blockchain logging for process mining: a systematic review. HICSS Leyla Moctar-M'Baba, Mohamed Sellami, Walid Gaaloul, Mohamedade Farouk Nanne
2022	—	`ed.`	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 BPM (Blockchain and RPA Forum) Andrea Marrella, Raimundas Matulevicius, Renata Gabryelczyk, Bernhard Axmann, Vesna Bosilj-Vuksic, Walid Gaaloul, Mojca Indihar Stemberger, Andrea Ko, Qinghua Lu
2022	J	`jnl`	Conformance checking for autonomous multi-cloud SLA management and adaptation. J. Supercomput. Jeremy Mechouche, Roua Touihri, Mohamed Sellami, Walid Gaaloul
2022	B	`ed.`	Cooperative Information Systems - 28th International Conference, CoopIS 2022, Bozen-Bolzano, Italy, October 4-7, 2022, Proceedings CoopIS Mohamed Sellami, Paolo Ceravolo, Hajo A. Reijers, Walid Gaaloul, Hervé Panetto
2022	—	`conf`	Decentralized procurement mechanisms for efficient logistics services mapping - a design science research approach. HICSS Tiphaine Henry, Roman Beck, Nassim Laga, Walid Gaaloul, Shenle Pan
2022	J	`jnl`	Dialogue Management in Conversational Systems: A Review of Approaches, Challenges, and Opportunities. IEEE Trans. Cogn. Dev. Syst. Hayet Brabra, Marcos Báez, Boualem Benatallah, Walid Gaaloul, Sara Bouguelia, Shayan Zamanirad
2022	A	`conf`	Enabling Multi-Provider Cloud Network Service Bundling. ICWS Imen Jerbi, Nour Assy, Mohamed Sellami, Hayet Brabra, Walid Gaaloul, Sami Bhiri, Olivier Tirat, Djamal Zeghlache
2022	B	`conf`	Enabling Multi-process Discovery on Graph Databases. CoopIS Ali Nour Eldin, Nour Assy, Meriana Kobeissi, Jonathan Baudot, Walid Gaaloul
2022	—	`conf`	Extracting Artifact-Centric Event Logs From Blockchain Applications. SCC Leyla Moctar-M'Baba, Nour Assy, Mohamed Sellami, Walid Gaaloul, Mohamedade Farouk Nanne
2022	—	`conf`	Mining Knowledge Graphs From Loosely Structured Processes: A Use Case From Emailing Systems. ICSBT Walid Gaaloul
2022	Misc	`conf`	Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. SAC Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul
2022	J	`jnl`	Model-Driven Simulation of Elastic OCCI Cloud Resources. Comput. J. Mehdi Ahmed-Nacer, Slim Kallel, Faiez Zalila, Philippe Merle, Walid Gaaloul
2022	B	`conf`	Random-Value Payment Tokens for On-Chain Privacy-Preserving Payments. CoopIS Tiphaine Henry, Julien Hatin, Léo Kazmierczak, Nassim Laga, Walid Gaaloul, Emmanuel Bertin
2021	J	`jnl`	A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation. J. Univers. Comput. Sci. Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Emna Guermazi, Walid Gaaloul
2021	C	`conf`	A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts. WETICE Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul
2021	—	`conf`	A Survey on Formal Verification for Solidity Smart Contracts. ACSW Ikram Garfatta, Kais Klai, Walid Gaaloul, Mohamed Graiet
2021	—	`conf`	Adaptive IoT Service Configuration Optimization in Edge Networks. INFOCOM Workshops Mengyu Sun, Zhangbing Zhou, Walid Gaaloul
2021	B	`conf`	An Intent-Based Natural Language Interface for Querying Process Execution Data. ICPM Meriana Kobeissi, Nour Assy, Walid Gaaloul, Bruno Defude, Bassem Haidar
2021	A	`conf`	CTL-Based Dynamic IoT Service Composition. ICWS Deng Zhao, Zhangbing Zhou, Xiao Xue, Zhuofeng Zhao, Walid Gaaloul, Wenbo Zhang
2021	—	`conf`	Cross-Collaboration Processes based on Blockchain and IoT: a survey. HICSS Tiphaine Henry, Nassim Laga, Julien Hatin, Walid Gaaloul, Imed Boughzala
2021	—	`conf`	Hire me fairly: towards dynamic resource-binding with smart contracts. SCC Tiphaine Henry, Nassim Laga, Julien Hatin, Roman Beck, Walid Gaaloul
2021	A	`conf`	Migration-Based Service Allocation Optimization in Dynamic IoT Networks. ICSOC Mengyu Sun, Zhangbing Zhou, Xiao Xue, Walid Gaaloul
2021	A	`conf`	Model Checking of Solidity Smart Contracts Adopted for Business Processes. ICSOC Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul
2021	J	`jnl`	Optimal business process deployment cost in cloud resources. J. Supercomput. Rania Ben Halima, Slim Kallel, Mehdi Ahmed-Nacer, Walid Gaaloul
2021	J	`jnl`	Restriction-based fragmentation of business processes over the cloud. Concurr. Comput. Pract. Exp. Slim Kallel, Zakaria Maamar, Mohamed Sellami, Noura Faci, Ahmed Ben Arab, Walid Gaaloul, Thar Baker
2021	—	`conf`	Towards higher-level description of SLA-aware reconfiguration strategies based on state-machine. ICEBE Jeremy Mechouche, Roua Touihri, Mohamed Sellami, Walid Gaaloul
2021	—	`conf`	Track Before Detect: A Novel Approach For Unsupervised Anomaly Detection In Time Series. SMDS Ralph Bou Nader, Nour Assy, Walid Gaaloul, Yehia Taher, Rafiqul Haque
2021	A	`conf`	Trustworthy Cross-Organizational Collaborations with Hybrid On/Off-Chain Declarative Choreographies. ICSOC Tiphaine Henry, Amina Brahem, Nassim Laga, Julien Hatin, Walid Gaaloul, Boualem Benatallah
2020	—	`conf`	A Meta Model for Mining Processes from Email Data. SCC Marwa Elleuch, Nour Assy, Nassim Laga, Walid Gaaloul, Oumaima Alaoui Ismaili, Boualem Benatallah
2020	—	`conf`	Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach. ICSOC Workshops Ikram Garfatta, Kaïs Klai, Mahamed Graïet, Walid Gaaloul
2020	J	`jnl`	Cloud SLA negotiation and re-negotiation: An ontology-based context-aware approach. Concurr. Comput. Pract. Exp. Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Faïez Gargouri
2020	J	`jnl`	Configurable Deployment Descriptor Model in NFV. J. Netw. Syst. Manag. Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia
2020	A	`conf`	Detecting Temporal Anomaly and Interestingness in Timed Business Process Models. ICWS Deng Zhao, Zhangbing Zhou, Yasha Wang, Walid Gaaloul
2020	—	`conf`	Discovering Activities from Emails Based on Pattern Discovery Approach. BPM (Forum) Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Walid Gaaloul, Boualem Benatallah
2020	C	`conf`	Discovering Business Processes And Activities From Messaging Systems: State-Of-The Art. WETICE Marwa Elleuch, Nassim Laga, Oumaima Alaoui Ismaili, Walid Gaaloul
2020	B	`conf`	Discovery of Activities' Actor Perspective from Emails based on Speech Acts Detection. ICPM Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Nour Assy, Walid Gaaloul
2020	B	`conf`	Learning a Configurable Deployment Descriptors Model in NFV. NOMS Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia
2020	B	`conf`	Poster: Word embedding for deployment descriptors in NFV. Networking Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul
2020	A	`conf`	Running Transactional Business Processes with Blockchain's Smart Contracts. ICWS Amina Brahem, Nizar Messai, Yacine Sam, Sami Bhiri, Thomas Devogele, Walid Gaaloul
2020	—	`ed.`	Service-Oriented Computing - ICSOC 2019 Workshops - WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28-31, 2019, Revised Selected Papers ICSOC Workshops Sami Yangui, Athman Bouguettaya, Xiao Xue, Noura Faci, Walid Gaaloul, Qi Yu, Zhangbing Zhou, Nathalie Hernandez, Elisa Yumi Nakagawa
2020	J	`jnl`	Special Issue on Fog and Cloud Computing for Cooperative Information System Management: Challenges and Opportunities. Future Gener. Comput. Syst. Walid Gaaloul, Zhangbing Zhou, Hervé Panetto, Liang Zhang
2020	J	`jnl`	Toward a correct and optimal time-aware cloud resource allocation to business processes. Future Gener. Comput. Syst. Rania Ben Halima, Slim Kallel, Walid Gaaloul, Zakaria Maamar, Mohamed Jmaiel
2020	J	`jnl`	Toward higher-level abstractions based on state machine for cloud resources elasticity. Inf. Syst. Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah
2019	—	`conf`	A SAT-Based Formal Approach for Verifying Business Process Configuration. Innovate-Data Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul
2019	—	`conf`	A Transactional Approach for Reliable Elastic Cloud Resources. SCC Farah Bellaaj, Hayet Brabra, Mohamed Sellami, Walid Gaaloul, Sami Bhiri
2019	J	`jnl`	A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric. Sci. Comput. Program. Mariam Chaabane, Ismael Bouassida Rodriguez, Ricardo Colomo-Palacios, Walid Gaaloul, Mohamed Jmaiel
2019	C	`conf`	Blockchain's Fame Reaches the Execution of Personalized Touristic Itineraries. WETICE Amina Brahem, Nizar Messai, Yacine Sam, Sami Bhiri, Thomas Devogele, Walid Gaaloul
2019	—	`conf`	Discovering Crossing-Workflow Fragments Based on Activity Knowledge Graph. OTM Conferences Jinfeng Wen, Zhangbing Zhou, Yasha Wang, Walid Gaaloul, Yucong Duan
2019	—	`conf`	Emails Analysis for Business Process Discovery. ATAED@Petri Nets/ACSD Nassim Laga, Marwa Elleuch, Walid Gaaloul, Oumaima Alaoui Ismaili
2019	J	`jnl`	Energy-Efficient IoT Service Composition for Concurrent Timed Applications. Future Gener. Comput. Syst. Mengyu Sun, Zhangbing Zhou, Junping Wang, Chu Du, Walid Gaaloul
2019	—	`conf`	Extracting Attribute-Based Access Control Rules from Business Process Event Logs. BDCSIntell Amani Abou Rida, Nour Assy, Walid Gaaloul
2019	B	`conf`	Model-Driven Orchestration for Cloud Resources. CLOUD Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah, Faïez Gargouri
2019	J	`jnl`	On semantic detection of cloud API (anti)patterns. Inf. Softw. Technol. 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
2019	—	`conf`	On the Verification of Data Encryption Requirements in Internet of Things Using Event-B. ICDEc Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul
2019	C	`conf`	SoS Paradigm Benefits SaaS Integration: Novel Approach and First Results. WETICE Wided Mathlouthi, Chahrazed Labba, Walid Gaaloul, Narjès Bellamine Ben Saoud
2019	B	`conf`	Using Deep Learning for Recommending and Completing Deployment Descriptors in NFV. NetSoft Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul
2019	B	`conf`	Virtual Network Function Descriptors Mining using Word Embeddings and Deep Neural Networks. IM Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul
2018	—	`conf`	A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics. OTM Conferences (1) Souha Boubaker, Kais Klai, Hedi Kortas, Walid Gaaloul
2018	J	`jnl`	A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition. IEEE Syst. J. Mohamed Graiet, Imed Abbassi, Mourad Kmimech, Walid Gaaloul
2018	—	`conf`	Configurable IoT-Aware Allocation in Business Processes. SCC Kunal Suri, Walid Gaaloul, Arnaud Cuccuru
2018	A	`conf`	Energy-Efficient WSN Service Composition for Concurrent Applications. ICWS Jiabei Xu, Deng Zhao, Zhangbing Zhou, Walid Gaaloul, Yucong Duan
2018	—	`conf`	Formal Modelling and Verification of Cloud Resource Allocation in Business Processes. OTM Conferences (1) Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul
2018	B	`conf`	Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. AINA Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
2018	J	`jnl`	Formal Verification of Temporal Constraints for Mobile Service-Based Business Process Models. IEEE Access Deng Zhao, Walid Gaaloul, Wenbo Zhang, Chunsheng Zhu, Zhangbing Zhou
2018	A	`conf`	Model-Driven Elasticity for Cloud Resources. CAiSE Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah
2018	J	`jnl`	Optimal Deployment of Configurable Business Processes in Cloud Federations. IEEE Trans. Netw. Serv. Manag. Molka Rekik, Khouloud Boukadi, Nour Assy, Walid Gaaloul, Hanêne Ben-Abdallah
2018	—	`conf`	Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation. OTM Conferences (1) Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
2018	J	`jnl`	Scientific Workflow Clustering and Recommendation Leveraging Layer Hierarchical Analysis. IEEE Trans. Serv. Comput. Zhangbing Zhou, Zehui Cheng, Liang-Jie Zhang, Walid Gaaloul, Ke Ning
2018	J	`jnl`	Semantic Framework for Energy-Aware Resource Management of IoT in Business Processes. Int. J. Syst. Serv. Oriented Eng. Kunal Suri, Walid Gaaloul, Arnaud Cuccuru, Sebastien Gerard
2018	B	`conf`	Semantic-Based Global Network View Construction in Software Defined Networks with Multiple Controllers. NetSoft Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul
2018	—	`conf`	Trustless Blockchain-based Access Control in Dynamic Collaboration. BDCSIntell Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Walid Gaaloul
2018	—	`conf`	[WiP] Formal Modelling of IT Resource Allocation in Business Processes. SOCA Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul
2017	—	`conf`	Adaptive Deployment of Service-Based Processes into Cloud Federations. WISE (1) Chahrazed Labba, Nour Assy, Narjès Bellamine Ben Saoud, Walid Gaaloul
2017	—	`conf`	Anti-Pattern Specification and Correction Recommendations for Semantic Cloud Services. HICSS Molka Rekik, Khouloud Boukadi, Walid Gaaloul, Hanêne Ben-Abdallah
2017	—	`conf`	Cloud SLA Modeling and Monitoring. SCC Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Samir Tata, Faïez Gargouri
2017	A	`conf`	Deadlock-Freeness Verification of Business Process Configuration Using SOG. ICSOC Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul
2017	A	`conf`	Genetic-Based Configurable Cloud Resource Allocation in QoS-Aware Business Process Development. ICWS Emna Hachicha, Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul
2017	C	`conf`	Model-based Development of Modular Complex Systems for Accomplishing System Integration for Industry 4.0. MODELSWARD Kunal Suri, Arnaud Cuccuru, Juan Cadavid, Sebastien Gerard, Walid Gaaloul, Samir Tata
2017	—	`conf`	OCCI-Compliant Cloud Configuration Simulation. EDGE Mehdi Ahmed-Nacer, Walid Gaaloul, Samir Tata
2017	—	`ed.`	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 OTM Conferences (1) Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike P. Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman
2017	—	`ed.`	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 OTM Conferences (2) Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike P. Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman
2017	C	`conf`	Ontology-Based SLA Negotiation and Re-Negotiation for Cloud Computing. WETICE Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Faïez Gargouri
2017	—	`conf`	Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process. SCC Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel
2017	C	`conf`	Semantic Framework for Internet of Things-Aware Business Process Development. WETICE Kunal Suri, Walid Gaaloul, Arnaud Cuccuru, Sebastien Gerard
2017	—	`conf`	Simulation of Configurable Resource Allocation for Cloud-Based Business Processes. SCC Mehdi Ahmed-Nacer, Kunal Suri, Mohamed Sellami, Walid Gaaloul
2017	J	`jnl`	Towards Correct Cloud Resource Allocation in Business Processes. IEEE Trans. Serv. Comput. Mohamed Graiet, Amel Mammar, Souha Boubaker, Walid Gaaloul
2016	C	`ed.`	25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE 2016, Paris, France, June 13-15, 2016 WETICE Sumitra Reddy, Walid Gaaloul
2016	A	`conf`	A Configurable Resource Allocation for Multi-tenant Process Development in the Cloud. CAiSE Emna Hachicha, Nour Assy, Walid Gaaloul, Jan Mendling
2016	C	`conf`	A Demo of IoT Healthcare Application Provisioning in Hybrid Cloud/Fog Environment. CloudCom Ons Bibani, Carla Mouradian, Sami Yangui, Roch H. Glitho, Walid Gaaloul, Nejib Ben Hadj-Alouane, Monique Morrow, Paul A. Polakos
2016	A	`conf`	A Formal Guidance Approach for Correct Process Configuration. ICSOC Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
2016	—	`conf`	A Global SLA-Aware Approach for Aggregating Services in the Cloud. OTM Conferences Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Abir Elkhalfa, Walid Gaaloul
2016	—	`conf`	A Linear Program for Optimal Configurable Business Processes Deployment into Cloud Federation. SCC Molka Rekik, Khouloud Boukadi, Nour Assy, Walid Gaaloul, Hanêne Ben-Abdallah
2016	—	`conf`	A Semantic Framework Supporting Business Process Variability Using Event Logs. SCC Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul
2016	B	`conf`	A Semantic Framework Supporting Cloud Resource Descriptions Interoperability. CLOUD Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul
2016	C	`conf`	A demo of a PaaS for IoT applications provisioning in hybrid cloud/fog environment. LANMAN Ons Bibani, Sami Yangui, Roch H. Glitho, Walid Gaaloul, Nejib Ben Hadj-Alouane, Monique J. Morrow, Paul A. Polakos
2016	J	`jnl`	A semantic framework for configurable business process as a service in the cloud. J. Netw. Comput. Appl. Karn Yongsiriwit, Nour Assy, Walid Gaaloul
2016	A	`conf`	An Event-B Based Approach for Ensuring Correct Configurable Business Processes. ICWS Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
2016	J	`jnl`	Data intelligence on the Internet of Things. Pers. Ubiquitous Comput. Zhangbing Zhou, Kim Fung Tsang, Zhuofeng Zhao, Walid Gaaloul
2016	A	`conf`	Detecting Cloud (Anti)Patterns: OCCI Perspective. ICSOC Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Boualem Benatallah, Faïez Gargouri
2016	J	`jnl`	Developing correct adapters for software architectural dynamic reconfiguration. Int. J. Auton. Adapt. Commun. Syst. Djamel Belaïd, Imen Ben Lahmar, Walid Gaaloul
2016	—	`conf`	Energy Efficient Configurable Resource Allocation in Cloud-Based Business Processes (Short Paper). OTM Conferences Emna Hachicha, Karn Yongsiriwit, Walid Gaaloul
2016	B	`conf`	Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B. AINA Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
2016	—	`conf`	Formal Verification of Time-Aware Cloud Resource Allocation in Business Process. OTM Conferences Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel
2016	—	`conf`	Semantic Web Technologies in Cloud Computing: A Systematic Literature Review. SCC Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Faïez Gargouri
2016	J	`jnl`	Service querying to support process variant development. J. Syst. Softw. Nguyen Ngoc Chan, Nattawat Nonsung, Walid Gaaloul
2016	—	`ed.`	Service-Oriented Computing - ICSOC 2015 Workshops - WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, Revised Selected Papers ICSOC Workshops Alex Norta, Walid Gaaloul, G. R. Gangadharan, Hoa Khanh Dam
2016	—	`conf`	Social-Based Semantic Framework for Cloud Resource Management in Business Processes. SCC Emna Hachicha, Walid Gaaloul, Zakaria Maamar
2016	C	`conf`	Toward Context-Aware SLA for Cloud Computing. HIS Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Faïez Gargouri
2015	J	`jnl`	A decentralized and service-based solution for data mediation: the case for data providing service compositions. Concurr. Comput. Pract. Exp. Mohamed Sellami, Walid Gaaloul, Bruno Defude
2015	J	`jnl`	A three-dimensional sub-region query processing mechanism in underwater WSNs. Pers. Ubiquitous Comput. Zhangbing Zhou, Riliang Xing, Walid Gaaloul, Yongping Xiong
2015	J	`jnl`	An Automated Approach for Assisting the Design of Configurable Process Models. IEEE Trans. Serv. Comput. Nour Assy, Nguyen Ngoc Chan, Walid Gaaloul
2015	J	`jnl`	Assisting Sensor-Based Application Design and Instantiation Using Activity Recommendation. Comput. J. Zahra Movahedi, Walid Gaaloul, Sami Bhiri, Bruno Defude
2015	C	`conf`	CPS 2015 Track Report: Cyber Physical Society. WETICE Walid Gaaloul, Joaquin Ezpeleta, Zhangbing Zhou, Mahmoud Barhamgi
2015	J	`jnl`	Configuration assistée des processus métier. Conception et expérimentation. Ingénierie des Systèmes d Inf. Nour Assy, Walid Gaaloul, Layth Sliman, Bruno Defude
2015	—	`conf`	Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process. SCC Souha Boubaker, Walid Gaaloul, Mohamed Graiet, Nejib Ben Hadj-Alouane
2015	A	`conf`	Extracting Configuration Guidance Models from Business Process Repositories. BPM Nour Assy, Walid Gaaloul
2015	—	`conf`	Genetic-Based Approach for ATS and SLA-aware Web Services Composition. WISE (1) Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane
2015	J	`jnl`	IEEE Access Special Session Editorial: Big Data Services and Computational Intelligence for Industrial Systems. IEEE Access Zhangbing Zhou, Walid Gaaloul, Patrick C. K. Hung, Lei Shu, Wei Tan
2015	—	`conf`	Log-Based Process Fragment Querying to Support Process Design. HICSS Karn Yongsiriwit, Nguyen Ngoc Chan, Walid Gaaloul
2015	—	`conf`	Semantic Process Fragments Matching to Assist the Development of Process Variants. SCC Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul
2015	B	`conf`	Towards Resource-aware Business Process development in the Cloud. AINA Emna Hachicha, Walid Gaaloul
2014	—	`conf`	A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions. IEEE SCC Imed Abbassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj-Alouane
2014	C	`conf`	A framework for semantic telco process management - An industrial case study. ISDA Nour Assy, Karn Yongsiriwit, Walid Gaaloul, Imen Grida Ben Yahia
2014	A	`conf`	Configuration Rule Mining for Variability Analysis in Configurable Process Models. ICSOC Nour Assy, Walid Gaaloul
2014	J	`jnl`	Deriving configurable fragments for process design. Int. J. Bus. Process. Integr. Manag. Nour Assy, Nguyen Ngoc Chan, Walid Gaaloul, Bruno Defude
2014	—	`conf`	Mining Configurable Process Fragments for Business Process Design. DESRIST Nour Assy, Walid Gaaloul, Bruno Defude
2014	A	`conf`	Mining Event Logs to Assist the Development of Executable Process Variants. CAiSE Nguyen Ngoc Chan, Karn Yongsiriwit, Walid Gaaloul, Jan Mendling
2014	C	`conf`	Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B. WETICE Imed Abbassi, Mourad Kmimech, Nejib Ben Hadj-Alouane, Walid Gaaloul
2014	C	`conf`	Querying Services Based on Composition Context. WETICE Nguyen Ngoc Chan, Walid Gaaloul
2014	—	`book`	Supporting service consumption : advanced discovery and recommendation techniques. (Techniques de recommendation et de découverte de services et procédés). Walid Gaaloul
2014	C	`conf`	Track Report of Capacity Driven Processes and Services for Cyber Physical Society (CPS 2014). WETICE Mahmoud Barhamgi, Walid Gaaloul, Joaquin Ezpeleta, Zhangbing Zhou
2013	J	`jnl`	Assessing the replaceability of service protocols in mediated service interactions. Future Gener. Comput. Syst. Zhangbing Zhou, Walid Gaaloul, Lei Shu, Samir Tata, Sami Bhiri
2013	—	`conf`	Assisting Business Process Design with Configurable Process Fragments. IEEE SCC Nour Assy, Nguyen Ngoc Chan, Walid Gaaloul
2013	C	`conf`	CPS Track Report. WETICE Zhangbing Zhou, Walid Gaaloul, Jianwei Niu
2013	J	`jnl`	Communities of Web service registries: Construction and management. J. Syst. Softw. Mohamed Sellami, Olfa Bouchaala, Walid Gaaloul, Samir Tata
2013	J	`jnl`	Data Providing Services Clustering and Management for Facilitating Service Discovery and Replacement. IEEE Trans Autom. Sci. Eng. Zhangbing Zhou, Mohamed Sellami, Walid Gaaloul, Mahmoud Barhamgi, Bruno Defude
2013	A	`conf`	Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. ICWS Mohamed Graiet, Imed Abbassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, Walid Gaaloul
2012	J	`jnl`	A recommender system based on historical usage data for web service discovery. Serv. Oriented Comput. Appl. Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata
2012	C	`conf`	An Ontology for Workflow Organizational Model Mining. WETICE Rami Sellami, Walid Gaaloul, Samir Moalla
2012	J	`jnl`	Assessment of Service Protocol Adaptability Based on Novel Walk Computation. IEEE Trans. Syst. Man Cybern. Part A Zhangbing Zhou, Sami Bhiri, Hai Zhuge, Walid Gaaloul
2012	A	`conf`	Assisting Business Process Design by Activity Neighborhood Context Matching. ICSOC Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata
2012	C	`conf`	CPS Track Report: 2nd Track on Cyber Physical Society with SOA, BPM and Sensor Networks. WETICE Zhangbing Zhou, Walid Gaaloul, Wei Tan, Daqiang Zhang
2012	C	`conf`	Data Mapping Web Services for Composite DaaS Mediation. WETICE Mohamed Sellami, Walid Gaaloul, Bruno Defude
2012	—	`conf`	Event-B Formalisation of Web Services for Dynamic Composition. SKG Lazhar Hamel, Mohamed Graiet, Walid Gaaloul
2012	—	`conf`	Performative-Based Mining of Workflow Organizational Structures. EC-Web Chihab Hanachi, Walid Gaaloul, Ravi Mondi
2012	C	`conf`	Towards a Unified Marketplace for Functionality-based Cloud Service Discovery. CLOSER Mohamed Sellami, Walid Gaaloul, Bruno Defude, Samir Tata
2012	J	`jnl`	Towards an approach of formal verification of mediation protocol based on web services of MDE type. Int. J. Web Inf. Syst. Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
2011	B	`conf`	A Web Service Recommender System Using Vector Space Model and Latent Semantic Indexing. AINA Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata
2011	—	`conf`	ATL Transformation for the Generation of SCA Model. SKG Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
2011	C	`conf`	An implicit approach for building communities of web service registries. iiWAS Mohamed Sellami, Walid Gaaloul, Samir Tata
2011	—	`conf`	Clustering and Managing Data Providing Services Using Machine Learning Technique. SKG Zhangbing Zhou, Mohamed Sellami, Walid Gaaloul, Bruno Defude
2011	—	`conf`	Composition Context Matching for Web Service Recommendation. IEEE SCC Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata
2011	—	`conf`	Context-Based Service Recommendation for Assisting Business Process Design. EC-Web Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata
2011	J	`jnl`	Ensuring Customised Transactional Reliability of Composite Services. J. Database Manag. Sami Bhiri, Walid Gaaloul, Claude Godart, Olivier Perrin, Maciej Zaremba, Wassim Derguech
2011	C	`conf`	Graph-based Management of Communities of Web Service Registries. WEBIST Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel
2011	A	`conf`	Implementation of Communities of Web Service Registries. ICWS Mohamed Sellami, Walid Gaaloul, Samir Tata
2011	C	`conf`	MDE approach for the generation and verification of SCA model. iiWAS Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
2011	—	`conf`	Modeling and Managing Communities of Web Service Registries. WEBIST (Selected Papers) Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel
2011	C	`conf`	Petri Net Modeling and Verification of Transactional Workflows. WETICE Kais Klai, Walid Gaaloul
2011	—	`conf`	Process Mining Manifesto. Business Process Management Workshops (1) 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
2011	—	`conf`	Profile UML2.0 for Specification of the SCA Architectures. SKG Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
2011	C	`conf`	Towards a transformation of composite web service with QoS extension into ACME\Armani. iiWAS Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, Eric Cariou
2011	B	`conf`	Verifying Composite Service Transactional Behavior with EVENT-B. ECSA Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
2011	—	`conf`	Verifying Composite Service Transactional Behavior with EVENT-B. SKG Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
2010	—	`conf`	Collaborative Filtering Technique for Web Service Recommendation Based on User-Operation Combination. OTM Conferences (1) Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata
2010	J	`jnl`	Event-Based Design and Runtime Verification of Composite Service Transactional Behavior. IEEE Trans. Serv. Comput. Walid Gaaloul, Sami Bhiri, Mohsen Rouached
2010	J	`jnl`	Fouille de workflow. Tech. Sci. Informatiques Walid Gaaloul, Karim Baïna, Claude Godart
2010	—	`conf`	Functionality-Driven Clustering of Web Service Registries. IEEE SCC Mohamed Sellami, Walid Gaaloul, Samir Tata
2010	C	`conf`	Towards an approach of formal verification of mediation protocol based on web services. iiWAS Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
2010	B	`conf`	Using Recommendation to Limit Search Space in Web Services Discovery. AINA Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel
2010	—	`conf`	WSRD: A Web Services Registry Description. NOTERE Mohamed Sellami, Olfa Bouchaala, Walid Gaaloul, Samir Tata
2010	—	`conf`	Web Services Recommendation Based on User's Behavior. ICEBE Nguyen Ngoc Chan, Walid Gaaloul, Samir Tata
2009	A	`conf`	From Workflow Models to Executable Web Service Interfaces. ICWS Armin Haller, Mateusz Marmolowski, Walid Gaaloul, Eyal Oren, Brahmananda Sapkota, Manfred Hauswirth
2009	J	`jnl`	Log-based transactional workflow mining. Distributed Parallel Databases Walid Gaaloul, Khaled Gaaloul, Sami Bhiri, Armin Haller, Manfred Hauswirth
2009	—	`ch.`	Semantic Web Services for Satisfying SOA Requirements. Advances in Web Semantics I Sami Bhiri, Walid Gaaloul, Mohsen Rouached, Manfred Hauswirth
2008	—	`conf`	Behavioral Compatibility of Web Services. OTM Workshops Zhangbing Zhou, Sami Bhiri, Walid Gaaloul, Lei Shu, Manfred Hauswirth
2008	—	`conf`	Developing Process Mediator for Supporting Mediated Web Service Interactions. ECOWS Zhangbing Zhou, Sami Bhiri, Walid Gaaloul, Manfred Hauswirth
2008	A	`conf`	Developing Process Mediator for Web Service Interactions. ICWS Zhangbing Zhou, Sami Bhiri, Walid Gaaloul, Lei Shu, Laurentiu Vasiliu, Manfred Hauswirth
2008	J	`jnl`	Log-based mining techniques applied to Web service composition reengineering. Serv. Oriented Comput. Appl. Walid Gaaloul, Karim Baïna, Claude Godart
2008	J	`jnl`	Mining and Improving Composite Web Services Recovery Mechanisms. Int. J. Web Serv. Res. Sami Bhiri, Walid Gaaloul, Claude Godart
2008	—	`conf`	Toward a Hybrid Algorithm for Workflow Graph Structural Verification. ICEIS (3-2) Fodé Touré, Karim Baïna, Walid Gaaloul
2008	—	`conf`	Towards an XPDL Compliant Process Ontology. SERVICES I Armin Haller, Walid Gaaloul, Mateusz Marmolowski
2007	—	`conf`	Better Behavioral Description for Dynamic Semantic Web Services Collaboration. SKG Zhangbing Zhou, Sami Bhiri, Ke Ning, Laurentiu Vasiliu, Douglas Foxvog, Walid Gaaloul
2007	C	`conf`	Formal verification of composite service recovery mechanisms consistency. CollaborateCom Walid Gaaloul, Sami Bhiri, Manfred Hauswirth, Mohsen Rouached, Claude Godart
2007	—	`—`	La Découverte de WorkflowTransactionnel pour la Fiabilisation desExécutions. (Mining transaction workflow for execution reliability). Walid Gaaloul
2007	A	`conf`	Mining and Re-engineering Transactional Workflows for Reliable Executions. ER Walid Gaaloul, Sami Bhiri, Armin Haller
2007	—	`conf`	Verifying Composite Service Transactional Behavior Using Event Calculus. OTM Conferences (1) Walid Gaaloul, Mohsen Rouached, Claude Godart, Manfred Hauswirth
2006	—	`conf`	A Bottom-Up Workflow Mining Approach for Workflow Applications Analysis. DEECS Walid Gaaloul, Karim Baïna, Claude Godart
2006	C	`conf`	A Workflow Mining Tool based on Logs Statistical Analysis. SEKE Walid Gaaloul, Claude Godart
2006	A	`conf`	Discovering and Improving Recovery Mechanisms of CompositeWeb Services. ICWS Sami Bhiri, Walid Gaaloul, Claude Godart
2006	—	`conf`	Erratum: Web Service Mining and Verification of Properties: An Approach Based on Event Calculus. OTM Conferences (1) Mohsen Rouached, Walid Gaaloul, Wil M. P. van der Aalst, Sami Bhiri, Claude Godart
2006	—	`conf`	Web Service Mining and Verification of Properties: An Approach Based on Event Calculus. OTM Conferences (1) Mohsen Rouached, Walid Gaaloul, Wil M. P. van der Aalst, Sami Bhiri, Claude Godart
2006	—	`conf`	WorkflowMiner: a New Workflow Patterns and Performance Analysis tool. CAiSE Forum Karim Baïna, Walid Gaaloul, Reda El Khattabi, Abdellah Mouhou
2005	—	`conf`	Mining Workflow Patterns through Event-Data Analysis. SAINT Workshops Walid Gaaloul, Sadek Belamfedel Alaoui, Karim Baïna, Claude Godart
2005	A	`conf`	Mining Workflow Recovery from Event Based Logs. Business Process Management Walid Gaaloul, Claude Godart
2005	C	`conf`	Towards Mining Structural Workflow Patterns. DEXA Walid Gaaloul, Karim Baïna, Claude Godart
2004	—	`conf`	A Pattern for Interconnecting Distributed Components. ICEIS (4) Walid Gaaloul, Karim Baïna, Khalid Benali, Claude Godart
2004	J	`jnl`	An Object-Oriented Metamodel for Inter-Enterprises Cooperative Processes Based on Web Services. Trans. SDPS Sami Bhiri, Olivier Perrin, Walid Gaaloul, Claude Godart
2004	—	`conf`	Discovering Workflow Patterns from Timed Logs. EMISA Walid Gaaloul, Sami Bhiri, Claude Godart
2004	—	`conf`	Discovering Workflow Transactional Behavior from Event-Based Log. CoopIS/DOA/ODBASE (1) Walid Gaaloul, Sami Bhiri, Claude Godart