| Toward a better interoperability of enterprise information systems: a CPNs and timed CPNs-based web service interoperability verification in a choreography MS Benabdelhafid, M Boufaida Procedia Technology 16, 269-278, 2014 | 15 | 2014 |
| Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration S Zatout, MS Benabdelhafid, M Boufaida 2018 IEEE International Conference on Software Quality, Reliability and …, 2018 | 6 | 2018 |
| Analyzing behavioral compatibility for web service choreography using colored petri nets and ask-ctl M Benabdelhafid, B Bérard, M Boufaïda 6th International Conference on Advanced Service Computing, 32-39, 2014 | 6 | 2014 |
| A coalition formation based model for web service composition SB Maya 2012 Second International Workshop on Advanced Information Systems for …, 2012 | 4 | 2012 |
| The Need for Formal Compatibility Analysis in Web Service Choreography via an E-Commerce Application MS Benabdelhafid, M Boufaida International Journal of E-Business Research (IJEBR) 11 (4), 1-16, 2015 | 3 | 2015 |
| Analysing timed compatibility of web service choreography MS Benabdelhafid, B Bérard, M Boufaida International Journal of Critical Computer-Based Systems 7 (3), 253-278, 2017 | 2 | 2017 |
| A Web services and agents-based approach for a better interoperability of enterprises SM Benabdelhafid, B Mahmoud 2011 10th International Symposium on Programming and Systems, 87-93, 2011 | 1 | 2011 |
Béatrice Bérardprofesseur émérite d'informatique, Sorbonne UniversitéEmail verificata su lip6.fr
Béatrice Bérardprofesseur émérite d'informatique, Sorbonne UniversitéEmail verificata su lip6.fr