SAMOVAR – SAMOVAR
Telecom SudParis
9 rue Charles Fourier
91011 EVRY CEDEX

Fax : +33 (0) 1 60 76 20 80

Walid Gaaloul

Professeur
ACMES, Direction & personnel de support

walid.gaaloul[@-Code to remove to avoid SPAM-]telecom-sudparis.eu

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. He is the deputy director of the research laboratory SAMOVAR and the leader of ACMES, a research team of SAMOVAR laboratory. He is also member of the DIEGO group part of the Computer Science Department of Télécom SudParis.

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 200 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.

Article dans une revue

2024

ref_biblio: Hongtai Guo, Zhangbing Zhou, Deng Zhao, Walid Gaaloul. EGNN: energy-efficient anomaly detection for IoT multivariate time series data using graph neural network. Future Generation Computer Systems, 2024, 151, pp.45-56. ⟨10.1016/J.FUTURE.2023.09.028⟩. ⟨hal-04376917⟩
Accès au bibtex

ref_biblio: Tiphaine Henry, Julien Hatin, Eloi Besnard, Nassim Laga, Walid Gaaloul. Towards trustworthy and privacy-preserving decentralized auctions. Journal of Banking and Financial Technology, In press, ⟨10.1007/s42786-024-00051-0⟩. ⟨hal-04145599⟩
Accès au texte intégral et bibtex

2023

ref_biblio: Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Walid Gaaloul. Process fragments discovery from emails: functional, data and behavioral perspectives discovery. Information Systems, 2023, 118, pp.102229. ⟨10.1016/J.IS.2023.102229⟩. ⟨hal-04376913⟩
Accès au bibtex

ref_biblio: Meriana Kobeissi, Nour Assy, Walid Gaaloul, Bruno Defude, Boualem Benatallah, et al.. Natural language querying of process execution data. Information Systems, 2023, 116 (C), pp.102227. ⟨10.1016/j.is.2023.102227⟩. ⟨hal-04490513⟩
Accès au bibtex

ref_biblio: Meriana Kobeissi, Nour Assy, Walid Gaaloul, Bruno Defude, Boualem Benatallah, et al.. Natural language querying of process execution data. Information Systems, 2023, 116, pp.102227:1-102227:16. ⟨10.1016/J.IS.2023.102227⟩. ⟨hal-04376914⟩
Accès au bibtex

ref_biblio: Xiaocui Li, Zhangbing Zhou, Qiang He, Zhensheng Shi, Walid Gaaloul, et al.. Re-scheduling IoT services in edge networks. IEEE Transactions on Network and Service Management, 2023, 20 (3), pp.3233-3246. ⟨10.1109/TNSM.2023.3242937⟩. ⟨hal-04376906⟩
Accès au bibtex

ref_biblio: Leyla Moctar M’baba, Nour Assy, Mohamed Sellami, Walid Gaaloul, Mohamedade Farouk Nanne. Process mining for artifact-centric blockchain applications. Simulation Modelling Practice and Theory, 2023, 127, pp.102779. ⟨10.1016/j.simpat.2023.102779⟩. ⟨hal-04112603⟩
Accès au texte intégral et bibtex

ref_biblio: Deng Zhao, Zhangbing Zhou, Patrick Hung, Shuiguang Deng, Xiao Xue, et al.. CTL-based adaptive service composition in edge networks. IEEE Transactions on Services Computing, 2023, 16 (2), pp.1051-1065. ⟨10.1109/TSC.2022.3184013⟩. ⟨hal-04376902⟩
Accès au bibtex

2022

ref_biblio: Mehdi Ahmed-Nacer, Slim Kallel, Faiez Zalila, Philippe Merle, Walid Gaaloul. Model driven simulation of elastic OCCI cloud resources. The Computer Journal, 2022, 65 (5), pp.1144-1166. ⟨10.1093/comjnl/bxaa159⟩. ⟨hal-02976775⟩
Accès au texte intégral et bibtex

ref_biblio: Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia. A model‐driven approach for deployment descriptor design in network function virtualization. International Journal of Network Management, 2022, 32 (1), pp.1144-1166. ⟨10.1002/nem.2165⟩. ⟨hal-03992621⟩
Accès au bibtex

ref_biblio: Hayet Brabra, Marcos Baez, Boualem Benatallah, Walid Gaaloul, Sara Bouguelia, et al.. Dialogue management in conversational systems: a review of approaches, challenges, and opportunities. IEEE Transactions on Cognitive and Developmental Systems, 2022, 14 (3), pp.783-798. ⟨10.1109/TCDS.2021.3086565⟩. ⟨hal-03626466⟩
Accès au texte intégral et bibtex

ref_biblio: Jeremy Mechouche, Roua Touihri, Mohamed Sellami, Walid Gaaloul. Conformance checking for autonomous multi-cloud SLA management and adaptation. Journal of Supercomputing, 2022, 78 (11), pp.13004-13039. ⟨10.1007/s11227-022-04363-0⟩. ⟨hal-03613903⟩
Accès au texte intégral et bibtex

ref_biblio: Mengyu Sun, Zhangbing Zhou, Xiao Xue, Wenbo Zhang, Walid Gaaloul. Adaptive configuration of service-based smart sensors in edge networks. IEEE Transactions on Industrial Informatics, 2022, 18 (4), pp.2674-2683. ⟨10.1109/TII.2021.3074513⟩. ⟨hal-03992643⟩
Accès au bibtex

2021

ref_biblio: Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Emna Guermazi, Walid Gaaloul. A Formal model for configurable business process with optimal cloud resource allocation. Journal of Universal Computer Science, 2021, 27 (7), pp.693-713. ⟨10.3897/jucs.70978⟩. ⟨hal-04490808⟩
Accès au texte intégral et bibtex

ref_biblio: Rania Ben Halima, Slim Kallel, Mehdi Ahmed Nacer, Walid Gaaloul. Optimal business process deployment cost in cloud resources. Journal of Supercomputing, 2021, 77 (2), pp.1579-1611. ⟨10.1007/s11227-020-03316-9⟩. ⟨hal-03519992⟩
Accès au bibtex

ref_biblio: Marwa Elleuch, Nassim Laga, Oumaima Alaoui Ismaili, Walid Gaaloul. Multi‐perspective business process discovery from messaging systems: state‐of‐the art. Concurrency and Computation: Practice and Experience, 2021, 35 (11), ⟨10.1002/CPE.6642⟩. ⟨hal-04376915⟩
Accès au bibtex

ref_biblio: Slim Kallel, Zakaria Maamar, Mohamed Sellami, Noura Faci, Ahmed Ben Arab, et al.. Restriction‐based fragmentation of business processes over the cloud. Concurrency and Computation: Practice and Experience, 2021, 33 (7), pp.1-20. ⟨10.1002/cpe.5445⟩. ⟨hal-02998183⟩
Accès au bibtex

2020

ref_biblio: Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia. Configurable deployment descriptor model in NFV. Journal of Network and Systems Management, 2020, 28 (3), pp.693-718. ⟨10.1007/s10922-020-09531-2⟩. ⟨hal-03122714⟩
Accès au bibtex

ref_biblio: Rania Ben Halima, Slim Kallel, Walid Gaaloul, Zakaria Maamar, Mohamed Jmaiel. Toward a correct and optimal time-aware cloud resource allocation to business processes. Future Generation Computer Systems, 2020, 112, pp.751-766. ⟨10.1016/j.future.2020.06.018⟩. ⟨hal-03122709⟩
Accès au texte intégral et bibtex

ref_biblio: Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah. Toward higher-level abstractions based on state machine for cloud resources elasticity. Information Systems, 2020, 90, pp.101450:1-101450:20. ⟨10.1016/j.is.2019.101450⟩. ⟨hal-03122711⟩
Accès au bibtex

ref_biblio: Walid Gaaloul, Zhangbing Zhou, Hervé Panetto, Liang Zhang. Special issue on fog and cloud computing for cooperative information system management. Future Generation Computer Systems, 2020, 109, pp.704-705. ⟨10.1016/j.future.2020.02.060⟩. ⟨hal-02888680⟩
Accès au texte intégral et bibtex

ref_biblio: Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Faiez Gargouri. Cloud SLA negotiation and re‐negotiation: an ontology‐based context‐aware approach. Concurrency and Computation: Practice and Experience, 2020, 32 (15), pp.e5315. ⟨10.1002/cpe.5315⟩. ⟨hal-03122790⟩
Accès au bibtex

ref_biblio: Deng Zhao, Zhangbing Zhou, Shangguang Wang, Bo Liu, Walid Gaaloul. Reinforcement learning–enabled efficient data gathering in underground wireless sensor networks. Personal and Ubiquitous Computing, 2020, 27 (3), pp.581 – 598. ⟨10.1007/s00779-020-01443-x⟩. ⟨hal-04490562⟩
Accès au bibtex

ref_biblio: Deng Zhao, Zhangbing Zhou, Shangguang Wang, Bo Liu, Walid Gaaloul. Reinforcement learning–enabled efficient data gathering in underground wireless sensor networks. Personal and Ubiquitous Computing, 2020, 27 (3), pp.581-598. ⟨10.1007/S00779-020-01443-X⟩. ⟨hal-04376912⟩
Accès au bibtex

2019

ref_biblio: Hayet Brabra, Achraf Mtibaa, Fabio Petrillo, Philippe Merle, Layth Sliman, et al.. On semantic detection of cloud API (anti)patterns. Information and Software Technology, 2019, 107, pp.65 – 82. ⟨10.1016/j.infsof.2018.10.012⟩. ⟨hal-02375380⟩
Accès au texte intégral et bibtex

ref_biblio: Mariam Chaabane, Ismael Bouassida Rodriguez, Ricardo Colomo-Palacios, Walid Gaaloul, Mohamed Jmaiel. A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 standard evaluated by Goal-Question-Metric. Science of Computer Programming, 2019, 184, pp.102305-1:102305-24. ⟨10.1016/j.scico.2019.102305⟩. ⟨hal-02482768⟩
Accès au bibtex

ref_biblio: Mengyu Sun, Zhangbing Zhou, Junping Wang, Chu Du, Walid Gaaloul. Energy-efficient IoT service composition for concurrent timed applications. Future Generation Computer Systems, 2019, 100, pp.1017-1030. ⟨10.1016/j.future.2019.05.070⟩. ⟨hal-02482758⟩
Accès au texte intégral et bibtex

2018

ref_biblio: Mohamed Graiet, Imed Abbassi, Mourad Kmimech, Walid Gaaloul. Genetic-based adaptive approach for reliable and efficient service composition. IEEE Systems Journal, 2018, 12 (2), pp.1644 – 1654. ⟨10.1109/JSYST.2016.2612641⟩. ⟨hal-01987661⟩
Accès au bibtex

ref_biblio: Molka Rekik, Khouloud Boukadi, Nour Assy, Walid Gaaloul, Hanene Ben-Abdallah. Optimal deployment of configurable business processes in cloud federations. IEEE Transactions on Network and Service Management, 2018, 15 (4), pp.1692 – 1705. ⟨10.1109/TNSM.2018.2880195⟩. ⟨hal-01996051⟩
Accès au bibtex

ref_biblio: Kunal Suri, Walid Gaaloul, Arnaud Cuccuru, Sébastien Gerard. Semantic framework for energy-aware resource management of IoT in business processes. International journal of systems and service-oriented engineering (IJSSOE), 2018, 8 (1), pp.21 – 43. ⟨10.4018/IJSSOE.2018010102⟩. ⟨cea-01810026⟩
Accès au bibtex

ref_biblio: Deng Zhao, Walid Gaaloul, Wenbo Zhang, Chunsheng Zhu, Zhangbing Zhou. Formal verification of temporal constraints for mobile service-based business process models. IEEE Access, 2018, 6, pp.59843 – 59852. ⟨10.1109/ACCESS.2018.2874937⟩. ⟨hal-01987392⟩
Accès au bibtex

ref_biblio: Zhangbing Zhou, Zehui Cheng, Liang-Jie Zhang, Walid Gaaloul, Ke Ning. Scientific workflow clustering and recommendation leveraging layer hierarchical analysis. IEEE Transactions on Services Computing, 2018, 11 (1), pp.169 – 183. ⟨10.1109/TSC.2016.2542805⟩. ⟨hal-01710905⟩
Accès au bibtex

2017

ref_biblio: Mohamed Graiet, Amel Mammar, Souha Boubaker, Walid Gaaloul. Towards correct cloud resource allocation in business processes. IEEE Transactions on Services Computing, 2017, 10 (1), pp.23 – 36. ⟨10.1109/TSC.2016.2594062⟩. ⟨hal-01575735⟩
Accès au bibtex

2016

ref_biblio: Djamel Belaid, Imen Ben Lahmar, Walid Gaaloul. Developing correct adapters for software architectural dynamic reconfiguration. International journal of autonomous and adaptive communications systems, 2016, 9 (3-4), pp.201 – 222. ⟨10.1504/IJAACS.2016.079622⟩. ⟨hal-01438803⟩
Accès au bibtex

ref_biblio: Karn Yongsiriwit, Nour Assy, Walid Gaaloul. A semantic framework for configurable business process as a service in the cloud. Journal of Network and Computer Applications (JNCA), 2016, 59, pp.168 – 184. ⟨10.1016/j.jnca.2015.07.007⟩. ⟨hal-01453247⟩
Accès au bibtex

ref_biblio: Zhangbing Zhou, Kim-Fung Tsang, Zhao Zhuofeng, Walid Gaaloul. Data intelligence on the Internet of Things. Personal and Ubiquitous Computing, 2016, 20 (3), pp.277 – 281. ⟨10.1007/s00779-016-0912-1⟩. ⟨hal-01453237⟩
Accès au bibtex

2015

ref_biblio: Nour Assy, Walid Gaaloul, Layth Sliman, Bruno Defude. Configuration assistée des processus métier. Conception et expérimentation. 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⟩. ⟨hal-01434476⟩
Accès au bibtex

ref_biblio: Zahra Movahedi, Walid Gaaloul, Sami Bhiri, Bruno Defude. Assisting sensor-based application design and instantiation using activity recommendation. The Computer Journal, 2015, 58 (3), pp.368 – 384. ⟨10.1093/comjnl/bxu076⟩. ⟨hal-01262436⟩
Accès au bibtex

ref_biblio: Ngoc Chan Nguyen, Nattawat Nonsung, Walid Gaaloul. Service Querying to Support Process Variant Development. Journal of Systems and Software, 2015, ⟨10.1016/j.jss.2015.07.050⟩. ⟨hal-01253069⟩
Accès au texte intégral et bibtex

ref_biblio: Mohamed Sellami, Walid Gaaloul, Bruno Defude. A decentralized and service-based solution for data mediation: the case for data providing service compositions. Concurrency and Computation: Practice and Experience, 2015, 27 (6), pp.1427 – 1444. ⟨10.1002/cpe.3048⟩. ⟨hal-01255062⟩
Accès au bibtex

ref_biblio: Zhangbing Zhou, Riliang Xing, Walid Gaaloul, Yongping Xiong. A three-dimensional sub-region query processing mechanism in underwater WSNs. Personal and Ubiquitous Computing, 2015, 19 (7), pp.1075 – 1086. ⟨10.1007/s00779-015-0875-7⟩. ⟨hal-01255076⟩
Accès au bibtex

2014

ref_biblio: Nour Assy, Ngoc Chan Nguyen, Walid Gaaloul, Bruno Defude. Deriving configurable fragments for process design. International Journal of Business Process Integration and Management, 2014, 7 (1), pp.2 – 21. ⟨10.1504/IJBPIM.2014.060602⟩. ⟨hal-01263079⟩
Accès au bibtex

2013

ref_biblio: Rami Sellami, Walid Gaaloul, Bruno Defude. Process socio space discovery based on semantic logs. Journal of internet technology (JIT), 2013, 14 (3), pp.401-412. ⟨10.6138/JIT.2013.14.3.05⟩. ⟨hal-00840291⟩
Accès au bibtex

ref_biblio: Mohamed Sellami, Olfa Bouchaala, Walid Gaaloul, Samir Tata. Communities of web service registries : construction and management. Journal of Systems and Software, 2013, 86 (3), pp.835-853. ⟨10.1016/j.jss.2012.11.019⟩. ⟨hal-00806916⟩
Accès au bibtex

ref_biblio: Zhangbing Zhou, Mohamed Sellami, Walid Gaaloul, Mahmoud Barhamgi, Bruno Defude. Data providing services clustering and management for facilitating service discovery and replacement. IEEE Transactions on Automation Science and Engineering, 2013, 10 (4), pp.1131 – 1146. ⟨10.1109/TASE.2012.2237551⟩. ⟨hal-01275248⟩
Accès au bibtex

ref_biblio: Zhangbing Zhou, Walid Gaaloul, Lei Shu, Samir Tata, Sami Bhiri. Assessing the replaceability of service protocols in mediated service interactions. Future Generation Computer Systems, 2013, 29 (1), pp.287-299. ⟨10.1016/j.future.2011.08.007⟩. ⟨hal-00746974⟩
Accès au bibtex

2012

ref_biblio: Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul. Towards an approach of formal verification of mediation protocol based on web services of MDE type. International Journal of Web Information Systems, 2012, 8 (1), pp.32 – 54. ⟨10.1108/17440081211222582⟩. ⟨hal-00751238⟩
Accès au bibtex

ref_biblio: Ngoc Chan Nguyen, Walid Gaaloul, Samir Tata. A recommender system based on historical usage data for web service discovery. Service Oriented Computing and Applications, 2012, 6 (1), pp.51-63. ⟨10.1007/s11761-011-0099-2⟩. ⟨hal-00748206⟩
Accès au bibtex

ref_biblio: Zhangbing Zhou, Sami Bhiri, Hai Zhuge, Walid Gaaloul. Assessment of service protocol adaptability based on novel walk computation. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans, 2012, 42 (5), pp.1109-1140. ⟨10.1109/TSMCA.2012.2183362⟩. ⟨hal-00751236⟩
Accès au bibtex

2011

ref_biblio: Sami Bhiri, Walid Gaaloul, Claude Godart, Olivier Perrin, Maciej Zaremba, et al.. Ensuring customised transactional reliability of composite services. Journal of Database Management, 2011, 22 (2), pp.64-92. ⟨10.4018/jdm.2011040103⟩. ⟨hal-00603143⟩
Accès au bibtex

ref_biblio: Mohamed Graiet, Mourad Kmimech, Lazhar Hamel, Mohamed Tahar Bhiri, Walid Gaaloul, et al.. Towards an Approach of Formal Verification of Web Service Composition. International Journal On Advances in Intelligent Systems, 2011. ⟨hal-04547233⟩
Accès au texte intégral et bibtex

2010

ref_biblio: Walid Gaaloul, Sami Bhiri, Mohsen Rouached. Event-based design and runtime verification of composite service transactional behavior. IEEE Transactions on Services Computing, 2010, 3 (1), pp.32-45. ⟨10.1109/TSC.2010.1⟩. ⟨hal-00564322⟩
Accès au bibtex

ref_biblio: Claude Godart, Karim Baïna, Walid Gaaloul. Fouille de workflow Découverte de patrons de workflows par l’analyse des traces d’exécution. Revue des Sciences et Technologies de l’Information – Série TSI : Technique et Science Informatiques, 2010, 29 (10). ⟨inria-00540884⟩
Accès au bibtex

2009

ref_biblio: Walid Gaaloul, Khaled Gaaloul, Sami Bhiri, Armin Haller, Manfred Hauswirth. Log-based transactional workflow mining. Distributed and Parallel Databases, 2009, 25 (3), pp.193 – 240. ⟨10.1007/s10619-009-7040-0⟩. ⟨hal-00441545⟩
Accès au bibtex

2008

ref_biblio: Sami Bhiri, Walid Gaaloul, Claude Godart. Mining and Improving Composite Web Services Recovery Mechanisms. International Journal of Web Services Research, 2008, 3 (2). ⟨inria-00438424⟩
Accès au texte intégral et bibtex

ref_biblio: Walid Gaaloul, Karim Baïna, Claude Godart. Log-based Mining Techniques Applied to Web Service Composition Reengineering. Service Oriented Computing and Applications, 2008, 2 (2-3), pp.93-110. ⟨10.1007/s11761-008-0023-6⟩. ⟨inria-00438429⟩
Accès au texte intégral et bibtex

2004

ref_biblio: Sami Bhiri, Olivier Perrin, Walid Gaaloul, Claude Godart. An Object-Oriented Metamodel For Inter-Enterprises Cooperative Processes Based on Web Services. Journal of Integrated Design and Process Science, 2004, 8 (2), pp.37–55. ⟨inria-00099953⟩
Accès au bibtex

Communication dans un congrès

2023

ref_biblio: Hayet Brabra, Imen Jerbi, Mohamed Sellami, Walid Gaaloul, Djamal Zeghlache. Uncovering implicit bundling constraints: empowering cloud network service discovery. 21st International Conference on Service-Oriented Computing (ICSOC), Nov 2023, Rome, Italy. pp.115-123, ⟨10.1007/978-3-031-48424-7_9⟩. ⟨hal-04311834⟩
Accès au texte intégral et bibtex

ref_biblio: Imen Jerbi, Hayet Brabra, Mohamed Sellami, Walid Gaaloul, Sami Bhiri, et al.. Request relaxation based-on provider constraints for a capability-based NaaS services discovery. 35th International Conference on Advanced Information Systems Engineering (CAiSE), Jun 2023, ZARAGOZA, Spain. pp.611-627, ⟨10.1007/978-3-031-34560-9_36⟩. ⟨hal-04198824⟩
Accès au texte intégral et bibtex

ref_biblio: Leyla Moctar M’baba, Mohamed Sellami, Nour Assy, Walid Gaaloul, Mohamedade Farouk Nanne. Discovering guard stage milestone models through hierarchical clustering. International Conference on Cooperative Information Systems (CoopIS), Oct 2023, Groningen, Netherlands. pp.239-256, ⟨10.1007/978-3-031-46846-9_13⟩. ⟨hal-04257487⟩
Accès au texte intégral et bibtex

ref_biblio: Jeremy Mechouche, Mohamed Sellami, Zakaria Maamar, Roua Touihri, Walid Gaaloul. Process mining approach for multi-cloud SLA reporting. 2023 IEEE International Conference on Big Data (IEEE BigData), Dec 2023, Sorrento (Italie), Italy. ⟨hal-04343935⟩
Accès au texte intégral et bibtex

ref_biblio: Ali Nour Eldin, Jonathan Baudot, Walid Gaaloul. Zooming in for clarity: towards low-code modeling for activity data flow. 21st International Conference on Business Process Management {BPM}, Sep 2023, Utrecht, Netherlands. pp.267-282, ⟨10.1007/978-3-031-41623-1_16⟩. ⟨hal-04376895⟩
Accès au texte intégral et bibtex

ref_biblio: Ali Nour Eldin, Nour Assy, Meriana Kobeissi, Jonathan Baudot, Walid Gaaloul. Enabling multi-process discovery on graph databases. CoopIS 2022: Cooperative Information Systems – 28th International Conference, Oct 2023, Bolzano, Bolzen, France. pp.112-130, ⟨10.1007/978-3-031-17834-4_7⟩. ⟨hal-03992652⟩
Accès au bibtex

ref_biblio: Deng Zhao, Zhangbing Zhou, Xiao Xue, Jin Diao, Sami Yangui, et al.. A novel logic-based adaptive monitoring for composite edge services. 2023 IEEE International Conference on Web Services (ICWS), Jul 2023, Chicago, France. pp.310-317, ⟨10.1109/ICWS60048.2023.00050⟩. ⟨hal-04376886⟩
Accès au bibtex

2022

ref_biblio: Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Walid Gaaloul. Automatic processing of planning problems: application on representative case studies. Advances in Computational Collective Intelligence – 14th International(ICCCI), Sep 2022, Hammamet, Tunisia. pp.436-445, ⟨10.1007/978-3-031-16210-7_36⟩. ⟨hal-03992678⟩
Accès au bibtex

ref_biblio: Amina Brahem, Tiphaine Henry, Sami Bhiri, Thomas Devogele, Nassim Laga, et al.. A trustworthy decentralized change propagation mechanism for declarative choreographies. 20th International Conference on Business Process Management, Sep 2022, Munster, Germany. pp.418-435, ⟨10.1007/978-3-031-16103-2_27⟩. ⟨hal-04295596⟩
Accès au texte intégral et bibtex

ref_biblio: Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul. Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. SAC ’22: Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, Apr 2022, Virtual Event, France. pp.316-325, ⟨10.1145/3477314.3507309⟩. ⟨hal-03992692⟩
Accès au bibtex

ref_biblio: Tiphaine Henry, Roman Beck, Nassim Laga, Walid Gaaloul, Shenle Pan. Decentralized procurement mechanisms for efficient logistics services mapping – a design science research approach. 55th Hawaii International Conference on System Sciences (HICCS-55), Jan 2022, Hawaii, United States. ⟨10.24251/HICSS.2022.615⟩. ⟨hal-03526852⟩
Accès au bibtex

ref_biblio: Imen Jerbi, Nour Assy, Mohamed Sellami, Sami Bhiri, Olivier Tirat, et al.. Enabling multi-provider cloud network service bundling. 2022 IEEE International Conference on Web Services (ICWS), Jul 2022, Barcelona, Spain. pp.405-414, ⟨10.1109/ICWS55610.2022.00067⟩. ⟨hal-03782791⟩
Accès au texte intégral et bibtex

ref_biblio: Leyla Moctar M’Baba, Mohamed Sellami, Walid Gaaloul, Mohamedade Farouk Nanne. Blockchain logging for process mining: a systematic review. HICSS 2022: 55th Hawaii International Conference on System Sciences, Jan 2022, Hawaii, United States. pp.6197-6206, ⟨10.24251/HICSS.2022.751⟩. ⟨hal-03631633⟩
Accès au texte intégral et bibtex

ref_biblio: Leyla Moctar M’Baba, Nour Assy, Mohamedade Farouk Nanne, Mohamed Sellami, Walid Gaaloul. Extracting artifact-centric event logs from blockchain applications. 2022 SCC: International Conference on Services Computing (SCC), Jul 2022, Barcelona, France. pp.274-283, ⟨10.1109/SCC55611.2022.00048⟩. ⟨hal-03769216⟩
Accès au bibtex

2021

ref_biblio: Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul. Model checking of solidity smart contracts adopted for business processes. 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⟩. ⟨hal-03520013⟩
Accès au bibtex

ref_biblio: Ikram Garfatta, Kais Klai, Walid Gaaloul, Mohamed Graiet. A survey on formal verification for solidity smart contracts. ACSW 2021: Australasian Computer Science Week Multiconference, Feb 2021, Dunedin (online), New Zealand. pp.3:1-3:10, ⟨10.1145/3437378.3437879⟩. ⟨hal-03519986⟩
Accès au bibtex

ref_biblio: Tiphaine Henry, Nassim Laga, Julien Hatin, Walid Gaaloul, Imed Boughzala. Cross-collaboration processes based on blockchain and IoT: a survey. HICSS 2021: 54th Hawaii International Conference on System Sciences, Jan 2021, Maui, Hawaii, United States. pp.4291-4300, ⟨10.24251/HICSS.2021.521⟩. ⟨hal-03107913⟩
Accès au texte intégral et bibtex

ref_biblio: Tiphaine Henry, Nassim Laga, Julien Hatin, Roman Beck, Walid Gaaloul. Hire me fairly: towards dynamic resource-binding with smart contracts. SCC 2021: IEEE International Conference on Services Computing, Sep 2021, Chicago (online), United States. pp.407-412, ⟨10.1109/SCC53864.2021.00058⟩. ⟨hal-03519990⟩
Accès au bibtex

ref_biblio: Meriana Kobeissi, Nour Assy, Walid Gaaloul, Bruno Defude, Bassem Haidar. An intent-based natural language interface for querying process execution data. ICPM 2021: 3rd International Conference on Process Mining (ICPM), Oct 2021, Eindhoven, Netherlands. pp.152-159, ⟨10.1109/ICPM53251.2021.9576850⟩. ⟨hal-03519996⟩
Accès au bibtex

ref_biblio: Jeremy Mechouche, Roua Touihri, Mohamed Sellami, Walid Gaaloul. Towards higher-level description of SLA-aware reconfiguration strategies based on state-machine. ICEBE 2021: 17th International Conference on e-Business Engineering, Nov 2021, Guangzhou (online), China. pp.1-8, ⟨10.1109/ICEBE52470.2021.00014⟩. ⟨hal-03641853⟩
Accès au bibtex

ref_biblio: Ralph Bou Nader, Nour Assy, Walid Gaaloul, Yehia Taher, Rafiqul Haque. Track Before Detect: a novel approach for unsupervised anomaly detection In time series. SMDS 2021: IEEE International Conference on Smart Data Services, Sep 2021, Chicago (online), United States. pp.142-151, ⟨10.1109/SMDS53860.2021.00028⟩. ⟨hal-03520025⟩
Accès au bibtex

ref_biblio: Mengyu Sun, Zhangbing Zhou, Walid Gaaloul. Adaptive IoT service configuration optimization in edge networks. INFOCOM 2021: IEEE Conference on Computer Communications Workshops, May 2021, Vancouver (online), Canada. pp.1-2, ⟨10.1109/INFOCOMWKSHPS51825.2021.9484465⟩. ⟨hal-03520023⟩
Accès au bibtex

ref_biblio: Mengyu Sun, Zhangbing Zhou, Xiao Xue, Walid Gaaloul. Migration-based service allocation optimization in dynamic IoT networks. 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⟩. ⟨hal-03520017⟩
Accès au bibtex

ref_biblio: Deng Zhao, Zhangbing Zhou, Xiao Xue, Zhuofeng Zhao, Walid Gaaloul, et al.. CTL-based dynamic IoT service composition. ICWS 2021: IEEE International Conference on Web Services, Sep 2021, Chicago (online), United States. pp.381-388, ⟨10.1109/ICWS53863.2021.00057⟩. ⟨hal-03520021⟩
Accès au bibtex

2020

ref_biblio: Wassim Sellil Atoui, Nour Assy, Walid Gaaloul, Imen Grida Ben Yahia. Learning a configurable deployment descriptors model in NFV. NOMS 2020: IEEE/IFIP Network Operations and Management Symposium, Apr 2020, Budapest, Hungary. pp.1-9, ⟨10.1109/NOMS47738.2020.9110328⟩. ⟨hal-03122769⟩
Accès au bibtex

ref_biblio: Amina Brahem, Nizar Messai, Yacine Sam, Sami Bhiri, Thomas Devogele, et al.. Running transactional business processes with blockchain’s smart contracts. ICWS 2020: IEEE International Conference on Web Services, Oct 2020, Beijing (online), China. pp.89-93, ⟨10.1109/ICWS49710.2020.00019⟩. ⟨hal-03046990⟩
Accès au texte intégral et bibtex

ref_biblio: Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Nour Assy, Walid Gaaloul. Discovery of activities’ actor perspective from emails based on speech acts detection. ICPM 2020: 2nd International Conference on Process Mining, Oct 2020, Padua (online), Italy. pp.73-80, ⟨10.1109/ICPM49681.2020.00021⟩. ⟨hal-03122728⟩
Accès au bibtex

ref_biblio: Marwa Elleuch, Oumaima Alaoui Ismaili, Nassim Laga, Walid Gaaloul, Boualem Benatallah. Discovering activities from emails based on pattern discovery approach. BPM 2020: Business Process Management Forum, Sep 2020, Seville (online), Spain. pp.88-104, ⟨10.1007/978-3-030-58638-6_6⟩. ⟨hal-03122726⟩
Accès au bibtex

ref_biblio: Marwa Elleuch, Nour Assy, Nassim Laga, Walid Gaaloul, Oumaima Alaoui Ismaili, et al.. A meta model for mining processes from email data. SCC 2020: IEEE International Conference on Services Computing, Nov 2020, Beijing (online), China. pp.152-161, ⟨10.1109/SCC49832.2020.00028⟩. ⟨hal-03122716⟩
Accès au bibtex

ref_biblio: Deng Zhao, Zhangbing Zhou, Yasha Wang, Walid Gaaloul. Detecting temporal anomaly and interestingness in timed business process models. ICWS 2020: IEEE International Conference on Web Services, Oct 2020, Beijing (online), China. pp.418-422, ⟨10.1109/ICWS49710.2020.00061⟩. ⟨hal-03122762⟩
Accès au bibtex

2019

ref_biblio: Imed Abbassi, Layth Sliman, Mohamed Graiet, Walid Gaaloul. On the verification of data encryption requirements in Internet of Things using Event-B. 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⟩. ⟨hal-03123346⟩
Accès au bibtex

ref_biblio: Abderrahim Ait Wakrime, Souha Boubaker, Slim Kallel, Walid Gaaloul. A SAT-based formal approach for verifying business process configuration. 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⟩. ⟨hal-03123347⟩
Accès au bibtex

ref_biblio: Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul. Using deep learning for recommending and completing deployment descriptors in NFV. NETSOFT 2019: IEEE Conference on Network Softwarization, Jun 2019, Paris, France. pp.233-235, ⟨10.1109/NETSOFT.2019.8806704⟩. ⟨hal-02482849⟩
Accès au bibtex

ref_biblio: Farah Bellaaj Elloumi, Hayet Brabra, Mohamed Sellami, Walid Gaaloul, Sami Bhiri. A transactional approach for reliable elastic cloud resources. SCC 2019: 16th IEEE International Conference on Services Computing, Jul 2019, Milan, Italy. pp.154-161, ⟨10.1109/SCC.2019.00035⟩. ⟨hal-02280891⟩
Accès au bibtex

ref_biblio: Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Benatallah Boualem, Faiez Gargouri. Model-driven orchestration for cloud resources. CLOUD 2019: 12th IEEE International Conference on Cloud Computing, Jul 2019, Milan, Italy. pp.422-429, ⟨10.1109/CLOUD.2019.00074⟩. ⟨hal-02482813⟩
Accès au bibtex

ref_biblio: Amina Brahem, Nizar Messai, Yacine Sam, Sami Bhiri, Thomas Devogele, et al.. Blockchain’s fame reaches the execution of personalized touristic itineraries. 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⟩. ⟨hal-02385019⟩
Accès au texte intégral et bibtex

ref_biblio: Wided Mathlouthi, Chahrazed Labba, Walid Gaaloul, Narjes Bellamine Ben Saoud. SoS paradigm benefits SaaS integration: novel approach and first results. WETICE 2019: 28th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2019, Napoli, Italy. pp.174-179, ⟨10.1109/WETICE.2019.00045⟩. ⟨hal-02482855⟩
Accès au bibtex

ref_biblio: Jinfeng Wen, Zhangbing Zhou, Yasha Wang, Walid Gaaloul, Yucong Duan. Discovering crossing-workflow fragments based on activity knowledge graph. 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⟩. ⟨hal-02482868⟩
Accès au bibtex

2018

ref_biblio: Mouhamad Almakhour, Layth Sliman, Abed Ellatif Samhat, Walid Gaaloul. Trustless blockchain-based access control in dynamic collaboration. 1st INTERNATIONAL CONFERENCE ON BIG DATA AND CYBER-SECURITY INTELLIGENCE (BDCSIntell’2018), Dec 2018, beirut, Lebanon. pp.27-33. ⟨hal-03781538⟩
Accès au bibtex

ref_biblio: Wassim Sellil Atoui, Imen Grida Ben Yahia, Walid Gaaloul. Semantic-based global network view construction in software defined networks with multiple controllers. NETSOFT 2018: 4th Conference on Network Softwarization and Workshops, Jun 2018, Montreal, Canada. pp.252 – 256, ⟨10.1109/NETSOFT.2018.8460137⟩. ⟨hal-01996211⟩
Accès au bibtex

ref_biblio: Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel. Scheduling business process activities for time-aware cloud resource allocation. 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⟩. ⟨hal-01996235⟩
Accès au bibtex

ref_biblio: Rania Ben Halima, Imen Zouaghi, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel. Formal verification of temporal constraints and allocated cloud resources in business processes. AINA 2018: 32nd International Conference on Advanced Information Networking and Applications, May 2018, Krakow, Poland. pp.952 – 959, ⟨10.1109/AINA.2018.00139⟩. ⟨hal-01996077⟩
Accès au bibtex

ref_biblio: Souha Boubaker, Kais Klai, Hedi Korta, Walid Gaaloul. A formal model for business process configuration verification supporting OR-join semantics. 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⟩. ⟨hal-01996462⟩
Accès au bibtex

ref_biblio: Hayet Brabra, Achraf Mtibaa, Walid Gaaloul, Boualem Benatallah. Model-driven elasticity for cloud resources. 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⟩. ⟨hal-01996104⟩
Accès au bibtex

ref_biblio: Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul. Formal modelling and verification of cloud resource allocation in business processes. 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⟩. ⟨hal-01996297⟩
Accès au bibtex

ref_biblio: Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul. [WiP] Formal modelling of IT resource allocation in business processes. SOCA 2018: 11th Conference on Service-Oriented Computing and Applications, Nov 2018, Paris, France. pp.227 – 232, ⟨10.1109/SOCA.2018.00040⟩. ⟨hal-01996546⟩
Accès au bibtex

ref_biblio: Kunal Suri, Walid Gaaloul, Arnaud Cuccuru. Configurable IoT-aware allocation in business processes. SCC 2018: International Conference on Services Computing, Jun 2018, Seattle, United States. pp.119 – 136, ⟨10.1007/978-3-319-94376-3_8⟩. ⟨hal-01996490⟩
Accès au bibtex

ref_biblio: Jiabei Xu, Zhangbing Zhou, Deng Zhao, Walid Gaaloul, Yucong Duan. Energy-efficient WSN service composition for concurrent applications. ICWS 2018: IEEE International Conference on Web Services, Jun 2018, Seattle, United States. pp.74 – 81, ⟨10.1109/ICWS.2018.00017⟩. ⟨hal-01996141⟩
Accès au bibtex

2017

ref_biblio: Mehdi Ahmed-Nacer, Kunal Suri, Mohamed Sellami, Walid Gaaloul. Simulation of configurable resource allocation for cloud-based business processes. SCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.305 – 313, ⟨10.1109/SCC.2017.46⟩. ⟨hal-01696560⟩
Accès au bibtex

ref_biblio: Mehdi Ahmed-Nacer, Walid Gaaloul, Samir Tata. OCCI-compliant cloud configuration simulation. EDGE 2017 : 1st International Conference on Edge Computing , Jun 2017, Honolulu, United States. pp.73 – 81, ⟨10.1109/IEEE.EDGE.2017.18⟩. ⟨hal-01696667⟩
Accès au bibtex

ref_biblio: Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel. Optimal cost for time-aware cloud resource allocation in business process. SCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.314 – 321, ⟨10.1109/SCC.2017.47⟩. ⟨hal-01696637⟩
Accès au bibtex

ref_biblio: Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul. Deadlock-freeness verification of business process configuration using SOG. ICSOC 2017 : 15th International Conference on Service-Oriented Computing, Nov 2017, Malaga, Spain. pp.96 – 112, ⟨10.1007/978-3-319-69035-3_7⟩. ⟨hal-01696906⟩
Accès au bibtex

ref_biblio: Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Faiez Gargouri. Semantic web technologies in cloud computing: a systematic literature review. SCC 2016 : 13th International Conference on Services Computing, Jun 2017, San Francisco, United States. pp.744 – 751, ⟨10.1109/SCC.2016.102⟩. ⟨hal-01455455⟩
Accès au bibtex

ref_biblio: Emna Hachicha, Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul. Genetic-based configurable cloud resource allocation in QoS-aware business process development. ICWS 2017 : 24th International Conference on Web Services, Jun 2017, Honolulu, United States. pp.836 – 839, ⟨10.1109/ICWS.2017.101⟩. ⟨hal-01696951⟩
Accès au bibtex

ref_biblio: Emna Hachicha, Nour Assy, Walid Gaaloul, Jan Mendling. A configurable resource allocation for multi-tenant process development in the cloud. 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⟩. ⟨hal-01455485⟩
Accès au bibtex

ref_biblio: Emna Hachicha, Walid Gaaloul, Zakaria Maamar. Social-based semantic framework for cloud resource management in business processes. SCC 2016 : 13th International Conference on Services Computing, Jun 2017, San Francisco, United States. pp.443 – 450, ⟨10.1109/SCC.2016.64⟩. ⟨hal-01455425⟩
Accès au bibtex

ref_biblio: Chahrazed Labba, Nour Assy, Narjes Bellamine, Walid Gaaloul. Adaptive Deployment of Service-Based Processes into Cloud Federations. International Conference on Web Information Systems Engineering WISE 2017, Oct 2017, Puschino, Russia. pp.275 – 289, ⟨10.1007/978-3-319-68783-4_19⟩. ⟨hal-01698525⟩
Accès au bibtex

ref_biblio: Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Samir Tata, Faiez Gargouri. Cloud SLA modeling and monitoring. SCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.338 – 345, ⟨10.1109/SCC.2017.50⟩. ⟨hal-01696649⟩
Accès au bibtex

ref_biblio: Taher Labidi, Achraf Mtibaa, Walid Gaaloul, Faiez Gargouri. Ontology-based SLA negotiation and re-negotiation for cloud computing. WETICE 2017 : 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2017, Poznan, Poland. pp.36 – 41, ⟨10.1109/WETICE.2017.24⟩. ⟨hal-01697003⟩
Accès au bibtex

ref_biblio: Molka Rekik, Khouloud Boukadi, Walid Gaaloul, Hanene Ben-Abdallah. Anti-pattern specification and correction recommendations for semantic cloud services. HICSS 2017 : 50th Hawaii International Conference on System Sciences, Jan 2017, Waikoloa Village, United States. pp.4231 – 4240. ⟨hal-01696837⟩
Accès au bibtex

ref_biblio: Molka Rekik, Khouloud Boukadi, Nour Assy, Walid Gaaloul, Hanene Ben-Abdallah. A linear program for optimal configurable business processes deployment into cloud federation. SCC 2016 : 13th International Conference on Services Computing, Jun 2017, San Francisco, United States. pp.34 – 41, ⟨10.1109/SCC.2016.31⟩. ⟨hal-01455130⟩
Accès au bibtex

ref_biblio: Kunal Suri, Walid Gaaloul, Arnaud Cuccuru, Sébastien Gérard. Semantic framework for Internet of Things-aware business process development. WETICE 2017 : 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2017, Poznan, Poland. pp.214 – 219, ⟨10.1109/WETICE.2017.54⟩. ⟨hal-01698458⟩
Accès au bibtex

ref_biblio: Kunal Suri, Arnaud Cuccuru, Juan Cadavid, Sébastien Gérard, Walid Gaaloul, et al.. Model-based development of modular complex systems for accomplishing system integration for industry 4.0. 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⟩. ⟨hal-01474906⟩
Accès au texte intégral et bibtex

ref_biblio: Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul. A semantic framework supporting business process variability using event logs. SCC 2016 : 13th International Conference on Services Computing, Jun 2017, San Francisco, United States. pp.163 – 170, ⟨10.1109/SCC.2016.28⟩. ⟨hal-01455133⟩
Accès au bibtex

ref_biblio: Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul. A semantic framework supporting cloud resource descriptions interoperability. CLOUD 2016 : 9th International Conference on Cloud Computing, Jun 2017, San Francisco, United States. pp.585 – 592, ⟨10.1109/CLOUD.2016.0083⟩. ⟨hal-01455119⟩
Accès au bibtex

2016

ref_biblio: Rania Ben Halima, Slim Kallel, Kais Klai, Walid Gaaloul, Mohamed Jmaiel. Formal verification of time-aware cloud resource allocation in business process. 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⟩. ⟨hal-01455664⟩
Accès au bibtex

ref_biblio: Ons Bibani, Carla Mouradian, Sami Yangui, Roch Glitho, Walid Gaaloul, et al.. A demo of IoT healthcare application provisioning in hybrid cloud/fog environment. CLOUD COM 2016 : 8th International Conference on Cloud Computing Technology and Science, Dec 2016, Luxembourg, Luxembourg. pp.472 – 475, ⟨10.1109/CloudCom.2016.0081⟩. ⟨hal-01455506⟩
Accès au bibtex

ref_biblio: Ons Bibani, Sami Yangui, Roch Glitho, Walid Gaaloul, Nejib Ben Hadj Alouane, et al.. A demo of a PaaS for IoT applications provisioning in hybrid cloud/fog environment. LANMAN 2016 : 23rd International Symposium on Local and Metropolitan Area Networks , Jun 2016, Rome, Italy. pp.1 – 2, ⟨10.1109/LANMAN.2016.7548876⟩. ⟨hal-01455637⟩
Accès au bibtex

ref_biblio: Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul. Formal verification of cloud resource allocation in business processes using Event-B. AINA 2016 : 30th International Conference on Advanced Information Networking and Applications, Mar 2016, Crans-Montana, Switzerland. pp.746 – 753, ⟨10.1109/AINA.2016.126⟩. ⟨hal-01341653⟩
Accès au bibtex

ref_biblio: Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul. A formal guidance approach for correct process configuration. ICSOC 2016 : 14th International Conference on Service-Oriented Computing, Oct 2016, Banff, Canada. pp.483 – 498, ⟨10.1007/978-3-319-46295-0_30⟩. ⟨hal-01425991⟩
Accès au bibtex

ref_biblio: Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul. An event-B based approach for ensuring correct configurable business processes. ICWS 2016 : 23rd IEEE International Conference on Web Services, Jun 2016, San Francisco, United States. pp.460 – 467, ⟨10.1109/ICWS.2016.66⟩. ⟨hal-01359893⟩
Accès au bibtex

ref_biblio: Hayet Brabra, Achraf Mtibaa, Layth Sliman, Walid Gaaloul, Faiez Gargouri, et al.. Detecting cloud (anti)patterns: OCCI perspective. ICSOC 2016 : 14th International Conference on Service-Oriented Computing, Oct 2016, Banff, Canada. pp.202 – 218, ⟨10.1007/978-3-319-46295-0_13⟩. ⟨hal-01455521⟩
Accès au bibtex

ref_biblio: Emna Hachicha, Karn Yongsiriwit, Walid Gaaloul. Energy efficient configurable resource allocation in cloud-based business processes. 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⟩. ⟨hal-01455670⟩
Accès au bibtex

ref_biblio: Aida Lahouij, Lazhar Hamel, Mohamed Graiet, Abir Elkhalfa, Walid Gaaloul. A global SLA-aware approach for aggregating services in the cloud. 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⟩. ⟨hal-01455652⟩
Accès au bibtex

2015

ref_biblio: Imed Abassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj Alouane. Genetic-based approach for ATS and SLA-aware web services composition. 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⟩. ⟨hal-01282712⟩
Accès au bibtex

ref_biblio: Nour Assy, Walid Gaaloul. Extracting configuration guidance models from business process repositories. BPM 2015 : 13th International Conference on Business Process Management, Aug 2015, Innsbruck, Autriche. pp.198 – 206, ⟨10.1007/978-3-319-23063-4_14⟩. ⟨hal-01255063⟩
Accès au bibtex

ref_biblio: Souha Boubaker, Walid Gaaloul, Mohamed Graiet, Nejib Ben Hadj Alouane. Event-B based approach for verifying cloud resource allocation in business process. SCC 2015 : 12th IEEE International Conference on Services Computing, Jun 2015, New York, United States. pp.538 – 545, ⟨10.1109/SCC.2015.79⟩. ⟨hal-01255087⟩
Accès au bibtex

ref_biblio: Emna Hachicha, Walid Gaaloul. Towards resource-aware business process development in the cloud. AINA 2015 : 29th IEEE International Conference onAdvanced Information Networking and Applications, Mar 2015, Gwangiu, South Korea. pp.761 – 768, ⟨10.1109/AINA.2015.265⟩. ⟨hal-01255060⟩
Accès au bibtex

ref_biblio: Karn Yongsiriwit, Mohamed Sellami, Walid Gaaloul. Semantic process fragments matching to assist the development of process variants. SCC 2015 : 12th IEEE International Conference on Services Computing, Jun 2015, New York, United States. pp.712 – 719 ⟨10.1109/SCC.2015.101⟩. ⟨hal-01255078⟩
Accès au bibtex

ref_biblio: Karn Yongsiriwit, Chan Nguyen, Walid Gaaloul. Log-Based Process Fragment Querying to Support Process Desig. 2015 48th Hawaii International Conference on System Sciences (HICSS), Jan 2015, Kauai, HI, United States. ⟨10.1109/HICSS.2015.493⟩. ⟨hal-01253062⟩
Accès au bibtex

2014

ref_biblio: Imed Abassi, Mohamed Graiet, Walid Gaaloul, Nejib Ben Hadj Alouane. A formal approach for enforcing transactional requirements in web service compositions. SCC 2014 : 11th IEEE International Conference on Services Computing, Jun 2014, Anchorage, Ak, United States. pp.637 – 644, ⟨10.1109/SCC.2014.89⟩. ⟨hal-01263087⟩
Accès au bibtex

ref_biblio: Imed Abassi, Mourad Kmimech, Nejib Ben Hadj Alouane, Walid Gaaloul. Modeling and verifying the transactional and QoS-aware services composition using Event-B. 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⟩. ⟨hal-01263084⟩
Accès au bibtex

ref_biblio: Nour Assy, Walid Gaaloul. Configuration rule mining for variability analysis in configurable process models. ICSOC 2014 : 12th International Conference on Service Oriented Computing, Nov 2014, Paris, France. pp.1 – 15, ⟨10.1007/978-3-662-45391-9_1⟩. ⟨hal-01263085⟩
Accès au bibtex

ref_biblio: Nour Assy, Walid Gaaloul, Bruno Defude. Mining configurable process fragments for business process design. 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⟩. ⟨hal-01263086⟩
Accès au bibtex

ref_biblio: Ngoc Chan Nguyen, Walid Gaaloul. Querying Services Based on Composition Context. 23rd IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE), Jun 2014, Parma, Italy. pp.44 – 49, ⟨10.1109/WETICE.2014.34⟩. ⟨hal-01113536⟩
Accès au texte intégral et bibtex

ref_biblio: Ngoc Chan Nguyen, Karn Yongsiriwit, Walid Gaaloul, Jan Mendling. Mining Event Logs to Assist the Development of Executable Process Variants. 26th International Conference on Advanced Information Systems Engineering, Jun 2014, Thessaloniki, Greece. pp.548 – 563, ⟨10.1007/978-3-319-07881-6_37⟩. ⟨hal-01113532⟩
Accès au texte intégral et bibtex

2013

ref_biblio: Nour Assy, Ngoc Chan Nguyen, Walid Gaaloul. Assisting business process design with configurable process fragments. 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⟩. ⟨hal-00970457⟩
Accès au bibtex

ref_biblio: Mohamed Graiet, Imed Abassi, Lazhar Hamel, Mohamed Tahar Bhiri, Mourad Kmimech, et al.. Event-B based approach for verifying dynamic composite service transactional behavior. ICWS 2013 : 20th International Conference on Web Services, Jun 2013, Santa Clara, United States. pp.251 – 259, ⟨10.1109/ICWS.2013.42⟩. ⟨hal-00967037⟩
Accès au bibtex

2012

ref_biblio: Ngoc Chan Nguyen, Walid Gaaloul, Samir Tata. Assisting business process design by activity neighborhood context matching. ICSOC ’12 : 10th International Conference on Service Oriented Computing, Nov 2012, Shanghai, China. pp.541-549, ⟨10.1007/978-3-642-34321-6_38⟩. ⟨hal-00748524⟩
Accès au bibtex

ref_biblio: Rami Sellami, Walid Gaaloul, Samir Moalla. An ontology for workflow organizational model mining. WETICE 2012 : 21st International Workshop on Enabling Technologies : Infrastructure for Collaborative Enterprises, Jun 2012, Toulouse, France. pp.199 – 204, ⟨10.1109/WETICE.2012.29⟩. ⟨hal-00751234⟩
Accès au bibtex

ref_biblio: Mohamed Sellami, Walid Gaaloul, Bruno Defude, Samir Tata. Towards a unified marketplace for functionality-based cloud service discovery. CLOSER ’12 : 2nd International Conference on Cloud Computing and Services Science, Apr 2012, Porto, Portugal. pp.252-257. ⟨hal-00748645⟩
Accès au bibtex

ref_biblio: Mohamed Sellami, Walid Gaaloul, Bruno Defude. Data mapping web services for composite DaaS mediation. 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⟩. ⟨hal-00751230⟩
Accès au bibtex

ref_biblio: Zhangbing Zhou, Walid Gaaloul, Tan Wei, Daqiang Zhang. CPS track report : 2nd track on cyber physical society with SOA, BPM and sensor networks. 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⟩. ⟨hal-00751232⟩
Accès au bibtex

2011

ref_biblio: Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, et al.. Profile UML2.0 for specification of the SCA architectures. SKG 2011 : 7th International Conference on Semantics, Knowledge and Grids, Oct 2011, Beijing, China. pp.191 – 194, ⟨10.1109/SKG.2011.36⟩. ⟨hal-01354605⟩
Accès au bibtex

ref_biblio: W. Ben Abid, Mohamed Graiet, M. Kmimech, M. T. Bhiri, Walid Gaaloul, et al.. UML 2.0 Profile for Structural and Behavioral Specification of SCA Architectures. The Sixth International Conference on Software Engineering Advances (ICSEA 2011), Oct 2011, Barcelone, Spain. ⟨hal-00648911⟩
Accès au bibtex

ref_biblio: Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel. Modeling and managing communities of web service registries. 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⟩. ⟨hal-00751245⟩
Accès au bibtex

ref_biblio: Olfa Bouchaala, Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel. Graph-based management of communities of web service registries. WEBIST 2011 : 7th International Conference on Web Information Systems and Technologies, May 2011, Noordwijkerhout, Netherlands. pp.61 – 70, ⟨10.5220/0003347400610070⟩. ⟨hal-01303855⟩
Accès au bibtex

ref_biblio: Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul. Verifying composite service transactional behavior with EVENT-B. ECSA 2011 : 5th European Conference on Software Architecture, Sep 2011, Essen, Germany. pp.67 – 74, ⟨10.1007/978-3-642-23798-0_7⟩. ⟨hal-01354674⟩
Accès au bibtex

ref_biblio: Kais Klai, Walid Gaaloul. Petri net modeling and verification of transactional workflows. WETICE 2011 : 20th IEEE International Conference on Collaboration Technologies and Infrastructures, Jun 2011, Paris, France. pp.176 – 184, ⟨10.1109/WETICE.2011.72⟩. ⟨hal-01303060⟩
Accès au bibtex

ref_biblio: Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, et al.. MDE approach for the generation and verification of SCA model. 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⟩. ⟨hal-00751241⟩
Accès au bibtex

ref_biblio: Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul, et al.. ATL transformation for the generation of SCA model. SKG ’11 : The 7th International Conference on Semantics Knowledge & Grids, Oct 2011, Beijing, China. pp.164-167, ⟨10.1109/SKG.2011.37⟩. ⟨hal-00751248⟩
Accès au bibtex

ref_biblio: Raoudha Maraoui, Amel Mhamdi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, et al.. Towards a transformation of composite web service with QoS extension into ACME\Armani. 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⟩. ⟨hal-00751243⟩
Accès au bibtex

ref_biblio: Ngoc Chan Nguyen, Walid Gaaloul, Samir Tata. Context-based service recommendation for assisting business process design. EC-Web ’11 : 12th International Conference on Electronic Commerce and Web Technologies, Aug 2011, Toulouse, France. pp.39-51, ⟨10.1007/978-3-642⟩. ⟨hal-00660119⟩
Accès au bibtex

ref_biblio: Ngoc Chan Nguyen, Walid Gaaloul, Samir Tata. Composition Context Matching for Web Service Recommendation. SCC ’11 : The 8th International Conference on Services Computing, Jul 2011, Washington, United States. pp.624-631, ⟨10.1109/SCC.2011.68⟩. ⟨hal-00748846⟩
Accès au bibtex

ref_biblio: Ngoc Chan Nguyen, Walid Gaaloul, Samir Tata. A web service recommender system using vector space model and latent semantic indexing. AINA 2011 : 25th IEEE International Conference on Advanced Information Networking and Applications, Mar 2011, Biopolis, Singapore. pp.602 – 609, ⟨10.1109/AINA.2011.99⟩. ⟨hal-01303862⟩
Accès au bibtex

ref_biblio: Mohamed Sellami, Walid Gaaloul, Samir Tata. An implicit approach for building communities of web service registries. 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⟩. ⟨hal-00751240⟩
Accès au bibtex

ref_biblio: Mohamed Sellami, Walid Gaaloul, Samir Tata. Implementation of communities of web service registries. ICWS 2011 : 9th IEEE International Conference on Web Services, Jul 2011, Washington, United States. pp.690 – 691, ⟨10.1109/ICWS.2011.69⟩. ⟨hal-01303860⟩
Accès au bibtex

ref_biblio: Zhangbing Zhou, Walid Gaaloul, Samir Tata, Feng Gao, Lei Shu. Service protocol replaceability assessment in mediated service interactions. ICC 2011 : IEEE International Conference on Communications, Jun 2011, Kyoto, Japan. pp.1 – 5, ⟨10.1109/icc.2011.5963370⟩. ⟨hal-01303821⟩
Accès au bibtex

ref_biblio: Zhangbing Zhou, Mohamed Sellami, Walid Gaaloul, Bruno Defude. Clustering and managing data providing services using machine learning technique. IWCPS 2011 : 2nd International Workshop on Cyber-Physical Society, Oct 2011, Beijing, China. pp.225 – 232, ⟨10.1109/SKG.2011.9⟩. ⟨hal-01302449⟩
Accès au bibtex

2010

ref_biblio: Mohamed Graiet, Raoudha Maraoui, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul. Towards an approach of formal verification of mediation protocol based on Web services. iiWAS 2010 : 12th International Conference on Information Integration and Web-based Applications & Services, Oct 2010, Paris, France. pp.75 – 82, ⟨10.1145/1967486.1967502⟩. ⟨hal-01308596⟩
Accès au bibtex

ref_biblio: Ngoc Chan Nguyen, Walid Gaaloul, Samir Tata. Web services recommendation based on user’s behavior. ICEBE 2010 : IEEE International Conference on e-Business Engineering, Nov 2010, Shanghai, China. pp.214 – 221, ⟨10.1109/ICEBE.2010.35⟩. ⟨hal-01308672⟩
Accès au bibtex

ref_biblio: Ngoc Chan Nguyen, Walid Gaaloul, Samir Tata. Collaborative filtering technique for web service recommendation based on user-operation combination. CoopIS 2010 : 18th International Conference on Cooperative Information Systems, Oct 2010, Crete, Greece. pp.222 – 239, ⟨10.1007/978-3-642-16934-2_17⟩. ⟨hal-01308334⟩
Accès au bibtex

ref_biblio: Mohamed Sellami, Walid Gaaloul, Samir Tata. Functionality-driven clustering of web service registries. SCC 2010 : 7th International Conference on Services Computing, Jul 2010, Miami, United States. pp.631 – 634, ⟨10.1109/SCC.2010.70⟩. ⟨hal-01356813⟩
Accès au bibtex

ref_biblio: Mohamed Sellami, Olfa Bouchaala, Walid Gaaloul, Samir Tata. WSRD : a Web Services Registry Description. NOTERE 2010 : 10ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition, May 2010, Tozeur, Tunisia. ⟨hal-00552969⟩
Accès au bibtex

ref_biblio: Mohamed Sellami, Walid Gaaloul, Samir Tata, Mohamed Jmaiel. Using recommendation to limit search space in Web services discovery. AINA 2010 : 24th IEEE International Conference on Advanced Information Networking and Applications, Apr 2010, Perth, Australia. pp.974 – 981, ⟨10.1109/AINA.2010.44⟩. ⟨hal-01354827⟩
Accès au bibtex

2009

ref_biblio: Armin Haller, Mateusz Marmolowski, Walid Gaaloul, Eyal Oren, Brahmananda Sapkota, et al.. From workflow models to executable Web service interfaces. ICWS 2009 : IEEE 7th International Conference on Web Services, Jul 2009, Los Angeles, Ca, United States. pp.131 – 140, ⟨10.1109/ICWS.2009.51⟩. ⟨hal-00441503⟩
Accès au bibtex

2006

ref_biblio: Sami Bhiri, Walid Gaaloul, Claude Godart. Discovering and Improving Recovery Mechanisms of Composite Web Services. IEEE International Conference on Web Services – ICWS’06, Sep 2006, Chicago, USA, pp.99-110, ⟨10.1109/ICWS.2006.52⟩. ⟨inria-00114835⟩
Accès au bibtex

ref_biblio: Walid Gaaloul, Claude Godart. A workflow mining tool based on logs statistical analysis. The Eighteenth International Conference on Software Engineering and Knowledge Engineering SEKE’06, Jul 2006, San Francisco, California, USA. ⟨inria-00114832⟩
Accès au bibtex

ref_biblio: Walid Gaaloul, Karim Baïna, Claude Godart. A bottom-up workflow mining approach for workflow applications analysis. 2nd International Workshop on Data ngineering Issues in E-Commerce and Services, DEECS’06, Jun 2006, San Francisco, California, USA. ⟨inria-00114831⟩
Accès au bibtex

ref_biblio: Walid Gaaloul, Karim Baïna, Reda El Khattabi, Abdellah Mouhou. Workflowminer: A new workflow patterns and performance analysis tool. 18th Conference on Advanced Information Systems Engineering – CAiSE’06 Forum and Tools Demonstrations, Jun 2006, Luxembourg, Luxembourg. ⟨inria-00114828⟩
Accès au bibtex

2005

ref_biblio: Walid Gaaloul, Claude Godart. Mining Workflow Recovery From Event Based Logs. Third International Conference on Business Process Management – BPM’05, Sep 2005, Nancy, France., pp.169-185, ⟨10.1007/11538394_12⟩. ⟨inria-00000482⟩
Accès au bibtex

ref_biblio: Walid Gaaloul, Sadek Alaoui, Karim Baïna, Claude Godart. Mining Workflow Patterns through Event-data Analysis. 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⟩. ⟨inria-00000484⟩
Accès au bibtex

ref_biblio: Walid Gaaloul, Karim Baïna, Claude Godart. Towards Mining Structural Workflow Patterns. 16th International Conference on Database and Expert Systems Applications DEXA’05, Aug 2005, Copenhagen, Denmark. pp.24-33, ⟨10.1007/11546924_3⟩. ⟨inria-00000483⟩
Accès au bibtex

ref_biblio: Walid Gaaloul. Business Process Intelligence : Discovering and Improving Transactional behavior of Composite Services From Logs. Doctoral symposium in INTEROP-ESA’05 – First International Conference on Interoperability of Enterprise Software and Applications, Feb 2005, Geneva/Switzerland. ⟨inria-00000485⟩
Accès au bibtex

2004

ref_biblio: Walid Gaaloul, Sadek Alaoui, Karim Baïna, Claude Godart. WorkflowMiner : An infrastructure for Mining Workflow Patterns. 3èmes Journées Nationales sur les Systèmes Intelligents : Théories et Applications – SITA’04, Oct 2004, Rabat, Maroc. ⟨inria-00000488⟩
Accès au bibtex

ref_biblio: Walid Gaaloul, Sami Bhiri, Claude Godart. Discovering Workflow Patterns from Timed Logs. Information Systems in E-Business and E-Government – EMISA 2004, Oct 2004, Luxembourg/Luxembourg. ⟨inria-00000487⟩
Accès au bibtex

ref_biblio: Walid Gaaloul, Karim Baïna, Khalid Benali, Claude Godart. A Pattern for Interconnecting Distributed Components. 6th International Conference on Enterprise Information Systems – ICEIS 2004, Apr 2004, Porto/Portugal, pp.430-434. ⟨inria-00000489⟩
Accès au bibtex

ref_biblio: Walid Gaaloul, Sami Bhiri, Claude Godart. Discovering Workflow Transactional Behaviour from Event-based Log. 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⟩. ⟨inria-00000486⟩
Accès au bibtex

2003

ref_biblio: Sami Bhiri, Olivier Perrin, Walid Gaaloul, Claude Godart. An Object Oriented Metamodel for Inter-entreprises Cooperative Processes based on Web Services. 7th World Conference on Integrated Design and Process Technology 2003 – IDPT’2003, 2003, Austin, Texas, Etats Unis. ⟨inria-00099591⟩
Accès au bibtex

ref_biblio: Walid Gaaloul, Karim Baïna, Khalid Benali, Claude Godart. Un patron pour l’interconnexion des composants distribués. 1ère Conférence Plénière STIC – CoPSTIC’03, Dec 2003, Rabat/Maroc. ⟨inria-00000490⟩
Accès au bibtex

Chapitre d’ouvrage

2022

ref_biblio: Tiphaine Henry, Julien Hatin, Léo Kazmierczak, Nassim Laga, Walid Gaaloul. Random-value payment tokens for on-chain privacy-preserving payments. Cooperative Information Systems, 13591, Springer International Publishing, pp.223-241, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-17834-4_13⟩. ⟨hal-03836450⟩
Accès au bibtex

2010

ref_biblio: Claude Godart, Sami Bhiri, Walid Gaaloul. A reengineering approach for ensuring transactional reliability of composite services. 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⟩. ⟨inria-00540865⟩
Accès au bibtex

2009

ref_biblio: Walid Gaaloul, Daniela Grigori. Découverte de la logique des processus. 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. ⟨hal-00441528⟩
Accès au bibtex

ref_biblio: Walid Gaaloul, Daniela Grigori. Intelligence des processus. 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. ⟨hal-00441531⟩
Accès au bibtex

HDR

2014

ref_biblio: Walid Gaaloul. Supporting service consumption : advanced discovery and recommendation techniques. Software Engineering [cs.SE]. Télécom Ecole de Management, 2014. ⟨tel-01266701⟩
Accès au texte intégral et bibtex

N°spécial de revue/special issue

2017

ref_biblio: Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, et al.. On the Move to Meaningful Internet Systems. OTM 2017 Conferences. Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Oct 2017, Rhodes, Greece. Lecture Notes in Computer Science, LNCS 10574, pp.515, 2017, 978-3-319-69459-7. ⟨10.1007/978-3-319-69459-7⟩. ⟨hal-01673487⟩
Accès au bibtex

Ouvrages

2017

ref_biblio: Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, et al. (Dir.). On the Move to Meaningful Internet Systems. OTM 2017 Conferences. , LNCS 10573, pp.767, 2017, ⟨10.1007/978-3-319-69462-7⟩. ⟨hal-01673485⟩
Accès au bibtex

2016

ref_biblio: Alex Norta, Walid Gaaloul, G. R. Gangadharan, Hoa Khanh Dam (Dir.). Service-oriented computing : ICSOC 2015 workshops : WESOA, RMSOC, ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015, revised selected papers. Springer, 9586, pp.255, 2016, Lecture notes in computer science, Lecture notes in computer science, 978-3-662-50538-0. ⟨hal-01455706⟩
Accès au bibtex

ref_biblio: Sumitra Reddy, Walid Gaaloul (Dir.). 25th IEEE international conference on enabling technologies: infrastructure for collaborative enterprises : WETICE 2016. IEEE Computer Society, pp.270, 2016, 978-1-5090-1663-1. ⟨hal-01455719⟩
Accès au bibtex

Proceedings/Recueil des communications

2023

ref_biblio: Mohamed Sellami, Maria-Esther Vidal, Boudewijn van Dongen, Walid Gaaloul, Hervé Panetto. Cooperative information systems. 14353, Springer Nature Switzerland, pp.505, 2023, Lecture Notes in Computer Science, 978-3-031-46846-9. ⟨10.1007/978-3-031-46846-9⟩. ⟨hal-04257462⟩
Accès au bibtex

2022

ref_biblio: Paolo Ceravolo, Hajo A. Reijers, Hervé Panetto, Mohamed Sellami, Walid Gaaloul. Cooperative information systems: 28th international conference , CoopIS 2022, Bozen-Bolzano, Italy, October 4-7, 2022, proceedings. Lecture Notes in Computer Science, LNCS 13591, Springer, pp.333, 2022, Lecture Notes in Computer Science, 978-3-031-17833-7. ⟨10.1007/978-3-031-17834-4⟩. ⟨hal-03782208⟩
Accès au bibtex

ref_biblio: Andrea Marrella, Raimundas Matulevičius, Renata Gabryelczyk, Bernhard Axmann, Vesna Bosilj Vukšić, et al.. Business process management: blockchain, robotic process automation, and central and eastern europe forum. 459, Springer International Publishing, 2022, Lecture Notes in Business Information Processing, ⟨10.1007/978-3-031-16168-1⟩. ⟨hal-03992697⟩
Accès au bibtex

2020

ref_biblio: Sami Yangui, Athman Bouguettaya, Xiao Xue, Noura Faci, Walid Gaaloul, et al.. Service-oriented computing : ICSOC 2019 workshops : WESOACS, ASOCA, ISYCC, TBCE, and STRAPS, Toulouse, France, October 28-31, 2019, revised selected papers. ICSOC 2019: 17th International Conference on Service-Oriented Computing, 12019, Springer, pp.314, 2020, Lecture Notes in Computer Science book series (LNCS), 978-3-030-45988-8. ⟨10.1007/978-3-030-45989-5⟩. ⟨hal-03122701⟩
Accès au bibtex

Thèse

2006

ref_biblio: Walid Gaaloul. La Découverte de Workflow
Transactionnel pour la Fiabilisation des
Exécutions. Génie logiciel [cs.SE]. Université Henri Poincaré – Nancy 1, 2006. Français. ⟨NNT : 2006NAN10130⟩. ⟨tel-01746856v2⟩
Accès au texte intégral et bibtex

Traduction

2024

ref_biblio: François Charoy, Mohamed Sellami, Walid Gaaloul, Saïd Assar. Busines process management : fondamentaux de la gestion des processus métier. 2024. ⟨hal-04717752⟩
Accès au bibtex

Pré-publication, Document de travail

2017

ref_biblio: Mehdi Ahmed-Nacer, Kunal Suri, Mohamed Sellami, Walid Gaaloul. Simulation of Configurable Resource Allocation for Cloud-Based Business Processes. 2017. ⟨hal-01523939⟩
Accès au texte intégral et bibtex

ref_biblio: Mehdi Ahmed-Nacer, Walid Gaaloul, Samir Tata. OCCI-Compliant Cloud Configuration Simulation. 2017. ⟨hal-01523933⟩
Accès au texte intégral et bibtex

ref_biblio: Rania Ben Halima, Slim Kallel, Walid Gaaloul, Mohamed Jmaiel. Optimal Cost for Time-Aware Cloud Resource Allocation in Business Process. 2017. ⟨hal-01525209⟩
Accès au texte intégral et bibtex

Walid Gaaloul

Site personnel