Imed Abbassi

According to our database1, Imed Abbassi
  • authored at least 11 papers between 2012 and 2018.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

2015
Genetic-Based Approach for ATS and SLA-aware Web Services Composition.
Proceedings of the Web Information Systems Engineering - WISE 2015, 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

A Formal Approach for Ensuring a Correct Reconfigurable Composite Service.
Proceedings of the 2015 IEEE International Conference on Services Computing, 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

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
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
Patrons transactionnels dynamiques pour des services composés fiables et flexibles.
Proceedings of the 6ème Conférence francophone sur les Architectures Logicielles, 2012


  Loading...