Mourad Kmimech

According to our database1, Mourad Kmimech authored at least 33 papers between 2009 and 2018.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

A contractual approach for the verification of UML2.0 software architectures.
IJCAT, 2018

2017
Behavioral Verification of Service Component Architecture.
Proceedings of the 26th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2017

Wr2Fdr Tool Maintenance for Models Checking.
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

Towards a Formal Verification Approach for Service Component Architecture.
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

Towards a Formal Verification Approach for Cloud Software Architecture.
Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2017

UML2ADA for Early Verification of Concurrency Inside the UML2.0 Atomic Components.
Proceedings of the Intelligent Systems Design and Applications, 2017

Towards a formal approach for the verification of SCA/BPEL software architectures.
Proceedings of the 8th International Conference on Information, 2017

2016
UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures.
Proceedings of the 25th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2016

Behavioral Verification of UML2.0/PoSM Components.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2016

Behavioral Verification of UML2.0 Software Architecture.
Proceedings of the 12th International Conference on Semantics, Knowledge and Grids, 2016

2015
Towards a Practical Approach to Check Service Component Architecture.
Proceedings of the 11th International Conference on Semantics, Knowledge and Grids, 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

2014
Modeling and Verifying the Transactional and QoS-aware Services Composition Using Event-B.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

2013
Checking Non-functional Properties of UML2.0 Components Assembly.
Proceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 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

Vérification d'assemblages de composants logiciels : Application aux modèles de composants UML2.0 et Ugatze
CoRR, 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

2009
Checking Component Assembly in Acme: An Approach Applied on UML 2.0 Components Model.
Proceedings of the Fourth International Conference on Software Engineering Advances, 2009


  Loading...