default search action
Walid 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
2020 – today
- 2024
- [j57]Hongtai Guo
, Zhangbing Zhou, Deng Zhao
EGNN: Energy-efficient anomaly detection for IoT multivariate time series data using graph neural network. Future Gener. Comput. Syst. 151: 45-56 (2024) - [j56]Jiangwei Li
Energy-Efficient Online Service Migration in Edge Networks. IEEE Internet Things J. 11(18): 29689-29708 (2024) - [j55]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) - [j54]Deng Zhao
CSTL: Compositional Signal Temporal Logic for Adaptive Edge Service Monitoring. IEEE Trans. Serv. Comput. 17(2): 482-496 (2024) - [c156]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 - [c155]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 - [e8]Mohamed Sellami
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] - 2023
- [j53]Marwa Elleuch
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
Process fragments discovery from emails: Functional, data and behavioral perspectives discovery. Inf. Syst. 118: 102229 (2023) - [j50]Deng Zhao
Reinforcement learning-enabled efficient data gathering in underground wireless sensor networks. Pers. Ubiquitous Comput. 27(3): 581-598 (2023) - [j49]Leyla Moctar-M'Baba
Process mining for artifact-centric blockchain applications. Simul. Model. Pract. Theory 127: 102779 (2023) - [j48]Xiaocui Li
Re-Scheduling IoT Services in Edge Networks. IEEE Trans. Netw. Serv. Manag. 20(3): 3233-3246 (2023) - [j47]Deng Zhao
CTL-Based Adaptive Service Composition in Edge Networks. IEEE Trans. Serv. Comput. 16(2): 1051-1065 (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
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
Discovering Guard Stage Milestone Models Through Hierarchical Clustering. CoopIS 2023: 239-256 - [c150]Hayet Brabra
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
- [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
A model-driven approach for deployment descriptor design in network function virtualization. Int. J. Netw. Manag. 32(1) (2022) - [j44]Hayet Brabra
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
Adaptive Configuration of Service-Based Smart Sensors in Edge Networks. IEEE Trans. Ind. Informatics 18(4): 2674-2683 (2022) - [j42]Jeremy Mechouche
Conformance checking for autonomous multi-cloud SLA management and adaptation. J. Supercomput. 78(11): 13004-13039 (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
A Trustworthy decentralized Change Propagation Mechanism for Declarative Choreographies. BPM 2022: 418-435 - [c146]Ali Nour Eldin
Enabling Multi-process Discovery on Graph Databases. CoopIS 2022: 112-130 - [c145]Tiphaine Henry
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 - [e7]Andrea Marrella
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
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] - 2021
- [j41]Slim Kallel
Restriction-based fragmentation of business processes over the cloud. Concurr. Comput. Pract. Exp. 33(7): 1 (2021) - [j40]Abderrahim Ait Wakrime
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
Optimal business process deployment cost in cloud resources. J. Supercomput. 77(2): 1579-1611 (2021) - [c138]Tiphaine Henry
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
- [j38]Taher Labidi
Cloud SLA negotiation and re-negotiation: An ontology-based context-aware approach. Concurr. Comput. Pract. Exp. 32(15) (2020) - [j37]Walid Gaaloul
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
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
Toward higher-level abstractions based on state machine for cloud resources elasticity. Inf. Syst. 90: 101450 (2020) - [j34]Wassim Sellil Atoui
Configurable Deployment Descriptor Model in NFV. J. Netw. Syst. Manag. 28(3): 693-718 (2020) - [c126]Marwa Elleuch
A Meta Model for Mining Processes from Email Data. SCC 2020: 152-161 - [c125]Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Walid Gaaloul
Discovering Activities from Emails Based on Pattern Discovery Approach. BPM (Forum) 2020: 88-104 - [c124]Marwa Elleuch
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
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
Learning a Configurable Deployment Descriptors Model in NFV. NOMS 2020: 1-9 - [c118]Marwa Elleuch
Discovering Business Processes And Activities From Messaging Systems: State-Of-The Art. WETICE 2020: 137-142 - [e5]Sami Yangui
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]
2010 – 2019
- 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
On semantic detection of cloud API (anti)patterns. Inf. Softw. Technol. 107: 65-82 (2019) - [j31]Mariam Chaabane
A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric. Sci. Comput. Program. 184 (2019) - [c117]Hayet Brabra, Achraf Mtibaa, Walid Gaaloul
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
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
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
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
Discovering Crossing-Workflow Fragments Based on Activity Knowledge Graph. OTM Conferences 2019: 515-532 - [c108]Wided Mathlouthi, Chahrazed Labba, Walid Gaaloul
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
- [j30]Deng Zhao
Formal Verification of Temporal Constraints for Mobile Service-Based Business Process Models. IEEE Access 6: 59843-59852 (2018) - [j29]Kunal Suri
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
A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition. IEEE Syst. J. 12(2): 1644-1654 (2018) - [j27]Molka Rekik
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
Scientific Workflow Clustering and Recommendation Leveraging Layer Hierarchical Analysis. IEEE Trans. Serv. Comput. 11(1): 169-183 (2018) - [c106]Rania Ben Halima, Imen Zouaghi, Slim Kallel
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
Model-Driven Elasticity for Cloud Resources. CAiSE 2018: 187-202 - [c103]Jiabei Xu, Deng Zhao
Energy-Efficient WSN Service Composition for Concurrent Applications. ICWS 2018: 74-81 - [c102]Wassim Sellil Atoui
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
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
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
- [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) - [c96]Mehdi Ahmed-Nacer, Kunal Suri
Simulation of Configurable Resource Allocation for Cloud-Based Business Processes. SCC 2017: 305-313 - [c95]Rania Ben Halima, Slim Kallel
Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process. SCC 2017: 314-321 - [c94]Taher Labidi, Achraf Mtibaa, Walid Gaaloul
Cloud SLA Modeling and Monitoring. SCC 2017: 338-345 - [c93]Mehdi Ahmed-Nacer, Walid Gaaloul
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
Genetic-Based Configurable Cloud Resource Allocation in QoS-Aware Business Process Development. ICWS 2017: 836-839 - [c89]Kunal Suri
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
Ontology-Based SLA Negotiation and Re-Negotiation for Cloud Computing. WETICE 2017: 36-41 - [c87]Kunal Suri
Semantic Framework for Internet of Things-Aware Business Process Development. WETICE 2017: 214-219 - [c86]Chahrazed Labba, Nour Assy, Narjès Bellamine Ben Saoud
Adaptive Deployment of Service-Based Processes into Cloud Federations. WISE (1) 2017: 275-289 - [e4]Hervé Panetto, Christophe Debruyne
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
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
- [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
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) - [c85]Karn Yongsiriwit, Mohamed Sellami
A Semantic Framework Supporting Cloud Resource Descriptions Interoperability. CLOUD 2016: 585-592 - [c84]Molka Rekik
A Linear Program for Optimal Configurable Business Processes Deployment into Cloud Federation. SCC 2016: 34-41 - [c83]Karn Yongsiriwit, Mohamed Sellami
A Semantic Framework Supporting Business Process Variability Using Event Logs. SCC 2016: 163-170 - [c82]Emna Hachicha, Walid Gaaloul
Social-Based Semantic Framework for Cloud Resource Management in Business Processes. SCC 2016: 443-450 - [c81]Hayet Brabra, Achraf Mtibaa, Layth Sliman
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
A Demo of IoT Healthcare Application Provisioning in Hybrid Cloud/Fog Environment. CloudCom 2016: 472-475 - [c77]Taher Labidi, Achraf Mtibaa, Walid Gaaloul
Toward Context-Aware SLA for Cloud Computing. HIS 2016: 350-359 - [c76]Hayet Brabra, Achraf Mtibaa, Layth Sliman
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
A demo of a PaaS for IoT applications provisioning in hybrid cloud/fog environment. LANMAN 2016: 1-2 - [c72]Aida Lahouij
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
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 - [e2]Alex Norta, Walid Gaaloul
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] - 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
Assisting Sensor-Based Application Design and Instantiation Using Activity Recommendation. Comput. J. 58(3): 368-384 (2015) - [j18]Mohamed Sellami
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
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
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) - [c69]Souha Boubaker, Walid Gaaloul
Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process. SCC 2015: 538-545 - [c68]Karn Yongsiriwit, Mohamed Sellami
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
CPS 2015 Track Report: Cyber Physical Society. WETICE 2015: 114-115 - [c63]Imed Abbassi
Genetic-Based Approach for ATS and SLA-aware Web Services Composition. WISE (1) 2015: 369-383 - 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 - [j14]Nour Assy, Nguyen Ngoc Chan, Walid Gaaloul
Deriving configurable fragments for process design. Int. J. Bus. Process. Integr. Manag. 7(1): 2-21 (2014) - [c62]Imed Abbassi
A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions. IEEE SCC 2014: 637-644 - [c61]Nguyen Ngoc Chan, Karn Yongsiriwit, Walid Gaaloul
Mining Event Logs to Assist the Development of Executable Process Variants. CAiSE 2014: 548-563 - [c60]Nour Assy, Walid Gaaloul
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
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
Track Report of Capacity Driven Processes and Services for Cyber Physical Society (CPS 2014). WETICE 2014: 255-256 - [c55]Imed Abbassi
Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B. WETICE 2014: 313-318 - 2013
- [j13]ZhangBing Zhou, Walid Gaaloul
Assessing the replaceability of service protocols in mediated service interactions. Future Gener. Comput. Syst. 29(1): 287-299 (2013) - [j12]Mohamed Sellami
Communities of Web service registries: Construction and management. J. Syst. Softw. 86(3): 835-853 (2013) - [j11]ZhangBing Zhou, Mohamed Sellami
Data Providing Services Clustering and Management for Facilitating Service Discovery and Replacement. IEEE Trans Autom. Sci. Eng. 10(4): 1131-1146 (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
Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. ICWS 2013: 251-259 - [c52]ZhangBing Zhou, Walid Gaaloul
CPS Track Report. WETICE 2013: 200-201 - 2012
- [j10]Mohamed Graiet, Raoudha Maraoui
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
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
Assessment of Service Protocol Adaptability Based on Novel Walk Computation. IEEE Trans. Syst. Man Cybern. Part A 42(5): 1109-1140 (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
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
Event-B Formalisation of Web Services for Dynamic Composition. SKG 2012: 150-156 - [c47]Mohamed Sellami
Data Mapping Web Services for Composite DaaS Mediation. WETICE 2012: 36-41 - [c46]Rami Sellami, Walid Gaaloul
An Ontology for Workflow Organizational Model Mining. WETICE 2012: 199-204 - [c45]ZhangBing Zhou, Walid Gaaloul
CPS Track Report: 2nd Track on Cyber Physical Society with SOA, BPM and Sensor Networks. WETICE 2012: 315-317 - 2011
- [j7]Sami Bhiri
Ensuring Customised Transactional Reliability of Composite Services. J. Database Manag. 22(2): 64-92 (2011) - [c44]Nguyen Ngoc Chan, Walid Gaaloul
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
Process Mining Manifesto. Business Process Management Workshops (1) 2011: 169-194 - [c41]Lazhar Hamel
Verifying Composite Service Transactional Behavior with EVENT-B. ECSA 2011: 67-74 - [c40]Nguyen Ngoc Chan, Walid Gaaloul
Context-Based Service Recommendation for Assisting Business Process Design. EC-Web 2011: 39-51 - [c39]Mohamed Sellami
Implementation of Communities of Web Service Registries. ICWS 2011: 690-691 - [c38]Mohamed Sellami
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
MDE approach for the generation and verification of SCA model. iiWAS 2011: 317-320 - [c36]Raoudha Maraoui
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
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
Profile UML2.0 for Specification of the SCA Architectures. SKG 2011: 191-194 - [c32]ZhangBing Zhou, Mohamed Sellami
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
- [j6]Walid Gaaloul
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) - [c28]Mohamed Sellami
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
Web Services Recommendation Based on User's Behavior. ICEBE 2010: 214-221 - [c25]Mohamed Graiet, Raoudha Maraoui
Towards an approach of formal verification of mediation protocol based on web services. iiWAS 2010: 75-82 - [c24]Mohamed Sellami
WSRD: A Web Services Registry Description. NOTERE 2010: 89-96 - [c23]Nguyen Ngoc Chan, Walid Gaaloul
Collaborative Filtering Technique for Web Service Recommendation Based on User-Operation Combination. OTM Conferences (1) 2010: 222-239
2000 – 2009
- 2009
- [j4]Walid Gaaloul
Log-based transactional workflow mining. Distributed Parallel Databases 25(3): 193-240 (2009) - [c22]Armin Haller
From Workflow Models to Executable Web Service Interfaces. ICWS 2009: 131-140 - [p1]Sami Bhiri
Semantic Web Services for Satisfying SOA Requirements. Advances in Web Semantics I 2009: 374-395 - 2008
- [j3]Sami Bhiri
Mining and Improving Composite Web Services Recovery Mechanisms. Int. J. Web Serv. Res. 5(2): 23-48 (2008) - [j2]Walid Gaaloul
Log-based mining techniques applied to Web service composition reengineering. Serv. Oriented Comput. Appl. 2(2-3): 93-110 (2008) - [c21]ZhangBing Zhou, Sami Bhiri
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
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
Towards an XPDL Compliant Process Ontology. SERVICES I 2008: 83-86 - 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 - [c16]Walid Gaaloul
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
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
A Bottom-Up Workflow Mining Approach for Workflow Applications Analysis. DEECS 2006: 182-197 - [c10]Sami Bhiri
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
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
- [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) - [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
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 2024-10-30 20:32 CET 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: