Sirine Rebai

According to our database, Sirine Rebai authored at least 4 papers between 2010 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

CDLVT: A Formal Verification Tool of Non-functional Properties for WS-CDL Specification.

Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem

Proceedings of the 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2015

A service-oriented architecture (SOA) framework for choreography verification.

Sirine Rebai, Hatem Hadj Kacem, Mohamed Karaa, Saúl E. Pomares Hernández, Ahmed Hadj Kacem

Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015

2012

Position Paper: An Integration Approach of Service Composition Models: From Choreography to Orchestration.

Sirine Rebai, Hatem Hadj Kacem, Ahmed Hadj Kacem

Proceedings of the 21st IEEE International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2012

2010

An MDE Approach for User Interface Adaptation to the Context of Use.

Wided Bouchelligua, Adel Mahfoudhi, Lassaad Ben Ammar, Sirine Rebai, Mourad Abed

Proceedings of the Human-Centred Software Engineering - Third International Conference, 2010