Concepedia

Walid Gaaloul

WG

Statistics

Publications

55

Citations

1.2K

H-Index

20

Active since

2006

Affiliations

Institut Polytechnique de Paris(Current)

Centre National de la Recherche Scientifique

Département d'Informatique

Télécom SudParis

Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux

Walid Gaaloul is an author at Institut Polytechnique de Paris specializing in computing, information systems, and computer science.

Publications per year

2006–2023

55

Publications

55

A Survey on Formal Verification for Solidity Smart Contracts

Ikram Garfatta, Kaïs Klai, Walid Gaaloul et al. · 2021 · 62 citations

Computing, Computer Science, Information Technology +14

Semantic Framework for Internet of Things-Aware Business Process Development

Kunal Suri, Walid Gaaloul, Arnaud Cuccuru et al. · 2017 · 61 citations

Computing, Information Systems, Information Technology +17

Event-Based Design and Runtime Verification of Composite Service Transactional Behavior

Walid Gaaloul, Sami Bhiri, Mohsen Rouached · IEEE Transactions on Services Computing · 2010 · 56 citations

Computing, Computer Science, Systems Engineering +17

Energy-Efficient IoT Service Composition for Concurrent Timed Applications

Mengyu Sun, Zhangbing Zhou, Junping Wang et al. · Future Generation Computer Systems · 2019 · 54 citations

Computing, Computer Science, Computer Systems +14

Scientific Workflow Clustering and Recommendation Leveraging Layer Hierarchical Analysis

Zhangbing Zhou, Zehui Cheng, Liang‐Jie Zhang et al. · IEEE Transactions on Services Computing · 2016 · 52 citations

Computing, Computer Science, Data Science +16

1–5 of 55