BibTeX records: Walid Gaaloul

download as .bib file

@article{DBLP:journals/fgcs/GuoZZG24,
  author       = {Hongtai Guo and
                  Zhangbing Zhou and
                  Deng Zhao and
                  Walid Gaaloul},
  title        = {{EGNN:} Energy-efficient anomaly detection for \emph{IoT} multivariate
                  time series data using graph neural network},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {151},
  pages        = {45--56},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.future.2023.09.028},
  doi          = {10.1016/J.FUTURE.2023.09.028},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fgcs/GuoZZG24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coopis/2023,
  editor       = {Mohamed Sellami and
                  Maria{-}Esther Vidal and
                  Boudewijn F. van Dongen and
                  Walid Gaaloul and
                  Herv{\'{e}} Panetto},
  title        = {Cooperative Information Systems - 29th International Conference, CoopIS
                  2023, Groningen, The Netherlands, October 30 - November 3, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14353},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-46846-9},
  doi          = {10.1007/978-3-031-46846-9},
  isbn         = {978-3-031-46845-2},
  timestamp    = {Thu, 09 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coopis/2023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/ElleuchLIG23,
  author       = {Marwa Elleuch and
                  Nassim Laga and
                  Oumaima Alaoui Ismaili and
                  Walid Gaaloul},
  title        = {Multi-perspective business process discovery from messaging systems:
                  State-of-the art},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {35},
  number       = {11},
  year         = {2023},
  url          = {https://doi.org/10.1002/cpe.6642},
  doi          = {10.1002/CPE.6642},
  timestamp    = {Fri, 02 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/concurrency/ElleuchLIG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/KobeissiAGDBH23,
  author       = {Meriana Kobeissi and
                  Nour Assy and
                  Walid Gaaloul and
                  Bruno Defude and
                  Boualem Benatallah and
                  Bassem Haidar},
  title        = {Natural language querying of process execution data},
  journal      = {Inf. Syst.},
  volume       = {116},
  pages        = {102227},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.is.2023.102227},
  doi          = {10.1016/J.IS.2023.102227},
  timestamp    = {Fri, 23 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/KobeissiAGDBH23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/ElleuchILG23,
  author       = {Marwa Elleuch and
                  Oumaima Alaoui Ismaili and
                  Nassim Laga and
                  Walid Gaaloul},
  title        = {Process fragments discovery from emails: Functional, data and behavioral
                  perspectives discovery},
  journal      = {Inf. Syst.},
  volume       = {118},
  pages        = {102229},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.is.2023.102229},
  doi          = {10.1016/J.IS.2023.102229},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/ElleuchILG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/puc/ZhaoZWLG23,
  author       = {Deng Zhao and
                  Zhangbing Zhou and
                  Shangguang Wang and
                  Bo Liu and
                  Walid Gaaloul},
  title        = {Reinforcement learning-enabled efficient data gathering in underground
                  wireless sensor networks},
  journal      = {Pers. Ubiquitous Comput.},
  volume       = {27},
  number       = {3},
  pages        = {581--598},
  year         = {2023},
  url          = {https://doi.org/10.1007/s00779-020-01443-x},
  doi          = {10.1007/S00779-020-01443-X},
  timestamp    = {Thu, 28 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/puc/ZhaoZWLG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/MoctarMBabaASGN23,
  author       = {Leyla Moctar{-}M'Baba and
                  Nour Assy and
                  Mohamed Sellami and
                  Walid Gaaloul and
                  Mohamedade Farouk Nanne},
  title        = {Process mining for artifact-centric blockchain applications},
  journal      = {Simul. Model. Pract. Theory},
  volume       = {127},
  pages        = {102779},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.simpat.2023.102779},
  doi          = {10.1016/J.SIMPAT.2023.102779},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/simpra/MoctarMBabaASGN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnsm/LiZHSGY23,
  author       = {Xiaocui Li and
                  Zhangbing Zhou and
                  Qiang He and
                  Zhensheng Shi and
                  Walid Gaaloul and
                  Sami Yangui},
  title        = {Re-Scheduling IoT Services in Edge Networks},
  journal      = {{IEEE} Trans. Netw. Serv. Manag.},
  volume       = {20},
  number       = {3},
  pages        = {3233--3246},
  year         = {2023},
  url          = {https://doi.org/10.1109/TNSM.2023.3242937},
  doi          = {10.1109/TNSM.2023.3242937},
  timestamp    = {Fri, 27 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tnsm/LiZHSGY23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/ZhaoZHDXG23,
  author       = {Deng Zhao and
                  Zhangbing Zhou and
                  Patrick C. K. Hung and
                  Shuiguang Deng and
                  Xiao Xue and
                  Walid Gaaloul},
  title        = {CTL-Based Adaptive Service Composition in Edge Networks},
  journal      = {{IEEE} Trans. Serv. Comput.},
  volume       = {16},
  number       = {2},
  pages        = {1051--1065},
  year         = {2023},
  url          = {https://doi.org/10.1109/TSC.2022.3184013},
  doi          = {10.1109/TSC.2022.3184013},
  timestamp    = {Thu, 28 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsc/ZhaoZHDXG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/MechoucheSMTG23,
  author       = {Jeremy Mechouche and
                  Mohamed Sellami and
                  Zakaria Maamar and
                  Roua Touihri and
                  Walid Gaaloul},
  editor       = {Jingrui He and
                  Themis Palpanas and
                  Xiaohua Hu and
                  Alfredo Cuzzocrea and
                  Dejing Dou and
                  Dominik Slezak and
                  Wei Wang and
                  Aleksandra Gruca and
                  Jerry Chun{-}Wei Lin and
                  Rakesh Agrawal},
  title        = {Process mining approach for Multi-Cloud {SLA} Reporting},
  booktitle    = {{IEEE} International Conference on Big Data, BigData 2023, Sorrento,
                  Italy, December 15-18, 2023},
  pages        = {5867--5876},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/BigData59044.2023.10386171},
  doi          = {10.1109/BIGDATA59044.2023.10386171},
  timestamp    = {Fri, 02 Feb 2024 12:00:39 +0100},
  biburl       = {https://dblp.org/rec/conf/bigdataconf/MechoucheSMTG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/EldinBG23,
  author       = {Ali Nour Eldin and
                  Jonathan Baudot and
                  Walid Gaaloul},
  editor       = {Chiara Di Francescomarino and
                  Andrea Burattin and
                  Christian Janiesch and
                  Shazia W. Sadiq},
  title        = {Zooming in for Clarity: Towards Low-Code Modeling for Activity Data
                  Flow},
  booktitle    = {Business Process Management Forum - {BPM} 2023 Forum, Utrecht, The
                  Netherlands, September 11-15, 2023, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {490},
  pages        = {267--282},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-41623-1\_16},
  doi          = {10.1007/978-3-031-41623-1\_16},
  timestamp    = {Mon, 04 Sep 2023 16:34:59 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/EldinBG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/JerbiBSGBBZT23,
  author       = {Imen Jerbi and
                  Hayet Brabra and
                  Mohamed Sellami and
                  Walid Gaaloul and
                  Sami Bhiri and
                  Boualem Benatallah and
                  Djamal Zeghlache and
                  Olivier Tirat},
  editor       = {Marta Indulska and
                  Iris Reinhartz{-}Berger and
                  Carlos Cetina and
                  Oscar Pastor},
  title        = {Request Relaxation Based-on Provider Constraints for a Capability-Based
                  NaaS Services Discovery},
  booktitle    = {Advanced Information Systems Engineering - 35th International Conference,
                  CAiSE 2023, Zaragoza, Spain, June 12-16, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13901},
  pages        = {611--627},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-34560-9\_36},
  doi          = {10.1007/978-3-031-34560-9\_36},
  timestamp    = {Fri, 09 Jun 2023 15:22:12 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/JerbiBSGBBZT23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coopis/MoctarMBabaSAGN23,
  author       = {Leyla Moctar{-}M'Baba and
                  Mohamed Sellami and
                  Nour Assy and
                  Walid Gaaloul and
                  Mohamedade Farouk Nanne},
  editor       = {Mohamed Sellami and
                  Maria{-}Esther Vidal and
                  Boudewijn F. van Dongen and
                  Walid Gaaloul and
                  Herv{\'{e}} Panetto},
  title        = {Discovering Guard Stage Milestone Models Through Hierarchical Clustering},
  booktitle    = {Cooperative Information Systems - 29th International Conference, CoopIS
                  2023, Groningen, The Netherlands, October 30 - November 3, 2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14353},
  pages        = {239--256},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-46846-9\_13},
  doi          = {10.1007/978-3-031-46846-9\_13},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/coopis/MoctarMBabaSAGN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BrabraJSGZ23,
  author       = {Hayet Brabra and
                  Imen Jerbi and
                  Mohamed Sellami and
                  Walid Gaaloul and
                  Djamal Zeghlache},
  editor       = {Flavia Monti and
                  Stefanie Rinderle{-}Ma and
                  Antonio Ruiz Cort{\'{e}}s and
                  Zibin Zheng and
                  Massimo Mecella},
  title        = {Uncovering Implicit Bundling Constraints: Empowering Cloud Network
                  Service Discovery},
  booktitle    = {Service-Oriented Computing - 21st International Conference, {ICSOC}
                  2023, Rome, Italy, November 28 - December 1, 2023, Proceedings, Part
                  {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14420},
  pages        = {115--123},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-48424-7\_9},
  doi          = {10.1007/978-3-031-48424-7\_9},
  timestamp    = {Sun, 31 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoc/BrabraJSGZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/ZhaoZXDYLG23,
  author       = {Deng Zhao and
                  Zhangbing Zhou and
                  Xiao Xue and
                  Jin Diao and
                  Sami Yangui and
                  Bo Liu and
                  Walid Gaaloul},
  editor       = {Claudio A. Ardagna and
                  Boualem Benatallah and
                  Hongyi Bian and
                  Carl K. Chang and
                  Rong N. Chang and
                  Jing Fan and
                  Geoffrey C. Fox and
                  Zhi Jin and
                  Xuanzhe Liu and
                  Heiko Ludwig and
                  Michael Sheng and
                  Jian Yang},
  title        = {A Novel Logic-Based Adaptive Monitoring for Composite Edge Services},
  booktitle    = {{IEEE} International Conference on Web Services, {ICWS} 2023, Chicago,
                  IL, USA, July 2-8, 2023},
  pages        = {310--317},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/ICWS60048.2023.00050},
  doi          = {10.1109/ICWS60048.2023.00050},
  timestamp    = {Mon, 23 Oct 2023 07:40:47 +0200},
  biburl       = {https://dblp.org/rec/conf/icws/ZhaoZXDYLG23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Ahmed-NacerKZMG22,
  author       = {Mehdi Ahmed{-}Nacer and
                  Slim Kallel and
                  Faiez Zalila and
                  Philippe Merle and
                  Walid Gaaloul},
  title        = {Model-Driven Simulation of Elastic {OCCI} Cloud Resources},
  journal      = {Comput. J.},
  volume       = {65},
  number       = {5},
  pages        = {1144--1166},
  year         = {2022},
  url          = {https://doi.org/10.1093/comjnl/bxaa159},
  doi          = {10.1093/COMJNL/BXAA159},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Ahmed-NacerKZMG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijnm/AtouiAGY22,
  author       = {Wassim Sellil Atoui and
                  Nour Assy and
                  Walid Gaaloul and
                  Imen Grida Ben Yahia},
  title        = {A model-driven approach for deployment descriptor design in network
                  function virtualization},
  journal      = {Int. J. Netw. Manag.},
  volume       = {32},
  number       = {1},
  year         = {2022},
  url          = {https://doi.org/10.1002/nem.2165},
  doi          = {10.1002/NEM.2165},
  timestamp    = {Tue, 08 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijnm/AtouiAGY22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tamd/BrabraBBGBZ22,
  author       = {Hayet Brabra and
                  Marcos B{\'{a}}ez and
                  Boualem Benatallah and
                  Walid Gaaloul and
                  Sara Bouguelia and
                  Shayan Zamanirad},
  title        = {Dialogue Management in Conversational Systems: {A} Review of Approaches,
                  Challenges, and Opportunities},
  journal      = {{IEEE} Trans. Cogn. Dev. Syst.},
  volume       = {14},
  number       = {3},
  pages        = {783--798},
  year         = {2022},
  url          = {https://doi.org/10.1109/TCDS.2021.3086565},
  doi          = {10.1109/TCDS.2021.3086565},
  timestamp    = {Tue, 18 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tamd/BrabraBBGBZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/SunZXZG22,
  author       = {Mengyu Sun and
                  Zhangbing Zhou and
                  Xiao Xue and
                  Wenbo Zhang and
                  Walid Gaaloul},
  title        = {Adaptive Configuration of Service-Based Smart Sensors in Edge Networks},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {18},
  number       = {4},
  pages        = {2674--2683},
  year         = {2022},
  url          = {https://doi.org/10.1109/TII.2021.3074513},
  doi          = {10.1109/TII.2021.3074513},
  timestamp    = {Thu, 28 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/SunZXZG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/MechoucheTSG22,
  author       = {Jeremy Mechouche and
                  Roua Touihri and
                  Mohamed Sellami and
                  Walid Gaaloul},
  title        = {Conformance checking for autonomous multi-cloud {SLA} management and
                  adaptation},
  journal      = {J. Supercomput.},
  volume       = {78},
  number       = {11},
  pages        = {13004--13039},
  year         = {2022},
  url          = {https://doi.org/10.1007/s11227-022-04363-0},
  doi          = {10.1007/S11227-022-04363-0},
  timestamp    = {Mon, 25 Jul 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tjs/MechoucheTSG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/Moctar-MBabaASG22,
  author       = {Leyla Moctar{-}M'Baba and
                  Nour Assy and
                  Mohamed Sellami and
                  Walid Gaaloul and
                  Mohamedade Farouk Nanne},
  editor       = {Claudio Agostino Ardagna and
                  Hongyi Bian and
                  Carl K. Chang and
                  Rong N. Chang and
                  Ernesto Damiani and
                  Schahram Dustdar and
                  Jordi Marco and
                  Munindar P. Singh and
                  Ernest Teniente and
                  Robert Ward and
                  Zhongjie Wang and
                  Fatos Xhafa and
                  Jia Zhang},
  title        = {Extracting Artifact-Centric Event Logs From Blockchain Applications},
  booktitle    = {{IEEE} International Conference on Services Computing, {SCC} 2022,
                  Barcelona, Spain, July 10-16, 2022},
  pages        = {274--283},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/SCC55611.2022.00048},
  doi          = {10.1109/SCC55611.2022.00048},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/Moctar-MBabaASG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BrahemHBDLMSGB22,
  author       = {Amina Brahem and
                  Tiphaine Henry and
                  Sami Bhiri and
                  Thomas Devogele and
                  Nassim Laga and
                  Nizar Messai and
                  Yacine Sam and
                  Walid Gaaloul and
                  Boualem Benatallah},
  editor       = {Claudio Di Ciccio and
                  Remco M. Dijkman and
                  Adela del{-}R{\'{\i}}o{-}Ortega and
                  Stefanie Rinderle{-}Ma},
  title        = {A Trustworthy decentralized Change Propagation Mechanism for Declarative
                  Choreographies},
  booktitle    = {Business Process Management - 20th International Conference, {BPM}
                  2022, M{\"{u}}nster, Germany, September 11-16, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13420},
  pages        = {418--435},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16103-2\_27},
  doi          = {10.1007/978-3-031-16103-2\_27},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/BrahemHBDLMSGB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coopis/EldinAKBG22,
  author       = {Ali Nour Eldin and
                  Nour Assy and
                  Meriana Kobeissi and
                  Jonathan Baudot and
                  Walid Gaaloul},
  editor       = {Mohamed Sellami and
                  Paolo Ceravolo and
                  Hajo A. Reijers and
                  Walid Gaaloul and
                  Herv{\'{e}} Panetto},
  title        = {Enabling Multi-process Discovery on Graph Databases},
  booktitle    = {Cooperative Information Systems - 28th International Conference, CoopIS
                  2022, Bozen-Bolzano, Italy, October 4-7, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13591},
  pages        = {112--130},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-17834-4\_7},
  doi          = {10.1007/978-3-031-17834-4\_7},
  timestamp    = {Thu, 29 Sep 2022 08:35:53 +0200},
  biburl       = {https://dblp.org/rec/conf/coopis/EldinAKBG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coopis/HenryHKLGB22,
  author       = {Tiphaine Henry and
                  Julien Hatin and
                  L{\'{e}}o Kazmierczak and
                  Nassim Laga and
                  Walid Gaaloul and
                  Emmanuel Bertin},
  editor       = {Mohamed Sellami and
                  Paolo Ceravolo and
                  Hajo A. Reijers and
                  Walid Gaaloul and
                  Herv{\'{e}} Panetto},
  title        = {Random-Value Payment Tokens for On-Chain Privacy-Preserving Payments},
  booktitle    = {Cooperative Information Systems - 28th International Conference, CoopIS
                  2022, Bozen-Bolzano, Italy, October 4-7, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13591},
  pages        = {223--241},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-17834-4\_13},
  doi          = {10.1007/978-3-031-17834-4\_13},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coopis/HenryHKLGB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/HenryBLGP22,
  author       = {Tiphaine Henry and
                  Roman Beck and
                  Nassim Laga and
                  Walid Gaaloul and
                  Shenle Pan},
  title        = {Decentralized procurement mechanisms for efficient logistics services
                  mapping - a design science research approach},
  booktitle    = {55th Hawaii International Conference on System Sciences, {HICSS} 2022,
                  Virtual Event / Maui, Hawaii, USA, January 4-7, 2022},
  pages        = {1--10},
  publisher    = {ScholarSpace},
  year         = {2022},
  url          = {http://hdl.handle.net/10125/79952},
  timestamp    = {Wed, 11 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hicss/HenryBLGP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/Moctar-MBabaSGN22,
  author       = {Leyla Moctar{-}M'Baba and
                  Mohamed Sellami and
                  Walid Gaaloul and
                  Mohamedade Farouk Nanne},
  title        = {Blockchain logging for process mining: a systematic review},
  booktitle    = {55th Hawaii International Conference on System Sciences, {HICSS} 2022,
                  Virtual Event / Maui, Hawaii, USA, January 4-7, 2022},
  pages        = {1--10},
  publisher    = {ScholarSpace},
  year         = {2022},
  url          = {http://hdl.handle.net/10125/80091},
  timestamp    = {Wed, 11 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hicss/Moctar-MBabaSGN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccci/AmmarRBG22,
  author       = {Sabrine Ammar and
                  Taoufik Sakka Rouis and
                  Mohamed Tahar Bhiri and
                  Walid Gaaloul},
  editor       = {Costin Badica and
                  Jan Treur and
                  Djamal Benslimane and
                  Bogumila Hnatkowska and
                  Marek Kr{\'{o}}tkiewicz},
  title        = {Automatic Processing of Planning Problems: Application on Representative
                  Case Studies},
  booktitle    = {Advances in Computational Collective Intelligence - 14th International
                  Conference, {ICCCI} 2022, Hammamet, Tunisia, September 28-30, 2022,
                  Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {1653},
  pages        = {436--445},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16210-7\_36},
  doi          = {10.1007/978-3-031-16210-7\_36},
  timestamp    = {Mon, 17 Oct 2022 16:51:22 +0200},
  biburl       = {https://dblp.org/rec/conf/iccci/AmmarRBG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsbt/Gaaloul22,
  author       = {Walid Gaaloul},
  editor       = {Fons Wijnhoven and
                  Slimane Hammoudi and
                  Marten van Sinderen},
  title        = {Mining Knowledge Graphs From Loosely Structured Processes: {A} Use
                  Case From Emailing Systems},
  booktitle    = {Proceedings of the 19th International Conference on Smart Business
                  Technologies, {ICSBT} 2022, Lisbon, Portugal, July 14-16, 2022},
  pages        = {9},
  publisher    = {{SCITEPRESS}},
  year         = {2022},
  timestamp    = {Tue, 06 Jun 2023 14:58:01 +0200},
  biburl       = {https://dblp.org/rec/conf/icsbt/Gaaloul22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/JerbiASBGBTZ22,
  author       = {Imen Jerbi and
                  Nour Assy and
                  Mohamed Sellami and
                  Hayet Brabra and
                  Walid Gaaloul and
                  Sami Bhiri and
                  Olivier Tirat and
                  Djamal Zeghlache},
  editor       = {Claudio Agostino Ardagna and
                  Nimanthi L. Atukorala and
                  Boualem Benatallah and
                  Athman Bouguettaya and
                  Fabio Casati and
                  Carl K. Chang and
                  Rong N. Chang and
                  Ernesto Damiani and
                  Chirine Ghedira Guegan and
                  Robert Ward and
                  Fatos Xhafa and
                  Xiaofei Xu and
                  Jia Zhang},
  title        = {Enabling Multi-Provider Cloud Network Service Bundling},
  booktitle    = {{IEEE} International Conference on Web Services, {ICWS} 2022, Barcelona,
                  Spain, July 10-16, 2022},
  pages        = {405--414},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ICWS55610.2022.00067},
  doi          = {10.1109/ICWS55610.2022.00067},
  timestamp    = {Fri, 23 Jun 2023 11:36:46 +0200},
  biburl       = {https://dblp.org/rec/conf/icws/JerbiASBGBTZ22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/GarfattaKGG22,
  author       = {Ikram Garfatta and
                  Ka{\"{\i}}s Klai and
                  Mohamed Gra{\"{\i}}et and
                  Walid Gaaloul},
  editor       = {Jiman Hong and
                  Miroslav Bures and
                  Juw Won Park and
                  Tom{\'{a}}s Cern{\'{y}}},
  title        = {Model checking of vulnerabilities in smart contracts: a solidity-to-CPN
                  approach},
  booktitle    = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
                  Event, April 25 - 29, 2022},
  pages        = {316--325},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3477314.3507309},
  doi          = {10.1145/3477314.3507309},
  timestamp    = {Wed, 11 May 2022 08:59:01 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/GarfattaKGG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/bpm/2022bc,
  editor       = {Andrea Marrella and
                  Raimundas Matulevicius and
                  Renata Gabryelczyk and
                  Bernhard Axmann and
                  Vesna Bosilj{-}Vuksic and
                  Walid Gaaloul and
                  Mojca Indihar Stemberger and
                  Andrea Ko and
                  Qinghua Lu},
  title        = {Business Process Management: Blockchain, Robotic Process Automation,
                  and Central and Eastern Europe Forum - {BPM} 2022 Blockchain, RPA,
                  and {CEE} Forum, M{\"{u}}nster, Germany, September 11-16, 2022,
                  Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {459},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16168-1},
  doi          = {10.1007/978-3-031-16168-1},
  isbn         = {978-3-031-16167-4},
  timestamp    = {Wed, 28 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/bpm/2022bc.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/coopis/2022,
  editor       = {Mohamed Sellami and
                  Paolo Ceravolo and
                  Hajo A. Reijers and
                  Walid Gaaloul and
                  Herv{\'{e}} Panetto},
  title        = {Cooperative Information Systems - 28th International Conference, CoopIS
                  2022, Bozen-Bolzano, Italy, October 4-7, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13591},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-17834-4},
  doi          = {10.1007/978-3-031-17834-4},
  isbn         = {978-3-031-17833-7},
  timestamp    = {Thu, 29 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/coopis/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/KallelMSFAGB21,
  author       = {Slim Kallel and
                  Zakaria Maamar and
                  Mohamed Sellami and
                  Noura Faci and
                  Ahmed Ben Arab and
                  Walid Gaaloul and
                  Thar Baker},
  title        = {Restriction-based fragmentation of business processes over the cloud},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {33},
  number       = {7},
  pages        = {1},
  year         = {2021},
  url          = {https://doi.org/10.1002/cpe.5445},
  doi          = {10.1002/CPE.5445},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/concurrency/KallelMSFAGB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/WakrimeBKGG21,
  author       = {Abderrahim Ait Wakrime and
                  Souha Boubaker and
                  Slim Kallel and
                  Emna Guermazi and
                  Walid Gaaloul},
  title        = {A Formal Model for Configurable Business Process with Optimal Cloud
                  Resource Allocation},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {27},
  number       = {7},
  pages        = {693--713},
  year         = {2021},
  url          = {https://doi.org/10.3897/jucs.70978},
  doi          = {10.3897/JUCS.70978},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/WakrimeBKGG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/HalimaKAG21,
  author       = {Rania Ben Halima and
                  Slim Kallel and
                  Mehdi Ahmed{-}Nacer and
                  Walid Gaaloul},
  title        = {Optimal business process deployment cost in cloud resources},
  journal      = {J. Supercomput.},
  volume       = {77},
  number       = {2},
  pages        = {1579--1611},
  year         = {2021},
  url          = {https://doi.org/10.1007/s11227-020-03316-9},
  doi          = {10.1007/S11227-020-03316-9},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tjs/HalimaKAG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/HenryLHBG21,
  author       = {Tiphaine Henry and
                  Nassim Laga and
                  Julien Hatin and
                  Roman Beck and
                  Walid Gaaloul},
  editor       = {Barbara Carminati and
                  Carl K. Chang and
                  Ernesto Daminai and
                  Shuigung Deng and
                  Wei Tan and
                  Zhongjie Wang and
                  Robert Ward and
                  Jia Zhang},
  title        = {Hire me fairly: towards dynamic resource-binding with smart contracts},
  booktitle    = {{IEEE} International Conference on Services Computing, {SCC} 2021,
                  Chicago, IL, USA, September 5-10, 2021},
  pages        = {407--412},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/SCC53864.2021.00058},
  doi          = {10.1109/SCC53864.2021.00058},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/HenryLHBG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsw/GarfattaKGG21,
  author       = {Ikram Garfatta and
                  Kais Klai and
                  Walid Gaaloul and
                  Mohamed Graiet},
  editor       = {Nigel Stanger and
                  Brendon J. Woodford and
                  Michael Winikoff and
                  David M. Eyers and
                  Veronica Liesaputra Joachim and
                  Daniel Alencar da Costa and
                  Andrew Trotman},
  title        = {A Survey on Formal Verification for Solidity Smart Contracts},
  booktitle    = {{ACSW} '21: 2021 Australasian Computer Science Week Multiconference,
                  Dunedin, New Zealand, 1-5 February, 2021},
  pages        = {3:1--3:10},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3437378.3437879},
  doi          = {10.1145/3437378.3437879},
  timestamp    = {Tue, 21 Mar 2023 21:00:35 +0100},
  biburl       = {https://dblp.org/rec/conf/acsw/GarfattaKGG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/HenryLHGB21,
  author       = {Tiphaine Henry and
                  Nassim Laga and
                  Julien Hatin and
                  Walid Gaaloul and
                  Imed Boughzala},
  title        = {Cross-Collaboration Processes based on Blockchain and IoT: a survey},
  booktitle    = {54th Hawaii International Conference on System Sciences, {HICSS} 2021,
                  Kauai, Hawaii, USA, January 5, 2021},
  pages        = {1--10},
  publisher    = {ScholarSpace},
  year         = {2021},
  url          = {https://hdl.handle.net/10125/71138},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hicss/HenryLHGB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icebe/MechoucheTSG21,
  author       = {Jeremy Mechouche and
                  Roua Touihri and
                  Mohamed Sellami and
                  Walid Gaaloul},
  title        = {Towards higher-level description of SLA-aware reconfiguration strategies
                  based on state-machine},
  booktitle    = {{IEEE} International Conference on e-Business Engineering, {ICEBE}
                  2021, Guangzhou, China, November 12-14, 2021},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICEBE52470.2021.00014},
  doi          = {10.1109/ICEBE52470.2021.00014},
  timestamp    = {Fri, 22 Apr 2022 19:18:39 +0200},
  biburl       = {https://dblp.org/rec/conf/icebe/MechoucheTSG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/KobeissiAGDH21,
  author       = {Meriana Kobeissi and
                  Nour Assy and
                  Walid Gaaloul and
                  Bruno Defude and
                  Bassem Haidar},
  editor       = {Claudio Di Ciccio and
                  Chiara Di Francescomarino and
                  Pnina Soffer},
  title        = {An Intent-Based Natural Language Interface for Querying Process Execution
                  Data},
  booktitle    = {3rd International Conference on Process Mining, {ICPM} 2021, Eindhoven,
                  The Netherlands, October 31 - Nov. 4, 2021},
  pages        = {152--159},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICPM53251.2021.9576850},
  doi          = {10.1109/ICPM53251.2021.9576850},
  timestamp    = {Thu, 24 Mar 2022 11:30:01 +0100},
  biburl       = {https://dblp.org/rec/conf/icpm/KobeissiAGDH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/HenryBLHGB21,
  author       = {Tiphaine Henry and
                  Amina Brahem and
                  Nassim Laga and
                  Julien Hatin and
                  Walid Gaaloul and
                  Boualem Benatallah},
  editor       = {Hakim Hacid and
                  Odej Kao and
                  Massimo Mecella and
                  Naouel Moha and
                  Hye{-}young Paik},
  title        = {Trustworthy Cross-Organizational Collaborations with Hybrid On/Off-Chain
                  Declarative Choreographies},
  booktitle    = {Service-Oriented Computing - 19th International Conference, {ICSOC}
                  2021, Virtual Event, November 22-25, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13121},
  pages        = {81--96},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91431-8\_6},
  doi          = {10.1007/978-3-030-91431-8\_6},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/HenryBLHGB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/GarfattaKGG21,
  author       = {Ikram Garfatta and
                  Ka{\"{\i}}s Klai and
                  Mohamed Gra{\"{\i}}et and
                  Walid Gaaloul},
  editor       = {Hakim Hacid and
                  Odej Kao and
                  Massimo Mecella and
                  Naouel Moha and
                  Hye{-}young Paik},
  title        = {Model Checking of Solidity Smart Contracts Adopted for Business Processes},
  booktitle    = {Service-Oriented Computing - 19th International Conference, {ICSOC}
                  2021, Virtual Event, November 22-25, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13121},
  pages        = {116--132},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91431-8\_8},
  doi          = {10.1007/978-3-030-91431-8\_8},
  timestamp    = {Fri, 19 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoc/GarfattaKGG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/SunZXG21,
  author       = {Mengyu Sun and
                  Zhangbing Zhou and
                  Xiao Xue and
                  Walid Gaaloul},
  editor       = {Hakim Hacid and
                  Odej Kao and
                  Massimo Mecella and
                  Naouel Moha and
                  Hye{-}young Paik},
  title        = {Migration-Based Service Allocation Optimization in Dynamic IoT Networks},
  booktitle    = {Service-Oriented Computing - 19th International Conference, {ICSOC}
                  2021, Virtual Event, November 22-25, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13121},
  pages        = {385--399},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-91431-8\_24},
  doi          = {10.1007/978-3-030-91431-8\_24},
  timestamp    = {Wed, 20 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoc/SunZXG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/ZhaoZXZGZ21,
  author       = {Deng Zhao and
                  Zhangbing Zhou and
                  Xiao Xue and
                  Zhuofeng Zhao and
                  Walid Gaaloul and
                  Wenbo Zhang},
  editor       = {Carl K. Chang and
                  Ernesto Daminai and
                  Jing Fan and
                  Parisa Ghodous and
                  Michael Maximilien and
                  Zhongjie Wang and
                  Robert Ward and
                  Jia Zhang},
  title        = {CTL-Based Dynamic IoT Service Composition},
  booktitle    = {2021 {IEEE} International Conference on Web Services, {ICWS} 2021,
                  Chicago, IL, USA, September 5-10, 2021},
  pages        = {381--388},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/ICWS53863.2021.00057},
  doi          = {10.1109/ICWS53863.2021.00057},
  timestamp    = {Wed, 20 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/ZhaoZXZGZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/infocom/SunZG21,
  author       = {Mengyu Sun and
                  Zhangbing Zhou and
                  Walid Gaaloul},
  title        = {Adaptive IoT Service Configuration Optimization in Edge Networks},
  booktitle    = {2021 {IEEE} Conference on Computer Communications Workshops, {INFOCOM}
                  Workshops 2021, Vancouver, BC, Canada, May 10-13, 2021},
  pages        = {1--2},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/INFOCOMWKSHPS51825.2021.9484465},
  doi          = {10.1109/INFOCOMWKSHPS51825.2021.9484465},
  timestamp    = {Fri, 23 Jul 2021 09:24:13 +0200},
  biburl       = {https://dblp.org/rec/conf/infocom/SunZG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smds/NaderAGTH21,
  author       = {Ralph Bou Nader and
                  Nour Assy and
                  Walid Gaaloul and
                  Yehia Taher and
                  Rafiqul Haque},
  editor       = {Nimanthi L. Atukorala and
                  Carl K. Chang and
                  Ernesto Damiani and
                  Min Fu and
                  George Spanoudakis and
                  Mudhakar Srivatsa and
                  Zhongjie Wang and
                  Jia Zhang},
  title        = {Track Before Detect: {A} Novel Approach For Unsupervised Anomaly Detection
                  In Time Series},
  booktitle    = {{IEEE} International Conference on Smart Data Services, {SMDS} 2021,
                  Chicago, IL, USA, September 5-10, 2021},
  pages        = {142--151},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/SMDS53860.2021.00028},
  doi          = {10.1109/SMDS53860.2021.00028},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/smds/NaderAGTH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/GarfattaKGG21,
  author       = {Ikram Garfatta and
                  Ka{\"{\i}}s Klai and
                  Mohamed Gra{\"{\i}}et and
                  Walid Gaaloul},
  title        = {A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts},
  booktitle    = {30th {IEEE} International Conference on Enabling Technologies: Infrastructure
                  for Collaborative Enterprises, {WETICE} 2021, Bayonne, France, October
                  27-29, 2021},
  pages        = {69--74},
  publisher    = {{IEEE}},
  year         = {2021},
  url          = {https://doi.org/10.1109/WETICE53228.2021.00024},
  doi          = {10.1109/WETICE53228.2021.00024},
  timestamp    = {Mon, 31 Jan 2022 16:26:59 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/GarfattaKGG21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/LabidiMGG20,
  author       = {Taher Labidi and
                  Achraf Mtibaa and
                  Walid Gaaloul and
                  Fa{\"{\i}}ez Gargouri},
  title        = {Cloud {SLA} negotiation and re-negotiation: An ontology-based context-aware
                  approach},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {32},
  number       = {15},
  year         = {2020},
  url          = {https://doi.org/10.1002/cpe.5315},
  doi          = {10.1002/CPE.5315},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/concurrency/LabidiMGG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/GaaloulZPZ20,
  author       = {Walid Gaaloul and
                  Zhangbing Zhou and
                  Herv{\'{e}} Panetto and
                  Liang Zhang},
  title        = {Special Issue on Fog and Cloud Computing for Cooperative Information
                  System Management: Challenges and Opportunities},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {109},
  pages        = {704--705},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.future.2020.02.060},
  doi          = {10.1016/J.FUTURE.2020.02.060},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fgcs/GaaloulZPZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/HalimaKGMJ20,
  author       = {Rania Ben Halima and
                  Slim Kallel and
                  Walid Gaaloul and
                  Zakaria Maamar and
                  Mohamed Jmaiel},
  title        = {Toward a correct and optimal time-aware cloud resource allocation
                  to business processes},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {112},
  pages        = {751--766},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.future.2020.06.018},
  doi          = {10.1016/J.FUTURE.2020.06.018},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fgcs/HalimaKGMJ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/BrabraMGB20,
  author       = {Hayet Brabra and
                  Achraf Mtibaa and
                  Walid Gaaloul and
                  Boualem Benatallah},
  title        = {Toward higher-level abstractions based on state machine for cloud
                  resources elasticity},
  journal      = {Inf. Syst.},
  volume       = {90},
  pages        = {101450},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.is.2019.101450},
  doi          = {10.1016/J.IS.2019.101450},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/is/BrabraMGB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnsm/AtouiAGY20,
  author       = {Wassim Sellil Atoui and
                  Nour Assy and
                  Walid Gaaloul and
                  Imen Grida Ben Yahia},
  title        = {Configurable Deployment Descriptor Model in {NFV}},
  journal      = {J. Netw. Syst. Manag.},
  volume       = {28},
  number       = {3},
  pages        = {693--718},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10922-020-09531-2},
  doi          = {10.1007/S10922-020-09531-2},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jnsm/AtouiAGY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/ElleuchALGIB20,
  author       = {Marwa Elleuch and
                  Nour Assy and
                  Nassim Laga and
                  Walid Gaaloul and
                  Oumaima Alaoui Ismaili and
                  Boualem Benatallah},
  title        = {A Meta Model for Mining Processes from Email Data},
  booktitle    = {2020 {IEEE} International Conference on Services Computing, {SCC}
                  2020, Beijing, China, November 7-11, 2020},
  pages        = {152--161},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/SCC49832.2020.00028},
  doi          = {10.1109/SCC49832.2020.00028},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/ElleuchALGIB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/ElleuchILGB20,
  author       = {Marwa Elleuch and
                  Oumaima Alaoui Ismaili and
                  Nassim Laga and
                  Walid Gaaloul and
                  Boualem Benatallah},
  editor       = {Dirk Fahland and
                  Chiara Ghidini and
                  J{\"{o}}rg Becker and
                  Marlon Dumas},
  title        = {Discovering Activities from Emails Based on Pattern Discovery Approach},
  booktitle    = {Business Process Management Forum - {BPM} Forum 2020, Seville, Spain,
                  September 13-18, 2020, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {392},
  pages        = {88--104},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58638-6\_6},
  doi          = {10.1007/978-3-030-58638-6\_6},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/ElleuchILGB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpm/ElleuchILAG20,
  author       = {Marwa Elleuch and
                  Oumaima Alaoui Ismaili and
                  Nassim Laga and
                  Nour Assy and
                  Walid Gaaloul},
  editor       = {Boudewijn F. van Dongen and
                  Marco Montali and
                  Moe Thandar Wynn},
  title        = {Discovery of Activities' Actor Perspective from Emails based on Speech
                  Acts Detection},
  booktitle    = {2nd International Conference on Process Mining, {ICPM} 2020, Padua,
                  Italy, October 4-9, 2020},
  pages        = {73--80},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICPM49681.2020.00021},
  doi          = {10.1109/ICPM49681.2020.00021},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icpm/ElleuchILAG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/GarfattaKGG20,
  author       = {Ikram Garfatta and
                  Ka{\"{\i}}s Klai and
                  Mahamed Gra{\"{\i}}et and
                  Walid Gaaloul},
  editor       = {Hakim Hacid and
                  Fatma Outay and
                  Hye{-}young Paik and
                  Amira Alloum and
                  Marinella Petrocchi and
                  Mohamed Reda Bouadjenek and
                  Amin Beheshti and
                  Xumin Liu and
                  Abderrahmane Maaradji},
  title        = {Blockchain-Based Business Processes: {A} Solidity-to-CPN Formal Verification
                  Approach},
  booktitle    = {Service-Oriented Computing - {ICSOC} 2020 Workshops - AIOps, CFTIC,
                  STRAPS, AI-PA, AI-IOTS, and Satellite Events, Dubai, United Arab Emirates,
                  December 14-17, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12632},
  pages        = {47--53},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-76352-7\_7},
  doi          = {10.1007/978-3-030-76352-7\_7},
  timestamp    = {Wed, 09 Jun 2021 11:39:10 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/GarfattaKGG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/BrahemMSBDG20,
  author       = {Amina Brahem and
                  Nizar Messai and
                  Yacine Sam and
                  Sami Bhiri and
                  Thomas Devogele and
                  Walid Gaaloul},
  title        = {Running Transactional Business Processes with Blockchain's Smart Contracts},
  booktitle    = {2020 {IEEE} International Conference on Web Services, {ICWS} 2020,
                  Beijing, China, October 19-23, 2020},
  pages        = {89--93},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICWS49710.2020.00019},
  doi          = {10.1109/ICWS49710.2020.00019},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icws/BrahemMSBDG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/ZhaoZWG20,
  author       = {Deng Zhao and
                  Zhangbing Zhou and
                  Yasha Wang and
                  Walid Gaaloul},
  title        = {Detecting Temporal Anomaly and Interestingness in Timed Business Process
                  Models},
  booktitle    = {2020 {IEEE} International Conference on Web Services, {ICWS} 2020,
                  Beijing, China, October 19-23, 2020},
  pages        = {418--422},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/ICWS49710.2020.00061},
  doi          = {10.1109/ICWS49710.2020.00061},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icws/ZhaoZWG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/networking/AtouiYG20,
  author       = {Wassim Sellil Atoui and
                  Imen Grida Ben Yahia and
                  Walid Gaaloul},
  title        = {Poster: Word embedding for deployment descriptors in {NFV}},
  booktitle    = {2020 {IFIP} Networking Conference, Networking 2020, Paris, France,
                  June 22-26, 2020},
  pages        = {625--627},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://ieeexplore.ieee.org/document/9142807},
  timestamp    = {Thu, 23 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/networking/AtouiYG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/AtouiAGY20,
  author       = {Wassim Sellil Atoui and
                  Nour Assy and
                  Walid Gaaloul and
                  Imen Grida Ben Yahia},
  title        = {Learning a Configurable Deployment Descriptors Model in {NFV}},
  booktitle    = {{NOMS} 2020 - {IEEE/IFIP} Network Operations and Management Symposium,
                  Budapest, Hungary, April 20-24, 2020},
  pages        = {1--9},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/NOMS47738.2020.9110328},
  doi          = {10.1109/NOMS47738.2020.9110328},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/noms/AtouiAGY20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/ElleuchLIG20,
  author       = {Marwa Elleuch and
                  Nassim Laga and
                  Oumaima Alaoui Ismaili and
                  Walid Gaaloul},
  title        = {Discovering Business Processes And Activities From Messaging Systems:
                  State-Of-The Art},
  booktitle    = {29th {IEEE} International Conference on Enabling Technologies: Infrastructure
                  for Collaborative Enterprises, {WETICE} 2020, Virtual Event, France,
                  September 10-13, 2020},
  pages        = {137--142},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/WETICE49692.2020.00035},
  doi          = {10.1109/WETICE49692.2020.00035},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wetice/ElleuchLIG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2019w,
  editor       = {Sami Yangui and
                  Athman Bouguettaya and
                  Xiao Xue and
                  Noura Faci and
                  Walid Gaaloul and
                  Qi Yu and
                  Zhangbing Zhou and
                  Nathalie Hernandez and
                  Elisa Yumi Nakagawa},
  title        = {Service-Oriented Computing - {ICSOC} 2019 Workshops - WESOACS, ASOCA,
                  ISYCC, TBCE, and STRAPS, Toulouse, France, October 28-31, 2019, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12019},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-45989-5},
  doi          = {10.1007/978-3-030-45989-5},
  isbn         = {978-3-030-45988-8},
  timestamp    = {Wed, 20 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsoc/2019w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/SunZWDG19,
  author       = {Mengyu Sun and
                  Zhangbing Zhou and
                  Junping Wang and
                  Chu Du and
                  Walid Gaaloul},
  title        = {Energy-Efficient IoT Service Composition for Concurrent Timed Applications},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {100},
  pages        = {1017--1030},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.future.2019.05.070},
  doi          = {10.1016/J.FUTURE.2019.05.070},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fgcs/SunZWDG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/BrabraMPMSMGGBG19,
  author       = {Hayet Brabra and
                  Achraf Mtibaa and
                  F{\'{a}}bio Petrillo and
                  Philippe Merle and
                  Layth Sliman and
                  Naouel Moha and
                  Walid Gaaloul and
                  Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and
                  Boualem Benatallah and
                  Fa{\"{\i}}ez Gargouri},
  title        = {On semantic detection of cloud {API} (anti)patterns},
  journal      = {Inf. Softw. Technol.},
  volume       = {107},
  pages        = {65--82},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.infsof.2018.10.012},
  doi          = {10.1016/J.INFSOF.2018.10.012},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/infsof/BrabraMPMSMGGBG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/ChaabaneRPGJ19,
  author       = {Mariam Chaabane and
                  Ismael Bouassida Rodriguez and
                  Ricardo Colomo Palacios and
                  Walid Gaaloul and
                  Mohamed Jmaiel},
  title        = {A modeling approach for Systems-of-Systems by adapting {ISO/IEC/IEEE}
                  42010 Standard evaluated by Goal-Question-Metric},
  journal      = {Sci. Comput. Program.},
  volume       = {184},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.scico.2019.102305},
  doi          = {10.1016/J.SCICO.2019.102305},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scp/ChaabaneRPGJ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/BrabraMGBG19,
  author       = {Hayet Brabra and
                  Achraf Mtibaa and
                  Walid Gaaloul and
                  Boualem Benatallah and
                  Fa{\"{\i}}ez Gargouri},
  editor       = {Elisa Bertino and
                  Carl K. Chang and
                  Peter Chen and
                  Ernesto Damiani and
                  Michael Goul and
                  Katsunori Oyama},
  title        = {Model-Driven Orchestration for Cloud Resources},
  booktitle    = {12th {IEEE} International Conference on Cloud Computing, {CLOUD} 2019,
                  Milan, Italy, July 8-13, 2019},
  pages        = {422--429},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/CLOUD.2019.00074},
  doi          = {10.1109/CLOUD.2019.00074},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEcloud/BrabraMGBG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/BellaajBSGB19,
  author       = {Farah Bellaaj and
                  Hayet Brabra and
                  Mohamed Sellami and
                  Walid Gaaloul and
                  Sami Bhiri},
  editor       = {Elisa Bertino and
                  Carl K. Chang and
                  Peter Chen and
                  Ernesto Damiani and
                  Michael Goul and
                  Katsunori Oyama},
  title        = {A Transactional Approach for Reliable Elastic Cloud Resources},
  booktitle    = {2019 {IEEE} International Conference on Services Computing, {SCC}
                  2019, Milan, Italy, July 8-13, 2019},
  pages        = {154--161},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/SCC.2019.00035},
  doi          = {10.1109/SCC.2019.00035},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/BellaajBSGB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/LagaEGI19,
  author       = {Nassim Laga and
                  Marwa Elleuch and
                  Walid Gaaloul and
                  Oumaima Alaoui Ismaili},
  editor       = {Wil M. P. van der Aalst and
                  Robin Bergenthum and
                  Josep Carmona},
  title        = {Emails Analysis for Business Process Discovery},
  booktitle    = {Proceedings of the International Workshop on Algorithms {\&} Theories
                  for the Analysis of Event Data 2019 Satellite event of the conferences:
                  40th International Conference on Application and Theory of Petri Nets
                  and Concurrency Petri Nets 2019 and 19th International Conference
                  on Application of Concurrency to System Design {ACSD} 2019, ATAED@Petri
                  Nets/ACSD 2019, Aachen, Germany, June 25, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2371},
  pages        = {54--70},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2371/ATAED2019-54-70.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:38 +0100},
  biburl       = {https://dblp.org/rec/conf/apn/LagaEGI19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bdcsintell/RidaAG19,
  author       = {Amani Abou Rida and
                  Nour Assy and
                  Walid Gaaloul},
  editor       = {Marie{-}Rita Hojeij and
                  Yehia Taher and
                  Karine Zeitouni and
                  B{\'{e}}atrice Finance and
                  Rafiqul Haque and
                  Mohammed Dbouk},
  title        = {Extracting Attribute-Based Access Control Rules from Business Process
                  Event Logs},
  booktitle    = {Proceedings of the 2nd International Conference on Big Data and Cyber-Security
                  Intelligence, Versailles, France, December 16-17, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2622},
  pages        = {38--45},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2622/paper6.pdf},
  timestamp    = {Mon, 05 Feb 2024 20:34:09 +0100},
  biburl       = {https://dblp.org/rec/conf/bdcsintell/RidaAG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdec/AbbassiSGG19,
  author       = {Imed Abbassi and
                  Layth Sliman and
                  Mohamed Graiet and
                  Walid Gaaloul},
  editor       = {Rim Jallouli and
                  Mohamed Anis Bach Tobji and
                  Deny B{\'{e}}lisle and
                  Sehl Mellouli and
                  Farid Abdallah and
                  Ibrahim Osman},
  title        = {On the Verification of Data Encryption Requirements in Internet of
                  Things Using Event-B},
  booktitle    = {Digital Economy. Emerging Technologies and Business Innovation - 4th
                  International Conference, ICDEc 2019, Beirut, Lebanon, April 15-18,
                  2019, Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {358},
  pages        = {147--156},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-30874-2\_11},
  doi          = {10.1007/978-3-030-30874-2\_11},
  timestamp    = {Mon, 26 Jun 2023 20:47:57 +0200},
  biburl       = {https://dblp.org/rec/conf/icdec/AbbassiSGG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/im/AtouiYG19,
  author       = {Wassim Sellil Atoui and
                  Imen Grida Ben Yahia and
                  Walid Gaaloul},
  editor       = {Joe Betser and
                  Carol J. Fung and
                  Alex Clemm and
                  J{\'{e}}r{\^{o}}me Fran{\c{c}}ois and
                  Shingo Ata},
  title        = {Virtual Network Function Descriptors Mining using Word Embeddings
                  and Deep Neural Networks},
  booktitle    = {{IFIP/IEEE} International Symposium on Integrated Network Management,
                  {IM} 2019, Washington, DC, USA, April 09-11, 2019},
  pages        = {515--520},
  publisher    = {{IFIP}},
  year         = {2019},
  url          = {https://ieeexplore.ieee.org/document/8717894},
  timestamp    = {Tue, 10 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/im/AtouiYG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/innovate-data/WakrimeBKG19,
  author       = {Abderrahim Ait Wakrime and
                  Souha Boubaker and
                  Slim Kallel and
                  Walid Gaaloul},
  editor       = {Muhammad Younas and
                  Irfan Awan and
                  Salima Benbernou},
  title        = {A SAT-Based Formal Approach for Verifying Business Process Configuration},
  booktitle    = {Big Data Innovations and Applications - 5th International Conference,
                  Innovate-Data 2019, Istanbul, Turkey, August 26-28, 2019, Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {1054},
  pages        = {47--62},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-27355-2\_4},
  doi          = {10.1007/978-3-030-27355-2\_4},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/innovate-data/WakrimeBKG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netsoft/AtouiYG19,
  author       = {Wassim Sellil Atoui and
                  Imen Grida Ben Yahia and
                  Walid Gaaloul},
  editor       = {Christian Jacquenet and
                  Filip De Turck and
                  Prosper Chemouil and
                  Flavio Esposito and
                  Olivier Festor and
                  Walter Cerroni and
                  Stefano Secci},
  title        = {Using Deep Learning for Recommending and Completing Deployment Descriptors
                  in {NFV}},
  booktitle    = {5th {IEEE} Conference on Network Softwarization, NetSoft 2019, Paris,
                  France, June 24-28, 2019},
  pages        = {233--235},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/NETSOFT.2019.8806704},
  doi          = {10.1109/NETSOFT.2019.8806704},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/netsoft/AtouiYG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/WenZWGD19,
  author       = {Jinfeng Wen and
                  Zhangbing Zhou and
                  Yasha Wang and
                  Walid Gaaloul and
                  Yucong Duan},
  editor       = {Herv{\'{e}} Panetto and
                  Christophe Debruyne and
                  Martin Hepp and
                  Dave Lewis and
                  Claudio Agostino Ardagna and
                  Robert Meersman},
  title        = {Discovering Crossing-Workflow Fragments Based on Activity Knowledge
                  Graph},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2019 Conferences
                  - Confederated International Conferences: CoopIS, ODBASE, C{\&}TC
                  2019, Rhodes, Greece, October 21-25, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11877},
  pages        = {515--532},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-33246-4\_32},
  doi          = {10.1007/978-3-030-33246-4\_32},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/WenZWGD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/MathlouthiLGS19,
  author       = {Wided Mathlouthi and
                  Chahrazed Labba and
                  Walid Gaaloul and
                  Narj{\`{e}}s Bellamine Ben Saoud},
  editor       = {Sumitra Reddy},
  title        = {SoS Paradigm Benefits SaaS Integration: Novel Approach and First Results},
  booktitle    = {28th {IEEE} International Conference on Enabling Technologies: Infrastructure
                  for Collaborative Enterprises, {WETICE} 2019, Naples, Italy, June
                  12-14, 2019},
  pages        = {174--179},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/WETICE.2019.00045},
  doi          = {10.1109/WETICE.2019.00045},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wetice/MathlouthiLGS19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/BrahemMSBDG19,
  author       = {Amina Brahem and
                  Nizar Messai and
                  Yacine Sam and
                  Sami Bhiri and
                  Thomas Devogele and
                  Walid Gaaloul},
  editor       = {Sumitra Reddy},
  title        = {Blockchain's Fame Reaches the Execution of Personalized Touristic
                  Itineraries},
  booktitle    = {28th {IEEE} International Conference on Enabling Technologies: Infrastructure
                  for Collaborative Enterprises, {WETICE} 2019, Naples, Italy, June
                  12-14, 2019},
  pages        = {186--191},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/WETICE.2019.00047},
  doi          = {10.1109/WETICE.2019.00047},
  timestamp    = {Thu, 22 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wetice/BrahemMSBDG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ZhaoGZZZ18,
  author       = {Deng Zhao and
                  Walid Gaaloul and
                  Wenbo Zhang and
                  Chunsheng Zhu and
                  Zhangbing Zhou},
  title        = {Formal Verification of Temporal Constraints for Mobile Service-Based
                  Business Process Models},
  journal      = {{IEEE} Access},
  volume       = {6},
  pages        = {59843--59852},
  year         = {2018},
  url          = {https://doi.org/10.1109/ACCESS.2018.2874937},
  doi          = {10.1109/ACCESS.2018.2874937},
  timestamp    = {Sat, 22 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/ZhaoGZZZ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijssoe/SuriGCG18,
  author       = {Kunal Suri and
                  Walid Gaaloul and
                  Arnaud Cuccuru and
                  Sebastien Gerard},
  title        = {Semantic Framework for Energy-Aware Resource Management of IoT in
                  Business Processes},
  journal      = {Int. J. Syst. Serv. Oriented Eng.},
  volume       = {8},
  number       = {1},
  pages        = {21--43},
  year         = {2018},
  url          = {https://doi.org/10.4018/IJSSOE.2018010102},
  doi          = {10.4018/IJSSOE.2018010102},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijssoe/SuriGCG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/GraietAKG18,
  author       = {Mohamed Graiet and
                  Imed Abbassi and
                  Mourad Kmimech and
                  Walid Gaaloul},
  title        = {A Genetic-Based Adaptive Approach for Reliable and Efficient Service
                  Composition},
  journal      = {{IEEE} Syst. J.},
  volume       = {12},
  number       = {2},
  pages        = {1644--1654},
  year         = {2018},
  url          = {https://doi.org/10.1109/JSYST.2016.2612641},
  doi          = {10.1109/JSYST.2016.2612641},
  timestamp    = {Fri, 11 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sj/GraietAKG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tnsm/RekikBAGB18,
  author       = {Molka Rekik and
                  Khouloud Boukadi and
                  Nour Assy and
                  Walid Gaaloul and
                  Han{\^{e}}ne Ben{-}Abdallah},
  title        = {Optimal Deployment of Configurable Business Processes in Cloud Federations},
  journal      = {{IEEE} Trans. Netw. Serv. Manag.},
  volume       = {15},
  number       = {4},
  pages        = {1692--1705},
  year         = {2018},
  url          = {https://doi.org/10.1109/TNSM.2018.2880195},
  doi          = {10.1109/TNSM.2018.2880195},
  timestamp    = {Thu, 27 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tnsm/RekikBAGB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/ZhouCZGN18,
  author       = {Zhangbing Zhou and
                  Zehui Cheng and
                  Liang{-}Jie Zhang and
                  Walid Gaaloul and
                  Ke Ning},
  title        = {Scientific Workflow Clustering and Recommendation Leveraging Layer
                  Hierarchical Analysis},
  journal      = {{IEEE} Trans. Serv. Comput.},
  volume       = {11},
  number       = {1},
  pages        = {169--183},
  year         = {2018},
  url          = {https://doi.org/10.1109/TSC.2016.2542805},
  doi          = {10.1109/TSC.2016.2542805},
  timestamp    = {Thu, 27 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsc/ZhouCZGN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/HalimaZKGJ18,
  author       = {Rania Ben Halima and
                  Imen Zouaghi and
                  Slim Kallel and
                  Walid Gaaloul and
                  Mohamed Jmaiel},
  editor       = {Leonard Barolli and
                  Makoto Takizawa and
                  Tomoya Enokido and
                  Marek R. Ogiela and
                  Lidia Ogiela and
                  Nadeem Javaid},
  title        = {Formal Verification of Temporal Constraints and Allocated Cloud Resources
                  in Business Processes},
  booktitle    = {32nd {IEEE} International Conference on Advanced Information Networking
                  and Applications, {AINA} 2018, Krakow, Poland, May 16-18, 2018},
  pages        = {952--959},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/AINA.2018.00139},
  doi          = {10.1109/AINA.2018.00139},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/HalimaZKGJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bdcsintell/AlmakhourSSG18,
  author       = {Mouhamad Almakhour and
                  Layth Sliman and
                  Abed Ellatif Samhat and
                  Walid Gaaloul},
  editor       = {Marie{-}Rita Hojeij and
                  B{\'{e}}atrice Finance and
                  Yehia Taher and
                  Karine Zeitouni and
                  Rafiqul Haque and
                  Mohamed Dbouk},
  title        = {Trustless Blockchain-based Access Control in Dynamic Collaboration},
  booktitle    = {Proceedings of the 1st International Conference on Big Data and Cyber-Security
                  Intelligence, BDCSIntell 2018, Hadath, Lebanon, December 13-15, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2343},
  pages        = {27--33},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2343/paper8.pdf},
  timestamp    = {Mon, 05 Feb 2024 20:34:09 +0100},
  biburl       = {https://dblp.org/rec/conf/bdcsintell/AlmakhourSSG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BrabraMGB18,
  author       = {Hayet Brabra and
                  Achraf Mtibaa and
                  Walid Gaaloul and
                  Boualem Benatallah},
  editor       = {John Krogstie and
                  Hajo A. Reijers},
  title        = {Model-Driven Elasticity for Cloud Resources},
  booktitle    = {Advanced Information Systems Engineering - 30th International Conference,
                  CAiSE 2018, Tallinn, Estonia, June 11-15, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10816},
  pages        = {187--202},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-91563-0\_12},
  doi          = {10.1007/978-3-319-91563-0\_12},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/BrabraMGB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/XuZZGD18,
  author       = {Jiabei Xu and
                  Deng Zhao and
                  Zhangbing Zhou and
                  Walid Gaaloul and
                  Yucong Duan},
  title        = {Energy-Efficient {WSN} Service Composition for Concurrent Applications},
  booktitle    = {2018 {IEEE} International Conference on Web Services, {ICWS} 2018,
                  San Francisco, CA, USA, July 2-7, 2018},
  pages        = {74--81},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/ICWS.2018.00017},
  doi          = {10.1109/ICWS.2018.00017},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/XuZZGD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/netsoft/AtouiYG18,
  author       = {Wassim Sellil Atoui and
                  Imen Grida Ben Yahia and
                  Walid Gaaloul},
  title        = {Semantic-Based Global Network View Construction in Software Defined
                  Networks with Multiple Controllers},
  booktitle    = {4th {IEEE} Conference on Network Softwarization and Workshops, NetSoft
                  2018, Montreal, QC, Canada, June 25-29, 2018},
  pages        = {252--256},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/NETSOFT.2018.8460137},
  doi          = {10.1109/NETSOFT.2018.8460137},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/netsoft/AtouiYG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/HalimaKGJ18,
  author       = {Rania Ben Halima and
                  Slim Kallel and
                  Walid Gaaloul and
                  Mohamed Jmaiel},
  editor       = {Herv{\'{e}} Panetto and
                  Christophe Debruyne and
                  Henderik A. Proper and
                  Claudio Agostino Ardagna and
                  Dumitru Roman and
                  Robert Meersman},
  title        = {Scheduling Business Process Activities for Time-Aware Cloud Resource
                  Allocation},
  booktitle    = {On the Move to Meaningful Internet Systems. {OTM} 2018 Conferences
                  - Confederated International Conferences: CoopIS, C{\&}TC, and
                  {ODBASE} 2018, Valletta, Malta, October 22-26, 2018, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11229},
  pages        = {445--462},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-02610-3\_25},
  doi          = {10.1007/978-3-030-02610-3\_25},
  timestamp    = {Fri, 27 Dec 2019 21:26:49 +0100},
  biburl       = {https://dblp.org/rec/conf/otm/HalimaKGJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/GarfattaKGG18,
  author       = {Ikram Garfatta and
                  Kais Klai and
                  Mohamed Graiet and
                  Walid Gaaloul},
  editor       = {Herv{\'{e}} Panetto and
                  Christophe Debruyne and
                  Henderik A. Proper and
                  Claudio Agostino Ardagna and
                  Dumitru Roman and
                  Robert Meersman},
  title        = {Formal Modelling and Verification of Cloud Resource Allocation in
                  Business Processes},
  booktitle    = {On the Move to Meaningful Internet Systems. {OTM} 2018 Conferences
                  - Confederated International Conferences: CoopIS, C{\&}TC, and
                  {ODBASE} 2018, Valletta, Malta, October 22-26, 2018, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11229},
  pages        = {552--567},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-02610-3\_31},
  doi          = {10.1007/978-3-030-02610-3\_31},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/GarfattaKGG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/BoubakerKKG18,
  author       = {Souha Boubaker and
                  Kais Klai and
                  Hedi Kortas and
                  Walid Gaaloul},
  editor       = {Herv{\'{e}} Panetto and
                  Christophe Debruyne and
                  Henderik A. Proper and
                  Claudio Agostino Ardagna and
                  Dumitru Roman and
                  Robert Meersman},
  title        = {A Formal Model for Business Process Configuration Verification Supporting
                  OR-Join Semantics},
  booktitle    = {On the Move to Meaningful Internet Systems. {OTM} 2018 Conferences
                  - Confederated International Conferences: CoopIS, C{\&}TC, and
                  {ODBASE} 2018, Valletta, Malta, October 22-26, 2018, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11229},
  pages        = {623--642},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-02610-3\_35},
  doi          = {10.1007/978-3-030-02610-3\_35},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/BoubakerKKG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scc2/SuriGC18,
  author       = {Kunal Suri and
                  Walid Gaaloul and
                  Arnaud Cuccuru},
  editor       = {Jo{\~{a}}o Eduardo Ferreira and
                  George Spanoudakis and
                  Yutao Ma and
                  Liang{-}Jie Zhang},
  title        = {Configurable IoT-Aware Allocation in Business Processes},
  booktitle    = {Services Computing - {SCC} 2018 - 15th International Conference, Held
                  as Part of the Services Conference Federation, {SCF} 2018, Seattle,
                  WA, USA, June 25-30, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10969},
  pages        = {119--136},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-94376-3\_8},
  doi          = {10.1007/978-3-319-94376-3\_8},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scc2/SuriGC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soca/GarfattaKGG18,
  author       = {Ikram Garfatta and
                  Kais Klai and
                  Mohamed Graiet and
                  Walid Gaaloul},
  title        = {[WiP] Formal Modelling of {IT} Resource Allocation in Business Processes},
  booktitle    = {11th {IEEE} Conference on Service-Oriented Computing and Applications,
                  {SOCA} 2018, Paris, France, November 20-22, 2018},
  pages        = {227--232},
  publisher    = {{IEEE} Computer Society},
  year         = {2018},
  url          = {https://doi.org/10.1109/SOCA.2018.00040},
  doi          = {10.1109/SOCA.2018.00040},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/soca/GarfattaKGG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/GraietMBG17,
  author       = {Mohamed Graiet and
                  Amel Mammar and
                  Souha Boubaker and
                  Walid Gaaloul},
  title        = {Towards Correct Cloud Resource Allocation in Business Processes},
  journal      = {{IEEE} Trans. Serv. Comput.},
  volume       = {10},
  number       = {1},
  pages        = {23--36},
  year         = {2017},
  url          = {https://doi.org/10.1109/TSC.2016.2594062},
  doi          = {10.1109/TSC.2016.2594062},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsc/GraietMBG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/Ahmed-NacerSSG17,
  author       = {Mehdi Ahmed{-}Nacer and
                  Kunal Suri and
                  Mohamed Sellami and
                  Walid Gaaloul},
  editor       = {Xiaoqing (Frank) Liu and
                  Umesh Bellur},
  title        = {Simulation of Configurable Resource Allocation for Cloud-Based Business
                  Processes},
  booktitle    = {2017 {IEEE} International Conference on Services Computing, {SCC}
                  2017, Honolulu, HI, USA, June 25-30, 2017},
  pages        = {305--313},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/SCC.2017.46},
  doi          = {10.1109/SCC.2017.46},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/Ahmed-NacerSSG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/HalimaKGJ17,
  author       = {Rania Ben Halima and
                  Slim Kallel and
                  Walid Gaaloul and
                  Mohamed Jmaiel},
  editor       = {Xiaoqing (Frank) Liu and
                  Umesh Bellur},
  title        = {Optimal Cost for Time-Aware Cloud Resource Allocation in Business
                  Process},
  booktitle    = {2017 {IEEE} International Conference on Services Computing, {SCC}
                  2017, Honolulu, HI, USA, June 25-30, 2017},
  pages        = {314--321},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/SCC.2017.47},
  doi          = {10.1109/SCC.2017.47},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/HalimaKGJ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/LabidiMGTG17,
  author       = {Taher Labidi and
                  Achraf Mtibaa and
                  Walid Gaaloul and
                  Samir Tata and
                  Fa{\"{\i}}ez Gargouri},
  editor       = {Xiaoqing (Frank) Liu and
                  Umesh Bellur},
  title        = {Cloud {SLA} Modeling and Monitoring},
  booktitle    = {2017 {IEEE} International Conference on Services Computing, {SCC}
                  2017, Honolulu, HI, USA, June 25-30, 2017},
  pages        = {338--345},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/SCC.2017.50},
  doi          = {10.1109/SCC.2017.50},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/LabidiMGTG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edge/Ahmed-NacerGT17,
  author       = {Mehdi Ahmed{-}Nacer and
                  Walid Gaaloul and
                  Samir Tata},
  title        = {OCCI-Compliant Cloud Configuration Simulation},
  booktitle    = {{IEEE} International Conference on Edge Computing, {EDGE} 2017, Honolulu,
                  HI, USA, June 25-30, 2017},
  pages        = {73--81},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/IEEE.EDGE.2017.18},
  doi          = {10.1109/IEEE.EDGE.2017.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/edge/Ahmed-NacerGT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/RekikBGB17,
  author       = {Molka Rekik and
                  Khouloud Boukadi and
                  Walid Gaaloul and
                  Han{\^{e}}ne Ben{-}Abdallah},
  editor       = {Tung Bui},
  title        = {Anti-Pattern Specification and Correction Recommendations for Semantic
                  Cloud Services},
  booktitle    = {50th Hawaii International Conference on System Sciences, {HICSS} 2017,
                  Hilton Waikoloa Village, Hawaii, USA, January 4-7, 2017},
  pages        = {1--10},
  publisher    = {ScholarSpace / {AIS} Electronic Library (AISeL)},
  year         = {2017},
  url          = {https://hdl.handle.net/10125/41672},
  timestamp    = {Wed, 04 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/hicss/RekikBGB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BoubakerKSGG17,
  author       = {Souha Boubaker and
                  Kais Klai and
                  Katia Schmitz and
                  Mohamed Graiet and
                  Walid Gaaloul},
  editor       = {E. Michael Maximilien and
                  Antonio Vallecillo and
                  Jianmin Wang and
                  Marc Oriol},
  title        = {Deadlock-Freeness Verification of Business Process Configuration Using
                  {SOG}},
  booktitle    = {Service-Oriented Computing - 15th International Conference, {ICSOC}
                  2017, Malaga, Spain, November 13-16, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10601},
  pages        = {96--112},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-69035-3\_7},
  doi          = {10.1007/978-3-319-69035-3\_7},
  timestamp    = {Tue, 12 Sep 2023 07:57:22 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/BoubakerKSGG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/HachichaYSG17,
  author       = {Emna Hachicha and
                  Karn Yongsiriwit and
                  Mohamed Sellami and
                  Walid Gaaloul},
  editor       = {Ilkay Altintas and
                  Shiping Chen},
  title        = {Genetic-Based Configurable Cloud Resource Allocation in QoS-Aware
                  Business Process Development},
  booktitle    = {2017 {IEEE} International Conference on Web Services, {ICWS} 2017,
                  Honolulu, HI, USA, June 25-30, 2017},
  pages        = {836--839},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICWS.2017.101},
  doi          = {10.1109/ICWS.2017.101},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/HachichaYSG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/SuriCCGGT17,
  author       = {Kunal Suri and
                  Arnaud Cuccuru and
                  Juan Cadavid and
                  Sebastien Gerard and
                  Walid Gaaloul and
                  Samir Tata},
  editor       = {Lu{\'{\i}}s Ferreira Pires and
                  Slimane Hammoudi and
                  Bran Selic},
  title        = {Model-based Development of Modular Complex Systems for Accomplishing
                  System Integration for Industry 4.0},
  booktitle    = {Proceedings of the 5th International Conference on Model-Driven Engineering
                  and Software Development, {MODELSWARD} 2017, Porto, Portugal, February
                  19-21, 2017},
  pages        = {487--495},
  publisher    = {SciTePress},
  year         = {2017},
  url          = {https://doi.org/10.5220/0006210504870495},
  doi          = {10.5220/0006210504870495},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/modelsward/SuriCCGGT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/LabidiMGG17,
  author       = {Taher Labidi and
                  Achraf Mtibaa and
                  Walid Gaaloul and
                  Fa{\"{\i}}ez Gargouri},
  editor       = {Sumitra Reddy and
                  Wojciech Cellary and
                  Mariagrazia Fugini},
  title        = {Ontology-Based {SLA} Negotiation and Re-Negotiation for Cloud Computing},
  booktitle    = {26th {IEEE} International Conference on Enabling Technologies: Infrastructure
                  for Collaborative Enterprises, {WETICE} 2017, Poznan, Poland, June
                  21-23, 2017},
  pages        = {36--41},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/WETICE.2017.24},
  doi          = {10.1109/WETICE.2017.24},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/LabidiMGG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/SuriGCG17,
  author       = {Kunal Suri and
                  Walid Gaaloul and
                  Arnaud Cuccuru and
                  Sebastien Gerard},
  editor       = {Sumitra Reddy and
                  Wojciech Cellary and
                  Mariagrazia Fugini},
  title        = {Semantic Framework for Internet of Things-Aware Business Process Development},
  booktitle    = {26th {IEEE} International Conference on Enabling Technologies: Infrastructure
                  for Collaborative Enterprises, {WETICE} 2017, Poznan, Poland, June
                  21-23, 2017},
  pages        = {214--219},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/WETICE.2017.54},
  doi          = {10.1109/WETICE.2017.54},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/SuriGCG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wise/LabbaASG17,
  author       = {Chahrazed Labba and
                  Nour Assy and
                  Narj{\`{e}}s Bellamine Ben Saoud and
                  Walid Gaaloul},
  editor       = {Athman Bouguettaya and
                  Yunjun Gao and
                  Andrey Klimenko and
                  Lu Chen and
                  Xiangliang Zhang and
                  Fedor Dzerzhinskiy and
                  Weijia Jia and
                  Stanislav V. Klimenko and
                  Qing Li},
  title        = {Adaptive Deployment of Service-Based Processes into Cloud Federations},
  booktitle    = {Web Information Systems Engineering - {WISE} 2017 - 18th International
                  Conference, Puschino, Russia, October 7-11, 2017, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10569},
  pages        = {275--289},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-68783-4\_19},
  doi          = {10.1007/978-3-319-68783-4\_19},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wise/LabbaASG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/otm/2017-1,
  editor       = {Herv{\'{e}} Panetto and
                  Christophe Debruyne and
                  Walid Gaaloul and
                  Mike P. Papazoglou and
                  Adrian Paschke and
                  Claudio Agostino Ardagna and
                  Robert Meersman},
  title        = {On the Move to Meaningful Internet Systems. {OTM} 2017 Conferences
                  - Confederated International Conferences: CoopIS, C{\&}TC, and
                  {ODBASE} 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10573},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-69462-7},
  doi          = {10.1007/978-3-319-69462-7},
  isbn         = {978-3-319-69461-0},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/otm/2017-1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/otm/2017-2,
  editor       = {Herv{\'{e}} Panetto and
                  Christophe Debruyne and
                  Walid Gaaloul and
                  Mike P. Papazoglou and
                  Adrian Paschke and
                  Claudio Agostino Ardagna and
                  Robert Meersman},
  title        = {On the Move to Meaningful Internet Systems. {OTM} 2017 Conferences
                  - Confederated International Conferences: CoopIS, C{\&}TC, and
                  {ODBASE} 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part
                  {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10574},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-69459-7},
  doi          = {10.1007/978-3-319-69459-7},
  isbn         = {978-3-319-69458-0},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/otm/2017-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijaacs/BelaidLG16,
  author       = {Djamel Bela{\"{\i}}d and
                  Imen Ben Lahmar and
                  Walid Gaaloul},
  title        = {Developing correct adapters for software architectural dynamic reconfiguration},
  journal      = {Int. J. Auton. Adapt. Commun. Syst.},
  volume       = {9},
  number       = {3/4},
  pages        = {201--222},
  year         = {2016},
  url          = {https://doi.org/10.1504/IJAACS.2016.079622},
  doi          = {10.1504/IJAACS.2016.079622},
  timestamp    = {Sun, 30 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijaacs/BelaidLG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jnca/YongsiriwitAG16,
  author       = {Karn Yongsiriwit and
                  Nour Assy and
                  Walid Gaaloul},
  title        = {A semantic framework for configurable business process as a service
                  in the cloud},
  journal      = {J. Netw. Comput. Appl.},
  volume       = {59},
  pages        = {168--184},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jnca.2015.07.007},
  doi          = {10.1016/J.JNCA.2015.07.007},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jnca/YongsiriwitAG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ChanNG16,
  author       = {Nguyen Ngoc Chan and
                  Nattawat Nonsung and
                  Walid Gaaloul},
  title        = {Service querying to support process variant development},
  journal      = {J. Syst. Softw.},
  volume       = {122},
  pages        = {538--552},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jss.2015.07.050},
  doi          = {10.1016/J.JSS.2015.07.050},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/ChanNG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/puc/ZhouTZG16,
  author       = {Zhangbing Zhou and
                  Kim Fung Tsang and
                  Zhuofeng Zhao and
                  Walid Gaaloul},
  title        = {Data intelligence on the Internet of Things},
  journal      = {Pers. Ubiquitous Comput.},
  volume       = {20},
  number       = {3},
  pages        = {277--281},
  year         = {2016},
  url          = {https://doi.org/10.1007/s00779-016-0912-1},
  doi          = {10.1007/S00779-016-0912-1},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/puc/ZhouTZG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcloud/YongsiriwitSG16,
  author       = {Karn Yongsiriwit and
                  Mohamed Sellami and
                  Walid Gaaloul},
  title        = {A Semantic Framework Supporting Cloud Resource Descriptions Interoperability},
  booktitle    = {9th {IEEE} International Conference on Cloud Computing, {CLOUD} 2016,
                  San Francisco, CA, USA, June 27 - July 2, 2016},
  pages        = {585--592},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/CLOUD.2016.0083},
  doi          = {10.1109/CLOUD.2016.0083},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEcloud/YongsiriwitSG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/RekikBAGB16,
  author       = {Molka Rekik and
                  Khouloud Boukadi and
                  Nour Assy and
                  Walid Gaaloul and
                  Han{\^{e}}ne Ben{-}Abdallah},
  editor       = {Jia Zhang and
                  John A. Miller and
                  Xiaofei Xu},
  title        = {A Linear Program for Optimal Configurable Business Processes Deployment
                  into Cloud Federation},
  booktitle    = {{IEEE} International Conference on Services Computing, {SCC} 2016,
                  San Francisco, CA, USA, June 27 - July 2, 2016},
  pages        = {34--41},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SCC.2016.31},
  doi          = {10.1109/SCC.2016.31},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/RekikBAGB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/YongsiriwitSG16,
  author       = {Karn Yongsiriwit and
                  Mohamed Sellami and
                  Walid Gaaloul},
  editor       = {Jia Zhang and
                  John A. Miller and
                  Xiaofei Xu},
  title        = {A Semantic Framework Supporting Business Process Variability Using
                  Event Logs},
  booktitle    = {{IEEE} International Conference on Services Computing, {SCC} 2016,
                  San Francisco, CA, USA, June 27 - July 2, 2016},
  pages        = {163--170},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SCC.2016.28},
  doi          = {10.1109/SCC.2016.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/YongsiriwitSG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/HachichaGM16,
  author       = {Emna Hachicha and
                  Walid Gaaloul and
                  Zakaria Maamar},
  editor       = {Jia Zhang and
                  John A. Miller and
                  Xiaofei Xu},
  title        = {Social-Based Semantic Framework for Cloud Resource Management in Business
                  Processes},
  booktitle    = {{IEEE} International Conference on Services Computing, {SCC} 2016,
                  San Francisco, CA, USA, June 27 - July 2, 2016},
  pages        = {443--450},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SCC.2016.64},
  doi          = {10.1109/SCC.2016.64},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/HachichaGM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/BrabraMSGG16,
  author       = {Hayet Brabra and
                  Achraf Mtibaa and
                  Layth Sliman and
                  Walid Gaaloul and
                  Fa{\"{\i}}ez Gargouri},
  editor       = {Jia Zhang and
                  John A. Miller and
                  Xiaofei Xu},
  title        = {Semantic Web Technologies in Cloud Computing: {A} Systematic Literature
                  Review},
  booktitle    = {{IEEE} International Conference on Services Computing, {SCC} 2016,
                  San Francisco, CA, USA, June 27 - July 2, 2016},
  pages        = {744--751},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/SCC.2016.102},
  doi          = {10.1109/SCC.2016.102},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/BrabraMSGG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/BoubakerMGG16,
  author       = {Souha Boubaker and
                  Amel Mammar and
                  Mohamed Graiet and
                  Walid Gaaloul},
  editor       = {Leonard Barolli and
                  Makoto Takizawa and
                  Tomoya Enokido and
                  Antonio J. Jara and
                  Yann Bocchi},
  title        = {Formal Verification of Cloud Resource Allocation in Business Processes
                  Using Event-B},
  booktitle    = {30th {IEEE} International Conference on Advanced Information Networking
                  and Applications, {AINA} 2016, Crans-Montana, Switzerland, 23-25 March,
                  2016},
  pages        = {746--753},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/AINA.2016.126},
  doi          = {10.1109/AINA.2016.126},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/BoubakerMGG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/HachichaAGM16,
  author       = {Emna Hachicha and
                  Nour Assy and
                  Walid Gaaloul and
                  Jan Mendling},
  editor       = {Selmin Nurcan and
                  Pnina Soffer and
                  Marko Bajec and
                  Johann Eder},
  title        = {A Configurable Resource Allocation for Multi-tenant Process Development
                  in the Cloud},
  booktitle    = {Advanced Information Systems Engineering - 28th International Conference,
                  CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9694},
  pages        = {558--574},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-39696-5\_34},
  doi          = {10.1007/978-3-319-39696-5\_34},
  timestamp    = {Tue, 14 May 2019 10:00:36 +0200},
  biburl       = {https://dblp.org/rec/conf/caise/HachichaAGM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudcom/BibaniMYGGHMP16,
  author       = {Ons Bibani and
                  Carla Mouradian and
                  Sami Yangui and
                  Roch H. Glitho and
                  Walid Gaaloul and
                  Nejib Ben Hadj{-}Alouane and
                  Monique Morrow and
                  Paul A. Polakos},
  title        = {A Demo of IoT Healthcare Application Provisioning in Hybrid Cloud/Fog
                  Environment},
  booktitle    = {2016 {IEEE} International Conference on Cloud Computing Technology
                  and Science, CloudCom 2016, Luxembourg, December 12-15, 2016},
  pages        = {472--475},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/CloudCom.2016.0081},
  doi          = {10.1109/CLOUDCOM.2016.0081},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cloudcom/BibaniMYGGHMP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/his/LabidiMGG16,
  author       = {Taher Labidi and
                  Achraf Mtibaa and
                  Walid Gaaloul and
                  Fa{\"{\i}}ez Gargouri},
  editor       = {Ajith Abraham and
                  Abdelkrim Haqiq and
                  Adel M. Alimi and
                  Ghita Mezzour and
                  Nizar Rokbani and
                  Azah Kamilah Muda},
  title        = {Toward Context-Aware {SLA} for Cloud Computing},
  booktitle    = {Proceedings of the 16th International Conference on Hybrid Intelligent
                  Systems {(HIS} 2016), Marrakech, Morocco, November 21-23, 2016},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {552},
  pages        = {350--359},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-52941-7\_35},
  doi          = {10.1007/978-3-319-52941-7\_35},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/his/LabidiMGG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BrabraMSGBG16,
  author       = {Hayet Brabra and
                  Achraf Mtibaa and
                  Layth Sliman and
                  Walid Gaaloul and
                  Boualem Benatallah and
                  Fa{\"{\i}}ez Gargouri},
  editor       = {Quan Z. Sheng and
                  Eleni Stroulia and
                  Samir Tata and
                  Sami Bhiri},
  title        = {Detecting Cloud (Anti)Patterns: {OCCI} Perspective},
  booktitle    = {Service-Oriented Computing - 14th International Conference, {ICSOC}
                  2016, Banff, AB, Canada, October 10-13, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9936},
  pages        = {202--218},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46295-0\_13},
  doi          = {10.1007/978-3-319-46295-0\_13},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/BrabraMSGBG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/BoubakerMGG16,
  author       = {Souha Boubaker and
                  Amel Mammar and
                  Mohamed Graiet and
                  Walid Gaaloul},
  editor       = {Quan Z. Sheng and
                  Eleni Stroulia and
                  Samir Tata and
                  Sami Bhiri},
  title        = {A Formal Guidance Approach for Correct Process Configuration},
  booktitle    = {Service-Oriented Computing - 14th International Conference, {ICSOC}
                  2016, Banff, AB, Canada, October 10-13, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9936},
  pages        = {483--498},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-46295-0\_30},
  doi          = {10.1007/978-3-319-46295-0\_30},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/BoubakerMGG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/BoubakerMGG16,
  author       = {Souha Boubaker and
                  Amel Mammar and
                  Mohamed Graiet and
                  Walid Gaaloul},
  editor       = {Stephan Reiff{-}Marganiec},
  title        = {An Event-B Based Approach for Ensuring Correct Configurable Business
                  Processes},
  booktitle    = {{IEEE} International Conference on Web Services, {ICWS} 2016, San
                  Francisco, CA, USA, June 27 - July 2, 2016},
  pages        = {460--467},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICWS.2016.66},
  doi          = {10.1109/ICWS.2016.66},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/BoubakerMGG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanman/BibaniYGGHMP16,
  author       = {Ons Bibani and
                  Sami Yangui and
                  Roch H. Glitho and
                  Walid Gaaloul and
                  Nejib Ben Hadj{-}Alouane and
                  Monique J. Morrow and
                  Paul A. Polakos},
  title        = {A demo of a PaaS for IoT applications provisioning in hybrid cloud/fog
                  environment},
  booktitle    = {{IEEE} International Symposium on Local and Metropolitan Area Networks,
                  {LANMAN} 2016, Rome, Italy, June 13-15, 2016},
  pages        = {1--2},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/LANMAN.2016.7548876},
  doi          = {10.1109/LANMAN.2016.7548876},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lanman/BibaniYGGHMP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/LahouijHGEG16,
  author       = {Aida Lahouij and
                  Lazhar Hamel and
                  Mohamed Graiet and
                  Abir Elkhalfa and
                  Walid Gaaloul},
  editor       = {Christophe Debruyne and
                  Herv{\'{e}} Panetto and
                  Robert Meersman and
                  Tharam S. Dillon and
                  Eva K{\"{u}}hn and
                  Declan O'Sullivan and
                  Claudio Agostino Ardagna},
  title        = {A Global SLA-Aware Approach for Aggregating Services in the Cloud},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2016 Conferences
                  - Confederated International Conferences: CoopIS, C{\&}TC, and
                  {ODBASE} 2016, Rhodes, Greece, October 24-28, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10033},
  pages        = {363--380},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48472-3\_21},
  doi          = {10.1007/978-3-319-48472-3\_21},
  timestamp    = {Tue, 15 Nov 2022 15:22:36 +0100},
  biburl       = {https://dblp.org/rec/conf/otm/LahouijHGEG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/HalimaKKGJ16,
  author       = {Rania Ben Halima and
                  Slim Kallel and
                  Kais Klai and
                  Walid Gaaloul and
                  Mohamed Jmaiel},
  editor       = {Christophe Debruyne and
                  Herv{\'{e}} Panetto and
                  Robert Meersman and
                  Tharam S. Dillon and
                  Eva K{\"{u}}hn and
                  Declan O'Sullivan and
                  Claudio Agostino Ardagna},
  title        = {Formal Verification of Time-Aware Cloud Resource Allocation in Business
                  Process},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2016 Conferences
                  - Confederated International Conferences: CoopIS, C{\&}TC, and
                  {ODBASE} 2016, Rhodes, Greece, October 24-28, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10033},
  pages        = {400--417},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48472-3\_23},
  doi          = {10.1007/978-3-319-48472-3\_23},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/HalimaKKGJ16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/HachichaYG16,
  author       = {Emna Hachicha and
                  Karn Yongsiriwit and
                  Walid Gaaloul},
  editor       = {Christophe Debruyne and
                  Herv{\'{e}} Panetto and
                  Robert Meersman and
                  Tharam S. Dillon and
                  Eva K{\"{u}}hn and
                  Declan O'Sullivan and
                  Claudio Agostino Ardagna},
  title        = {Energy Efficient Configurable Resource Allocation in Cloud-Based Business
                  Processes (Short Paper)},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2016 Conferences
                  - Confederated International Conferences: CoopIS, C{\&}TC, and
                  {ODBASE} 2016, Rhodes, Greece, October 24-28, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10033},
  pages        = {437--444},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-48472-3\_25},
  doi          = {10.1007/978-3-319-48472-3\_25},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/HachichaYG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icsoc/2015w,
  editor       = {Alex Norta and
                  Walid Gaaloul and
                  G. R. Gangadharan and
                  Hoa Khanh Dam},
  title        = {Service-Oriented Computing - {ICSOC} 2015 Workshops - WESOA, RMSOC,
                  ISC, DISCO, WESE, BSCI, FOR-MOVES, Goa, India, November 16-19, 2015,
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9586},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-662-50539-7},
  doi          = {10.1007/978-3-662-50539-7},
  isbn         = {978-3-662-50538-0},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/2015w.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wetice/2016,
  editor       = {Sumitra Reddy and
                  Walid Gaaloul},
  title        = {25th {IEEE} International Conference on Enabling Technologies: Infrastructure
                  for Collaborative Enterprises, {WETICE} 2016, Paris, France, June
                  13-15, 2016},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/7510489/proceeding},
  isbn         = {978-1-5090-1663-1},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wetice/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ZhouGHST15,
  author       = {Zhangbing Zhou and
                  Walid Gaaloul and
                  Patrick C. K. Hung and
                  Lei Shu and
                  Wei Tan},
  title        = {{IEEE} Access Special Session Editorial: Big Data Services and Computational
                  Intelligence for Industrial Systems},
  journal      = {{IEEE} Access},
  volume       = {3},
  pages        = {3085--3088},
  year         = {2015},
  url          = {https://doi.org/10.1109/ACCESS.2016.2516178},
  doi          = {10.1109/ACCESS.2016.2516178},
  timestamp    = {Wed, 15 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/ZhouGHST15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/MovahediGBD15,
  author       = {Zahra Movahedi and
                  Walid Gaaloul and
                  Sami Bhiri and
                  Bruno Defude},
  title        = {Assisting Sensor-Based Application Design and Instantiation Using
                  Activity Recommendation},
  journal      = {Comput. J.},
  volume       = {58},
  number       = {3},
  pages        = {368--384},
  year         = {2015},
  url          = {https://doi.org/10.1093/comjnl/bxu076},
  doi          = {10.1093/COMJNL/BXU076},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/MovahediGBD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/SellamiGD15,
  author       = {Mohamed Sellami and
                  Walid Gaaloul and
                  Bruno Defude},
  title        = {A decentralized and service-based solution for data mediation: the
                  case for data providing service compositions},
  journal      = {Concurr. Comput. Pract. Exp.},
  volume       = {27},
  number       = {6},
  pages        = {1427--1444},
  year         = {2015},
  url          = {https://doi.org/10.1002/cpe.3048},
  doi          = {10.1002/CPE.3048},
  timestamp    = {Mon, 02 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/concurrency/SellamiGD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isi/AssyGSD15,
  author       = {Nour Assy and
                  Walid Gaaloul and
                  Layth Sliman and
                  Bruno Defude},
  title        = {Configuration assist{\'{e}}e des processus m{\'{e}}tier.
                  Conception et exp{\'{e}}rimentation},
  journal      = {Ing{\'{e}}nierie des Syst{\`{e}}mes d Inf.},
  volume       = {20},
  number       = {6},
  pages        = {59--78},
  year         = {2015},
  url          = {https://doi.org/10.3166/isi.20.6.59-78},
  doi          = {10.3166/ISI.20.6.59-78},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isi/AssyGSD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/puc/ZhouXGX15,
  author       = {ZhangBing Zhou and
                  Riliang Xing and
                  Walid Gaaloul and
                  Yongping Xiong},
  title        = {A three-dimensional sub-region query processing mechanism in underwater
                  WSNs},
  journal      = {Pers. Ubiquitous Comput.},
  volume       = {19},
  number       = {7},
  pages        = {1075--1086},
  year         = {2015},
  url          = {https://doi.org/10.1007/s00779-015-0875-7},
  doi          = {10.1007/S00779-015-0875-7},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/puc/ZhouXGX15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/AssyCG15,
  author       = {Nour Assy and
                  Nguyen Ngoc Chan and
                  Walid Gaaloul},
  title        = {An Automated Approach for Assisting the Design of Configurable Process
                  Models},
  journal      = {{IEEE} Trans. Serv. Comput.},
  volume       = {8},
  number       = {6},
  pages        = {874--888},
  year         = {2015},
  url          = {https://doi.org/10.1109/TSC.2015.2477815},
  doi          = {10.1109/TSC.2015.2477815},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsc/AssyCG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/BoubakerGGH15,
  author       = {Souha Boubaker and
                  Walid Gaaloul and
                  Mohamed Graiet and
                  Nejib Ben Hadj{-}Alouane},
  title        = {Event-B Based Approach for Verifying Cloud Resource Allocation in
                  Business Process},
  booktitle    = {2015 {IEEE} International Conference on Services Computing, {SCC}
                  2015, New York City, NY, USA, June 27 - July 2, 2015},
  pages        = {538--545},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/SCC.2015.79},
  doi          = {10.1109/SCC.2015.79},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/BoubakerGGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/YongsiriwitSG15,
  author       = {Karn Yongsiriwit and
                  Mohamed Sellami and
                  Walid Gaaloul},
  title        = {Semantic Process Fragments Matching to Assist the Development of Process
                  Variants},
  booktitle    = {2015 {IEEE} International Conference on Services Computing, {SCC}
                  2015, New York City, NY, USA, June 27 - July 2, 2015},
  pages        = {712--719},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/SCC.2015.101},
  doi          = {10.1109/SCC.2015.101},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/YongsiriwitSG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/HachichaG15,
  author       = {Emna Hachicha and
                  Walid Gaaloul},
  editor       = {Leonard Barolli and
                  Makoto Takizawa and
                  Fatos Xhafa and
                  Tomoya Enokido and
                  Jong Hyuk Park},
  title        = {Towards Resource-aware Business Process development in the Cloud},
  booktitle    = {29th {IEEE} International Conference on Advanced Information Networking
                  and Applications, {AINA} 2015, Gwangju, South Korea, March 24-27,
                  2015},
  pages        = {761--768},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/AINA.2015.265},
  doi          = {10.1109/AINA.2015.265},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/HachichaG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AssyG15,
  author       = {Nour Assy and
                  Walid Gaaloul},
  editor       = {Hamid Reza Motahari{-}Nezhad and
                  Jan Recker and
                  Matthias Weidlich},
  title        = {Extracting Configuration Guidance Models from Business Process Repositories},
  booktitle    = {Business Process Management - 13th International Conference, {BPM}
                  2015, Innsbruck, Austria, August 31 - September 3, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9253},
  pages        = {198--206},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23063-4\_14},
  doi          = {10.1007/978-3-319-23063-4\_14},
  timestamp    = {Fri, 26 May 2023 07:40:34 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/AssyG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/YongsiriwitCG15,
  author       = {Karn Yongsiriwit and
                  Nguyen Ngoc Chan and
                  Walid Gaaloul},
  editor       = {Tung X. Bui and
                  Ralph H. Sprague Jr.},
  title        = {Log-Based Process Fragment Querying to Support Process Design},
  booktitle    = {48th Hawaii International Conference on System Sciences, {HICSS} 2015,
                  Kauai, Hawaii, USA, January 5-8, 2015},
  pages        = {4109--4119},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/HICSS.2015.493},
  doi          = {10.1109/HICSS.2015.493},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hicss/YongsiriwitCG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/GaaloulEZB15,
  author       = {Walid Gaaloul and
                  Joaquin Ezpeleta and
                  ZhangBing Zhou and
                  Mahmoud Barhamgi},
  editor       = {Sumitra Reddy},
  title        = {{CPS} 2015 Track Report: Cyber Physical Society},
  booktitle    = {24th {IEEE} International Conference on Enabling Technologies: Infrastructure
                  for Collaborative Enterprises, {WETICE} 2015, Larnaca, Cyprus, June
                  15-17, 2015},
  pages        = {114--115},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/WETICE.2015.69},
  doi          = {10.1109/WETICE.2015.69},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/GaaloulEZB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wise/AbbassiGGH15,
  author       = {Imed Abbassi and
                  Mohamed Graiet and
                  Walid Gaaloul and
                  Nejib Ben Hadj{-}Alouane},
  editor       = {Jianyong Wang and
                  Wojciech Cellary and
                  Dingding Wang and
                  Hua Wang and
                  Shu{-}Ching Chen and
                  Tao Li and
                  Yanchun Zhang},
  title        = {Genetic-Based Approach for {ATS} and SLA-aware Web Services Composition},
  booktitle    = {Web Information Systems Engineering - {WISE} 2015 - 16th International
                  Conference, Miami, FL, USA, November 1-3, 2015, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9418},
  pages        = {369--383},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-26190-4\_25},
  doi          = {10.1007/978-3-319-26190-4\_25},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wise/AbbassiGGH15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Gaaloul14,
  author       = {Walid Gaaloul},
  title        = {Supporting service consumption : advanced discovery and recommendation
                  techniques. (Techniques de recommendation et de d{\'{e}}couverte
                  de services et proc{\'{e}}d{\'{e}}s)},
  year         = {2014},
  url          = {https://tel.archives-ouvertes.fr/tel-01266701},
  timestamp    = {Sat, 30 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/hal/Gaaloul14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijbpim/AssyCGD14,
  author       = {Nour Assy and
                  Nguyen Ngoc Chan and
                  Walid Gaaloul and
                  Bruno Defude},
  title        = {Deriving configurable fragments for process design},
  journal      = {Int. J. Bus. Process. Integr. Manag.},
  volume       = {7},
  number       = {1},
  pages        = {2--21},
  year         = {2014},
  url          = {https://doi.org/10.1504/IJBPIM.2014.060602},
  doi          = {10.1504/IJBPIM.2014.060602},
  timestamp    = {Sun, 17 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijbpim/AssyCGD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/AbbassiGGH14,
  author       = {Imed Abbassi and
                  Mohamed Graiet and
                  Walid Gaaloul and
                  Nejib Ben Hadj{-}Alouane},
  title        = {A Formal Approach for Enforcing Transactional Requirements in Web
                  Service Compositions},
  booktitle    = {{IEEE} International Conference on Services Computing, {SCC} 2014,
                  Anchorage, AK, USA, June 27 - July 2, 2014},
  pages        = {637--644},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/SCC.2014.89},
  doi          = {10.1109/SCC.2014.89},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/AbbassiGGH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/ChanYGM14,
  author       = {Nguyen Ngoc Chan and
                  Karn Yongsiriwit and
                  Walid Gaaloul and
                  Jan Mendling},
  editor       = {Matthias Jarke and
                  John Mylopoulos and
                  Christoph Quix and
                  Colette Rolland and
                  Yannis Manolopoulos and
                  Haralambos Mouratidis and
                  Jennifer Horkoff},
  title        = {Mining Event Logs to Assist the Development of Executable Process
                  Variants},
  booktitle    = {Advanced Information Systems Engineering - 26th International Conference,
                  CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8484},
  pages        = {548--563},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07881-6\_37},
  doi          = {10.1007/978-3-319-07881-6\_37},
  timestamp    = {Fri, 27 Dec 2019 21:25:01 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/ChanYGM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/desrist/AssyGD14,
  author       = {Nour Assy and
                  Walid Gaaloul and
                  Bruno Defude},
  editor       = {Monica Chiarini Tremblay and
                  Debra E. VanderMeer and
                  Marcus A. Rothenberger and
                  Ashish Gupta and
                  Victoria Y. Yoon},
  title        = {Mining Configurable Process Fragments for Business Process Design},
  booktitle    = {Advancing the Impact of Design Science: Moving from Theory to Practice
                  - 9th International Conference, {DESRIST} 2014, Miami, FL, USA, May
                  22-24, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8463},
  pages        = {209--224},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06701-8\_14},
  doi          = {10.1007/978-3-319-06701-8\_14},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/desrist/AssyGD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/AssyG14,
  author       = {Nour Assy and
                  Walid Gaaloul},
  editor       = {Xavier Franch and
                  Aditya K. Ghose and
                  Grace A. Lewis and
                  Sami Bhiri},
  title        = {Configuration Rule Mining for Variability Analysis in Configurable
                  Process Models},
  booktitle    = {Service-Oriented Computing - 12th International Conference, {ICSOC}
                  2014, Paris, France, November 3-6, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8831},
  pages        = {1--15},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45391-9\_1},
  doi          = {10.1007/978-3-662-45391-9\_1},
  timestamp    = {Thu, 27 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/AssyG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isda/AssyYGY14,
  author       = {Nour Assy and
                  Karn Yongsiriwit and
                  Walid Gaaloul and
                  Imen Grida Ben Yahia},
  title        = {A framework for semantic telco process management - An industrial
                  case study},
  booktitle    = {14th International Conference on Intelligent Systems Design and Applications,
                  {ISDA} 2014, Okinawa, Japan, November 28-30, 2014},
  pages        = {44--49},
  publisher    = {{IEEE}},
  year         = {2014},
  url          = {https://doi.org/10.1109/ISDA.2014.7066276},
  doi          = {10.1109/ISDA.2014.7066276},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/isda/AssyYGY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/ChanG14,
  author       = {Nguyen Ngoc Chan and
                  Walid Gaaloul},
  editor       = {Sumitra Reddy},
  title        = {Querying Services Based on Composition Context},
  booktitle    = {2014 {IEEE} 23rd International {WETICE} Conference, {WETICE} 2014,
                  Parma, Italy, 23-25 June, 2014},
  pages        = {44--49},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/WETICE.2014.34},
  doi          = {10.1109/WETICE.2014.34},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/ChanG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/BarhamgiGEZ14,
  author       = {Mahmoud Barhamgi and
                  Walid Gaaloul and
                  Joaquin Ezpeleta and
                  ZhangBing Zhou},
  editor       = {Sumitra Reddy},
  title        = {Track Report of Capacity Driven Processes and Services for Cyber Physical
                  Society {(CPS} 2014)},
  booktitle    = {2014 {IEEE} 23rd International {WETICE} Conference, {WETICE} 2014,
                  Parma, Italy, 23-25 June, 2014},
  pages        = {255--256},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/WETICE.2014.97},
  doi          = {10.1109/WETICE.2014.97},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/BarhamgiGEZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/AbbassiKHG14,
  author       = {Imed Abbassi and
                  Mourad Kmimech and
                  Nejib Ben Hadj{-}Alouane and
                  Walid Gaaloul},
  editor       = {Sumitra Reddy},
  title        = {Modeling and Verifying the Transactional and QoS-aware Services Composition
                  Using Event-B},
  booktitle    = {2014 {IEEE} 23rd International {WETICE} Conference, {WETICE} 2014,
                  Parma, Italy, 23-25 June, 2014},
  pages        = {313--318},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/WETICE.2014.85},
  doi          = {10.1109/WETICE.2014.85},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/AbbassiKHG14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/ZhouGSTB13,
  author       = {ZhangBing Zhou and
                  Walid Gaaloul and
                  Lei Shu and
                  Samir Tata and
                  Sami Bhiri},
  title        = {Assessing the replaceability of service protocols in mediated service
                  interactions},
  journal      = {Future Gener. Comput. Syst.},
  volume       = {29},
  number       = {1},
  pages        = {287--299},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.future.2011.08.007},
  doi          = {10.1016/J.FUTURE.2011.08.007},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fgcs/ZhouGSTB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/SellamiBGT13,
  author       = {Mohamed Sellami and
                  Olfa Bouchaala and
                  Walid Gaaloul and
                  Samir Tata},
  title        = {Communities of Web service registries: Construction and management},
  journal      = {J. Syst. Softw.},
  volume       = {86},
  number       = {3},
  pages        = {835--853},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jss.2012.11.019},
  doi          = {10.1016/J.JSS.2012.11.019},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jss/SellamiBGT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tase/ZhouSGBD13,
  author       = {ZhangBing Zhou and
                  Mohamed Sellami and
                  Walid Gaaloul and
                  Mahmoud Barhamgi and
                  Bruno Defude},
  title        = {Data Providing Services Clustering and Management for Facilitating
                  Service Discovery and Replacement},
  journal      = {{IEEE} Trans Autom. Sci. Eng.},
  volume       = {10},
  number       = {4},
  pages        = {1131--1146},
  year         = {2013},
  url          = {https://doi.org/10.1109/TASE.2012.2237551},
  doi          = {10.1109/TASE.2012.2237551},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tase/ZhouSGBD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/AssyCG13,
  author       = {Nour Assy and
                  Nguyen Ngoc Chan and
                  Walid Gaaloul},
  title        = {Assisting Business Process Design with Configurable Process Fragments},
  booktitle    = {2013 {IEEE} International Conference on Services Computing, Santa
                  Clara, CA, USA, June 28 - July 3, 2013},
  pages        = {535--542},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/SCC.2013.97},
  doi          = {10.1109/SCC.2013.97},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/AssyCG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/GraietAHBKG13,
  author       = {Mohamed Graiet and
                  Imed Abbassi and
                  Lazhar Hamel and
                  Mohamed Tahar Bhiri and
                  Mourad Kmimech and
                  Walid Gaaloul},
  title        = {Event-B Based Approach for Verifying Dynamic Composite Service Transactional
                  Behavior},
  booktitle    = {2013 {IEEE} 20th International Conference on Web Services, Santa Clara,
                  CA, USA, June 28 - July 3, 2013},
  pages        = {251--259},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICWS.2013.42},
  doi          = {10.1109/ICWS.2013.42},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/GraietAHBKG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/ZhouGN13,
  author       = {ZhangBing Zhou and
                  Walid Gaaloul and
                  Jianwei Niu},
  editor       = {Sumitra Reddy and
                  Mohamed Jmaiel},
  title        = {{CPS} Track Report},
  booktitle    = {2013 Workshops on Enabling Technologies: Infrastructure for Collaborative
                  Enterprises, Hammamet, Tunisia, June 17-20, 2013},
  pages        = {200--201},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/WETICE.2013.37},
  doi          = {10.1109/WETICE.2013.37},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/ZhouGN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwis/GraietMKBG12,
  author       = {Mohamed Graiet and
                  Raoudha Maraoui and
                  Mourad Kmimech and
                  Mohamed Tahar Bhiri and
                  Walid Gaaloul},
  title        = {Towards an approach of formal verification of mediation protocol based
                  on web services of {MDE} type},
  journal      = {Int. J. Web Inf. Syst.},
  volume       = {8},
  number       = {1},
  pages        = {32--54},
  year         = {2012},
  url          = {https://doi.org/10.1108/17440081211222582},
  doi          = {10.1108/17440081211222582},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijwis/GraietMKBG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/ChanGT12,
  author       = {Nguyen Ngoc Chan and
                  Walid Gaaloul and
                  Samir Tata},
  title        = {A recommender system based on historical usage data for web service
                  discovery},
  journal      = {Serv. Oriented Comput. Appl.},
  volume       = {6},
  number       = {1},
  pages        = {51--63},
  year         = {2012},
  url          = {https://doi.org/10.1007/s11761-011-0099-2},
  doi          = {10.1007/S11761-011-0099-2},
  timestamp    = {Thu, 06 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/soca/ChanGT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/ZhouBZG12,
  author       = {ZhangBing Zhou and
                  Sami Bhiri and
                  Hai Zhuge and
                  Walid Gaaloul},
  title        = {Assessment of Service Protocol Adaptability Based on Novel Walk Computation},
  journal      = {{IEEE} Trans. Syst. Man Cybern. Part {A}},
  volume       = {42},
  number       = {5},
  pages        = {1109--1140},
  year         = {2012},
  url          = {https://doi.org/10.1109/TSMCA.2012.2183362},
  doi          = {10.1109/TSMCA.2012.2183362},
  timestamp    = {Mon, 25 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsmc/ZhouBZG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/closer/SellamiGDT12,
  author       = {Mohamed Sellami and
                  Walid Gaaloul and
                  Bruno Defude and
                  Samir Tata},
  editor       = {Frank Leymann and
                  Ivan I. Ivanov and
                  Marten van Sinderen and
                  Tony Shan},
  title        = {Towards a Unified Marketplace for Functionality-based Cloud Service
                  Discovery},
  booktitle    = {{CLOSER} 2012 - Proceedings of the 2nd International Conference on
                  Cloud Computing and Services Science, Porto, Portugal, 18 - 21 April,
                  2012},
  pages        = {252--257},
  publisher    = {SciTePress},
  year         = {2012},
  timestamp    = {Wed, 29 Mar 2017 16:45:24 +0200},
  biburl       = {https://dblp.org/rec/conf/closer/SellamiGDT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecweb/HanachiGM12,
  author       = {Chihab Hanachi and
                  Walid Gaaloul and
                  Ravi Mondi},
  editor       = {Christian Huemer and
                  Pasquale Lops},
  title        = {Performative-Based Mining of Workflow Organizational Structures},
  booktitle    = {E-Commerce and Web Technologies - 13th International Conference, EC-Web
                  2012, Vienna, Austria, September 4-5, 2012. Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {123},
  pages        = {63--75},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-32273-0\_6},
  doi          = {10.1007/978-3-642-32273-0\_6},
  timestamp    = {Mon, 03 Jan 2022 22:18:47 +0100},
  biburl       = {https://dblp.org/rec/conf/ecweb/HanachiGM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/ChanGT12,
  author       = {Nguyen Ngoc Chan and
                  Walid Gaaloul and
                  Samir Tata},
  editor       = {Chengfei Liu and
                  Heiko Ludwig and
                  Farouk Toumani and
                  Qi Yu},
  title        = {Assisting Business Process Design by Activity Neighborhood Context
                  Matching},
  booktitle    = {Service-Oriented Computing - 10th International Conference, {ICSOC}
                  2012, Shanghai, China, November 12-15, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7636},
  pages        = {541--549},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34321-6\_38},
  doi          = {10.1007/978-3-642-34321-6\_38},
  timestamp    = {Mon, 26 Jun 2023 20:44:14 +0200},
  biburl       = {https://dblp.org/rec/conf/icsoc/ChanGT12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/skg/HamelGG12,
  author       = {Lazhar Hamel and
                  Mohamed Graiet and
                  Walid Gaaloul},
  title        = {Event-B Formalisation of Web Services for Dynamic Composition},
  booktitle    = {Eighth International Conference on Semantics, Knowledge and Grids,
                  {SKG} 2012, Beijing, China, October 22-24, 2012},
  pages        = {150--156},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/SKG.2012.31},
  doi          = {10.1109/SKG.2012.31},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/skg/HamelGG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/SellamiGD12,
  author       = {Mohamed Sellami and
                  Walid Gaaloul and
                  Bruno Defude},
  editor       = {Sumitra Reddy and
                  Khalil Drira},
  title        = {Data Mapping Web Services for Composite DaaS Mediation},
  booktitle    = {21st {IEEE} International Workshop on Enabling Technologies: Infrastructure
                  for Collaborative Enterprises, {WETICE} 2012, Toulouse, France, June
                  25-27, 2012},
  pages        = {36--41},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/WETICE.2012.19},
  doi          = {10.1109/WETICE.2012.19},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/SellamiGD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/SellamiGM12,
  author       = {Rami Sellami and
                  Walid Gaaloul and
                  Samir Moalla},
  editor       = {Sumitra Reddy and
                  Khalil Drira},
  title        = {An Ontology for Workflow Organizational Model Mining},
  booktitle    = {21st {IEEE} International Workshop on Enabling Technologies: Infrastructure
                  for Collaborative Enterprises, {WETICE} 2012, Toulouse, France, June
                  25-27, 2012},
  pages        = {199--204},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/WETICE.2012.29},
  doi          = {10.1109/WETICE.2012.29},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/SellamiGM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/ZhouGTZ12,
  author       = {ZhangBing Zhou and
                  Walid Gaaloul and
                  Wei Tan and
                  Daqiang Zhang},
  editor       = {Sumitra Reddy and
                  Khalil Drira},
  title        = {{CPS} Track Report: 2nd Track on Cyber Physical Society with SOA,
                  {BPM} and Sensor Networks},
  booktitle    = {21st {IEEE} International Workshop on Enabling Technologies: Infrastructure
                  for Collaborative Enterprises, {WETICE} 2012, Toulouse, France, June
                  25-27, 2012},
  pages        = {315--317},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/WETICE.2012.23},
  doi          = {10.1109/WETICE.2012.23},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/ZhouGTZ12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jdm/BhiriGGPZD11,
  author       = {Sami Bhiri and
                  Walid Gaaloul and
                  Claude Godart and
                  Olivier Perrin and
                  Maciej Zaremba and
                  Wassim Derguech},
  title        = {Ensuring Customised Transactional Reliability of Composite Services},
  journal      = {J. Database Manag.},
  volume       = {22},
  number       = {2},
  pages        = {64--92},
  year         = {2011},
  url          = {https://doi.org/10.4018/jdm.2011040103},
  doi          = {10.4018/JDM.2011040103},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jdm/BhiriGGPZD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/ChanGT11,
  author       = {Nguyen Ngoc Chan and
                  Walid Gaaloul and
                  Samir Tata},
  editor       = {Hans{-}Arno Jacobsen and
                  Yan Wang and
                  Patrick Hung},
  title        = {Composition Context Matching for Web Service Recommendation},
  booktitle    = {{IEEE} International Conference on Services Computing, {SCC} 2011,
                  Washington, DC, USA, 4-9 July, 2011},
  pages        = {624--631},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/SCC.2011.68},
  doi          = {10.1109/SCC.2011.68},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/ChanGT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/ChanGT11,
  author       = {Nguyen Ngoc Chan and
                  Walid Gaaloul and
                  Samir Tata},
  title        = {A Web Service Recommender System Using Vector Space Model and Latent
                  Semantic Indexing},
  booktitle    = {25th {IEEE} International Conference on Advanced Information Networking
                  and Applications, {AINA} 2011, Biopolis, Singapore, March 22-25, 2011},
  pages        = {602--609},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/AINA.2011.99},
  doi          = {10.1109/AINA.2011.99},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/ChanGT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/AalstAM11,
  author       = {Wil M. P. van der Aalst and
                  Arya Adriansyah and
                  Ana Karla Alves de Medeiros and
                  Franco Arcieri and
                  Thomas Baier and
                  Tobias Blickle and
                  R. P. Jagadeesh Chandra Bose and
                  Peter van den Brand and
                  Ronald Brandtjen and
                  Joos C. A. M. Buijs and
                  Andrea Burattin and
                  Josep Carmona and
                  Mal{\'{u}} Castellanos and
                  Jan Claes and
                  Jonathan E. Cook and
                  Nicola Costantini and
                  Francisco Curbera and
                  Ernesto Damiani and
                  Massimiliano de Leoni and
                  Pavlos Delias and
                  Boudewijn F. van Dongen and
                  Marlon Dumas and
                  Schahram Dustdar and
                  Dirk Fahland and
                  Diogo R. Ferreira and
                  Walid Gaaloul and
                  Frank van Geffen and
                  Sukriti Goel and
                  Christian W. G{\"{u}}nther and
                  Antonella Guzzo and
                  Paul Harmon and
                  Arthur H. M. ter Hofstede and
                  John Hoogland and
                  Jon Espen Ingvaldsen and
                  Koki Kato and
                  Rudolf Kuhn and
                  Akhil Kumar and
                  Marcello La Rosa and
                  Fabrizio Maria Maggi and
                  Donato Malerba and
                  R. S. Mans and
                  Alberto Manuel and
                  Martin McCreesh and
                  Paola Mello and
                  Jan Mendling and
                  Marco Montali and
                  Hamid R. Motahari Nezhad and
                  Michael zur Muehlen and
                  Jorge Munoz{-}Gama and
                  Luigi Pontieri and
                  Joel Ribeiro and
                  Anne Rozinat and
                  Hugo Seguel P{\'{e}}rez and
                  Ricardo Seguel P{\'{e}}rez and
                  Marcos Sep{\'{u}}lveda and
                  Jim Sinur and
                  Pnina Soffer and
                  Minseok Song and
                  Alessandro Sperduti and
                  Giovanni Stilo and
                  Casper Stoel and
                  Keith D. Swenson and
                  Maurizio Talamo and
                  Wei Tan and
                  Chris Turner and
                  Jan Vanthienen and
                  George Varvaressos and
                  Eric Verbeek and
                  Marc Verdonk and
                  Roberto Vigo and
                  Jianmin Wang and
                  Barbara Weber and
                  Matthias Weidlich and
                  Ton Weijters and
                  Lijie Wen and
                  Michael Westergaard and
                  Moe Thandar Wynn},
  editor       = {Florian Daniel and
                  Kamel Barkaoui and
                  Schahram Dustdar},
  title        = {Process Mining Manifesto},
  booktitle    = {Business Process Management Workshops - {BPM} 2011 International Workshops,
                  Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers,
                  Part {I}},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {99},
  pages        = {169--194},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-28108-2\_19},
  doi          = {10.1007/978-3-642-28108-2\_19},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/AalstAM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/HamelGKBG11,
  author       = {Lazhar Hamel and
                  Mohamed Graiet and
                  Mourad Kmimech and
                  Mohamed Tahar Bhiri and
                  Walid Gaaloul},
  editor       = {Ivica Crnkovic and
                  Volker Gruhn and
                  Matthias Book},
  title        = {Verifying Composite Service Transactional Behavior with {EVENT-B}},
  booktitle    = {Software Architecture - 5th European Conference, {ECSA} 2011, Essen,
                  Germany, September 13-16, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6903},
  pages        = {67--74},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23798-0\_7},
  doi          = {10.1007/978-3-642-23798-0\_7},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecsa/HamelGKBG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecweb/ChanGT11,
  author       = {Nguyen Ngoc Chan and
                  Walid Gaaloul and
                  Samir Tata},
  editor       = {Christian Huemer and
                  Thomas Setzer},
  title        = {Context-Based Service Recommendation for Assisting Business Process
                  Design},
  booktitle    = {E-Commerce and Web Technologies - 12th International Conference, EC-Web
                  2011, Toulouse, France, August 30 - September 1, 2011. Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {85},
  pages        = {39--51},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-23014-1\_4},
  doi          = {10.1007/978-3-642-23014-1\_4},
  timestamp    = {Mon, 03 Jan 2022 22:18:47 +0100},
  biburl       = {https://dblp.org/rec/conf/ecweb/ChanGT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/SellamiGT11,
  author       = {Mohamed Sellami and
                  Walid Gaaloul and
                  Samir Tata},
  title        = {Implementation of Communities of Web Service Registries},
  booktitle    = {{IEEE} International Conference on Web Services, {ICWS} 2011, Washington,
                  DC, USA, July 4-9, 2011},
  pages        = {690--691},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICWS.2011.69},
  doi          = {10.1109/ICWS.2011.69},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/SellamiGT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiwas/SellamiGT11,
  author       = {Mohamed Sellami and
                  Walid Gaaloul and
                  Samir Tata},
  editor       = {David Taniar and
                  Eric Pardede and
                  Hong{-}Quang Nguyen and
                  J. Wenny Rahayu and
                  Ismail Khalil},
  title        = {An implicit approach for building communities of web service registries},
  booktitle    = {iiWAS'2011 - The 13th International Conference on Information Integration
                  and Web-based Applications and Services, 5-7 December 2011, Ho Chi
                  Minh City, Vietnam},
  pages        = {230--237},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2095536.2095575},
  doi          = {10.1145/2095536.2095575},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iiwas/SellamiGT11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiwas/LouhichiGKBGC11,
  author       = {Soumaya Louhichi and
                  Mohamed Graiet and
                  Mourad Kmimech and
                  Mohamed Tahar Bhiri and
                  Walid Gaaloul and
                  Eric Cariou},
  editor       = {David Taniar and
                  Eric Pardede and
                  Hong{-}Quang Nguyen and
                  J. Wenny Rahayu and
                  Ismail Khalil},
  title        = {{MDE} approach for the generation and verification of {SCA} model},
  booktitle    = {iiWAS'2011 - The 13th International Conference on Information Integration
                  and Web-based Applications and Services, 5-7 December 2011, Ho Chi
                  Minh City, Vietnam},
  pages        = {317--320},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2095536.2095592},
  doi          = {10.1145/2095536.2095592},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iiwas/LouhichiGKBGC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiwas/MaraouiMGKBGC11,
  author       = {Raoudha Maraoui and
                  Amel Mhamdi and
                  Mohamed Graiet and
                  Mourad Kmimech and
                  Mohamed Tahar Bhiri and
                  Walid Gaaloul and
                  Eric Cariou},
  editor       = {David Taniar and
                  Eric Pardede and
                  Hong{-}Quang Nguyen and
                  J. Wenny Rahayu and
                  Ismail Khalil},
  title        = {Towards a transformation of composite web service with QoS extension
                  into ACME{\textbackslash}Armani},
  booktitle    = {iiWAS'2011 - The 13th International Conference on Information Integration
                  and Web-based Applications and Services, 5-7 December 2011, Ho Chi
                  Minh City, Vietnam},
  pages        = {349--352},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2095536.2095601},
  doi          = {10.1145/2095536.2095601},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iiwas/MaraouiMGKBGC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/skg/HamelGKBG11,
  author       = {Lazhar Hamel and
                  Mohamed Graiet and
                  Mourad Kmimech and
                  Mohamed Tahar Bhiri and
                  Walid Gaaloul},
  title        = {Verifying Composite Service Transactional Behavior with {EVENT-B}},
  booktitle    = {Seventh International Conference on Semantics Knowledge and Grid {(SKG}
                  2011), Beijing, China, October 24-26, 2011},
  pages        = {99--106},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/SKG.2011.35},
  doi          = {10.1109/SKG.2011.35},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/skg/HamelGKBG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/skg/LouhichiGKBGC11,
  author       = {Soumaya Louhichi and
                  Mohamed Graiet and
                  Mourad Kmimech and
                  Mohamed Tahar Bhiri and
                  Walid Gaaloul and
                  Eric Cariou},
  title        = {{ATL} Transformation for the Generation of {SCA} Model},
  booktitle    = {Seventh International Conference on Semantics Knowledge and Grid {(SKG}
                  2011), Beijing, China, October 24-26, 2011},
  pages        = {164--167},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/SKG.2011.37},
  doi          = {10.1109/SKG.2011.37},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/skg/LouhichiGKBGC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/skg/AbidGKBGC11,
  author       = {Wided Ben Abid and
                  Mohamed Graiet and
                  Mourad Kmimech and
                  Mohamed Tahar Bhiri and
                  Walid Gaaloul and
                  Eric Cariou},
  title        = {Profile {UML2.0} for Specification of the {SCA} Architectures},
  booktitle    = {Seventh International Conference on Semantics Knowledge and Grid {(SKG}
                  2011), Beijing, China, October 24-26, 2011},
  pages        = {191--194},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/SKG.2011.36},
  doi          = {10.1109/SKG.2011.36},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/skg/AbidGKBGC11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/skg/ZhouSGD11,
  author       = {ZhangBing Zhou and
                  Mohamed Sellami and
                  Walid Gaaloul and
                  Bruno Defude},
  title        = {Clustering and Managing Data Providing Services Using Machine Learning
                  Technique},
  booktitle    = {Seventh International Conference on Semantics Knowledge and Grid {(SKG}
                  2011), Beijing, China, October 24-26, 2011},
  pages        = {225--232},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/SKG.2011.9},
  doi          = {10.1109/SKG.2011.9},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/skg/ZhouSGD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/BouchaalaSGTJ11,
  author       = {Olfa Bouchaala and
                  Mohamed Sellami and
                  Walid Gaaloul and
                  Samir Tata and
                  Mohamed Jmaiel},
  editor       = {Jos{\'{e}} Cordeiro and
                  Joaquim Filipe},
  title        = {Graph-based Management of Communities of Web Service Registries},
  booktitle    = {{WEBIST} 2011, Proceedings of the 7th International Conference on
                  Web Information Systems and Technologies, Noordwijkerhout, The Netherlands,
                  6-9 May, 2011},
  pages        = {61--70},
  publisher    = {SciTePress},
  year         = {2011},
  timestamp    = {Thu, 26 Jan 2012 19:29:01 +0100},
  biburl       = {https://dblp.org/rec/conf/webist/BouchaalaSGTJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webist/BouchaalaSGTJ11a,
  author       = {Olfa Bouchaala and
                  Mohamed Sellami and
                  Walid Gaaloul and
                  Samir Tata and
                  Mohamed Jmaiel},
  editor       = {Joaquim Filipe and
                  Jos{\'{e}} Cordeiro},
  title        = {Modeling and Managing Communities of Web Service Registries},
  booktitle    = {Web Information Systems and Technologies - 7th International Conference,
                  {WEBIST} 2011, Noordwijkerhout, The Netherlands, May 6-9, 2011, Revised
                  Selected Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {101},
  pages        = {88--102},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-28082-5\_7},
  doi          = {10.1007/978-3-642-28082-5\_7},
  timestamp    = {Sat, 19 Oct 2019 20:13:42 +0200},
  biburl       = {https://dblp.org/rec/conf/webist/BouchaalaSGTJ11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wetice/KlaiG11,
  author       = {Kais Klai and
                  Walid Gaaloul},
  editor       = {Sumitra Reddy and
                  Samir Tata},
  title        = {Petri Net Modeling and Verification of Transactional Workflows},
  booktitle    = {20th {IEEE} International Workshops on Enabling Technologies: Infrastructures
                  for Collaborative Enterprises, {WETICE} 2011, Paris, France, 27-29
                  June 2011, Proceedings},
  pages        = {176--184},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/WETICE.2011.72},
  doi          = {10.1109/WETICE.2011.72},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wetice/KlaiG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsc/GaaloulBR10,
  author       = {Walid Gaaloul and
                  Sami Bhiri and
                  Mohsen Rouached},
  title        = {Event-Based Design and Runtime Verification of Composite Service Transactional
                  Behavior},
  journal      = {{IEEE} Trans. Serv. Comput.},
  volume       = {3},
  number       = {1},
  pages        = {32--45},
  year         = {2010},
  url          = {https://doi.org/10.1109/TSC.2010.1},
  doi          = {10.1109/TSC.2010.1},
  timestamp    = {Thu, 02 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsc/GaaloulBR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsi/GaaloulG10,
  author       = {Walid Gaaloul and
                  Karim Ba{\"{\i}}na and
                  Claude Godart},
  title        = {Fouille de workflow},
  journal      = {Tech. Sci. Informatiques},
  volume       = {29},
  number       = {10},
  pages        = {1207--1236},
  year         = {2010},
  url          = {https://doi.org/10.3166/tsi.29.1207-1236},
  doi          = {10.3166/TSI.29.1207-1236},
  timestamp    = {Wed, 24 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tsi/GaaloulG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/SellamiGT10,
  author       = {Mohamed Sellami and
                  Walid Gaaloul and
                  Samir Tata},
  title        = {Functionality-Driven Clustering of Web Service Registries},
  booktitle    = {2010 {IEEE} International Conference on Services Computing, {SCC}
                  2010, Miami, Florida, USA, July 5-10, 2010},
  pages        = {631--634},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/SCC.2010.70},
  doi          = {10.1109/SCC.2010.70},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEscc/SellamiGT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aina/SellamiGTJ10,
  author       = {Mohamed Sellami and
                  Walid Gaaloul and
                  Samir Tata and
                  Mohamed Jmaiel},
  title        = {Using Recommendation to Limit Search Space in Web Services Discovery},
  booktitle    = {24th {IEEE} International Conference on Advanced Information Networking
                  and Applications, {AINA} 2010, Perth, Australia, 20-13 April 2010},
  pages        = {974--981},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/AINA.2010.44},
  doi          = {10.1109/AINA.2010.44},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aina/SellamiGTJ10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icebe/ChanGT10,
  author       = {Nguyen Ngoc Chan and
                  Walid Gaaloul and
                  Samir Tata},
  title        = {Web Services Recommendation Based on User's Behavior},
  booktitle    = {{IEEE} 7th International Conference on e-Business Engineering, {ICEBE}
                  2010, Shanghai, China, November 10-12, 2010},
  pages        = {214--221},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICEBE.2010.35},
  doi          = {10.1109/ICEBE.2010.35},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icebe/ChanGT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iiwas/GraietMKBG10,
  author       = {Mohamed Graiet and
                  Raoudha Maraoui and
                  Mourad Kmimech and
                  Mohamed Tahar Bhiri and
                  Walid Gaaloul},
  editor       = {Gabriele Kotsis and
                  David Taniar and
                  Eric Pardede and
                  Imad Saleh and
                  Ismail Khalil},
  title        = {Towards an approach of formal verification of mediation protocol based
                  on web services},
  booktitle    = {iiWAS'2010 - The 12th International Conference on Information Integration
                  and Web-based Applications and Services, 8-10 November 2010, Paris,
                  France},
  pages        = {75--82},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1967486.1967502},
  doi          = {10.1145/1967486.1967502},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iiwas/GraietMKBG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/notere/SellamiBGT10,
  author       = {Mohamed Sellami and
                  Olfa Bouchaala and
                  Walid Gaaloul and
                  Samir Tata},
  editor       = {Khalil Drira and
                  Ahmed Hadj Kacem and
                  Mohamed Jmaiel},
  title        = {{WSRD:} {A} Web Services Registry Description},
  booktitle    = {{NOTERE} 2010, Annual International Conference on New Technologies
                  of Distributed Systems, Touzeur, Tunisia, May 31 - June 2, 2010, Proceedings},
  pages        = {89--96},
  publisher    = {{IEEE}},
  year         = {2010},
  url          = {https://doi.org/10.1109/NOTERE.2010.5536781},
  doi          = {10.1109/NOTERE.2010.5536781},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/notere/SellamiBGT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/ChanGT10,
  author       = {Nguyen Ngoc Chan and
                  Walid Gaaloul and
                  Samir Tata},
  editor       = {Robert Meersman and
                  Tharam S. Dillon and
                  Pilar Herrero},
  title        = {Collaborative Filtering Technique for Web Service Recommendation Based
                  on User-Operation Combination},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2010 - Confederated
                  International Conferences: CoopIS, IS, {DOA} and ODBASE, Hersonissos,
                  Crete, Greece, October 25-29, 2010, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6426},
  pages        = {222--239},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16934-2\_17},
  doi          = {10.1007/978-3-642-16934-2\_17},
  timestamp    = {Thu, 14 Oct 2021 10:28:29 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/ChanGT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dpd/GaaloulGBHH09,
  author       = {Walid Gaaloul and
                  Khaled Gaaloul and
                  Sami Bhiri and
                  Armin Haller and
                  Manfred Hauswirth},
  title        = {Log-based transactional workflow mining},
  journal      = {Distributed Parallel Databases},
  volume       = {25},
  number       = {3},
  pages        = {193--240},
  year         = {2009},
  url          = {https://doi.org/10.1007/s10619-009-7040-0},
  doi          = {10.1007/S10619-009-7040-0},
  timestamp    = {Mon, 18 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/dpd/GaaloulGBHH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/HallerMGOSH09,
  author       = {Armin Haller and
                  Mateusz Marmolowski and
                  Walid Gaaloul and
                  Eyal Oren and
                  Brahmananda Sapkota and
                  Manfred Hauswirth},
  title        = {From Workflow Models to Executable Web Service Interfaces},
  booktitle    = {{IEEE} International Conference on Web Services, {ICWS} 2009, Los
                  Angeles, CA, USA, 6-10 July 2009},
  pages        = {131--140},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICWS.2009.51},
  doi          = {10.1109/ICWS.2009.51},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/HallerMGOSH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/BhiriGRH09,
  author       = {Sami Bhiri and
                  Walid Gaaloul and
                  Mohsen Rouached and
                  Manfred Hauswirth},
  editor       = {Tharam S. Dillon and
                  Elizabeth Chang and
                  Robert Meersman and
                  Katia P. Sycara},
  title        = {Semantic Web Services for Satisfying {SOA} Requirements},
  booktitle    = {Advances in Web Semantics {I} - Ontologies, Web Services and Applied
                  Semantic Web},
  series       = {Lecture Notes in Computer Science},
  volume       = {4891},
  pages        = {374--395},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-540-89784-2\_15},
  doi          = {10.1007/978-3-540-89784-2\_15},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/BhiriGRH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jwsr/BhiriGG08,
  author       = {Sami Bhiri and
                  Walid Gaaloul and
                  Claude Godart},
  title        = {Mining and Improving Composite Web Services Recovery Mechanisms},
  journal      = {Int. J. Web Serv. Res.},
  volume       = {5},
  number       = {2},
  pages        = {23--48},
  year         = {2008},
  url          = {https://doi.org/10.4018/jwsr.2008040102},
  doi          = {10.4018/JWSR.2008040102},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jwsr/BhiriGG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soca/GaaloulBG08,
  author       = {Walid Gaaloul and
                  Karim Ba{\"{\i}}na and
                  Claude Godart},
  title        = {Log-based mining techniques applied to Web service composition reengineering},
  journal      = {Serv. Oriented Comput. Appl.},
  volume       = {2},
  number       = {2-3},
  pages        = {93--110},
  year         = {2008},
  url          = {https://doi.org/10.1007/s11761-008-0023-6},
  doi          = {10.1007/S11761-008-0023-6},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/soca/GaaloulBG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecows/ZhouBGH08,
  author       = {ZhangBing Zhou and
                  Sami Bhiri and
                  Walid Gaaloul and
                  Manfred Hauswirth},
  editor       = {Claus Pahl and
                  Siobh{\'{a}}n Clarke and
                  Rik Eshuis},
  title        = {Developing Process Mediator for Supporting Mediated Web Service Interactions},
  booktitle    = {{ECOWS} 2008, Sixth European Conference on Web Services, 12-14 November
                  2008, Dublin, Ireland},
  pages        = {155--164},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ECOWS.2008.10},
  doi          = {10.1109/ECOWS.2008.10},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecows/ZhouBGH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/BainaT08,
  author       = {Fod{\'{e}} Tour{\'{e}} and
                  Karim Ba{\"{\i}}na and
                  Walid Gaaloul},
  editor       = {Jos{\'{e}} Cordeiro and
                  Joaquim Filipe},
  title        = {Toward a Hybrid Algorithm for Workflow Graph Structural Verification},
  booktitle    = {{ICEIS} 2008 - Proceedings of the Tenth International Conference on
                  Enterprise Information Systems, Volume ISAS-2, Barcelona, Spain, June
                  12-16, 2008},
  pages        = {442--447},
  year         = {2008},
  timestamp    = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/BainaT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/ZhouBGSVH08,
  author       = {ZhangBing Zhou and
                  Sami Bhiri and
                  Walid Gaaloul and
                  Lei Shu and
                  Laurentiu Vasiliu and
                  Manfred Hauswirth},
  title        = {Developing Process Mediator for Web Service Interactions},
  booktitle    = {2008 {IEEE} International Conference on Web Services {(ICWS} 2008),
                  September 23-26, 2008, Beijing, China},
  pages        = {828--829},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ICWS.2008.126},
  doi          = {10.1109/ICWS.2008.126},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/ZhouBGSVH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/ZhouBGSH08,
  author       = {ZhangBing Zhou and
                  Sami Bhiri and
                  Walid Gaaloul and
                  Lei Shu and
                  Manfred Hauswirth},
  editor       = {Robert Meersman and
                  Zahir Tari and
                  Pilar Herrero},
  title        = {Behavioral Compatibility of Web Services},
  booktitle    = {On the Move to Meaningful Internet Systems: {OTM} 2008 Workshops,
                  {OTM} Confederated International Workshops and Posters, ADI, AWeSoMe,
                  COMBEK, EI2N, IWSSA, MONET, OnToContent + QSI, ORM, PerSys, RDDS,
                  SEMELS, and {SWWS} 2008, Monterrey, Mexico, November 9-14, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5333},
  pages        = {27--28},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-88875-8\_13},
  doi          = {10.1007/978-3-540-88875-8\_13},
  timestamp    = {Thu, 14 Oct 2021 10:28:27 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/ZhouBGSH08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/services/HallerGM08,
  author       = {Armin Haller and
                  Walid Gaaloul and
                  Mateusz Marmolowski},
  title        = {Towards an {XPDL} Compliant Process Ontology},
  booktitle    = {2008 {IEEE} Congress on Services, Part I, {SERVICES} {I} 2008, Honolulu,
                  Hawaii, USA, July 6-11, 2008},
  pages        = {83--86},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SERVICES-1.2008.71},
  doi          = {10.1109/SERVICES-1.2008.71},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/services/HallerGM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Gaaloul07,
  author       = {Walid Gaaloul},
  title        = {La D{\'{e}}couverte de WorkflowTransactionnel pour la Fiabilisation
                  desEx{\'{e}}cutions. (Mining transaction workflow for execution
                  reliability)},
  school       = {Henri Poincar{\'{e}} University, Nancy, France},
  year         = {2007},
  url          = {https://tel.archives-ouvertes.fr/tel-00124083},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Gaaloul07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colcom/GaaloulBHRG07,
  author       = {Walid Gaaloul and
                  Sami Bhiri and
                  Manfred Hauswirth and
                  Mohsen Rouached and
                  Claude Godart},
  editor       = {Juan Quemada and
                  Tao Zhang},
  title        = {Formal verification of composite service recovery mechanisms consistency},
  booktitle    = {Proceedings of the 3rd International Conference on Collaborative Computing:
                  Networking, Applications and Worksharing, White Plains, New York,
                  USA, November 12-15, 2007},
  pages        = {278--287},
  publisher    = {{IEEE} Computer Society / {ICST}},
  year         = {2007},
  url          = {https://doi.org/10.1109/COLCOM.2007.4553842},
  doi          = {10.1109/COLCOM.2007.4553842},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/colcom/GaaloulBHRG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/GaaloulBH07,
  author       = {Walid Gaaloul and
                  Sami Bhiri and
                  Armin Haller},
  editor       = {Christine Parent and
                  Klaus{-}Dieter Schewe and
                  Veda C. Storey and
                  Bernhard Thalheim},
  title        = {Mining and Re-engineering Transactional Workflows for Reliable Executions},
  booktitle    = {Conceptual Modeling - {ER} 2007, 26th International Conference on
                  Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4801},
  pages        = {485--501},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75563-0\_33},
  doi          = {10.1007/978-3-540-75563-0\_33},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/er/GaaloulBH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/GaaloulRGH07,
  author       = {Walid Gaaloul and
                  Mohsen Rouached and
                  Claude Godart and
                  Manfred Hauswirth},
  editor       = {Robert Meersman and
                  Zahir Tari},
  title        = {Verifying Composite Service Transactional Behavior Using Event Calculus},
  booktitle    = {On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE,
                  GADA, and IS, {OTM} Confederated International Conferences CoopIS,
                  DOA, ODBASE, GADA, and {IS} 2007, Vilamoura, Portugal, November 25-30,
                  2007, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4803},
  pages        = {353--370},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76848-7\_23},
  doi          = {10.1007/978-3-540-76848-7\_23},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/GaaloulRGH07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/skg/ZhouBNVFG07,
  author       = {ZhangBing Zhou and
                  Sami Bhiri and
                  Ke Ning and
                  Laurentiu Vasiliu and
                  Douglas Foxvog and
                  Walid Gaaloul},
  title        = {Better Behavioral Description for Dynamic Semantic Web Services Collaboration},
  booktitle    = {Third International Conference on Semantics, Knowledge and Grid, Xian,
                  Shan Xi, China, October 29-31, 2007},
  pages        = {338--341},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SKG.2007.57},
  doi          = {10.1109/SKG.2007.57},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/skg/ZhouBNVFG07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/BainaGKM06,
  author       = {Karim Ba{\"{\i}}na and
                  Walid Gaaloul and
                  Reda El Khattabi and
                  Abdellah Mouhou},
  editor       = {Nacer Boudjlida and
                  Dong Cheng and
                  Nicolas Guelfi},
  title        = {WorkflowMiner: a New Workflow Patterns and Performance Analysis tool},
  booktitle    = {The 18th Conference on Advanced Information Systems Engineering (CAiSE
                  '06), Forum Proceedings, Theme: Trusted Information Systems, Luxembourg,
                  June 5-9, 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {231},
  publisher    = {CEUR-WS.org},
  year         = {2006},
  url          = {https://ceur-ws.org/Vol-231/Paper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:33 +0100},
  biburl       = {https://dblp.org/rec/conf/caise/BainaGKM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deec/GaaloulBG06,
  author       = {Walid Gaaloul and
                  Karim Ba{\"{\i}}na and
                  Claude Godart},
  editor       = {Juhnyoung Lee and
                  Junho Shim and
                  Sang{-}goo Lee and
                  Christoph Bussler and
                  Simon S. Y. Shim},
  title        = {A Bottom-Up Workflow Mining Approach for Workflow Applications Analysis},
  booktitle    = {Data Engineering Issues in E-Commerce and Services, Second International
                  Workshop, {DEECS} 2006, San Francisco, CA, USA, June 26, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4055},
  pages        = {182--197},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11780397\_15},
  doi          = {10.1007/11780397\_15},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deec/GaaloulBG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/BhiriGG06,
  author       = {Sami Bhiri and
                  Walid Gaaloul and
                  Claude Godart},
  title        = {Discovering and Improving Recovery Mechanisms of CompositeWeb Services},
  booktitle    = {2006 {IEEE} International Conference on Web Services {(ICWS} 2006),
                  18-22 September 2006, Chicago, Illinois, {USA}},
  pages        = {99--110},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICWS.2006.52},
  doi          = {10.1109/ICWS.2006.52},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icws/BhiriGG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/RouachedGABG06a,
  author       = {Mohsen Rouached and
                  Walid Gaaloul and
                  Wil M. P. van der Aalst and
                  Sami Bhiri and
                  Claude Godart},
  editor       = {Robert Meersman and
                  Zahir Tari},
  title        = {Erratum: Web Service Mining and Verification of Properties: An Approach
                  Based on Event Calculus},
  booktitle    = {On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA,
                  and ODBASE, {OTM} Confederated International Conferences, CoopIS,
                  DOA, GADA, and {ODBASE} 2006, Montpellier, France, October 29 - November
                  3, 2006. Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4275},
  pages        = {2},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11914853\_72},
  doi          = {10.1007/11914853\_72},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/RouachedGABG06a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/RouachedGABG06,
  author       = {Mohsen Rouached and
                  Walid Gaaloul and
                  Wil M. P. van der Aalst and
                  Sami Bhiri and
                  Claude Godart},
  editor       = {Robert Meersman and
                  Zahir Tari},
  title        = {Web Service Mining and Verification of Properties: An Approach Based
                  on Event Calculus},
  booktitle    = {On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA,
                  and ODBASE, {OTM} Confederated International Conferences, CoopIS,
                  DOA, GADA, and {ODBASE} 2006, Montpellier, France, October 29 - November
                  3, 2006. Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4275},
  pages        = {408--425},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11914853\_25},
  doi          = {10.1007/11914853\_25},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/otm/RouachedGABG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/GaaloulG06,
  author       = {Walid Gaaloul and
                  Claude Godart},
  editor       = {Kang Zhang and
                  George Spanoudakis and
                  Giuseppe Visaggio},
  title        = {A Workflow Mining Tool based on Logs Statistical Analysis},
  booktitle    = {Proceedings of the Eighteenth International Conference on Software
                  Engineering {\&} Knowledge Engineering (SEKE'2006), San Francisco,
                  CA, USA, July 5-7, 2006},
  pages        = {595--600},
  year         = {2006},
  timestamp    = {Thu, 12 Mar 2020 11:30:50 +0100},
  biburl       = {https://dblp.org/rec/conf/seke/GaaloulG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/GaaloulG05,
  author       = {Walid Gaaloul and
                  Claude Godart},
  editor       = {Wil M. P. van der Aalst and
                  Boualem Benatallah and
                  Fabio Casati and
                  Francisco Curbera},
  title        = {Mining Workflow Recovery from Event Based Logs},
  booktitle    = {Business Process Management, 3rd International Conference, {BPM} 2005,
                  Nancy, France, September 5-8, 2005, Proceedings},
  volume       = {3649},
  pages        = {169--185},
  year         = {2005},
  url          = {https://doi.org/10.1007/11538394\_12},
  doi          = {10.1007/11538394\_12},
  timestamp    = {Thu, 14 Oct 2021 10:23:39 +0200},
  biburl       = {https://dblp.org/rec/conf/bpm/GaaloulG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/GaaloulBG05,
  author       = {Walid Gaaloul and
                  Karim Ba{\"{\i}}na and
                  Claude Godart},
  editor       = {Kim Viborg Andersen and
                  John K. Debenham and
                  Roland R. Wagner},
  title        = {Towards Mining Structural Workflow Patterns},
  booktitle    = {Database and Expert Systems Applications, 16th International Conference,
                  {DEXA} 2005, Copenhagen, Denmark, August 22-26, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3588},
  pages        = {24--33},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11546924\_3},
  doi          = {10.1007/11546924\_3},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/dexa/GaaloulBG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saint/GaaloulABG05,
  author       = {Walid Gaaloul and
                  Sadek Belamfedel Alaoui and
                  Karim Ba{\"{\i}}na and
                  Claude Godart},
  title        = {Mining Workflow Patterns through Event-Data Analysis},
  booktitle    = {2005 {IEEE/IPSJ} International Symposium on Applications and the Internet
                  Workshops {(SAINT} 2005 Workshops), 31 January - 4 February 2005,
                  Trento, Italy},
  pages        = {226--229},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/SAINTW.2005.1620017},
  doi          = {10.1109/SAINTW.2005.1620017},
  timestamp    = {Sat, 03 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/saint/GaaloulABG05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jid/BhiriPGG04,
  author       = {Sami Bhiri and
                  Olivier Perrin and
                  Walid Gaaloul and
                  Claude Godart},
  title        = {An Object-Oriented Metamodel for Inter-Enterprises Cooperative Processes
                  Based on Web Services},
  journal      = {Trans. {SDPS}},
  volume       = {8},
  number       = {2},
  pages        = {37--55},
  year         = {2004},
  url          = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid8-2-04},
  timestamp    = {Thu, 14 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jid/BhiriPGG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coopis/GaaloulBG04,
  author       = {Walid Gaaloul and
                  Sami Bhiri and
                  Claude Godart},
  editor       = {Robert Meersman and
                  Zahir Tari},
  title        = {Discovering Workflow Transactional Behavior from Event-Based Log},
  booktitle    = {On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and
                  ODBASE, {OTM} Confederated International Conferences, Agia Napa, Cyprus,
                  October 25-29, 2004, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {3290},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30468-5\_3},
  doi          = {10.1007/978-3-540-30468-5\_3},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/coopis/GaaloulBG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emisa/GaaloulBG04,
  author       = {Walid Gaaloul and
                  Sami Bhiri and
                  Claude Godart},
  editor       = {Fernand Feltz and
                  Andreas Oberweis and
                  Beno{\^{\i}}t Otjacques},
  title        = {Discovering Workflow Patterns from Timed Logs},
  booktitle    = {{EMISA} 2004, Informationssysteme im E-Business und E-Government,
                  Beitr{\"{a}}ge des Workshops der GI-Fachgruppe EMISA, 6.-8. Oktober
                  2004 in Luxemburg},
  series       = {{LNI}},
  volume       = {{P-56}},
  pages        = {84--94},
  publisher    = {{GI}},
  year         = {2004},
  url          = {https://dl.gi.de/handle/20.500.12116/28537},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/emisa/GaaloulBG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/GaaloulBBG04,
  author       = {Walid Gaaloul and
                  Karim Ba{\"{\i}}na and
                  Khalid Benali and
                  Claude Godart},
  title        = {A Pattern for Interconnecting Distributed Components},
  booktitle    = {{ICEIS} 2004, Proceedings of the 6th International Conference on Enterprise
                  Information Systems, Porto, Portugal, April 14-17, 2004},
  pages        = {430--434},
  year         = {2004},
  timestamp    = {Thu, 02 Feb 2017 12:56:49 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/GaaloulBBG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics