Walid Gaaloul

204
Documents

Présentation

**Prof.dr.ir. Walid Gaaloul ** is a professor at Télécom SudParis an engineering school (grande école d'ingénieurs) in the field of Information and Communication Technology. Télécom SudParis is part of Institut Polytechnique de Paris (IP Paris) and Institut Mines Télécom. Walid Gaaloul is member of the DIEGO group part of the Computer Science Department of Télécom SudParis and the the CNRS research laboratory SAMOVAR.

Before joining Télécom SudParis, he was a researcher at the Digital Enterprise Research Institute (DERI) and an adjunct lecturer in the National University of Ireland, Galway (NUIG). He holds an M.S. (2002) and a Ph.D. (2006) in computer science from the University of Lorraine, France, and a habilitation (2014) from Pierre et Marie Curie University, Paris, France. He was a junior researcher in the Lorraine Laboratory of IT Research and its Applications (LORIA-INRIA) and a teaching assistant in the University of Lorraine, France.

His research interests are on Business Process Management, Process Mining, Cloud Computing, Service Oriented Computing. Walid Gaaloul has published over 100 research papers in these domains. He serves as program committee member and reviewer at many international journals and conferences and has been participating in several national and European research projects.


Publications

Publications

Image document

Towards trustworthy and privacy-preserving decentralized auctions

Tiphaine Henry , Julien Hatin , Eloi Besnard , Nassim Laga , Walid Gaaloul
Journal of Banking and Financial Technology, 2024, ⟨10.1007/s42786-024-00051-0⟩
Article dans une revue hal-04145599 v1
Image document

Towards a trustworthy and adaptive execution of business process choreographies

Amina Brahem , Tiphaine Henry , Sami Bhiri , Thomas Devogele , Nizar Messai et al.
IEEE Transactions on Services Computing, 2024, 17 (6), pp.4383-4396. ⟨10.1109/TSC.2024.3463427⟩
Article dans une revue hal-04933955 v1

CSTL : compositional signal temporal logic for adaptive edge service monitoring

Deng Zhao , Zhangbing Zhou , Wenbo Zhang , Shuiguang Deng , Xiao Xue et al.
IEEE Transactions on Services Computing, 2024, 17 (2), pp.482-496. ⟨10.1109/TSC.2024.3355133⟩
Article dans une revue hal-04933953 v1

Energy-efficient online service migration in edge networks

Jiangwei Li , Deng Zhao , Zhensheng Shi , Lin Meng , Walid Gaaloul et al.
IEEE Internet of Things Journal, 2024, 11 (18), pp.29689-29708. ⟨10.1109/JIOT.2024.3406701⟩
Article dans une revue hal-04933950 v1

EGNN: energy-efficient anomaly detection for IoT multivariate time series data using graph neural network

Hongtai Guo , Zhangbing Zhou , Deng Zhao , Walid Gaaloul
Future Generation Computer Systems, 2024, 151, pp.45-56. ⟨10.1016/J.FUTURE.2023.09.028⟩
Article dans une revue hal-04376917 v1

CTL-based adaptive service composition in edge networks

Deng Zhao , Zhangbing Zhou , Patrick Hung , Shuiguang Deng , Xiao Xue et al.
IEEE Transactions on Services Computing, 2023, 16 (2), pp.1051-1065. ⟨10.1109/TSC.2022.3184013⟩
Article dans une revue hal-04376902 v1

Process fragments discovery from emails: functional, data and behavioral perspectives discovery

Marwa Elleuch , Oumaima Alaoui Ismaili , Nassim Laga , Walid Gaaloul
Information Systems, 2023, 118, pp.102229. ⟨10.1016/J.IS.2023.102229⟩
Article dans une revue hal-04376913 v1

Natural language querying of process execution data

Meriana Kobeissi , Nour Assy , Walid Gaaloul , Bruno Defude , Boualem Benatallah et al.
Information Systems, 2023, 116 (C), pp.102227. ⟨10.1016/j.is.2023.102227⟩
Article dans une revue hal-04490513 v1

Natural language querying of process execution data

Meriana Kobeissi , Nour Assy , Walid Gaaloul , Bruno Defude , Boualem Benatallah et al.
Information Systems, 2023, 116, pp.102227:1-102227:16. ⟨10.1016/J.IS.2023.102227⟩
Article dans une revue hal-04376914 v1
Image document

Process mining for artifact-centric blockchain applications

Leyla Moctar M’baba , Nour Assy , Mohamed Sellami , Walid Gaaloul , Mohamedade Farouk Nanne
Simulation Modelling Practice and Theory, 2023, 127, pp.102779. ⟨10.1016/j.simpat.2023.102779⟩
Article dans une revue hal-04112603 v1

Re-scheduling IoT services in edge networks

Xiaocui Li , Zhangbing Zhou , Qiang He , Zhensheng Shi , Walid Gaaloul et al.
IEEE Transactions on Network and Service Management, 2023, 20 (3), pp.3233-3246. ⟨10.1109/TNSM.2023.3242937⟩
Article dans une revue hal-04376906 v1
Image document

Model driven simulation of elastic OCCI cloud resources

Mehdi Ahmed-Nacer , Slim Kallel , Faiez Zalila , Philippe Merle , Walid Gaaloul
The Computer Journal, 2022, 65 (5), pp.1144-1166. ⟨10.1093/comjnl/bxaa159⟩
Article dans une revue hal-02976775 v1

A model‐driven approach for deployment descriptor design in network function virtualization

Wassim Sellil Atoui , Nour Assy , Walid Gaaloul , Imen Grida Ben Yahia
International Journal of Network Management, 2022, 32 (1), pp.1144-1166. ⟨10.1002/nem.2165⟩
Article dans une revue hal-03992621 v1
Image document

Dialogue management in conversational systems: a review of approaches, challenges, and opportunities

Hayet Brabra , Marcos Baez , Boualem Benatallah , Walid Gaaloul , Sara Bouguelia et al.
IEEE Transactions on Cognitive and Developmental Systems, 2022, 14 (3), pp.783-798. ⟨10.1109/TCDS.2021.3086565⟩
Article dans une revue hal-03626466 v1
Image document

Conformance checking for autonomous multi-cloud SLA management and adaptation

Jeremy Mechouche , Roua Touihri , Mohamed Sellami , Walid Gaaloul
Journal of Supercomputing, 2022, 78 (11), pp.13004-13039. ⟨10.1007/s11227-022-04363-0⟩
Article dans une revue hal-03613903 v1

Adaptive configuration of service-based smart sensors in edge networks

Mengyu Sun , Zhangbing Zhou , Xiao Xue , Wenbo Zhang , Walid Gaaloul
IEEE Transactions on Industrial Informatics, 2022, 18 (4), pp.2674-2683. ⟨10.1109/TII.2021.3074513⟩
Article dans une revue hal-03992643 v1

Restriction‐based fragmentation of business processes over the cloud

Slim Kallel , Zakaria Maamar , Mohamed Sellami , Noura Faci , Ahmed Ben Arab et al.
Concurrency and Computation: Practice and Experience, 2021, 33 (7), pp.1-20. ⟨10.1002/cpe.5445⟩
Article dans une revue hal-02998183 v1
Image document

A Formal model for configurable business process with optimal cloud resource allocation

Abderrahim Ait Wakrime , Souha Boubaker , Slim Kallel , Emna Guermazi , Walid Gaaloul
Journal of Universal Computer Science, 2021, 27 (7), pp.693-713. ⟨10.3897/jucs.70978⟩
Article dans une revue hal-04490808 v1

Multi‐perspective business process discovery from messaging systems: state‐of‐the art

Marwa Elleuch , Nassim Laga , Oumaima Alaoui Ismaili , Walid Gaaloul
Concurrency and Computation: Practice and Experience, 2021, 35 (11), ⟨10.1002/CPE.6642⟩
Article dans une revue hal-04376915 v1

Optimal business process deployment cost in cloud resources

Rania Ben Halima , Slim Kallel , Mehdi Ahmed Nacer , Walid Gaaloul
Journal of Supercomputing, 2021, 77 (2), pp.1579-1611. ⟨10.1007/s11227-020-03316-9⟩
Article dans une revue hal-03519992 v1

Configurable deployment descriptor model in NFV

Wassim Sellil Atoui , Nour Assy , Walid Gaaloul , Imen Grida Ben Yahia
Journal of Network and Systems Management, 2020, 28 (3), pp.693-718. ⟨10.1007/s10922-020-09531-2⟩
Article dans une revue hal-03122714 v1

Cloud SLA negotiation and re‐negotiation: an ontology‐based context‐aware approach

Taher Labidi , Achraf Mtibaa , Walid Gaaloul , Faiez Gargouri
Concurrency and Computation: Practice and Experience, 2020, 32 (15), pp.e5315. ⟨10.1002/cpe.5315⟩
Article dans une revue hal-03122790 v1
Image document

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 Generation Computer Systems, 2020, 112, pp.751-766. ⟨10.1016/j.future.2020.06.018⟩
Article dans une revue hal-03122709 v1

Toward higher-level abstractions based on state machine for cloud resources elasticity

Hayet Brabra , Achraf Mtibaa , Walid Gaaloul , Boualem Benatallah
Information Systems, 2020, 90, pp.101450:1-101450:20. ⟨10.1016/j.is.2019.101450⟩
Article dans une revue hal-03122711 v1
Image document

Special issue on fog and cloud computing for cooperative information system management

Walid Gaaloul , Zhangbing Zhou , Hervé Panetto , Liang Zhang
Future Generation Computer Systems, 2020, 109, pp.704-705. ⟨10.1016/j.future.2020.02.060⟩
Article dans une revue hal-02888680 v1

Reinforcement learning–enabled efficient data gathering in underground wireless sensor networks

Deng Zhao , Zhangbing Zhou , Shangguang Wang , Bo Liu , Walid Gaaloul
Personal and Ubiquitous Computing, 2020, 27 (3), pp.581-598. ⟨10.1007/S00779-020-01443-X⟩
Article dans une revue hal-04376912 v1
Image document

On semantic detection of cloud API (anti)patterns

Hayet Brabra , Achraf Mtibaa , Fabio Petrillo , Philippe Merle , Layth Sliman et al.
Information and Software Technology, 2019, 107, pp.65 - 82. ⟨10.1016/j.infsof.2018.10.012⟩
Article dans une revue hal-02375380 v1

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
Science of Computer Programming, 2019, 184, pp.102305-1:102305-24. ⟨10.1016/j.scico.2019.102305⟩
Article dans une revue hal-02482768 v1
Image document

Energy-efficient IoT service composition for concurrent timed applications

Mengyu Sun , Zhangbing Zhou , Junping Wang , Chu Du , Walid Gaaloul
Future Generation Computer Systems, 2019, 100, pp.1017-1030. ⟨10.1016/j.future.2019.05.070⟩
Article dans une revue hal-02482758 v1

Genetic-based adaptive approach for reliable and efficient service composition

Mohamed Graiet , Imed Abbassi , Mourad Kmimech , Walid Gaaloul
IEEE Systems Journal, 2018, 12 (2), pp.1644 - 1654. ⟨10.1109/JSYST.2016.2612641⟩
Article dans une revue hal-01987661 v1

Formal verification of temporal constraints for mobile service-based business process models

Deng Zhao , Walid Gaaloul , Wenbo Zhang , Chunsheng Zhu , Zhangbing Zhou
IEEE Access, 2018, 6, pp.59843 - 59852. ⟨10.1109/ACCESS.2018.2874937⟩
Article dans une revue hal-01987392 v1

Semantic framework for energy-aware resource management of IoT in business processes

Kunal Suri , Walid Gaaloul , Arnaud Cuccuru , Sébastien Gerard
International journal of systems and service-oriented engineering (IJSSOE), 2018, 8 (1), pp.21 - 43. ⟨10.4018/IJSSOE.2018010102⟩
Article dans une revue cea-01810026 v1

Scientific workflow clustering and recommendation leveraging layer hierarchical analysis

Zhangbing Zhou , Zehui Cheng , Liang-Jie Zhang , Walid Gaaloul , Ke Ning
IEEE Transactions on Services Computing, 2018, 11 (1), pp.169 - 183. ⟨10.1109/TSC.2016.2542805⟩
Article dans une revue hal-01710905 v1

Optimal deployment of configurable business processes in cloud federations

Molka Rekik , Khouloud Boukadi , Nour Assy , Walid Gaaloul , Hanene Ben-Abdallah
IEEE Transactions on Network and Service Management, 2018, 15 (4), pp.1692 - 1705. ⟨10.1109/TNSM.2018.2880195⟩
Article dans une revue hal-01996051 v1

Towards correct cloud resource allocation in business processes

Mohamed Graiet , Amel Mammar , Souha Boubaker , Walid Gaaloul
IEEE Transactions on Services Computing, 2017, 10 (1), pp.23 - 36. ⟨10.1109/TSC.2016.2594062⟩
Article dans une revue hal-01575735 v1

Data intelligence on the Internet of Things

Zhangbing Zhou , Kim-Fung Tsang , Zhao Zhuofeng , Walid Gaaloul
Personal and Ubiquitous Computing, 2016, 20 (3), pp.277 - 281. ⟨10.1007/s00779-016-0912-1⟩
Article dans une revue hal-01453237 v1

Developing correct adapters for software architectural dynamic reconfiguration

Djamel Belaid , Imen Ben Lahmar , Walid Gaaloul
International journal of autonomous and adaptive communications systems, 2016, 9 (3-4), pp.201 - 222. ⟨10.1504/IJAACS.2016.079622⟩
Article dans une revue hal-01438803 v1

A semantic framework for configurable business process as a service in the cloud

Karn Yongsiriwit , Nour Assy , Walid Gaaloul
Journal of Network and Computer Applications (JNCA), 2016, 59, pp.168 - 184. ⟨10.1016/j.jnca.2015.07.007⟩
Article dans une revue hal-01453247 v1

A decentralized and service-based solution for data mediation: the case for data providing service compositions

Mohamed Sellami , Walid Gaaloul , Bruno Defude
Concurrency and Computation: Practice and Experience, 2015, 27 (6), pp.1427 - 1444. ⟨10.1002/cpe.3048⟩
Article dans une revue istex hal-01255062 v1

Configuration assistée des processus métier. Conception et expérimentation

Nour Assy , Walid Gaaloul , Layth Sliman , Bruno Defude
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, 2015, 20 (6), pp.59 - 78. ⟨10.3166/isi.20.6.59-78⟩
Article dans une revue hal-01434476 v1

Assisting sensor-based application design and instantiation using activity recommendation

Zahra Movahedi , Walid Gaaloul , Sami Bhiri , Bruno Defude
The Computer Journal, 2015, 58 (3), pp.368 - 384. ⟨10.1093/comjnl/bxu076⟩
Article dans une revue hal-01262436 v1
Image document

Service Querying to Support Process Variant Development

Ngoc Chan Nguyen , Nattawat Nonsung , Walid Gaaloul
Journal of Systems and Software, 2015, ⟨10.1016/j.jss.2015.07.050⟩
Article dans une revue hal-01253069 v1

A three-dimensional sub-region query processing mechanism in underwater WSNs

Zhangbing Zhou , Riliang Xing , Walid Gaaloul , Yongping Xiong
Personal and Ubiquitous Computing, 2015, 19 (7), pp.1075 - 1086. ⟨10.1007/s00779-015-0875-7⟩
Article dans une revue hal-01255076 v1

Deriving configurable fragments for process design

Nour Assy , Ngoc Chan Nguyen , Walid Gaaloul , Bruno Defude
International Journal of Business Process Integration and Management, 2014, 7 (1), pp.2 - 21. ⟨10.1504/IJBPIM.2014.060602⟩
Article dans une revue hal-01263079 v1

Process socio space discovery based on semantic logs

Rami Sellami , Walid Gaaloul , Bruno Defude
Journal of internet technology (JIT), 2013, 14 (3), pp.401-412. ⟨10.6138/JIT.2013.14.3.05⟩
Article dans une revue hal-00840291 v1

Data providing services clustering and management for facilitating service discovery and replacement

Zhangbing Zhou , Mohamed Sellami , Walid Gaaloul , Mahmoud Barhamgi , Bruno Defude
IEEE Transactions on Automation Science and Engineering, 2013, 10 (4), pp.1131 - 1146. ⟨10.1109/TASE.2012.2237551⟩
Article dans une revue hal-01275248 v1

Assessing the replaceability of service protocols in mediated service interactions

Zhangbing Zhou , Walid Gaaloul , Lei Shu , Samir Tata , Sami Bhiri
Future Generation Computer Systems, 2013, 29 (1), pp.287-299. ⟨10.1016/j.future.2011.08.007⟩
Article dans une revue istex hal-00746974 v1

Communities of web service registries : construction and management

Mohamed Sellami , Olfa Bouchaala , Walid Gaaloul , Samir Tata
Journal of Systems and Software, 2013, 86 (3), pp.835-853. ⟨10.1016/j.jss.2012.11.019⟩
Article dans une revue istex hal-00806916 v1

Assessment of service protocol adaptability based on novel walk computation

Zhangbing Zhou , Sami Bhiri , Hai Zhuge , Walid Gaaloul
IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 2012, 42 (5), pp.1109-1140. ⟨10.1109/TSMCA.2012.2183362⟩
Article dans une revue hal-00751236 v1

A recommender system based on historical usage data for web service discovery

Ngoc Chan Nguyen , Walid Gaaloul , Samir Tata
Service Oriented Computing and Applications, 2012, 6 (1), pp.51-63. ⟨10.1007/s11761-011-0099-2⟩
Article dans une revue hal-00748206 v1

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
International Journal of Web Information Systems, 2012, 8 (1), pp.32 - 54. ⟨10.1108/17440081211222582⟩
Article dans une revue hal-00751238 v1
Image document

Towards an Approach of Formal Verification of Web Service Composition

Mohamed Graiet , Mourad Kmimech , Lazhar Hamel , Mohamed Tahar Bhiri , Walid Gaaloul et al.
International Journal On Advances in Intelligent Systems, 2011
Article dans une revue hal-04547233 v1

Ensuring customised transactional reliability of composite services

Sami Bhiri , Walid Gaaloul , Claude Godart , Olivier Perrin , Maciej Zaremba et al.
Journal of Database Management, 2011, 22 (2), pp.64-92. ⟨10.4018/jdm.2011040103⟩
Article dans une revue hal-00603143 v1

Fouille de workflow Découverte de patrons de workflows par l'analyse des traces d'exécution

Claude Godart , Karim Baïna , Walid Gaaloul
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2010, 29 (10)
Article dans une revue inria-00540884 v1

Event-based design and runtime verification of composite service transactional behavior

Walid Gaaloul , Sami Bhiri , Mohsen Rouached
IEEE Transactions on Services Computing, 2010, 3 (1), pp.32-45. ⟨10.1109/TSC.2010.1⟩
Article dans une revue hal-00564322 v1

Log-based transactional workflow mining

Walid Gaaloul , Khaled Gaaloul , Sami Bhiri , Armin Haller , Manfred Hauswirth
Distributed and Parallel Databases, 2009, 25 (3), pp.193 - 240. ⟨10.1007/s10619-009-7040-0⟩
Article dans une revue istex hal-00441545 v1
Image document

Log-based Mining Techniques Applied to Web Service Composition Reengineering

Walid Gaaloul , Karim Baïna , Claude Godart
Service Oriented Computing and Applications, 2008, 2 (2-3), pp.93-110. ⟨10.1007/s11761-008-0023-6⟩
Article dans une revue inria-00438429 v1
Image document

Mining and Improving Composite Web Services Recovery Mechanisms

Sami Bhiri , Walid Gaaloul , Claude Godart
International Journal of Web Services Research, 2008, 3 (2)
Article dans une revue inria-00438424 v1

An Object-Oriented Metamodel For Inter-Enterprises Cooperative Processes Based on Web Services

Sami Bhiri , Olivier Perrin , Walid Gaaloul , Claude Godart
Journal of Integrated Design and Process Science, 2004, 8 (2), pp.37--55
Article dans une revue inria-00099953 v1

Accurate Anomaly Detection Leveraging Knowledge-enhanced GAT

Yi Li , Zhangbing Zhou , Shuiguang Deng , Xiao Sun , Xiao Xue et al.
IEEE International Conference on Web Services (ICWS 2024), Jul 2024, Shenzhen, China. pp.568-577, ⟨10.1109/ICWS62655.2024.00077⟩
Communication dans un congrès hal-04933958 v1

Energy-aware service migration in end-edge-cloud collaborative networks

Jiangwei Li , Zhangbing Zhou , Deng Zhao , Zhensheng Shi , Lin Meng et al.
2024 IEEE International Conference on Web Services (ICWS), Jul 2024, Shenzhen, France. pp.974-979, ⟨10.1109/ICWS62655.2024.00116⟩
Communication dans un congrès hal-04933962 v1

Multi-perspective conformance checking for email-driven processes

Ralph Bou Nader , Ikram Garfatta , Marwa Elleuch , Walid Gaaloul , Yehia Taher
Web Information Systems Engineering - {WISE} 2024 - 25th International Conference, Dec 2024, Doha, Qatar. pp.441-457, ⟨10.1007/978-981-96-0576-7_32⟩
Communication dans un congrès hal-04933969 v1
Image document

Discovering guard stage milestone models through hierarchical clustering

Leyla Moctar M’baba , Mohamed Sellami , Nour Assy , Walid Gaaloul , Mohamedade Farouk Nanne
International Conference on Cooperative Information Systems (CoopIS), Oct 2023, Groningen, Netherlands. pp.239-256, ⟨10.1007/978-3-031-46846-9_13⟩
Communication dans un congrès hal-04257487 v1
Image document

Zooming in for clarity: towards low-code modeling for activity data flow

Ali Nour Eldin , Jonathan Baudot , Walid Gaaloul
21st International Conference on Business Process Management {BPM}, Sep 2023, Utrecht, Netherlands. pp.267-282, ⟨10.1007/978-3-031-41623-1_16⟩
Communication dans un congrès hal-04376895 v1
Image document

Uncovering implicit bundling constraints: empowering cloud network service discovery

Hayet Brabra , Imen Jerbi , Mohamed Sellami , Walid Gaaloul , Djamal Zeghlache
21st International Conference on Service-Oriented Computing (ICSOC), Nov 2023, Rome, Italy. pp.115-123, ⟨10.1007/978-3-031-48424-7_9⟩
Communication dans un congrès hal-04311834 v1
Image document

Process mining approach for multi-cloud SLA reporting

Jeremy Mechouche , Mohamed Sellami , Zakaria Maamar , Roua Touihri , Walid Gaaloul
2023 IEEE International Conference on Big Data (IEEE BigData), Dec 2023, Sorrento (Italie), Italy
Communication dans un congrès hal-04343935 v1
Image document

Request relaxation based-on provider constraints for a capability-based NaaS services discovery

Imen Jerbi , Hayet Brabra , Mohamed Sellami , Walid Gaaloul , Sami Bhiri et al.
35th International Conference on Advanced Information Systems Engineering (CAiSE), Jun 2023, ZARAGOZA, Spain. pp.611-627, ⟨10.1007/978-3-031-34560-9_36⟩
Communication dans un congrès hal-04198824 v1

A novel logic-based adaptive monitoring for composite edge services

Deng Zhao , Zhangbing Zhou , Xiao Xue , Jin Diao , Sami Yangui et al.
2023 IEEE International Conference on Web Services (ICWS), Jul 2023, Chicago, France. pp.310-317, ⟨10.1109/ICWS60048.2023.00050⟩
Communication dans un congrès hal-04376886 v1
Image document

Blockchain logging for process mining: a systematic review

Leyla Moctar M'Baba , Mohamed Sellami , Walid Gaaloul , Mohamedade Farouk Nanne
HICSS 2022: 55th Hawaii International Conference on System Sciences, Jan 2022, Hawaii, United States. pp.6197-6206, ⟨10.24251/HICSS.2022.751⟩
Communication dans un congrès hal-03631633 v1
Image document

Enabling multi-provider cloud network service bundling

Imen Jerbi , Nour Assy , Mohamed Sellami , Sami Bhiri , Olivier Tirat et al.
2022 IEEE International Conference on Web Services (ICWS), Jul 2022, Barcelona, Spain. pp.405-414, ⟨10.1109/ICWS55610.2022.00067⟩
Communication dans un congrès hal-03782791 v1

Enabling multi-process discovery on graph databases

Ali Nour Eldin , Nour Assy , Meriana Kobeissi , Jonathan Baudot , Walid Gaaloul
CoopIS 2022: Cooperative Information Systems - 28th International Conference, Oct 2023, Bolzano, Bolzen, France. pp.112-130, ⟨10.1007/978-3-031-17834-4_7⟩
Communication dans un congrès hal-03992652 v1
Image document

A trustworthy decentralized change propagation mechanism for declarative choreographies

Amina Brahem , Tiphaine Henry , Sami Bhiri , Thomas Devogele , Nassim Laga et al.
20th International Conference on Business Process Management, Sep 2022, Munster, Germany. pp.418-435, ⟨10.1007/978-3-031-16103-2_27⟩
Communication dans un congrès hal-04295596 v1

Automatic processing of planning problems: application on representative case studies

Sabrine Ammar , Taoufik Sakka Rouis , Mohamed Tahar Bhiri , Walid Gaaloul
Advances in Computational Collective Intelligence - 14th International(ICCCI), Sep 2022, Hammamet, Tunisia. pp.436-445, ⟨10.1007/978-3-031-16210-7_36⟩
Communication dans un congrès hal-03992678 v1

Extracting artifact-centric event logs from blockchain applications

Leyla Moctar M'Baba , Nour Assy , Mohamedade Farouk Nanne , Mohamed Sellami , Walid Gaaloul
2022 SCC: International Conference on Services Computing (SCC), Jul 2022, Barcelona, France. pp.274-283, ⟨10.1109/SCC55611.2022.00048⟩
Communication dans un congrès hal-03769216 v1

Decentralized procurement mechanisms for efficient logistics services mapping - a design science research approach

Tiphaine Henry , Roman Beck , Nassim Laga , Walid Gaaloul , Shenle Pan
55th Hawaii International Conference on System Sciences (HICCS-55), Jan 2022, Hawaii, United States. ⟨10.24251/HICSS.2022.615⟩
Communication dans un congrès hal-03526852 v1

Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach

Ikram Garfatta , Kaïs Klai , Mohamed Graïet , Walid Gaaloul
SAC '22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, Apr 2022, Virtual Event, France. pp.316-325, ⟨10.1145/3477314.3507309⟩
Communication dans un congrès hal-03992692 v1

Model checking of solidity smart contracts adopted for business processes

Ikram Garfatta , Kaïs Klai , Mohamed Graïet , Walid Gaaloul
ICSOC 2021: 19th International Conference on Service-Oriented Computing, Nov 2021, Dubai (online), United Arab Emirates. pp.116-132, ⟨10.1007/978-3-030-91431-8_8⟩
Communication dans un congrès hal-03520013 v1

A survey on formal verification for solidity smart contracts

Ikram Garfatta , Kais Klai , Walid Gaaloul , Mohamed Graiet
ACSW 2021: Australasian Computer Science Week Multiconference, Feb 2021, Dunedin (online), New Zealand. pp.3:1-3:10, ⟨10.1145/3437378.3437879⟩
Communication dans un congrès hal-03519986 v1

CTL-based dynamic IoT service composition

Deng Zhao , Zhangbing Zhou , Xiao Xue , Zhuofeng Zhao , Walid Gaaloul et al.
ICWS 2021: IEEE International Conference on Web Services, Sep 2021, Chicago (online), United States. pp.381-388, ⟨10.1109/ICWS53863.2021.00057⟩
Communication dans un congrès hal-03520021 v1

Towards higher-level description of SLA-aware reconfiguration strategies based on state-machine

Jeremy Mechouche , Roua Touihri , Mohamed Sellami , Walid Gaaloul
ICEBE 2021: 17th International Conference on e-Business Engineering, Nov 2021, Guangzhou (online), China. pp.1-8, ⟨10.1109/ICEBE52470.2021.00014⟩
Communication dans un congrès hal-03641853 v1

An intent-based natural language interface for querying process execution data

Meriana Kobeissi , Nour Assy , Walid Gaaloul , Bruno Defude , Bassem Haidar
ICPM 2021: 3rd International Conference on Process Mining (ICPM), Oct 2021, Eindhoven, Netherlands. pp.152-159, ⟨10.1109/ICPM53251.2021.9576850⟩
Communication dans un congrès hal-03519996 v1

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: IEEE International Conference on Smart Data Services, Sep 2021, Chicago (online), United States. pp.142-151, ⟨10.1109/SMDS53860.2021.00028⟩
Communication dans un congrès hal-03520025 v1
Image document

Cross-collaboration processes based on blockchain and IoT: a survey

Tiphaine Henry , Nassim Laga , Julien Hatin , Walid Gaaloul , Imed Boughzala
HICSS 2021: 54th Hawaii International Conference on System Sciences, Jan 2021, Maui, Hawaii, United States. pp.4291-4300, ⟨10.24251/HICSS.2021.521⟩
Communication dans un congrès hal-03107913 v1

Adaptive IoT service configuration optimization in edge networks

Mengyu Sun , Zhangbing Zhou , Walid Gaaloul
INFOCOM 2021: IEEE Conference on Computer Communications Workshops, May 2021, Vancouver (online), Canada. pp.1-2, ⟨10.1109/INFOCOMWKSHPS51825.2021.9484465⟩
Communication dans un congrès hal-03520023 v1

Hire me fairly: towards dynamic resource-binding with smart contracts

Tiphaine Henry , Nassim Laga , Julien Hatin , Roman Beck , Walid Gaaloul
SCC 2021: IEEE International Conference on Services Computing, Sep 2021, Chicago (online), United States. pp.407-412, ⟨10.1109/SCC53864.2021.00058⟩
Communication dans un congrès hal-03519990 v1

Migration-based service allocation optimization in dynamic IoT networks

Mengyu Sun , Zhangbing Zhou , Xiao Xue , Walid Gaaloul
ICSOC 2021: 19th International Conference on Service-Oriented Computing, Nov 2021, Dubai (online), United Arab Emirates. pp.385-399, ⟨10.1007/978-3-030-91431-8_24⟩
Communication dans un congrès hal-03520017 v1

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: 2nd International Conference on Process Mining, Oct 2020, Padua (online), Italy. pp.73-80, ⟨10.1109/ICPM49681.2020.00021⟩
Communication dans un congrès hal-03122728 v1

Detecting temporal anomaly and interestingness in timed business process models

Deng Zhao , Zhangbing Zhou , Yasha Wang , Walid Gaaloul
ICWS 2020: IEEE International Conference on Web Services, Oct 2020, Beijing (online), China. pp.418-422, ⟨10.1109/ICWS49710.2020.00061⟩
Communication dans un congrès hal-03122762 v1

Discovering activities from emails based on pattern discovery approach

Marwa Elleuch , Oumaima Alaoui Ismaili , Nassim Laga , Walid Gaaloul , Boualem Benatallah
BPM 2020: Business Process Management Forum, Sep 2020, Seville (online), Spain. pp.88-104, ⟨10.1007/978-3-030-58638-6_6⟩
Communication dans un congrès hal-03122726 v1

Learning a configurable deployment descriptors model in NFV

Wassim Sellil Atoui , Nour Assy , Walid Gaaloul , Imen Grida Ben Yahia
NOMS 2020: IEEE/IFIP Network Operations and Management Symposium, Apr 2020, Budapest, Hungary. pp.1-9, ⟨10.1109/NOMS47738.2020.9110328⟩
Communication dans un congrès hal-03122769 v1
Image document

Running transactional business processes with blockchain's smart contracts

Amina Brahem , Nizar Messai , Yacine Sam , Sami Bhiri , Thomas Devogele et al.
ICWS 2020: IEEE International Conference on Web Services, Oct 2020, Beijing (online), China. pp.89-93, ⟨10.1109/ICWS49710.2020.00019⟩
Communication dans un congrès hal-03046990 v1

A meta model for mining processes from email data

Marwa Elleuch , Nour Assy , Nassim Laga , Walid Gaaloul , Oumaima Alaoui Ismaili et al.
SCC 2020: IEEE International Conference on Services Computing, Nov 2020, Beijing (online), China. pp.152-161, ⟨10.1109/SCC49832.2020.00028⟩
Communication dans un congrès hal-03122716 v1

On the verification of data encryption requirements in Internet of Things using Event-B

Imed Abbassi , Layth Sliman , Mohamed Graiet , Walid Gaaloul
ICDEc 2019: 4th international conference on Digital Economy. Emerging Technologies and Business Innovation, Apr 2019, Beirut, Lebanon. pp.147-156, ⟨10.1007/978-3-030-30874-2_11⟩
Communication dans un congrès hal-03123346 v1

A SAT-based formal approach for verifying business process configuration

Abderrahim Ait Wakrime , Souha Boubaker , Slim Kallel , Walid Gaaloul
INNOVATIVE-DATA 2019: 5th international conference on Big Data Innovations and Applications, Aug 2019, Istanbul, Turkey. pp.47-62, ⟨10.1007/978-3-030-27355-2_4⟩
Communication dans un congrès hal-03123347 v1
Image document

Blockchain's fame reaches the execution of personalized touristic itineraries

Amina Brahem , Nizar Messai , Yacine Sam , Sami Bhiri , Thomas Devogele et al.
WETICE 2019 : IEEE 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2019, Naples, Italy. pp.186-191, ⟨10.1109/WETICE.2019.00047⟩
Communication dans un congrès hal-02385019 v1

SoS paradigm benefits SaaS integration: novel approach and first results

Wided Mathlouthi , Chahrazed Labba , Walid Gaaloul , Narjes Bellamine Ben Saoud
WETICE 2019: 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2019, Napoli, Italy. pp.174-179, ⟨10.1109/WETICE.2019.00045⟩
Communication dans un congrès hal-02482855 v1

A transactional approach for reliable elastic cloud resources

Farah Bellaaj Elloumi , Hayet Brabra , Mohamed Sellami , Walid Gaaloul , Sami Bhiri
SCC 2019: 16th IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.154-161, ⟨10.1109/SCC.2019.00035⟩
Communication dans un congrès hal-02280891 v1

Using deep learning for recommending and completing deployment descriptors in NFV

Wassim Sellil Atoui , Imen Grida Ben Yahia , Walid Gaaloul
NETSOFT 2019: IEEE Conference on Network Softwarization, Jun 2019, Paris, France. pp.233-235, ⟨10.1109/NETSOFT.2019.8806704⟩
Communication dans un congrès hal-02482849 v1

Model-driven orchestration for cloud resources

Hayet Brabra , Achraf Mtibaa , Walid Gaaloul , Benatallah Boualem , Faiez Gargouri
CLOUD 2019: 12th IEEE International Conference on Cloud Computing, Jul 2019, Milan, Italy. pp.422-429, ⟨10.1109/CLOUD.2019.00074⟩
Communication dans un congrès hal-02482813 v1

Discovering crossing-workflow fragments based on activity knowledge graph

Jinfeng Wen , Zhangbing Zhou , Yasha Wang , Walid Gaaloul , Yucong Duan
OTM 2019: On the Move to Meaningful Internet Systems Conferences: Confederated International Conferences: CoopIS, ODBASE, C&TC, Oct 2019, Rhodes, Greece. pp.515-532, ⟨10.1007/978-3-030-33246-4_32⟩
Communication dans un congrès hal-02482868 v1

Scheduling business process activities for time-aware cloud resource allocation

Rania Ben Halima , Slim Kallel , Walid Gaaloul , Mohamed Jmaiel
OTM 2018: Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2018, Valletta, Malta. pp.445 - 462, ⟨10.1007/978-3-030-02610-3_25⟩
Communication dans un congrès hal-01996235 v1

Energy-efficient WSN service composition for concurrent applications

Jiabei Xu , Zhangbing Zhou , Deng Zhao , Walid Gaaloul , Yucong Duan
ICWS 2018: IEEE International Conference on Web Services, Jun 2018, Seattle, United States. pp.74 - 81, ⟨10.1109/ICWS.2018.00017⟩
Communication dans un congrès hal-01996141 v1

Configurable IoT-aware allocation in business processes

Kunal Suri , Walid Gaaloul , Arnaud Cuccuru
SCC 2018: International Conference on Services Computing, Jun 2018, Seattle, United States. pp.119 - 136, ⟨10.1007/978-3-319-94376-3_8⟩
Communication dans un congrès hal-01996490 v1

Trustless blockchain-based access control in dynamic collaboration

Mouhamad Almakhour , Layth Sliman , Abed Ellatif Samhat , Walid Gaaloul
1st INTERNATIONAL CONFERENCE ON BIG DATA AND CYBER-SECURITY INTELLIGENCE (BDCSIntell’2018), Dec 2018, beirut, Lebanon. pp.27-33
Communication dans un congrès hal-03781538 v1

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: 32nd International Conference on Advanced Information Networking and Applications, May 2018, Krakow, Poland. pp.952 - 959, ⟨10.1109/AINA.2018.00139⟩
Communication dans un congrès hal-01996077 v1

A formal model for business process configuration verification supporting OR-join semantics

Souha Boubaker , Kais Klai , Hedi Korta , Walid Gaaloul
OTM 2018: Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2018, Valletta, Malta. pp.623 - 642, ⟨10.1007/978-3-030-02610-3_35⟩
Communication dans un congrès hal-01996462 v1

Formal modelling and verification of cloud resource allocation in business processes

Ikram Garfatta , Kais Klai , Mohamed Graiet , Walid Gaaloul
OTM 2018: Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2018, Valletta, Malta. pp.552 - 567, ⟨10.1007/978-3-030-02610-3_31⟩
Communication dans un congrès hal-01996297 v1

Model-driven elasticity for cloud resources

Hayet Brabra , Achraf Mtibaa , Walid Gaaloul , Boualem Benatallah
CAISE 2018: 30th International Conference on Advanced Information Systems Engineering, Jun 2018, Tallinn, Estonia. pp.187 - 202, ⟨10.1007/978-3-319-91563-0_12⟩
Communication dans un congrès hal-01996104 v1

Semantic-based global network view construction in software defined networks with multiple controllers

Wassim Sellil Atoui , Imen Grida Ben Yahia , Walid Gaaloul
NETSOFT 2018: 4th Conference on Network Softwarization and Workshops, Jun 2018, Montreal, Canada. pp.252 - 256, ⟨10.1109/NETSOFT.2018.8460137⟩
Communication dans un congrès hal-01996211 v1

[WiP] Formal modelling of IT resource allocation in business processes

Ikram Garfatta , Kais Klai , Mohamed Graiet , Walid Gaaloul
SOCA 2018: 11th Conference on Service-Oriented Computing and Applications, Nov 2018, Paris, France. pp.227 - 232, ⟨10.1109/SOCA.2018.00040⟩
Communication dans un congrès hal-01996546 v1

Anti-pattern specification and correction recommendations for semantic cloud services

Molka Rekik , Khouloud Boukadi , Walid Gaaloul , Hanene Ben-Abdallah
HICSS 2017 : 50th Hawaii International Conference on System Sciences, Jan 2017, Waikoloa Village, United States. pp.4231 - 4240
Communication dans un congrès hal-01696837 v1

Semantic framework for Internet of Things-aware business process development

Kunal Suri , Walid Gaaloul , Arnaud Cuccuru , Sébastien Gérard
WETICE 2017 : 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2017, Poznan, Poland. pp.214 - 219, ⟨10.1109/WETICE.2017.54⟩
Communication dans un congrès hal-01698458 v1

OCCI-compliant cloud configuration simulation

Mehdi Ahmed-Nacer , Walid Gaaloul , Samir Tata
EDGE 2017 : 1st International Conference on Edge Computing , Jun 2017, Honolulu, United States. pp.73 - 81, ⟨10.1109/IEEE.EDGE.2017.18⟩
Communication dans un congrès hal-01696667 v1

Optimal cost for time-aware cloud resource allocation in business process

Rania Ben Halima , Slim Kallel , Walid Gaaloul , Mohamed Jmaiel
SCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.314 - 321, ⟨10.1109/SCC.2017.47⟩
Communication dans un congrès hal-01696637 v1

Simulation of configurable resource allocation for cloud-based business processes

Mehdi Ahmed-Nacer , Kunal Suri , Mohamed Sellami , Walid Gaaloul
SCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.305 - 313, ⟨10.1109/SCC.2017.46⟩
Communication dans un congrès hal-01696560 v1

Cloud SLA modeling and monitoring

Taher Labidi , Achraf Mtibaa , Walid Gaaloul , Samir Tata , Faiez Gargouri
SCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.338 - 345, ⟨10.1109/SCC.2017.50⟩
Communication dans un congrès hal-01696649 v1
Image document

Model-based development of modular complex systems for accomplishing system integration for industry 4.0

Kunal Suri , Arnaud Cuccuru , Juan Cadavid , Sébastien Gérard , Walid Gaaloul et al.
5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Institute for Systems and Technologies of Information, Control and Communication (INSTICC), Feb 2017, Porto, Portugal. pp.487-495, ⟨10.5220/0006210504870495⟩
Communication dans un congrès hal-01474906 v1

Genetic-based configurable cloud resource allocation in QoS-aware business process development

Emna Hachicha , Karn Yongsiriwit , Mohamed Sellami , Walid Gaaloul
ICWS 2017 : 24th International Conference on Web Services, Jun 2017, Honolulu, United States. pp.836 - 839, ⟨10.1109/ICWS.2017.101⟩
Communication dans un congrès hal-01696951 v1

Deadlock-freeness verification of business process configuration using SOG

Souha Boubaker , Kais Klai , Katia Schmitz , Mohamed Graiet , Walid Gaaloul
ICSOC 2017 : 15th International Conference on Service-Oriented Computing, Nov 2017, Malaga, Spain. pp.96 - 112, ⟨10.1007/978-3-319-69035-3_7⟩
Communication dans un congrès hal-01696906 v1

Ontology-based SLA negotiation and re-negotiation for cloud computing

Taher Labidi , Achraf Mtibaa , Walid Gaaloul , Faiez Gargouri
WETICE 2017 : 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2017, Poznan, Poland. pp.36 - 41, ⟨10.1109/WETICE.2017.24⟩
Communication dans un congrès hal-01697003 v1

Adaptive Deployment of Service-Based Processes into Cloud Federations

Chahrazed Labba , Nour Assy , Narjes Bellamine , Walid Gaaloul
International Conference on Web Information Systems Engineering WISE 2017, Oct 2017, Puschino, Russia. pp.275 - 289, ⟨10.1007/978-3-319-68783-4_19⟩
Communication dans un congrès hal-01698525 v1

Formal verification of cloud resource allocation in business processes using Event-B

Souha Boubaker , Amel Mammar , Mohamed Graiet , Walid Gaaloul
AINA 2016 : 30th International Conference on Advanced Information Networking and Applications, Mar 2016, Crans-Montana, Switzerland. pp.746 - 753, ⟨10.1109/AINA.2016.126⟩
Communication dans un congrès hal-01341653 v1

A semantic framework supporting business process variability using event logs

Karn Yongsiriwit , Mohamed Sellami , Walid Gaaloul
SCC 2016 : 13th International Conference on Services Computing, Jun 2017, San Francisco, United States. pp.163 - 170, ⟨10.1109/SCC.2016.28⟩
Communication dans un congrès hal-01455133 v1

A linear program for optimal configurable business processes deployment into cloud federation

Molka Rekik , Khouloud Boukadi , Nour Assy , Walid Gaaloul , Hanene Ben-Abdallah
SCC 2016 : 13th International Conference on Services Computing, Jun 2017, San Francisco, United States. pp.34 - 41, ⟨10.1109/SCC.2016.31⟩
Communication dans un congrès hal-01455130 v1

A demo of a PaaS for IoT applications provisioning in hybrid cloud/fog environment

Ons Bibani , Sami Yangui , Roch Glitho , Walid Gaaloul , Nejib Ben Hadj Alouane et al.
LANMAN 2016 : 23rd International Symposium on Local and Metropolitan Area Networks , Jun 2016, Rome, Italy. pp.1 - 2, ⟨10.1109/LANMAN.2016.7548876⟩
Communication dans un congrès hal-01455637 v1

Energy efficient configurable resource allocation in cloud-based business processes

Emna Hachicha , Karn Yongsiriwit , Walid Gaaloul
OTM 2016 : Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2016, Rhodes, Greece. pp.437 - 444, ⟨10.1007/978-3-319-48472-3_25⟩
Communication dans un congrès hal-01455670 v1

A demo of IoT healthcare application provisioning in hybrid cloud/fog environment

Ons Bibani , Carla Mouradian , Sami Yangui , Roch Glitho , Walid Gaaloul et al.
CLOUD COM 2016 : 8th International Conference on Cloud Computing Technology and Science, Dec 2016, Luxembourg, Luxembourg. pp.472 - 475, ⟨10.1109/CloudCom.2016.0081⟩
Communication dans un congrès hal-01455506 v1

Semantic web technologies in cloud computing: a systematic literature review

Hayet Brabra , Achraf Mtibaa , Layth Sliman , Walid Gaaloul , Faiez Gargouri
SCC 2016 : 13th International Conference on Services Computing, Jun 2017, San Francisco, United States. pp.744 - 751, ⟨10.1109/SCC.2016.102⟩
Communication dans un congrès hal-01455455 v1

A configurable resource allocation for multi-tenant process development in the cloud

Emna Hachicha , Nour Assy , Walid Gaaloul , Jan Mendling
CAiSE 2016 : 28th International Conference on Advanced Information Systems Engineering, Jun 2017, Ljubljana, Slovenia. pp.558 - 574, ⟨10.1007/978-3-319-39696-5_34⟩
Communication dans un congrès hal-01455485 v1

A global SLA-aware approach for aggregating services in the cloud

Aida Lahouij , Lazhar Hamel , Mohamed Graiet , Abir Elkhalfa , Walid Gaaloul
OTM 2016 : Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2016, Rhodes, Greece. pp.363 - 380, ⟨10.1007/978-3-319-48472-3_21⟩
Communication dans un congrès hal-01455652 v1

Formal verification of time-aware cloud resource allocation in business process

Rania Ben Halima , Slim Kallel , Kais Klai , Walid Gaaloul , Mohamed Jmaiel
OTM 2016 : Confederated International Conferences "On the Move to Meaningful Internet Systems", Oct 2016, Rhodes, Greece. pp.400 - 417, ⟨10.1007/978-3-319-48472-3_23⟩
Communication dans un congrès hal-01455664 v1

A formal guidance approach for correct process configuration

Souha Boubaker , Amel Mammar , Mohamed Graiet , Walid Gaaloul
ICSOC 2016 : 14th International Conference on Service-Oriented Computing, Oct 2016, Banff, Canada. pp.483 - 498, ⟨10.1007/978-3-319-46295-0_30⟩
Communication dans un congrès hal-01425991 v1

A semantic framework supporting cloud resource descriptions interoperability

Karn Yongsiriwit , Mohamed Sellami , Walid Gaaloul
CLOUD 2016 : 9th International Conference on Cloud Computing, Jun 2017, San Francisco, United States. pp.585 - 592, ⟨10.1109/CLOUD.2016.0083⟩
Communication dans un congrès hal-01455119 v1

Social-based semantic framework for cloud resource management in business processes

Emna Hachicha , Walid Gaaloul , Zakaria Maamar
SCC 2016 : 13th International Conference on Services Computing, Jun 2017, San Francisco, United States. pp.443 - 450, ⟨10.1109/SCC.2016.64⟩
Communication dans un congrès hal-01455425 v1

An event-B based approach for ensuring correct configurable business processes

Souha Boubaker , Amel Mammar , Mohamed Graiet , Walid Gaaloul
ICWS 2016 : 23rd IEEE International Conference on Web Services, Jun 2016, San Francisco, United States. pp.460 - 467, ⟨10.1109/ICWS.2016.66⟩
Communication dans un congrès hal-01359893 v1

Detecting cloud (anti)patterns: OCCI perspective

Hayet Brabra , Achraf Mtibaa , Layth Sliman , Walid Gaaloul , Faiez Gargouri et al.
ICSOC 2016 : 14th International Conference on Service-Oriented Computing, Oct 2016, Banff, Canada. pp.202 - 218, ⟨10.1007/978-3-319-46295-0_13⟩
Communication dans un congrès hal-01455521 v1

Towards resource-aware business process development in the cloud

Emna Hachicha , Walid Gaaloul
AINA 2015 : 29th IEEE International Conference onAdvanced Information Networking and Applications, Mar 2015, Gwangiu, South Korea. pp.761 - 768, ⟨10.1109/AINA.2015.265⟩
Communication dans un congrès hal-01255060 v1

Event-B based approach for verifying cloud resource allocation in business process

Souha Boubaker , Walid Gaaloul , Mohamed Graiet , Nejib Ben Hadj Alouane
SCC 2015 : 12th IEEE International Conference on Services Computing, Jun 2015, New York, United States. pp.538 - 545, ⟨10.1109/SCC.2015.79⟩
Communication dans un congrès hal-01255087 v1

Extracting configuration guidance models from business process repositories

Nour Assy , Walid Gaaloul
BPM 2015 : 13th International Conference on Business Process Management, Aug 2015, Innsbruck, Autriche. pp.198 - 206, ⟨10.1007/978-3-319-23063-4_14⟩
Communication dans un congrès hal-01255063 v1

Semantic process fragments matching to assist the development of process variants

Karn Yongsiriwit , Mohamed Sellami , Walid Gaaloul
SCC 2015 : 12th IEEE International Conference on Services Computing, Jun 2015, New York, United States. pp.712 - 719 ⟨10.1109/SCC.2015.101⟩
Communication dans un congrès hal-01255078 v1

Log-Based Process Fragment Querying to Support Process Desig

Karn Yongsiriwit , Chan Nguyen , Walid Gaaloul
2015 48th Hawaii International Conference on System Sciences (HICSS), Jan 2015, Kauai, HI, United States. ⟨10.1109/HICSS.2015.493⟩
Communication dans un congrès hal-01253062 v1

Genetic-based approach for ATS and SLA-aware web services composition

Imed Abassi , Mohamed Graiet , Walid Gaaloul , Nejib Ben Hadj Alouane
WISE 2015 : 16th International Conference Web Information Systems Engineering, Nov 2015, Miami, United States. pp.369 - 383, ⟨10.1007/978-3-319-26190-4_25⟩
Communication dans un congrès hal-01282712 v1

Configuration rule mining for variability analysis in configurable process models

Nour Assy , Walid Gaaloul
ICSOC 2014 : 12th International Conference on Service Oriented Computing, Nov 2014, Paris, France. pp.1 - 15, ⟨10.1007/978-3-662-45391-9_1⟩
Communication dans un congrès hal-01263085 v1
Image document

Querying Services Based on Composition Context

Ngoc Chan Nguyen , Walid Gaaloul
23rd IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Jun 2014, Parma, Italy. pp.44 - 49, ⟨10.1109/WETICE.2014.34⟩
Communication dans un congrès hal-01113536 v1

A formal approach for enforcing transactional requirements in web service compositions

Imed Abassi , Mohamed Graiet , Walid Gaaloul , Nejib Ben Hadj Alouane
SCC 2014 : 11th IEEE International Conference on Services Computing, Jun 2014, Anchorage, Ak, United States. pp.637 - 644, ⟨10.1109/SCC.2014.89⟩
Communication dans un congrès hal-01263087 v1

Mining configurable process fragments for business process design

Nour Assy , Walid Gaaloul , Bruno Defude
DESRIST 2014 : 9th International Conference on Design Science Research in Information Systems and Technology , May 2014, Miami, United States. pp.209 - 224, ⟨10.1007/978-3-319-06701-8_14⟩
Communication dans un congrès hal-01263086 v1
Image document

Mining Event Logs to Assist the Development of Executable Process Variants

Ngoc Chan Nguyen , Karn Yongsiriwit , Walid Gaaloul , Jan Mendling
26th International Conference on Advanced Information Systems Engineering, Jun 2014, Thessaloniki, Greece. pp.548 - 563, ⟨10.1007/978-3-319-07881-6_37⟩
Communication dans un congrès hal-01113532 v1

Modeling and verifying the transactional and QoS-aware services composition using Event-B

Imed Abassi , Mourad Kmimech , Nejib Ben Hadj Alouane , Walid Gaaloul
WETICE 2014 : IEEE 23rd International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2014, Parme, Italy. pp.313 - 318, ⟨10.1109/WETICE.2014.85⟩
Communication dans un congrès hal-01263084 v1

Assisting business process design with configurable process fragments

Nour Assy , Ngoc Chan Nguyen , Walid Gaaloul
IEEE SCC 2013 : 10th International Conference on Services Computing, Jun 2013, Santa Clara C.A., United States. pp.535-542, ⟨10.1109/SCC.2013.97⟩
Communication dans un congrès hal-00970457 v1

Event-B based approach for verifying dynamic composite service transactional behavior

Mohamed Graiet , Imed Abassi , Lazhar Hamel , Mohamed Tahar Bhiri , Mourad Kmimech et al.
ICWS 2013 : 20th International Conference on Web Services, Jun 2013, Santa Clara, United States. pp.251 - 259, ⟨10.1109/ICWS.2013.42⟩
Communication dans un congrès hal-00967037 v1

Modeling and managing communities of web service registries

Olfa Bouchaala , Mohamed Sellami , Walid Gaaloul , Samir Tata , Mohamed Jmaiel
WEBIST '11 : 7th International Conference on Web Information Systems and Technologies, May 2011, Noordwijkerhout, Netherlands. pp.88-102, ⟨10.1007/978-3-642-28082-5_7⟩
Communication dans un congrès hal-00751245 v1

CPS track report : 2nd track on cyber physical society with SOA, BPM and sensor networks

Zhangbing Zhou , Walid Gaaloul , Tan Wei , Daqiang Zhang
WETICE ' 12 : IEEE 21st International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises, Jun 2012, Toulouse, France. pp.315-317, ⟨10.1109/WETICE.2012.23⟩
Communication dans un congrès hal-00751232 v1

An ontology for workflow organizational model mining

Rami Sellami , Walid Gaaloul , Samir Moalla
WETICE 2012 : 21st International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises, Jun 2012, Toulouse, France. pp.199 - 204, ⟨10.1109/WETICE.2012.29⟩
Communication dans un congrès hal-00751234 v1

Assisting business process design by activity neighborhood context matching

Ngoc Chan Nguyen , Walid Gaaloul , Samir Tata
ICSOC '12 : 10th International Conference on Service Oriented Computing, Nov 2012, Shanghai, China. pp.541-549, ⟨10.1007/978-3-642-34321-6_38⟩
Communication dans un congrès hal-00748524 v1

Towards a unified marketplace for functionality-based cloud service discovery

Mohamed Sellami , Walid Gaaloul , Bruno Defude , Samir Tata
CLOSER '12 : 2nd International Conference on Cloud Computing and Services Science, Apr 2012, Porto, Portugal. pp.252-257
Communication dans un congrès hal-00748645 v1

Data mapping web services for composite DaaS mediation

Mohamed Sellami , Walid Gaaloul , Bruno Defude
WETICE ' 12 : IEEE 21st International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises, Jun 2012, Toulouse, France. pp.36-41, ⟨10.1109/WETICE.2012.19⟩
Communication dans un congrès hal-00751230 v1

Context-based service recommendation for assisting business process design

Ngoc Chan Nguyen , Walid Gaaloul , Samir Tata
EC-Web '11 : 12th International Conference on Electronic Commerce and Web Technologies, Aug 2011, Toulouse, France. pp.39-51, ⟨10.1007/978-3-642⟩
Communication dans un congrès hal-00660119 v1

Verifying composite service transactional behavior with EVENT-B

Lazhar Hamel , Mohamed Graiet , Mourad Kmimech , Mohamed Tahar Bhiri , Walid Gaaloul
ECSA 2011 : 5th European Conference on Software Architecture, Sep 2011, Essen, Germany. pp.67 - 74, ⟨10.1007/978-3-642-23798-0_7⟩
Communication dans un congrès istex hal-01354674 v1

MDE approach for the generation and verification of SCA model

Soumaya Louhichi , Mohamed Graiet , Mourad Kmimech , Mohamed Tahar Bhiri , Walid Gaaloul et al.
iiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.317-320, ⟨10.1145/2095536.2095592⟩
Communication dans un congrès hal-00751241 v1

An implicit approach for building communities of web service registries

Mohamed Sellami , Walid Gaaloul , Samir Tata
iiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.230-237, ⟨10.1145/2095536.2095575⟩
Communication dans un congrès hal-00751240 v1

Petri net modeling and verification of transactional workflows

Kais Klai , Walid Gaaloul
WETICE 2011 : 20th IEEE International Conference on Collaboration Technologies and Infrastructures, Jun 2011, Paris, France. pp.176 - 184, ⟨10.1109/WETICE.2011.72⟩
Communication dans un congrès hal-01303060 v1

Service protocol replaceability assessment in mediated service interactions

Zhangbing Zhou , Walid Gaaloul , Samir Tata , Feng Gao , Lei Shu
ICC 2011 : IEEE International Conference on Communications, Jun 2011, Kyoto, Japan. pp.1 - 5, ⟨10.1109/icc.2011.5963370⟩
Communication dans un congrès hal-01303821 v1

Composition Context Matching for Web Service Recommendation

Ngoc Chan Nguyen , Walid Gaaloul , Samir Tata
SCC '11 : The 8th International Conference on Services Computing, Jul 2011, Washington, United States. pp.624-631, ⟨10.1109/SCC.2011.68⟩
Communication dans un congrès hal-00748846 v1

Towards a transformation of composite web service with QoS extension into ACME\Armani

Raoudha Maraoui , Amel Mhamdi , Mohamed Graiet , Mourad Kmimech , Mohamed Tahar Bhiri et al.
iiWAS '11 : The 13th International Conference on Information Integration and Web-based Applications & Services, Dec 2011, Ho Chi Minh City, Vietnam. pp.349-352, ⟨10.1145/2095536.2095601⟩
Communication dans un congrès hal-00751243 v1

Profile UML2.0 for specification of the SCA architectures

Wided Ben Abid , Mohamed Graiet , Mourad Kmimech , Mohamed Tahar Bhiri , Walid Gaaloul et al.
SKG 2011 : 7th International Conference on Semantics, Knowledge and Grids, Oct 2011, Beijing, China. pp.191 - 194, ⟨10.1109/SKG.2011.36⟩
Communication dans un congrès hal-01354605 v1

UML 2.0 Profile for Structural and Behavioral Specification of SCA Architectures

W. Ben Abid , Mohamed Graiet , M. Kmimech , M. T. Bhiri , Walid Gaaloul et al.
The Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain
Communication dans un congrès hal-00648911 v1

A web service recommender system using vector space model and latent semantic indexing

Ngoc Chan Nguyen , Walid Gaaloul , Samir Tata
AINA 2011 : 25th IEEE International Conference on Advanced Information Networking and Applications, Mar 2011, Biopolis, Singapore. pp.602 - 609, ⟨10.1109/AINA.2011.99⟩
Communication dans un congrès hal-01303862 v1

Implementation of communities of web service registries

Mohamed Sellami , Walid Gaaloul , Samir Tata
ICWS 2011 : 9th IEEE International Conference on Web Services, Jul 2011, Washington, United States. pp.690 - 691, ⟨10.1109/ICWS.2011.69⟩
Communication dans un congrès hal-01303860 v1

Clustering and managing data providing services using machine learning technique

Zhangbing Zhou , Mohamed Sellami , Walid Gaaloul , Bruno Defude
IWCPS 2011 : 2nd International Workshop on Cyber-Physical Society, Oct 2011, Beijing, China. pp.225 - 232, ⟨10.1109/SKG.2011.9⟩
Communication dans un congrès hal-01302449 v1

ATL transformation for the generation of SCA model

Soumaya Louhichi , Mohamed Graiet , Mourad Kmimech , Mohamed Tahar Bhiri , Walid Gaaloul et al.
SKG '11 : The 7th International Conference on Semantics Knowledge & Grids, Oct 2011, Beijing, China. pp.164-167, ⟨10.1109/SKG.2011.37⟩
Communication dans un congrès hal-00751248 v1

Graph-based management of communities of web service registries

Olfa Bouchaala , Mohamed Sellami , Walid Gaaloul , Samir Tata , Mohamed Jmaiel
WEBIST 2011 : 7th International Conference on Web Information Systems and Technologies, May 2011, Noordwijkerhout, Netherlands. pp.61 - 70, ⟨10.5220/0003347400610070⟩
Communication dans un congrès hal-01303855 v1

Functionality-driven clustering of web service registries

Mohamed Sellami , Walid Gaaloul , Samir Tata
SCC 2010 : 7th International Conference on Services Computing, Jul 2010, Miami, United States. pp.631 - 634, ⟨10.1109/SCC.2010.70⟩
Communication dans un congrès hal-01356813 v1

WSRD : a Web Services Registry Description

Mohamed Sellami , Olfa Bouchaala , Walid Gaaloul , Samir Tata
NOTERE 2010 : 10ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition, May 2010, Tozeur, Tunisia
Communication dans un congrès hal-00552969 v1

Web services recommendation based on user's behavior

Ngoc Chan Nguyen , Walid Gaaloul , Samir Tata
ICEBE 2010 : IEEE International Conference on e-Business Engineering, Nov 2010, Shanghai, China. pp.214 - 221, ⟨10.1109/ICEBE.2010.35⟩
Communication dans un congrès hal-01308672 v1

Using recommendation to limit search space in Web services discovery

Mohamed Sellami , Walid Gaaloul , Samir Tata , Mohamed Jmaiel
AINA 2010 : 24th IEEE International Conference on Advanced Information Networking and Applications, Apr 2010, Perth, Australia. pp.974 - 981, ⟨10.1109/AINA.2010.44⟩
Communication dans un congrès hal-01354827 v1

Collaborative filtering technique for web service recommendation based on user-operation combination

Ngoc Chan Nguyen , Walid Gaaloul , Samir Tata
CoopIS 2010 : 18th International Conference on Cooperative Information Systems, Oct 2010, Crete, Greece. pp.222 - 239, ⟨10.1007/978-3-642-16934-2_17⟩
Communication dans un congrès istex hal-01308334 v1

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 : 12th International Conference on Information Integration and Web-based Applications & Services, Oct 2010, Paris, France. pp.75 - 82, ⟨10.1145/1967486.1967502⟩
Communication dans un congrès hal-01308596 v1

From workflow models to executable Web service interfaces

Armin Haller , Mateusz Marmolowski , Walid Gaaloul , Eyal Oren , Brahmananda Sapkota et al.
ICWS 2009 : IEEE 7th International Conference on Web Services, Jul 2009, Los Angeles, Ca, United States. pp.131 - 140, ⟨10.1109/ICWS.2009.51⟩
Communication dans un congrès hal-00441503 v1

A workflow mining tool based on logs statistical analysis

Walid Gaaloul , Claude Godart
The Eighteenth International Conference on Software Engineering and Knowledge Engineering SEKE'06, Jul 2006, San Francisco, California, USA
Communication dans un congrès inria-00114832 v1

A bottom-up workflow mining approach for workflow applications analysis

Walid Gaaloul , Karim Baïna , Claude Godart
2nd International Workshop on Data ngineering Issues in E-Commerce and Services, DEECS'06, Jun 2006, San Francisco, California, USA
Communication dans un congrès inria-00114831 v1

Discovering and Improving Recovery Mechanisms of Composite Web Services

Sami Bhiri , Walid Gaaloul , Claude Godart
IEEE International Conference on Web Services - ICWS'06, Sep 2006, Chicago, USA, pp.99-110, ⟨10.1109/ICWS.2006.52⟩
Communication dans un congrès inria-00114835 v1

Workflowminer: A new workflow patterns and performance analysis tool

Walid Gaaloul , Karim Baïna , Reda El Khattabi , Abdellah Mouhou
18th Conference on Advanced Information Systems Engineering - CAiSE'06 Forum and Tools Demonstrations, Jun 2006, Luxembourg, Luxembourg
Communication dans un congrès inria-00114828 v1

Mining Workflow Recovery From Event Based Logs

Walid Gaaloul , Claude Godart
Third International Conference on Business Process Management - BPM'05, Sep 2005, Nancy, France., pp.169-185, ⟨10.1007/11538394_12⟩
Communication dans un congrès istex inria-00000482 v1

Mining Workflow Patterns through Event-data Analysis

Walid Gaaloul , Sadek Alaoui , Karim Baïna , Claude Godart
International Symposium on Applications and the Internet - SAINT 2005. Workshop 6: Teamware: Supporting Scalebable Virtual Teams in Multi-organizational Settings, Jan 2005, Trento, Italy, pp.226- 229, ⟨10.1109/SAINTW.2005.1620017⟩
Communication dans un congrès inria-00000484 v1

Towards Mining Structural Workflow Patterns

Walid Gaaloul , Karim Baïna , Claude Godart
16th International Conference on Database and Expert Systems Applications DEXA'05, Aug 2005, Copenhagen, Denmark. pp.24-33, ⟨10.1007/11546924_3⟩
Communication dans un congrès istex inria-00000483 v1

Business Process Intelligence : Discovering and Improving Transactional behavior of Composite Services From Logs

Walid Gaaloul
Doctoral symposium in INTEROP-ESA'05 - First International Conference on Interoperability of Enterprise Software and Applications, Feb 2005, Geneva/Switzerland
Communication dans un congrès inria-00000485 v1

WorkflowMiner : An infrastructure for Mining Workflow Patterns

Walid Gaaloul , Sadek Alaoui , Karim Baïna , Claude Godart
3èmes Journées Nationales sur les Systèmes Intelligents : Théories et Applications - SITA'04, Oct 2004, Rabat, Maroc
Communication dans un congrès inria-00000488 v1

A Pattern for Interconnecting Distributed Components

Walid Gaaloul , Karim Baïna , Khalid Benali , Claude Godart
6th International Conference on Enterprise Information Systems - ICEIS 2004, Apr 2004, Porto/Portugal, pp.430-434
Communication dans un congrès inria-00000489 v1

Discovering Workflow Patterns from Timed Logs

Walid Gaaloul , Sami Bhiri , Claude Godart
Information Systems in E-Business and E-Government - EMISA 2004, Oct 2004, Luxembourg/Luxembourg
Communication dans un congrès inria-00000487 v1

Discovering Workflow Transactional Behaviour from Event-based Log

Walid Gaaloul , Sami Bhiri , Claude Godart
12th International Conference on Cooperative Information Systems - CoopIS 2004 ; On The Move Federated Conferences - OTM 2004, Oct 2004, Agia Napa/Cyprus., pp.3-18, ⟨10.1007/b102173⟩
Communication dans un congrès inria-00000486 v1

An Object Oriented Metamodel for Inter-entreprises Cooperative Processes based on Web Services

Sami Bhiri , Olivier Perrin , Walid Gaaloul , Claude Godart
7th World Conference on Integrated Design and Process Technology 2003 - IDPT'2003, 2003, Austin, Texas, Etats Unis
Communication dans un congrès inria-00099591 v1

Un patron pour l'interconnexion des composants distribués

Walid Gaaloul , Karim Baïna , Khalid Benali , Claude Godart
1ère Conférence Plénière STIC - CoPSTIC'03, Dec 2003, Rabat/Maroc
Communication dans un congrès inria-00000490 v1

Random-value payment tokens for on-chain privacy-preserving payments

Tiphaine Henry , Julien Hatin , Léo Kazmierczak , Nassim Laga , Walid Gaaloul
Cooperative Information Systems, 13591, Springer International Publishing, pp.223-241, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-17834-4_13⟩
Chapitre d'ouvrage hal-03836450 v1

A reengineering approach for ensuring transactional reliability of composite services

Claude Godart , Sami Bhiri , Walid Gaaloul
Information Science reference. Web Services Research for Emerging Applications: Discoveries and Trends, IGI Global, pp.290-316, 2010, 978-1-61520-684-1. ⟨10.4018/978-1-61520-684-1.ch013⟩
Chapitre d'ouvrage inria-00540865 v1

Découverte de la logique des processus

Walid Gaaloul , Daniela Grigori
Les processus métiers : concepts, modèles et systèmes, Hermès science publications‎ : Lavoisier, 2009, IC2, Série Informatique et systèmes d'information, 978-2-7462-2300-4
Chapitre d'ouvrage hal-00441528 v1

Intelligence des processus

Walid Gaaloul , Daniela Grigori
Les processus métiers : concepts, modèles et systèmes, Hermes Science publications : Lavoisier, pp.199 - 225, 2009, IC2, Série Informatique et systèmes d'information, 978-2-7462-2300-4
Chapitre d'ouvrage hal-00441531 v1