9 citations · 9 across the 3 of their papers we have counts for
3 papers
cs.SE2010★ 9 cited
Analysis and Verification of Service Interaction Protocols - A Brief Survey
Gwen Salaün
Modeling and analysis of interactions among services is a crucial issue in Service-Oriented Computing. Composing Web services is a complicated task which requires techniques and to…
cs.SE2010
Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software
Gwen Salaün, Xiang Fu, Sylvain Hallé
This volume contains the papers presented at the fourth international workshop on Testing, Analysis and Verification of Software, which was associated with the 25th IEEE/ACM Intern…
cs.SE2010
Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures
MohammadReza Mousavi, Gwen Salaün
This volume contains the proceedings of FOCLASA 2010, the 9th International Workshop on the Foundations of Coordination Languages and Software Architectures. FOCLASA 2010 was held…