Access content directly

Walid Gaaloul

175
Documents

Presentation

**Prof.dr.ir. Walid Gaaloul** is a professor at [Télécom SudParis](http://www.it-sudparis.eu/fr_accueil.html) an engineering school (grande école d'ingénieurs) in the field of Information and Communication Technology. [Télécom SudParis](http://www.it-sudparis.eu/) is part of [Institut Polytechnique de Paris (IP Paris)](https://www.ip-paris.fr/) and [Institut Mines Télécom](https://www.imt.fr/). Walid Gaaloul is member of the [DIEGO ](https://www-inf.telecom-sudparis.eu/departement/diego/)group part of the [Computer Science Department](https://www-inf.telecom-sudparis.eu/departement/) of [Télécom SudParis](http://www.telecom-sudparis.eu/) and the the CNRS research laboratory [SAMOVAR](http://www.it-sudparis.eu/samovar/). Before joining [Télécom SudParis](http://www.it-sudparis.eu/fr_accueil.html), he was a researcher at the [Digital Enterprise Research Institute](https://en.wikipedia.org/wiki/Digital_Enterprise_Research_Institute) (DERI) and an adjunct lecturer in the [National University of Ireland, Galway](http://www.nuigalway.ie/) (NUIG). He holds an M.S. (2002) and a Ph.D. (2006) in computer science from the [University of Lorraine](http://www.univ-lorraine.fr/), France, and a habilitation (2014) from [Pierre et Marie Curie University](http://www.upmc.fr/en/index.html), Paris, France. He was a junior researcher in the [Lorraine Laboratory of IT Research and its Applications](http://www.loria.fr/) (LORIA-INRIA) and a teaching assistant in the [University of Lorraine](http://www.univ-lorraine.fr/), France. His [research interests](http://www-inf.int-evry.fr/~gaaloulw/Research/) are on Business Process Management, Process Mining, Cloud Computing, Service Oriented Computing. Walid Gaaloul has published over 100[ research papers](http://www-inf.int-evry.fr/~gaaloulw/Publications/) in these domains. He serves as [program committee member and reviewer](http://www-inf.int-evry.fr/~gaaloulw/Research2/) at many international journals and conferences and has been participating in [several national and European research projects](http://www-inf.int-evry.fr/~gaaloulw/Research1/).

Publications

Image document

Model driven simulation of elastic OCCI cloud resources

Mehdi Ahmed-Nacer , Slim Kallel , Faiez Zalila , Philippe Merle , Walid Gaaloul et al.
The Computer Journal, 2022, 65 (5), pp.1144-1166. ⟨10.1093/comjnl/bxaa159⟩
Journal articles hal-02976775v1
Image document

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

Hayet Brabra , Marcos Baez , Boualem Benatallah , Walid Gaaloul , Sara Bouguelia et al.
IEEE Transactions on Cognitive and Developmental Systems, In press, pp.1-15. ⟨10.1109/TCDS.2021.3086565⟩
Journal articles hal-03626466v1

Conformance checking for autonomous multi-cloud SLA management and adaptation

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

Restriction‐based fragmentation of business processes over the cloud

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

Optimal business process deployment cost in cloud resources

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

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

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

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

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

Toward a correct and optimal time-aware cloud resource allocation to business processes

Rania Ben Halima , Slim Kallel , Walid Gaaloul , Zakaria Maamar , Mohamed Jmaiel et al.
Future Generation Computer Systems, 2020, 112, pp.751-766. ⟨10.1016/j.future.2020.06.018⟩
Journal articles hal-03122709v1

Configurable deployment descriptor model in NFV

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

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

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

A modeling approach for Systems-of-Systems by adapting ISO/IEC/IEEE 42010 standard evaluated by Goal-Question-Metric

Mariam Chaabane , Ismael Bouassida Rodriguez , Ricardo Colomo-Palacios , Walid Gaaloul , Mohamed Jmaiel et al.
Science of Computer Programming, 2019, 184, pp.102305-1:102305-24. ⟨10.1016/j.scico.2019.102305⟩
Journal articles hal-02482768v1
Image document

On semantic detection of cloud API (anti)patterns

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

Energy-efficient IoT service composition for concurrent timed applications

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

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

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

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

Deng Zhao , Walid Gaaloul , Wenbo Zhang , Chunsheng Zhu , Zhangbing Zhou et al.
IEEE Access, 2018, 6, pp.59843 - 59852. ⟨10.1109/ACCESS.2018.2874937⟩
Journal articles hal-01987392v1

Scientific workflow clustering and recommendation leveraging layer hierarchical analysis

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

Optimal deployment of configurable business processes in cloud federations

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

Genetic-based adaptive approach for reliable and efficient service composition

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

Towards correct cloud resource allocation in business processes

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

Developing correct adapters for software architectural dynamic reconfiguration

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

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

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

Data intelligence on the Internet of Things

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

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

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

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

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

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

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

Service Querying to Support Process Variant Development

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

Assisting sensor-based application design and instantiation using activity recommendation

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

Deriving configurable fragments for process design

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

Process socio space discovery based on semantic logs

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

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

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

Communities of web service registries : construction and management

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

Assessing the replaceability of service protocols in mediated service interactions

Zhangbing Zhou , Walid Gaaloul , Lei Shu , Samir Tata , Sami Bhiri et al.
Future Generation Computer Systems, 2013, 29 (1), pp.287-299. ⟨10.1016/j.future.2011.08.007⟩
Journal articles hal-00746974v1

Assessment of service protocol adaptability based on novel walk computation

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

Towards an approach of formal verification of mediation protocol based on web services of MDE type

Mohamed Graiet , Raoudha Maraoui , Mourad Kmimech , Mohamed Tahar Bhiri , Walid Gaaloul et al.
International Journal of Web Information Systems, 2012, 8 (1), pp.32 - 54. ⟨10.1108/17440081211222582⟩
Journal articles hal-00751238v1

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

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

Ensuring customised transactional reliability of composite services

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

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

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

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

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

Log-based transactional workflow mining

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

Log-based Mining Techniques Applied to Web Service Composition Reengineering

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

Mining and Improving Composite Web Services Recovery Mechanisms

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

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

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

Enabling multi-provider cloud network service bundling

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

Extracting artifact-centric event logs from blockchain applications

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

Blockchain logging for process mining: a systematic review

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

CTL-based dynamic IoT service composition

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

A survey on formal verification for solidity smart contracts

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

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

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

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

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

Model checking of solidity smart contracts adopted for business processes

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

Adaptive IoT service configuration optimization in edge networks

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

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

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

Migration-based service allocation optimization in dynamic IoT networks

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

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

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

Track Before Detect: a novel approach for unsupervised anomaly detection In time series

Ralph Bou Nader , Nour Assy , Walid Gaaloul , Yehia Taher , Rafiqul Haque et al.
SMDS 2021: IEEE International Conference on Smart Data Services, Sep 2021, Chicago (online), United States. pp.142-151, ⟨10.1109/SMDS53860.2021.00028⟩
Conference papers hal-03520025v1

Learning a configurable deployment descriptors model in NFV

Wassim Sellil Atoui , Nour Assy , Walid Gaaloul , Imen Grida Ben Yahia
NOMS 2020: IEEE/IFIP Network Operations and Management Symposium, Apr 2020, Budapest, Hungary. pp.1-9, ⟨10.1109/NOMS47738.2020.9110328⟩
Conference papers hal-03122769v1

Discovering activities from emails based on pattern discovery approach

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

Detecting temporal anomaly and interestingness in timed business process models

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

Discovery of activities’ actor perspective from emails based on speech acts detection

Marwa Elleuch , Oumaima Alaoui Ismaili , Nassim Laga , Nour Assy , Walid Gaaloul et al.
ICPM 2020: 2nd International Conference on Process Mining, Oct 2020, Padua (online), Italy. pp.73-80, ⟨10.1109/ICPM49681.2020.00021⟩
Conference papers hal-03122728v1

A meta model for mining processes from email data

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

Running transactional business processes with blockchain's smart contracts

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

A SAT-based formal approach for verifying business process configuration

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

Blockchain's fame reaches the execution of personalized touristic itineraries

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

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

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

Model-driven orchestration for cloud resources

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

Using deep learning for recommending and completing deployment descriptors in NFV

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

Discovering crossing-workflow fragments based on activity knowledge graph

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

A transactional approach for reliable elastic cloud resources

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

SoS paradigm benefits SaaS integration: novel approach and first results

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

Configurable IoT-aware allocation in business processes

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

Trustless blockchain-based access control in dynamic collaboration

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

Model-driven elasticity for cloud resources

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

Formal verification of temporal constraints and allocated cloud resources in business processes

Rania Ben Halima , Imen Zouaghi , Slim Kallel , Walid Gaaloul , Mohamed Jmaiel et al.
AINA 2018: 32nd International Conference on Advanced Information Networking and Applications, May 2018, Krakow, Poland. pp.952 - 959, ⟨10.1109/AINA.2018.00139⟩
Conference papers hal-01996077v1

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

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

Formal modelling and verification of cloud resource allocation in business processes

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

Energy-efficient WSN service composition for concurrent applications

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

Scheduling business process activities for time-aware cloud resource allocation

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

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

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

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

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

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

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

Simulation of configurable resource allocation for cloud-based business processes

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

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

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

A semantic framework supporting business process variability using event logs

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

OCCI-compliant cloud configuration simulation

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

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

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

Cloud SLA modeling and monitoring

Taher Labidi , Achraf Mtibaa , Walid Gaaloul , Samir Tata , Faiez Gargouri et al.
SCC 2017 : 14th International Conference on Services Computing, Jun 2017, Honolulu, United States. pp.338 - 345, ⟨10.1109/SCC.2017.50⟩
Conference papers hal-01696649v1

Anti-pattern specification and correction recommendations for semantic cloud services

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

Semantic framework for Internet of Things-aware business process development

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

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

Kunal Suri , Arnaud Cuccuru , Juan Cadavid , Sébastien Gérard , Walid Gaaloul et al.
MODELSWARD 2017 : 5th International Conference on Model-Driven Engineering and Software Development, Feb 2017, Porto, Portugal. pp.487 - 495, ⟨10.5220/0006210504870495⟩
Conference papers hal-01696991v1

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

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

Deadlock-freeness verification of business process configuration using SOG

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

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

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

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

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

Adaptive Deployment of Service-Based Processes into Cloud Federations

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

A semantic framework supporting cloud resource descriptions interoperability

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

Semantic web technologies in cloud computing: a systematic literature review

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

Energy efficient configurable resource allocation in cloud-based business processes

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

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

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

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

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

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

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

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

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

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

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

A formal guidance approach for correct process configuration

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

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

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

Detecting cloud (anti)patterns: OCCI perspective

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

Towards resource-aware business process development in the cloud

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

Extracting configuration guidance models from business process repositories

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

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

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

Log-Based Process Fragment Querying to Support Process Desig

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

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

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

Semantic process fragments matching to assist the development of process variants

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

Querying Services Based on Composition Context

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

Mining Event Logs to Assist the Development of Executable Process Variants

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

Mining configurable process fragments for business process design

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

A formal approach for enforcing transactional requirements in web service compositions

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

Configuration rule mining for variability analysis in configurable process models

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

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

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

Assisting business process design with configurable process fragments

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

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

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

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

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

Assisting business process design by activity neighborhood context matching

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

An ontology for workflow organizational model mining

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

Data mapping web services for composite DaaS mediation

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

Towards a unified marketplace for functionality-based cloud service discovery

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

MDE approach for the generation and verification of SCA model

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

An implicit approach for building communities of web service registries

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

Modeling and managing communities of web service registries

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

UML 2.0 Profile for Structural and Behavioral Specification of SCA Architectures

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

Composition Context Matching for Web Service Recommendation

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

Petri net modeling and verification of transactional workflows

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

Service protocol replaceability assessment in mediated service interactions

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

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

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

Profile UML2.0 for specification of the SCA architectures

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

Context-based service recommendation for assisting business process design

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

Verifying composite service transactional behavior with EVENT-B

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

ATL transformation for the generation of SCA model

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

Graph-based management of communities of web service registries

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

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

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

Implementation of communities of web service registries

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

Clustering and managing data providing services using machine learning technique

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

Web services recommendation based on user's behavior

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

WSRD : a Web Services Registry Description

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

Functionality-driven clustering of web service registries

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

Towards an approach of formal verification of mediation protocol based on Web services

Mohamed Graiet , Raoudha Maraoui , Mourad Kmimech , Mohamed Tahar Bhiri , Walid Gaaloul et al.
iiWAS 2010 : 12th International Conference on Information Integration and Web-based Applications & Services, Oct 2010, Paris, France. pp.75 - 82, ⟨10.1145/1967486.1967502⟩
Conference papers hal-01308596v1

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

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

Using recommendation to limit search space in Web services discovery

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

From workflow models to executable Web service interfaces

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

A workflow mining tool based on logs statistical analysis

Walid Gaaloul , Claude Godart
The Eighteenth International Conference on Software Engineering and Knowledge Engineering SEKE'06, Jul 2006, San Francisco, California, USA
Conference papers inria-00114832v1

A bottom-up workflow mining approach for workflow applications analysis

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

Discovering and Improving Recovery Mechanisms of Composite Web Services

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

Workflowminer: A new workflow patterns and performance analysis tool

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

Mining Workflow Patterns through Event-data Analysis

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

Mining Workflow Recovery From Event Based Logs

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

Towards Mining Structural Workflow Patterns

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

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

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

A Pattern for Interconnecting Distributed Components

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

Discovering Workflow Patterns from Timed Logs

Walid Gaaloul , Sami Bhiri , Claude Godart
Information Systems in E-Business and E-Government - EMISA 2004, Oct 2004, Luxembourg/Luxembourg
Conference papers inria-00000487v1

WorkflowMiner : An infrastructure for Mining Workflow Patterns

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

Discovering Workflow Transactional Behaviour from Event-based Log

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

Un patron pour l'interconnexion des composants distribués

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

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

Sami Bhiri , Olivier Perrin , Walid Gaaloul , Claude Godart
7th World Conference on Integrated Design and Process Technology 2003 - IDPT'2003, 2003, Austin, Texas, Etats Unis
Conference papers inria-00099591v1
Image document

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

Kunal Suri , Arnaud Cuccuru , Juan Cadavid , Sébastien Gérard , Walid Gaaloul et al.
5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), Feb 2017, Porto, Portugal. , 2017
Conference poster hal-01474906v1

A trustworthy decentralized change propagation mechanism for declarative choreographies

Amina Brahem , Tiphaine Henry , Sami Bhiri , Thomas Devogele , Nassim Laga et al.
Business Process Management, 13420, Springer International Publishing, pp.418-435, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-16103-2_27⟩
Book sections hal-03836458v1

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

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

A reengineering approach for ensuring transactional reliability of composite services

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

Intelligence des processus

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

Découverte de la logique des processus

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

La Découverte de Workflow
Transactionnel pour la Fiabilisation des
Exécutions

Walid Gaaloul
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy 1, 2006. Français. ⟨NNT : 2006NAN10130⟩
Theses tel-01746856v2
Image document

Supporting service consumption : advanced discovery and recommendation techniques

Walid Gaaloul
Software Engineering [cs.SE]. Télécom Ecole de Management, 2014
Habilitation à diriger des recherches tel-01266701v1