SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Mohamed Graïet · Study

Home/Author

Mohamed Graïet

4 works· latest 2016· 1 institutionscluster: provisionalORCID 0000-0002-0482-7254

h-index4

i104

Citations73

Works here4

15

16

Most cited in this library

Towards Correct Cloud Resource Allocation in Business Processes2016 · 31 citations
Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process2015 · 16 citations
An Event-B Based Approach for Ensuring Correct Configurable Business Processes2016 · 14 citations
Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B2016 · 12 citations

Works

4 shown

Towards Correct Cloud Resource Allocation in Business Processes

IEEE Transactions on Services Computing·2016·4 authors

31citations

An Event-B Based Approach for Ensuring Correct Configurable Business Processes

IEEE International Conference on Web Services (ICWS)·2016·4 authors·other

14citations

Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B

International Conference on Advanced Information Networking and Applications (AINA)·2016·4 authors·other

12citations

Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process

IEEE International Conference on Services Computing·2015·4 authors·other

16citations