Mohamed Graiet

According to our database1, Mohamed Graiet authored at least 51 papers between 2006 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Towards correct cloud resource allocation in FOSS applications.
Future Generation Comp. Syst., 2019

2018
An Automatic Configuration Algorithm for Reliable and Efficient Composite Services.
IEEE Trans. Network and Service Management, 2018

A Genetic-Based Adaptive Approach for Reliable and Efficient Service Composition.
IEEE Systems Journal, 2018

A Formal Approach for Cloud Composite Services Verification.
Proceedings of the 11th IEEE Conference on Service-Oriented Computing and Applications, 2018

[WiP] Formal Modelling of IT Resource Allocation in Business Processes.
Proceedings of the 11th IEEE Conference on Service-Oriented Computing and Applications, 2018

Deadlock-Freeness Verification of Cloud Composite Services Using Event-B.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

Formal Modelling and Verification of Cloud Resource Allocation in Business Processes.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018

2017
Towards Correct Cloud Resource Allocation in Business Processes.
IEEE Trans. Services Computing, 2017

A verification and deployment approach for elastic component-based applications.
Formal Asp. Comput., 2017

Track Report for Formal Verification of Service Based Systems: FVSBS 2017.
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

A Formal Approach for Correct Elastic Package-Based Free and Open Source Software Composition in Cloud.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Deadlock-Freeness Verification of Business Process Configuration Using SOG.
Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

2016
Track Report for Formal Verification of Service Based Systems: FVSBS 2016.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

A Global SLA-Aware Approach for Aggregating Services in the Cloud.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2016 Conferences, 2016

An Event-B Based Approach for Ensuring Correct Configurable Business Processes.
Proceedings of the IEEE International Conference on Web Services, 2016

A Formal Guidance Approach for Correct Process Configuration.
Proceedings of the Service-Oriented Computing - 14th International Conference, 2016

Formal Verification of Cloud Resource Allocation in Business Processes Using Event-B.
Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications, 2016

2015
Adaptation d'exécution de modèles par contrats.
Technique et Science Informatiques, 2015

Genetic-Based Approach for ATS and SLA-aware Web Services Composition.
Proceedings of the Web Information Systems Engineering - WISE 2015, 2015

Formal Modeling for Verifying SCA Dynamic Composition with Event-B.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

FVSBS 2015 Track Report: Formal Verification of Service Based Systems.
Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

Formal modeling for verifying SCA composition.
Proceedings of the 9th IEEE International Conference on Research Challenges in Information Science, 2015

Formal Behavioral Modeling for Verifying SCA Composition with Event-B.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015

A Formal Approach for Verifying QoS Variability in Web Services Composition Using EVENT-B.
Proceedings of the 2015 IEEE International Conference on Web Services, 2015

Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata.
Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

A Formal Approach for Ensuring a Correct Reconfigurable Composite Service.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

Event-B Based Approach for Verifying Cloud Resource Allocation in Business Process.
Proceedings of the 2015 IEEE International Conference on Services Computing, 2015

2014
Track Report of Formal Verification of Service Based Systems (FVSBS 2014).
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Combining Dynamic Workflow and Transactional Semantics Using a Pattern-Based Approach.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

A Formal Approach for Enforcing Transactional Requirements in Web Service Compositions.
Proceedings of the IEEE International Conference on Services Computing, SCC 2014, Anchorage, AK, USA, June 27, 2014

2013
Formal Verification of SCA Assembly Model with Event-B.
Proceedings of the Ninth International Conference on Semantics, Knowledge and Grids, 2013

Event-B Based Approach for Verifying Dynamic Composite Service Transactional Behavior.
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

2012
Transformation exogène de Wright vers Ada.
Technique et Science Informatiques, 2012

Towards an approach of formal verification of mediation protocol based on web services of MDE type.
IJWIS, 2012

Event-B Formalisation of Web Services for Dynamic Composition.
Proceedings of the Eighth International Conference on Semantics, Knowledge and Grids, 2012

Patrons transactionnels dynamiques pour des services composés fiables et flexibles.
Proceedings of the 6ème Conférence francophone sur les Architectures Logicielles, 2012

Event-B Formalisation for Dynamic Composition: A Logistics-Based Process as a Use Case.
Proceedings of the Business Process Management Workshops, 2012

2011
Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service.
Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

ATL Transformation for the Generation of SCA Model.
Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

Verifying Composite Service Transactional Behavior with EVENT-B.
Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

Profile UML2.0 for Specification of the SCA Architectures.
Proceedings of the Seventh International Conference on Semantics Knowledge and Grid (SKG 2011), 2011

Towards a transformation of composite web service with QoS extension into ACME\Armani.
Proceedings of the iiWAS'2011, 2011

MDE approach for the generation and verification of SCA model.
Proceedings of the iiWAS'2011, 2011

Verifying Composite Service Transactional Behavior with EVENT-B.
Proceedings of the Software Architecture - 5th European Conference, 2011

UML/OCL and Refinement.
Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

Vérification des propriétés structurelles et non fonctionnelles d'assemblages de composants UML2.0.
Proceedings of the Avancées récentes dans le domaine des Architectures Logicielles : articles sélectionnés et étendus de CAL'2011, 2011

2010
Towards an approach of formal verification of mediation protocol based on web services.
Proceedings of the iiWAS'2010, 2010

2008
Vérification formelle d'architectures logicielles à base d'UML.
L'OBJET, 2008

2007
Contribution à une démarche de vérification formelle d'architectures logicielles. (Contribution to a process for formal verification of software architectures).
PhD thesis, 2007

2006
Architecture des systèmes avec la norme UML2.0 et l'ADL Wright.
Proceedings of the Actes du XXIVème Congrès INFORSID, Hammamet, Tunisie, 31 mai, 2006

Adaptation d'UML2.0 à l'ADL Wright.
Proceedings of the 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 2006


  Loading...