default search action
Mohamed Graiet
Mohamed Graïet
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j19]Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet, Dalton Cézane Gomes Valadares:
Formal verification for security and attacks in IoT physical layer. J. Reliab. Intell. Environ. 10(1): 73-91 (2024) - [j18]Sarah Hussein Toman
, Aida Lahouij, Sonia Kotel, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet:
Service to service communication based on CBPS system: refinement and verification. Soft Comput. 28(19): 10943-10963 (2024) - [c58]Ikbel Haouas, Mouna Attia, Lazhar Hamel, Mohamed Graiet, Walid Gaaloul:
Efficient Deep Learning Method for Detection of Malware Attacks in Internet of Things Networks. ACIIDS (Companion 1) 2024: 15-26 - [c57]Yasmine Gara Hellal, Lazhar Hamel, Mohamed Graiet, Daniel Balouek:
A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications. CCGrid 2024: 347-356 - [c56]Motaz Ben Hassine, Saïd Jabbour, Mourad Kmimech, Badran Raddaoui, Mohamed Graiet:
On the Discovery of Conceptual Clustering Models Through Pattern Mining. ECAI 2024: 1648-1655 - 2023
- [j17]Houda Chouat
Adaptive configuration of IoT applications in the fog infrastructure. Computing 105(12): 2747-2772 (2023) - [j16]Sarah Hussein Toman
Formal modelling and verification of scalable service composition in IoT environment. Serv. Oriented Comput. Appl. 17(3): 213-231 (2023) - [j15]Aida Lahouij
Formal reconfiguration model for cloud resources. Softw. Syst. Model. 22(1): 225-245 (2023) - [c55]Motaz Ben Hassine
A Non-overlapping Community Detection Approach Based on α-Structural Similarity. DaWaK 2023: 197-211 - [c54]Sarah Hussein Toman, Lazhar Hamel, Mohamed Graiet:
Refinement and Verification for IoT Service Composition. ISCC 2023: 483-486 - [c53]Sarah Hussein Toman, Aida Lahouij, Lazhar Hamel, Zinah Hussein Toman, Mohamed Graiet:
A Correct by Construction Model for CBPS Systems Verification. ISCC 2023: 1299-1304 - 2022
- [j14]Amel Mammar, Lazhar Hamel
An Event-B-Based Approach to Model and Verify Behaviors for Component-Based Applications. Comput. J. 65(10): 2780-2800 (2022) - [j13]Aida Lahouij
An Event-B model for dynamically managing cloud resources. Innov. Syst. Softw. Eng. 18(1): 85-104 (2022) - [j12]Aida Lahouij
An optimization approach for cloud composite services. J. Supercomput. 78(3): 3621-3645 (2022) - [j11]Imed Abbassi
A Correct-by-Construction Model for Verifying Transactional Composite Services Configuration. IEEE Trans. Serv. Comput. 15(5): 2511-2525 (2022) - [c52]Nihed Yousfi
ITS Traffic Violation Regulation Based on Blockchain Smart Contracts. ICCCI (CCIS Volume) 2022: 459-471 - [c51]Abir Messaoudi, Hatem Haddad, Moez Benhaj Hmida, Mohamed Graiet:
TuniSER: Toward a Tunisian Speech Emotion Recognition System. ICNLSP 2022: 234-241 - [c50]Zinah Hussein Toman, Lazhar Hamel
Correct-by-Construction Approach for Formal Verification of IoT Architecture. KES 2022: 2598-2609 - [c49]Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul:
Model checking of vulnerabilities in smart contracts: a solidity-to-CPN approach. SAC 2022: 316-325 - 2021
- [c48]Abir Messaoudi, Hatem Haddad
Tunisian Dialectal End-to-end Speech Recognition based on DeepSpeech. ACLING 2021: 183-190 - [c47]Ikram Garfatta, Kais Klai, Walid Gaaloul, Mohamed Graiet:
A Survey on Formal Verification for Solidity Smart Contracts. ACSW 2021: 3:1-3:10 - [c46]Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul:
Model Checking of Solidity Smart Contracts Adopted for Business Processes. ICSOC 2021: 116-132 - [c45]Houda Chouat, Imed Abbassi
A genetic-based requirements-aware approach for reliable IoT applications in the Fog. WETICE 2021: 39-44 - [c44]Ikram Garfatta, Kaïs Klai, Mohamed Graïet, Walid Gaaloul:
A Solidity-to-CPN Approach Towards Formal Verification of Smart Contracts. WETICE 2021: 69-74 - 2020
- [j10]Aida Lahouij
An Event-B based approach for cloud composite services verification. Formal Aspects Comput. 32(4-6): 361-393 (2020) - [c43]Aida Lahouij
Dynamic Reconfiguration of Cloud Composite Services Using Event-B. ICSR 2020: 69-84
2010 – 2019
- 2019
- [j9]Sindyana Jlassi
Towards correct cloud resource allocation in FOSS applications. Future Gener. Comput. Syst. 91: 392-406 (2019) - [c42]Imed Abbassi
On the Verification of Data Encryption Requirements in Internet of Things Using Event-B. ICDEc 2019: 147-156 - 2018
- [j8]Mohamed Graiet, Imed Abbassi
A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition. IEEE Syst. J. 12(2): 1644-1654 (2018) - [j7]Imed Abbassi
An Automatic Configuration Algorithm for Reliable and Efficient Composite Services. IEEE Trans. Netw. Serv. Manag. 15(1): 416-429 (2018) - [c41]Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul
Formal Modelling and Verification of Cloud Resource Allocation in Business Processes. OTM Conferences (1) 2018: 552-567 - [c40]Aida Lahouij
Deadlock-Freeness Verification of Cloud Composite Services Using Event-B. OTM Conferences (1) 2018: 604-622 - [c39]Aida Lahouij
A Formal Approach for Cloud Composite Services Verification. SOCA 2018: 161-168 - [c38]Ikram Garfatta, Kais Klai, Mohamed Graiet, Walid Gaaloul
[WiP] Formal Modelling of IT Resource Allocation in Business Processes. SOCA 2018: 227-232 - 2017
- [j6]Mohamed Graiet, Lazhar Hamel
A verification and deployment approach for elastic component-based applications. Formal Aspects Comput. 29(6): 987-1011 (2017) - [j5]Mohamed Graiet, Amel Mammar, Souha Boubaker, Walid Gaaloul
Towards Correct Cloud Resource Allocation in Business Processes. IEEE Trans. Serv. Comput. 10(1): 23-36 (2017) - [c37]Souha Boubaker, Kais Klai, Katia Schmitz, Mohamed Graiet, Walid Gaaloul
Deadlock-Freeness Verification of Business Process Configuration Using SOG. ICSOC 2017: 96-112 - [c36]Imed Abbassi
A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud. OTM Conferences (1) 2017: 732-750 - [c35]Mohamed Graiet, Kais Klai:
Track Report for Formal Verification of Service Based Systems: FVSBS 2017. WETICE 2017: 238 - 2016
- [c34]Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B. AINA 2016: 746-753 - [c33]Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
A Formal Guidance Approach for Correct Process Configuration. ICSOC 2016: 483-498 - [c32]Souha Boubaker, Amel Mammar, Mohamed Graiet, Walid Gaaloul
An Event-B Based Approach for Ensuring Correct Configurable Business Processes. ICWS 2016: 460-467 - [c31]Aida Lahouij
A Global SLA-Aware Approach for Aggregating Services in the Cloud. OTM Conferences 2016: 363-380 - [c30]Mohamed Graiet, Kais Klai:
Track Report for Formal Verification of Service Based Systems: FVSBS 2016. WETICE 2016: 191 - 2015
- [j4]Eric Cariou, Olivier Le Goaër, Franck Barbier, Samson Pierre, Mohamed Graiet:
Adaptation d'exécution de modèles par contrats. Tech. Sci. Informatiques 34(6): 703-730 (2015) - [c29]Mohamed Graiet, Imed Abbassi
A Formal Approach for Ensuring a Correct Reconfigurable Composite Service. SCC 2015: 411-418 - [c28]Souha Boubaker, Walid Gaaloul
Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process. SCC 2015: 538-545 - [c27]Ala-Eddine Ben Salem, Mohamed Graiet:
Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata. ACSD 2015: 20-29 - [c26]Mohamed Graiet, Aida Lahouij
Formal Behavioral Modeling for Verifying SCA Composition with Event-B. ICWS 2015: 17-24 - [c25]Imed Abbassi
A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B. ICWS 2015: 519-526 - [c24]Lazhar Hamel
Formal modeling for verifying SCA composition. RCIS 2015: 193-204 - [c23]Aida Lahouij
Formal Modeling for Verifying SCA Dynamic Composition with Event-B. WETICE 2015: 29-34 - [c22]Mohamed Graiet, Kais Klai:
FVSBS 2015 Track Report: Formal Verification of Service Based Systems. WETICE 2015: 182 - [c21]Imed Abbassi
Genetic-Based Approach for ATS and SLA-aware Web Services Composition. WISE (1) 2015: 369-383 - 2014
- [c20]Imed Abbassi
A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions. IEEE SCC 2014: 637-644 - [c19]Imed Abbassi
Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach. WETICE 2014: 68-73 - [c18]Mohamed Graiet, Zied Jaoua, Kais Klai:
Track Report of Formal Verification of Service Based Systems (FVSBS 2014). WETICE 2014: 312 - 2013
- [c17]Mohamed Graiet, Imed Abbassi
Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior. ICWS 2013: 251-259 - [c16]Aida Lahouij
Formal Verification of SCA Assembly Model with Event-B. SKG 2013: 44-51 - 2012
- [j3]Mohamed Graiet, Raoudha Maraoui
Towards an approach of formal verification of mediation protocol based on web services of MDE type. Int. J. Web Inf. Syst. 8(1): 32-54 (2012) - [j2]Mohamed Tahar Bhiri, Farah Fourati, Mourad Kmimech, Mohamed Graiet:
Transformation exogène de Wright vers Ada. Tech. Sci. Informatiques 31(7): 839-868 (2012) - [c15]Lazhar Hamel
Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case. Business Process Management Workshops 2012: 513-518 - [c14]Imed Abbassi, Mohamed Graiet, Eric Cariou, Zied Jaoua:
Patrons transactionnels dynamiques pour des services composés fiables et flexibles. CAL 2012: 37-50 - [c13]Lazhar Hamel
Event-B Formalisation of Web Services for Dynamic Composition. SKG 2012: 150-156 - 2011
- [c12]Mourad Kmimech, Mohamed Tahar Bhiri, Mohamed Graiet, Philippe Aniorté:
Vérification des propriétés structurelles et non fonctionnelles d'assemblages de composants UML2.0. CAL 2011: 93-117 - [c11]Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, Philippe Aniorté:
UML/OCL and Refinement. ECBS 2011: 149-158 - [c10]Lazhar Hamel
Verifying Composite Service Transactional Behavior with EVENT-B. ECSA 2011: 67-74 - [c9]Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
MDE approach for the generation and verification of SCA model. iiWAS 2011: 317-320 - [c8]Raoudha Maraoui
Towards a transformation of composite web service with QoS extension into ACME\Armani. iiWAS 2011: 349-352 - [c7]Lazhar Hamel, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
Verifying Composite Service Transactional Behavior with EVENT-B. SKG 2011: 99-106 - [c6]Soumaya Louhichi, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
ATL Transformation for the Generation of SCA Model. SKG 2011: 164-167 - [c5]Amel Mhamdi
Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service. SKG 2011: 187-190 - [c4]Wided Ben Abid, Mohamed Graiet, Mourad Kmimech, Mohamed Tahar Bhiri, Walid Gaaloul
Profile UML2.0 for Specification of the SCA Architectures. SKG 2011: 191-194 - 2010
- [c3]Mohamed Graiet, Raoudha Maraoui
Towards an approach of formal verification of mediation protocol based on web services. iiWAS 2010: 75-82
2000 – 2009
- 2008
- [j1]Mohamed Tahar Bhiri, Mohamed Graiet, Jean-Pierre Giraudin, Abdelmajid Ben Hamadou:
Vérification formelle d'architectures logicielles à base d'UML. Obj. Logiciel Base données Réseaux 14(1-2): 61-86 (2008) - 2007
- [b1]Mohamed Graiet:
Contribution à une démarche de vérification formelle d'architectures logicielles. (Contribution to a process for formal verification of software architectures). Joseph Fourier University, Grenoble, France, 2007 - 2006
- [c2]Mohamed Graiet, Mohamed Tahar Bhiri, Faïza Dammak, Jean-Pierre Giraudin:
Adaptation d'UML2.0 à l'ADL Wright. CAL 2006: 83-100 - [c1]Mohamed Graiet, Mohamed Tahar Bhiri, Jean-Pierre Giraudin, Noureddine Belkhatir:
Architecture des systèmes avec la norme UML2.0 et l'ADL Wright. INFORSID 2006: 927-942
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-08 02:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: