Discovering Workflow Transactional Behavior from Event-Based Log. - Walid Gaaloul; Sami Bhiri; Claude Godart (CoopIS/DOA/ODBASE (1), 2004)

Discovering Workflow Patterns from Timed Logs. - Walid Gaaloul; Sami Bhiri; Claude Godart (EMISA, 2004)

A Pattern for Interconnecting Distributed Components. - Walid Gaaloul; Karim Baïna; Khalid Benali; Claude Godart (ICEIS (4), 2004)

An Object-Oriented Metamodel for Inter-Enterprises Cooperative Processes Based on Web Services. - Sami Bhiri; Olivier Perrin 001; Walid Gaaloul; Claude Godart (Trans. SDPS, 2004)

Mining Workflow Recovery from Event Based Logs. - Walid Gaaloul; Claude Godart (Business Process Management, 2005)

Towards Mining Structural Workflow Patterns. - Walid Gaaloul; Karim Baïna; Claude Godart (DEXA, 2005)

Mining Workflow Patterns through Event-Data Analysis. - Walid Gaaloul; Sadek Belamfedel Alaoui; Karim Baïna; Claude Godart (SAINT Workshops, 2005)

WorkflowMiner: a New Workflow Patterns and Performance Analysis tool. - Karim Baïna; Walid Gaaloul; Reda El Khattabi; Abdellah Mouhou (CAiSE Forum, 2006)

A Bottom-Up Workflow Mining Approach for Workflow Applications Analysis. - Walid Gaaloul; Karim Baïna; Claude Godart (DEECS, 2006)

Discovering and Improving Recovery Mechanisms of CompositeWeb Services. - Sami Bhiri; Walid Gaaloul; Claude Godart (ICWS, 2006)

Web Service Mining and Verification of Properties: An Approach Based on Event Calculus. - Mohsen Rouached; Walid Gaaloul; Wil M. P. van der Aalst; Sami Bhiri; Claude Godart (OTM Conferences (1), 2006)

Erratum: Web Service Mining and Verification of Properties: An Approach Based on Event Calculus. - Mohsen Rouached; Walid Gaaloul; Wil M. P. van der Aalst; Sami Bhiri; Claude Godart (OTM Conferences (1), 2006)

A Workflow Mining Tool based on Logs Statistical Analysis. - Walid Gaaloul; Claude Godart (SEKE, 2006)

Formal verification of composite service recovery mechanisms consistency. - Walid Gaaloul; Sami Bhiri; Manfred Hauswirth; Mohsen Rouached; Claude Godart (CollaborateCom, 2007)

Mining and Re-engineering Transactional Workflows for Reliable Executions. - Walid Gaaloul; Sami Bhiri; Armin Haller (ER, 2007)

Verifying Composite Service Transactional Behavior Using Event Calculus. - Walid Gaaloul; Mohsen Rouached; Claude Godart; Manfred Hauswirth (OTM Conferences (1), 2007)

Better Behavioral Description for Dynamic Semantic Web Services Collaboration. - ZhangBing Zhou; Sami Bhiri; Ke Ning; Laurentiu Vasiliu; Douglas Foxvog; Walid Gaaloul (SKG, 2007)

La Découverte de WorkflowTransactionnel pour la Fiabilisation desExécutions. (Mining transaction workflow for execution reliability). - Walid Gaaloul (2007)

Developing Process Mediator for Supporting Mediated Web Service Interactions. - ZhangBing Zhou; Sami Bhiri; Walid Gaaloul; Manfred Hauswirth (ECOWS, 2008)

Toward a Hybrid Algorithm for Workflow Graph Structural Verification. - Fodé Touré; Karim Baïna; Walid Gaaloul (ICEIS (3-2), 2008)

Developing Process Mediator for Web Service Interactions. - ZhangBing Zhou; Sami Bhiri; Walid Gaaloul; Lei Shu 001; Laurentiu Vasiliu; Manfred Hauswirth (ICWS, 2008)

Behavioral Compatibility of Web Services. - ZhangBing Zhou; Sami Bhiri; Walid Gaaloul; Lei Shu 001; Manfred Hauswirth (OTM Workshops, 2008)

Towards an XPDL Compliant Process Ontology. - Armin Haller; Walid Gaaloul; Mateusz Marmolowski (SERVICES I, 2008)

Mining and Improving Composite Web Services Recovery Mechanisms. - Sami Bhiri; Walid Gaaloul; Claude Godart (Int. J. Web Serv. Res., 2008)

Log-based mining techniques applied to Web service composition reengineering. - Walid Gaaloul; Karim Baïna; Claude Godart (Serv. Oriented Comput. Appl., 2008)

From Workflow Models to Executable Web Service Interfaces. - Armin Haller; Mateusz Marmolowski; Walid Gaaloul; Eyal Oren; Brahmananda Sapkota; Manfred Hauswirth (ICWS, 2009)

Log-based transactional workflow mining. - Walid Gaaloul; Khaled Gaaloul; Sami Bhiri; Armin Haller; Manfred Hauswirth (Distributed Parallel Databases, 2009)

Semantic Web Services for Satisfying SOA Requirements. - Sami Bhiri; Walid Gaaloul; Mohsen Rouached; Manfred Hauswirth (Advances in Web Semantics I, 2009)

Functionality-Driven Clustering of Web Service Registries. - Mohamed Sellami; Walid Gaaloul; Samir Tata (IEEE SCC, 2010)

Using Recommendation to Limit Search Space in Web Services Discovery. - Mohamed Sellami; Walid Gaaloul; Samir Tata; Mohamed Jmaiel (AINA, 2010)

Web Services Recommendation Based on User's Behavior. - Nguyen Ngoc Chan; Walid Gaaloul; Samir Tata (ICEBE, 2010)

Towards an approach of formal verification of mediation protocol based on web services. - Mohamed Graiet; Raoudha Maraoui; Mourad Kmimech; Mohamed Tahar Bhiri; Walid Gaaloul (iiWAS, 2010)

WSRD: A Web Services Registry Description. - Mohamed Sellami; Olfa Bouchaala; Walid Gaaloul; Samir Tata (NOTERE, 2010)

Collaborative Filtering Technique for Web Service Recommendation Based on User-Operation Combination. - Nguyen Ngoc Chan; Walid Gaaloul; Samir Tata (OTM Conferences (1), 2010)

Event-Based Design and Runtime Verification of Composite Service Transactional Behavior. - Walid Gaaloul; Sami Bhiri; Mohsen Rouached (IEEE Trans. Serv. Comput., 2010)

Fouille de workflow. - Walid Gaaloul; Karim Baïna; Claude Godart (Tech. Sci. Informatiques, 2010)

Composition Context Matching for Web Service Recommendation. - Nguyen Ngoc Chan; Walid Gaaloul; Samir Tata (IEEE SCC, 2011)

A Web Service Recommender System Using Vector Space Model and Latent Semantic Indexing. - Nguyen Ngoc Chan; Walid Gaaloul; Samir Tata (AINA, 2011)

Process Mining Manifesto. - Wil M. P. van der Aalst; Arya Adriansyah; Ana Karla Alves de Medeiros; Franco Arcieri; Thomas Baier 001; Tobias Blickle; R. P. Jagadeesh Chandra Bose; Peter van den Brand; Ronald Brandtjen; Joos C. A. M. Buijs; Andrea Burattin; Josep Carmona 001; et al. (Business Process Management Workshops (1), 2011)

Verifying Composite Service Transactional Behavior with EVENT-B. - Lazhar Hamel; Mohamed Graiet; Mourad Kmimech; Mohamed Tahar Bhiri; Walid Gaaloul (ECSA, 2011)

Context-Based Service Recommendation for Assisting Business Process Design. - Nguyen Ngoc Chan; Walid Gaaloul; Samir Tata (EC-Web, 2011)

Implementation of Communities of Web Service Registries. - Mohamed Sellami; Walid Gaaloul; Samir Tata (ICWS, 2011)

MDE approach for the generation and verification of SCA model. - Soumaya Louhichi; Mohamed Graiet; Mourad Kmimech; Mohamed Tahar Bhiri; Walid Gaaloul; Eric Cariou (iiWAS, 2011)

Towards a transformation of composite web service with QoS extension into ACME Armani. - Raoudha Maraoui; Amel Mhamdi; Mohamed Graiet; Mourad Kmimech; Mohamed Tahar Bhiri; Walid Gaaloul; Eric Cariou (iiWAS, 2011)

An implicit approach for building communities of web service registries. - Mohamed Sellami; Walid Gaaloul; Samir Tata (iiWAS, 2011)

Profile UML2.0 for Specification of the SCA Architectures. - Wided Ben Abid; Mohamed Graiet; Mourad Kmimech; Mohamed Tahar Bhiri; Walid Gaaloul; Eric Cariou (SKG, 2011)

ATL Transformation for the Generation of SCA Model. - Soumaya Louhichi; Mohamed Graiet; Mourad Kmimech; Mohamed Tahar Bhiri; Walid Gaaloul; Eric Cariou (SKG, 2011)

Clustering and Managing Data Providing Services Using Machine Learning Technique. - ZhangBing Zhou; Mohamed Sellami; Walid Gaaloul; Bruno Defude (SKG, 2011)

Graph-based Management of Communities of Web Service Registries. - Olfa Bouchaala; Mohamed Sellami; Walid Gaaloul; Samir Tata; Mohamed Jmaiel (WEBIST, 2011)

Modeling and Managing Communities of Web Service Registries. - Olfa Bouchaala; Mohamed Sellami; Walid Gaaloul; Samir Tata; Mohamed Jmaiel (WEBIST (Selected Papers), 2011)

Petri Net Modeling and Verification of Transactional Workflows. - Kais Klai; Walid Gaaloul (WETICE, 2011)

Ensuring Customised Transactional Reliability of Composite Services. - Sami Bhiri; Walid Gaaloul; Claude Godart; Olivier Perrin 001; Maciej Zaremba; Wassim Derguech (J. Database Manag., 2011)

Towards a Unified Marketplace for Functionality-based Cloud Service Discovery. - Mohamed Sellami; Walid Gaaloul; Bruno Defude; Samir Tata (CLOSER, 2012)

Performative-Based Mining of Workflow Organizational Structures. - Chihab Hanachi; Walid Gaaloul; Ravi Mondi (EC-Web, 2012)

Assisting Business Process Design by Activity Neighborhood Context Matching. - Nguyen Ngoc Chan; Walid Gaaloul; Samir Tata (ICSOC, 2012)

Event-B Formalisation of Web Services for Dynamic Composition. - Lazhar Hamel; Mohamed Graiet; Walid Gaaloul (SKG, 2012)

Data Mapping Web Services for Composite DaaS Mediation. - Mohamed Sellami; Walid Gaaloul; Bruno Defude (WETICE, 2012)

An Ontology for Workflow Organizational Model Mining. - Rami Sellami; Walid Gaaloul; Samir Moalla (WETICE, 2012)

CPS Track Report: 2nd Track on Cyber Physical Society with SOA, BPM and Sensor Networks. - ZhangBing Zhou; Walid Gaaloul; Wei Tan 001; Daqiang Zhang 001 (WETICE, 2012)

Towards an approach of formal verification of mediation protocol based on web services of MDE type. - Mohamed Graiet; Raoudha Maraoui; Mourad Kmimech; Mohamed Tahar Bhiri; Walid Gaaloul (Int. J. Web Inf. Syst., 2012)

A recommender system based on historical usage data for web service discovery. - Nguyen Ngoc Chan; Walid Gaaloul; Samir Tata (Serv. Oriented Comput. Appl., 2012)

Assessment of Service Protocol Adaptability Based on Novel Walk Computation. - ZhangBing Zhou; Sami Bhiri; Hai Zhuge; Walid Gaaloul (IEEE Trans. Syst. Man Cybern. Part A, 2012)

Assisting Business Process Design with Configurable Process Fragments. - Nour Assy; Nguyen Ngoc Chan; Walid Gaaloul (IEEE SCC, 2013)

Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. - Mohamed Graiet; Imed Abbassi; Lazhar Hamel; Mohamed Tahar Bhiri; Mourad Kmimech; Walid Gaaloul (ICWS, 2013)

CPS Track Report. - ZhangBing Zhou; Walid Gaaloul; Jianwei Niu 002 (WETICE, 2013)

Assessing the replaceability of service protocols in mediated service interactions. - ZhangBing Zhou; Walid Gaaloul; Lei Shu 001; Samir Tata; Sami Bhiri (Future Gener. Comput. Syst., 2013)

Communities of Web service registries: Construction and management. - Mohamed Sellami; Olfa Bouchaala; Walid Gaaloul; Samir Tata (J. Syst. Softw., 2013)

Data Providing Services Clustering and Management for Facilitating Service Discovery and Replacement. - ZhangBing Zhou; Mohamed Sellami; Walid Gaaloul; Mahmoud Barhamgi; Bruno Defude (IEEE Trans Autom. Sci. Eng., 2013)

Supporting service consumption : advanced discovery and recommendation techniques. (Techniques de recommendation et de découverte de services et procédés). - Walid Gaaloul (2014)

A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions. - Imed Abbassi; Mohamed Graiet; Walid Gaaloul; Nejib Ben Hadj-Alouane (IEEE SCC, 2014)

Mining Event Logs to Assist the Development of Executable Process Variants. - Nguyen Ngoc Chan; Karn Yongsiriwit; Walid Gaaloul; Jan Mendling (CAiSE, 2014)

Mining Configurable Process Fragments for Business Process Design. - Nour Assy; Walid Gaaloul; Bruno Defude (DESRIST, 2014)

Configuration Rule Mining for Variability Analysis in Configurable Process Models. - Nour Assy; Walid Gaaloul (ICSOC, 2014)

A framework for semantic telco process management - An industrial case study. - Nour Assy; Karn Yongsiriwit; Walid Gaaloul; Imen Grida Ben Yahia (ISDA, 2014)

Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B. - Imed Abbassi; Mourad Kmimech; Nejib Ben Hadj-Alouane; Walid Gaaloul (WETICE, 2014)

Track Report of Capacity Driven Processes and Services for Cyber Physical Society (CPS 2014). - Mahmoud Barhamgi; Walid Gaaloul; Joaquin Ezpeleta; ZhangBing Zhou (WETICE, 2014)

Querying Services Based on Composition Context. - Nguyen Ngoc Chan; Walid Gaaloul (WETICE, 2014)

Deriving configurable fragments for process design. - Nour Assy; Nguyen Ngoc Chan; Walid Gaaloul; Bruno Defude (Int. J. Bus. Process. Integr. Manag., 2014)

Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process. - Souha Boubaker; Walid Gaaloul; Mohamed Graiet; Nejib Ben Hadj-Alouane (SCC, 2015)

Semantic Process Fragments Matching to Assist the Development of Process Variants. - Karn Yongsiriwit; Mohamed Sellami; Walid Gaaloul (SCC, 2015)

Towards Resource-aware Business Process development in the Cloud. - Emna Hachicha; Walid Gaaloul (AINA, 2015)

Extracting Configuration Guidance Models from Business Process Repositories. - Nour Assy; Walid Gaaloul (BPM, 2015)

Log-Based Process Fragment Querying to Support Process Design. - Karn Yongsiriwit; Nguyen Ngoc Chan; Walid Gaaloul (HICSS, 2015)

CPS 2015 Track Report: Cyber Physical Society. - Walid Gaaloul; Joaquin Ezpeleta; ZhangBing Zhou; Mahmoud Barhamgi (WETICE, 2015)

Genetic-Based Approach for ATS and SLA-aware Web Services Composition. - Imed Abbassi; Mohamed Graiet; Walid Gaaloul; Nejib Ben Hadj-Alouane (WISE (1), 2015)

IEEE Access Special Session Editorial: Big Data Services and Computational Intelligence for Industrial Systems. - Zhangbing Zhou; Walid Gaaloul; Patrick C. K. Hung; Lei Shu 001; Wei Tan 001 (IEEE Access, 2015)

Assisting Sensor-Based Application Design and Instantiation Using Activity Recommendation. - Zahra Movahedi; Walid Gaaloul; Sami Bhiri; Bruno Defude (Comput. J., 2015)

A decentralized and service-based solution for data mediation: the case for data providing service compositions. - Mohamed Sellami; Walid Gaaloul; Bruno Defude (Concurr. Comput. Pract. Exp., 2015)

Configuration assistée des processus métier. Conception et expérimentation. - Nour Assy; Walid Gaaloul; Layth Sliman; Bruno Defude (Ingénierie des Systèmes d Inf., 2015)

A three-dimensional sub-region query processing mechanism in underwater WSNs. - ZhangBing Zhou; Riliang Xing; Walid Gaaloul; Yongping Xiong (Pers. Ubiquitous Comput., 2015)

An Automated Approach for Assisting the Design of Configurable Process Models. - Nour Assy; Nguyen Ngoc Chan; Walid Gaaloul (IEEE Trans. Serv. Comput., 2015)

A Semantic Framework Supporting Cloud Resource Descriptions Interoperability. - Karn Yongsiriwit; Mohamed Sellami; Walid Gaaloul (CLOUD, 2016)

Semantic Web Technologies in Cloud Computing: A Systematic Literature Review. - Hayet Brabra; Achraf Mtibaa; Layth Sliman; Walid Gaaloul; Faïez Gargouri (SCC, 2016)

Social-Based Semantic Framework for Cloud Resource Management in Business Processes. - Emna Hachicha; Walid Gaaloul; Zakaria Maamar (SCC, 2016)

A Linear Program for Optimal Configurable Business Processes Deployment into Cloud Federation. - Molka Rekik; Khouloud Boukadi; Nour Assy; Walid Gaaloul; Hanêne Ben-Abdallah (SCC, 2016)

A Semantic Framework Supporting Business Process Variability Using Event Logs. - Karn Yongsiriwit; Mohamed Sellami; Walid Gaaloul (SCC, 2016)

Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B. - Souha Boubaker; Amel Mammar; Mohamed Graiet; Walid Gaaloul (AINA, 2016)

A Configurable Resource Allocation for Multi-tenant Process Development in the Cloud. - Emna Hachicha; Nour Assy; Walid Gaaloul; Jan Mendling (CAiSE, 2016)

A Demo of IoT Healthcare Application Provisioning in Hybrid Cloud/Fog Environment. - Ons Bibani; Carla Mouradian; Sami Yangui; Roch H. Glitho; Walid Gaaloul; Nejib Ben Hadj-Alouane; Monique Morrow; Paul A. Polakos (CloudCom, 2016)

Toward Context-Aware SLA for Cloud Computing. - Taher Labidi; Achraf Mtibaa; Walid Gaaloul; Faïez Gargouri (HIS, 2016)

A Formal Guidance Approach for Correct Process Configuration. - Souha Boubaker; Amel Mammar; Mohamed Graiet; Walid Gaaloul (ICSOC, 2016)

Detecting Cloud (Anti)Patterns: OCCI Perspective. - Hayet Brabra; Achraf Mtibaa; Layth Sliman; Walid Gaaloul; Boualem Benatallah; Faïez Gargouri (ICSOC, 2016)

An Event-B Based Approach for Ensuring Correct Configurable Business Processes. - Souha Boubaker; Amel Mammar; Mohamed Graiet; Walid Gaaloul (ICWS, 2016)

A demo of a PaaS for IoT applications provisioning in hybrid cloud/fog environment. - Ons Bibani; Sami Yangui; Roch H. Glitho; Walid Gaaloul; Nejib Ben Hadj-Alouane; Monique J. Morrow; Paul A. Polakos (LANMAN, 2016)

Energy Efficient Configurable Resource Allocation in Cloud-Based Business Processes (Short Paper). - Emna Hachicha; Karn Yongsiriwit; Walid Gaaloul (OTM Conferences, 2016)

Formal Verification of Time-Aware Cloud Resource Allocation in Business Process. - Rania Ben Halima; Slim Kallel; Kais Klai; Walid Gaaloul; Mohamed Jmaiel (OTM Conferences, 2016)

A Global SLA-Aware Approach for Aggregating Services in the Cloud. - Aida Lahouij; Lazhar Hamel; Mohamed Graiet; Abir Elkhalfa; Walid Gaaloul (OTM Conferences, 2016)

Developing correct adapters for software architectural dynamic reconfiguration. - Djamel Belaïd; Imen Ben Lahmar; Walid Gaaloul (Int. J. Auton. Adapt. Commun. Syst., 2016)

A semantic framework for configurable business process as a service in the cloud. - Karn Yongsiriwit; Nour Assy; Walid Gaaloul (J. Netw. Comput. Appl., 2016)

Service querying to support process variant development. - Nguyen Ngoc Chan; Nattawat Nonsung; Walid Gaaloul (J. Syst. Softw., 2016)

Data intelligence on the Internet of Things. - Zhangbing Zhou; Kim Fung Tsang; Zhuofeng Zhao; Walid Gaaloul (Pers. Ubiquitous Comput., 2016)

Simulation of Configurable Resource Allocation for Cloud-Based Business Processes. - Mehdi Ahmed-Nacer; Kunal Suri; Mohamed Sellami; Walid Gaaloul (SCC, 2017)

Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process. - Rania Ben Halima; Slim Kallel; Walid Gaaloul; Mohamed Jmaiel (SCC, 2017)

Cloud SLA Modeling and Monitoring. - Taher Labidi; Achraf Mtibaa; Walid Gaaloul; Samir Tata; Faïez Gargouri (SCC, 2017)

OCCI-Compliant Cloud Configuration Simulation. - Mehdi Ahmed-Nacer; Walid Gaaloul; Samir Tata (EDGE, 2017)

Anti-Pattern Specification and Correction Recommendations for Semantic Cloud Services. - Molka Rekik; Khouloud Boukadi; Walid Gaaloul; Hanêne Ben-Abdallah (HICSS, 2017)

Deadlock-Freeness Verification of Business Process Configuration Using SOG. - Souha Boubaker; Kais Klai; Katia Schmitz; Mohamed Graiet; Walid Gaaloul (ICSOC, 2017)

Genetic-Based Configurable Cloud Resource Allocation in QoS-Aware Business Process Development. - Emna Hachicha; Karn Yongsiriwit; Mohamed Sellami; Walid Gaaloul (ICWS, 2017)

Model-based Development of Modular Complex Systems for Accomplishing System Integration for Industry 4.0. - Kunal Suri; Arnaud Cuccuru; Juan Cadavid; Sebastien Gerard; Walid Gaaloul; Samir Tata (MODELSWARD, 2017)

Ontology-Based SLA Negotiation and Re-Negotiation for Cloud Computing. - Taher Labidi; Achraf Mtibaa; Walid Gaaloul; Faïez Gargouri (WETICE, 2017)

Semantic Framework for Internet of Things-Aware Business Process Development. - Kunal Suri; Walid Gaaloul; Arnaud Cuccuru; Sebastien Gerard (WETICE, 2017)

Adaptive Deployment of Service-Based Processes into Cloud Federations. - Chahrazed Labba; Nour Assy; Narjès Bellamine Ben Saoud; Walid Gaaloul (WISE (1), 2017)

Towards Correct Cloud Resource Allocation in Business Processes. - Mohamed Graiet; Amel Mammar; Souha Boubaker; Walid Gaaloul (IEEE Trans. Serv. Comput., 2017)

Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes. - Rania Ben Halima; Imen Zouaghi; Slim Kallel; Walid Gaaloul; Mohamed Jmaiel (AINA, 2018)

Trustless Blockchain-based Access Control in Dynamic Collaboration. - Mouhamad Almakhour; Layth Sliman; Abed Ellatif Samhat; Walid Gaaloul (BDCSIntell, 2018)

Model-Driven Elasticity for Cloud Resources. - Hayet Brabra; Achraf Mtibaa; Walid Gaaloul; Boualem Benatallah (CAiSE, 2018)

Energy-Efficient WSN Service Composition for Concurrent Applications. - Jiabei Xu; Deng Zhao; Zhangbing Zhou; Walid Gaaloul; Yucong Duan (ICWS, 2018)

Semantic-Based Global Network View Construction in Software Defined Networks with Multiple Controllers. - Wassim Sellil Atoui; Imen Grida Ben Yahia; Walid Gaaloul (NetSoft, 2018)

A Formal Model for Business Process Configuration Verification Supporting OR-Join Semantics. - Souha Boubaker; Kais Klai; Hedi Kortas; Walid Gaaloul (OTM Conferences (1), 2018)

Formal Modelling and Verification of Cloud Resource Allocation in Business Processes. - Ikram Garfatta; Kais Klai; Mohamed Graiet; Walid Gaaloul (OTM Conferences (1), 2018)

Scheduling Business Process Activities for Time-Aware Cloud Resource Allocation. - Rania Ben Halima; Slim Kallel; Walid Gaaloul; Mohamed Jmaiel (OTM Conferences (1), 2018)

Configurable IoT-Aware Allocation in Business Processes. - Kunal Suri; Walid Gaaloul; Arnaud Cuccuru (SCC, 2018)

[WiP] Formal Modelling of IT Resource Allocation in Business Processes. - Ikram Garfatta; Kais Klai; Mohamed Graiet; Walid Gaaloul (SOCA, 2018)

Formal Verification of Temporal Constraints for Mobile Service-Based Business Process Models. - Deng Zhao; Walid Gaaloul; Wenbo Zhang 006; Chunsheng Zhu; Zhangbing Zhou (IEEE Access, 2018)

Semantic Framework for Energy-Aware Resource Management of IoT in Business Processes. - Kunal Suri; Walid Gaaloul; Arnaud Cuccuru; Sebastien Gerard (Int. J. Syst. Serv. Oriented Eng., 2018)

A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition. - Mohamed Graiet; Imed Abbassi; Mourad Kmimech; Walid Gaaloul (IEEE Syst. J., 2018)

Optimal Deployment of Configurable Business Processes in Cloud Federations. - Molka Rekik; Khouloud Boukadi; Nour Assy; Walid Gaaloul; Hanêne Ben-Abdallah (IEEE Trans. Netw. Serv. Manag., 2018)

Scientific Workflow Clustering and Recommendation Leveraging Layer Hierarchical Analysis. - Zhangbing Zhou; Zehui Cheng 001; Liang-Jie Zhang; Walid Gaaloul; Ke Ning (IEEE Trans. Serv. Comput., 2018)

Model-Driven Orchestration for Cloud Resources. - Hayet Brabra; Achraf Mtibaa; Walid Gaaloul; Boualem Benatallah; Faïez Gargouri (CLOUD, 2019)

A Transactional Approach for Reliable Elastic Cloud Resources. - Farah Bellaaj; Hayet Brabra; Mohamed Sellami; Walid Gaaloul; Sami Bhiri (SCC, 2019)

Emails Analysis for Business Process Discovery. - Nassim Laga; Marwa Elleuch; Walid Gaaloul; Oumaima Alaoui Ismaili (ATAED@Petri Nets/ACSD, 2019)

Extracting Attribute-Based Access Control Rules from Business Process Event Logs. - Amani Abou Rida; Nour Assy; Walid Gaaloul (BDCSIntell, 2019)

On the Verification of Data Encryption Requirements in Internet of Things Using Event-B. - Imed Abbassi; Layth Sliman; Mohamed Graiet; Walid Gaaloul (ICDEc, 2019)

Virtual Network Function Descriptors Mining using Word Embeddings and Deep Neural Networks. - Wassim Sellil Atoui; Imen Grida Ben Yahia; Walid Gaaloul (IM, 2019)

A SAT-Based Formal Approach for Verifying Business Process Configuration. - Abderrahim Ait Wakrime; Souha Boubaker; Slim Kallel; Walid Gaaloul (Innovate-Data, 2019)

Using Deep Learning for Recommending and Completing Deployment Descriptors in NFV. - Wassim Sellil Atoui; Imen Grida Ben Yahia; Walid Gaaloul (NetSoft, 2019)

Discovering Crossing-Workflow Fragments Based on Activity Knowledge Graph. - Jinfeng Wen; Zhangbing Zhou; Yasha Wang; Walid Gaaloul; Yucong Duan (OTM Conferences, 2019)

Blockchain's Fame Reaches the Execution of Personalized Touristic Itineraries. - Amina Brahem; Nizar Messai; Yacine Sam; Sami Bhiri; Thomas Devogele; Walid Gaaloul (WETICE, 2019)

SoS Paradigm Benefits SaaS Integration: Novel Approach and First Results. - Wided Mathlouthi; Chahrazed Labba; Walid Gaaloul; Narjès Bellamine Ben Saoud (WETICE, 2019)

Energy-Efficient IoT Service Composition for Concurrent Timed Applications. - Mengyu Sun; Zhangbing Zhou; Junping Wang; Chu Du; Walid Gaaloul (Future Gener. Comput. Syst., 2019)

On semantic detection of cloud API (anti)patterns. - 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 (Inf. Softw. Technol., 2019)

A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 Standard evaluated by Goal-Question-Metric. - Mariam Chaabane; Ismael Bouassida Rodriguez; Ricardo Colomo-Palacios; Walid Gaaloul; Mohamed Jmaiel (Sci. Comput. Program., 2019)

A Meta Model for Mining Processes from Email Data. - Marwa Elleuch; Nour Assy; Nassim Laga; Walid Gaaloul; Oumaima Alaoui Ismaili; Boualem Benatallah (SCC, 2020)

Discovering Activities from Emails Based on Pattern Discovery Approach. - Marwa Elleuch; Oumaima Alaoui Ismaili; Nassim Laga; Walid Gaaloul; Boualem Benatallah (BPM (Forum), 2020)

Discovery of Activities' Actor Perspective from Emails based on Speech Acts Detection. - Marwa Elleuch; Oumaima Alaoui Ismaili; Nassim Laga; Nour Assy; Walid Gaaloul (ICPM, 2020)

Blockchain-Based Business Processes: A Solidity-to-CPN Formal Verification Approach. - Ikram Garfatta; Kaïs Klai; Mahamed Graïet; Walid Gaaloul (ICSOC Workshops, 2020)

Running Transactional Business Processes with Blockchain's Smart Contracts. - Amina Brahem; Nizar Messai; Yacine Sam; Sami Bhiri; Thomas Devogele; Walid Gaaloul (ICWS, 2020)

Detecting Temporal Anomaly and Interestingness in Timed Business Process Models. - Deng Zhao; Zhangbing Zhou; Yasha Wang; Walid Gaaloul (ICWS, 2020)

Poster: Word embedding for deployment descriptors in NFV. - Wassim Sellil Atoui; Imen Grida Ben Yahia; Walid Gaaloul (Networking, 2020)

Learning a Configurable Deployment Descriptors Model in NFV. - Wassim Sellil Atoui; Nour Assy; Walid Gaaloul; Imen Grida Ben Yahia (NOMS, 2020)

Discovering Business Processes And Activities From Messaging Systems: State-Of-The Art. - Marwa Elleuch; Nassim Laga; Oumaima Alaoui Ismaili; Walid Gaaloul (WETICE, 2020)

Cloud SLA negotiation and re-negotiation: An ontology-based context-aware approach. - Taher Labidi; Achraf Mtibaa; Walid Gaaloul; Faïez Gargouri (Concurr. Comput. Pract. Exp., 2020)

Special Issue on Fog and Cloud Computing for Cooperative Information System Management: Challenges and Opportunities. - Walid Gaaloul; Zhangbing Zhou; Hervé Panetto; Liang Zhang (Future Gener. Comput. Syst., 2020)

Toward a correct and optimal time-aware cloud resource allocation to business processes. - Rania Ben Halima; Slim Kallel; Walid Gaaloul; Zakaria Maamar; Mohamed Jmaiel (Future Gener. Comput. Syst., 2020)

Toward higher-level abstractions based on state machine for cloud resources elasticity. - Hayet Brabra; Achraf Mtibaa; Walid Gaaloul; Boualem Benatallah (Inf. Syst., 2020)

Configurable Deployment Descriptor Model in NFV. - Wassim Sellil Atoui; Nour Assy; Walid Gaaloul; Imen Grida Ben Yahia (J. Netw. Syst. Manag., 2020)

Hire me fairly: towards dynamic resource-binding with smart contracts. - Tiphaine Henry; Nassim Laga; Julien Hatin; Roman Beck; Walid Gaaloul (SCC, 2021)

A Survey on Formal Verification for Solidity Smart Contracts. - Ikram Garfatta; Kais Klai; Walid Gaaloul; Mohamed Graiet (ACSW, 2021)

Cross-Collaboration Processes based on Blockchain and IoT: a survey. - Tiphaine Henry; Nassim Laga; Julien Hatin; Walid Gaaloul; Imed Boughzala (HICSS, 2021)

Towards higher-level description of SLA-aware reconfiguration strategies based on state-machine. - Jeremy Mechouche; Roua Touihri; Mohamed Sellami; Walid Gaaloul (ICEBE, 2021)

An Intent-Based Natural Language Interface for Querying Process Execution Data. - Meriana Kobeissi; Nour Assy; Walid Gaaloul; Bruno Defude; Bassem Haidar (ICPM, 2021)

Model Checking of Solidity Smart Contracts Adopted for Business Processes. - Ikram Garfatta; Kaïs Klai; Mohamed Graïet; Walid Gaaloul (ICSOC, 2021)

Trustworthy Cross-Organizational Collaborations with Hybrid On/Off-Chain Declarative Choreographies. - Tiphaine Henry; Amina Brahem; Nassim Laga; Julien Hatin; Walid Gaaloul; Boualem Benatallah (ICSOC, 2021)

Migration-Based Service Allocation Optimization in Dynamic IoT Networks. - Mengyu Sun; Zhangbing Zhou; Xiao Xue 001; Walid Gaaloul (ICSOC, 2021)

CTL-Based Dynamic IoT Service Composition. - Deng Zhao; Zhangbing Zhou; Xiao Xue 001; Zhuofeng Zhao; Walid Gaaloul; Wenbo Zhang 006 (ICWS, 2021)

Adaptive IoT Service Configuration Optimization in Edge Networks. - Mengyu Sun; Zhangbing Zhou; Walid Gaaloul (INFOCOM Workshops, 2021)

Track Before Detect: A Novel Approach For Unsupervised Anomaly Detection In Time Series. - Ralph Bou Nader; Nour Assy; Walid Gaaloul; Yehia Taher; Rafiqul Haque (SMDS, 2021)

A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts. - Ikram Garfatta; Kaïs Klai; Mohamed Graïet; Walid Gaaloul (WETICE, 2021)

Restriction-based fragmentation of business processes over the cloud. - Slim Kallel; Zakaria Maamar; Mohamed Sellami; Noura Faci; Ahmed Ben Arab; Walid Gaaloul; Thar Baker (Concurr. Comput. Pract. Exp., 2021)

A Formal Model for Configurable Business Process with Optimal Cloud Resource Allocation. - Abderrahim Ait Wakrime; Souha Boubaker; Slim Kallel; Emna Guermazi 001; Walid Gaaloul (J. Univers. Comput. Sci., 2021)

Optimal business process deployment cost in cloud resources. - Rania Ben Halima; Slim Kallel; Mehdi Ahmed-Nacer; Walid Gaaloul (J. Supercomput., 2021)

Extracting Artifact-Centric Event Logs From Blockchain Applications. - Leyla Moctar-M'Baba; Nour Assy; Mohamed Sellami; Walid Gaaloul; Mohamedade Farouk Nanne (SCC, 2022)

A Trustworthy decentralized Change Propagation Mechanism for Declarative Choreographies. - Amina Brahem; Tiphaine Henry; Sami Bhiri; Thomas Devogele; Nassim Laga; Nizar Messai; Yacine Sam; Walid Gaaloul; Boualem Benatallah (BPM, 2022)

Enabling Multi-process Discovery on Graph Databases. - Ali Nour Eldin; Nour Assy; Meriana Kobeissi; Jonathan Baudot; Walid Gaaloul (CoopIS, 2022)

Random-Value Payment Tokens for On-Chain Privacy-Preserving Payments. - Tiphaine Henry; Julien Hatin; Léo Kazmierczak; Nassim Laga; Walid Gaaloul; Emmanuel Bertin (CoopIS, 2022)

Decentralized procurement mechanisms for efficient logistics services mapping - a design science research approach. - Tiphaine Henry; Roman Beck; Nassim Laga; Walid Gaaloul; Shenle Pan (HICSS, 2022)

Blockchain logging for process mining: a systematic review. - Leyla Moctar-M'Baba; Mohamed Sellami; Walid Gaaloul; Mohamedade Farouk Nanne (HICSS, 2022)

Automatic Processing of Planning Problems: Application on Representative Case Studies. - Sabrine Ammar; Taoufik Sakka Rouis; Mohamed Tahar Bhiri; Walid Gaaloul (ICCCI (CCIS Volume), 2022)

Mining Knowledge Graphs From Loosely Structured Processes: A Use Case From Emailing Systems. - Walid Gaaloul (ICSBT, 2022)

Enabling Multi-Provider Cloud Network Service Bundling. - Imen Jerbi; Nour Assy; Mohamed Sellami; Hayet Brabra; Walid Gaaloul; Sami Bhiri; Olivier Tirat; Djamal Zeghlache (ICWS, 2022)

Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. - Ikram Garfatta; Kaïs Klai; Mohamed Graïet; Walid Gaaloul (SAC, 2022)

Model-Driven Simulation of Elastic OCCI Cloud Resources. - Mehdi Ahmed-Nacer; Slim Kallel; Faiez Zalila; Philippe Merle; Walid Gaaloul (Comput. J., 2022)

A model-driven approach for deployment descriptor design in network function virtualization. - Wassim Sellil Atoui; Nour Assy; Walid Gaaloul; Imen Grida Ben Yahia (Int. J. Netw. Manag., 2022)

Dialogue Management in Conversational Systems: A Review of Approaches, Challenges, and Opportunities. - Hayet Brabra; Marcos Báez; Boualem Benatallah; Walid Gaaloul; Sara Bouguelia; Shayan Zamanirad (IEEE Trans. Cogn. Dev. Syst., 2022)

Adaptive Configuration of Service-Based Smart Sensors in Edge Networks. - Mengyu Sun; Zhangbing Zhou; Xiao Xue 001; Wenbo Zhang 006; Walid Gaaloul (IEEE Trans. Ind. Informatics, 2022)

Conformance checking for autonomous multi-cloud SLA management and adaptation. - Jeremy Mechouche; Roua Touihri; Mohamed Sellami; Walid Gaaloul (J. Supercomput., 2022)

Process mining approach for Multi-Cloud SLA Reporting. - Jeremy Mechouche; Mohamed Sellami; Zakaria Maamar; Roua Touihri; Walid Gaaloul (IEEE Big Data, 2023)

Zooming in for Clarity: Towards Low-Code Modeling for Activity Data Flow. - Ali Nour Eldin; Jonathan Baudot; Walid Gaaloul (BPM (Forum), 2023)

Request Relaxation Based-on Provider Constraints for a Capability-Based NaaS Services Discovery. - Imen Jerbi; Hayet Brabra; Mohamed Sellami; Walid Gaaloul; Sami Bhiri; Boualem Benatallah; Djamal Zeghlache; Olivier Tirat (CAiSE, 2023)

Discovering Guard Stage Milestone Models Through Hierarchical Clustering. - Leyla Moctar-M'Baba; Mohamed Sellami; Nour Assy; Walid Gaaloul; Mohamedade Farouk Nanne (CoopIS, 2023)

Uncovering Implicit Bundling Constraints: Empowering Cloud Network Service Discovery. - Hayet Brabra; Imen Jerbi; Mohamed Sellami; Walid Gaaloul; Djamal Zeghlache (ICSOC (2), 2023)

A Novel Logic-Based Adaptive Monitoring for Composite Edge Services. - Deng Zhao; Zhangbing Zhou; Xiao Xue 001; Jin Diao; Sami Yangui; Bo Liu 024; Walid Gaaloul (ICWS, 2023)

Multi-perspective business process discovery from messaging systems: State-of-the art. - Marwa Elleuch; Nassim Laga; Oumaima Alaoui Ismaili; Walid Gaaloul (Concurr. Comput. Pract. Exp., 2023)

Reinforcement learning-enabled efficient data gathering in underground wireless sensor networks. - Deng Zhao; Zhangbing Zhou; Shangguang Wang; Bo Liu 011; Walid Gaaloul (Pers. Ubiquitous Comput., 2023)

CTL-Based Adaptive Service Composition in Edge Networks. - Deng Zhao; Zhangbing Zhou; Patrick C. K. Hung; Shuiguang Deng; Xiao Xue 001; Walid Gaaloul (IEEE Trans. Serv. Comput., 2023)

Natural language querying of process execution data. - Meriana Kobeissi; Nour Assy; Walid Gaaloul; Bruno Defude; Boualem Benatallah; Bassem Haidar (Inf. Syst., 2023)

Process fragments discovery from emails: Functional, data and behavioral perspectives discovery. - Marwa Elleuch; Oumaima Alaoui Ismaili; Nassim Laga; Walid Gaaloul (Inf. Syst., 2023)

Process mining for artifact-centric blockchain applications. - Leyla Moctar-M'Baba; Nour Assy; Mohamed Sellami; Walid Gaaloul; Mohamedade Farouk Nanne (Simul. Model. Pract. Theory, 2023)

Re-Scheduling IoT Services in Edge Networks. - Xiaocui Li; Zhangbing Zhou; Qiang He 001; Zhensheng Shi; Walid Gaaloul; Sami Yangui (IEEE Trans. Netw. Serv. Manag., 2023)

Efficient Deep Learning Method for Detection of Malware Attacks in Internet of Things Networks. - Ikbel Haouas; Mouna Attia; Lazhar Hamel; Mohamed Graiet; Walid Gaaloul (ACIIDS (Companion 1), 2024)

A Decomposed Hybrid Approach to Business Process Modeling with LLMs. - Ali Nour Eldin; Nour Assy; Olan Anesini; Benjamin Dalmas; Walid Gaaloul (CoopIS, 2024)

Nala2BPMN: Automating BPMN Model Generation with Large Language Models. - Ali Nour Eldin; Nour Assy; Olan Anesini; Benjamin Dalmas; Walid Gaaloul (CoopIS, 2024)

Predictive Process Approach for Email Response Recommendations. - Ralph Bou Nader; Marwa Elleuch; Ikram Garfatta; Walid Gaaloul; Boualem Benatallah (CoopIS, 2024)

Empirical Evaluation of Social Bias in Text Classification Systems. - Lynda Djennane; Zsolt T. Kardkovács; Boualem Benatallah; Yacine Gaci; Walid Gaaloul; Zoubeyr Farah (FLLM, 2024)

Accurate Anomaly Detection Leveraging Knowledge-enhanced GAT. - Yi Li 059; Zhangbing Zhou; Shuiguang Deng; Xiao Sun 012; Xiao Xue 001; Sami Yangui; Walid Gaaloul (ICWS, 2024)

Energy-Aware Service Migration in End-Edge-Cloud Collaborative Networks. - Jiangwei Li; Zhangbing Zhou; Deng Zhao; Zhensheng Shi; Lin Meng; Walid Gaaloul (ICWS, 2024)

Formal Verification of Declarative Specifications of BPs: DCR2CPN-Based Approach. - Ikram Garfatta; Kaïs Klai; Walid Gaaloul (VECoS, 2024)

Integrating Business Process Context into Solidity-to-CPN Formal Verification. - Ikram Garfatta; Kaïs Klai; Walid Gaaloul (WETICE, 2024)

Multi-perspective Conformance Checking for Email-Driven Processes. - Ralph Bou Nader; Ikram Garfatta; Marwa Elleuch; Walid Gaaloul; Yehia Taher (WISE (5), 2024)

A Novel Approach to Process Discovery with Enhanced Loop Handling. - Ali Nour Eldin; Benjamin Dalmas; Walid Gaaloul (CoRR, 2024)

Towards a Trustworthy and Adaptive Execution of Business Process Choreographies. - Amina Brahem; Tiphaine Henry; Sami Bhiri; Thomas Devogele; Nizar Messai; Yacine Sam; Walid Gaaloul (IEEE Trans. Serv. Comput., 2024)

CSTL: Compositional Signal Temporal Logic for Adaptive Edge Service Monitoring. - Deng Zhao; Zhangbing Zhou; Wenbo Zhang 006; Shuiguang Deng; Xiao Xue 001; Walid Gaaloul (IEEE Trans. Serv. Comput., 2024)

EGNN: Energy-efficient anomaly detection for IoT multivariate time series data using graph neural network. - Hongtai Guo; Zhangbing Zhou; Deng Zhao; Walid Gaaloul (Future Gener. Comput. Syst., 2024)

Towards trustworthy and privacy-preserving decentralized auctions. - Tiphaine Henry; Julien Hatin; Eloi Besnard; Nassim Laga; Walid Gaaloul (J. Bank. Financial Technol., 2024)

Energy-Efficient Online Service Migration in Edge Networks. - Jiangwei Li; Deng Zhao; Zhensheng Shi; Lin Meng; Walid Gaaloul; Zhangbing Zhou (IEEE Internet Things J., 2024)

A Domain Specific Object Centric Event Log for Structured Representation of Incident Data. - Ahmed Takiy Eddine Hamdi; Marwa Elleuch; Nassim Laga; Walid Gaaloul (SSE, 2025)

KeAD: Knowledge-enhanced Graph Attention Network for Accurate Anomaly Detection. - Yi Li 059; Zhangbing Zhou; Pu Sun; Shuiguang Deng; Xiao Sun 012; Xiao Xue 001; Sami Yangui; Walid Gaaloul (IEEE Trans. Serv. Comput., 2025)

Low-code solutions for business process dataflows: From modeling to execution. - Ali Nour Eldin; Jonathan Baudot; Benjamin Dalmas; Walid Gaaloul (Inf. Syst., 2026)