Writing Better Requirements, 2002. ,
Romina Spalazzese, and Roberto Speicys-Cardoso. Dynamic Connector Synthesis: Principles, Methods, Tools and Assessment, 2012. ,
Software Change Impact Analysis, 1996. ,
A modelbased synthesis process for choreography realizability enforcement, Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering, FASE'13, pp.37-52, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00866622
Synthesis of Resilient Choreographies, Software Engineering for Resilient Systems, pp.94-108, 2013. ,
DOI : 10.1007/978-3-642-40894-6_8
URL : https://hal.archives-ouvertes.fr/hal-00866633
Quality requirements for service choreographies, WEBIST, pp.143-148, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00867747
Choreography conformance via synchronizability, Proceedings of the 20th international conference on World wide web, WWW '11, pp.795-804, 2011. ,
DOI : 10.1145/1963405.1963516
Deciding choreography realizability, Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL, pp.191-202, 2012. ,
DOI : 10.1145/2103656.2103680
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.307.6722
Automatic service composition and synthesis: the roman model, IEEE Data Eng. Bull, vol.31, issue.3, pp.18-22, 2008. ,
Workflow evolution, Data & Knowledge Engineering, vol.24, issue.3, pp.211-238, 1998. ,
DOI : 10.1016/S0169-023X(97)00033-5
An empirical study of software developers' management of dependencies and changes, Proc. of the 30th International Conference on Software Engineering, ICSE '08, pp.241-250, 2008. ,
On Graph Reduction for QoS Prediction of Very Large Web Service Compositions, 2012 IEEE Ninth International Conference on Services Computing, pp.258-265 ,
DOI : 10.1109/SCC.2012.21
URL : https://hal.archives-ouvertes.fr/hal-00714138
Simplified calculation of principal components, Psychometrika, vol.26, issue.1, pp.27-35, 1007. ,
DOI : 10.1007/BF02287921
Automatic synthesis of modular connectors via composition of protocol mediation patterns, 2013 35th International Conference on Software Engineering (ICSE), pp.3-12, 2013. ,
DOI : 10.1109/ICSE.2013.6606546
Model-Driven Requirements Engineering: Synchronising Models in an Air Traffic Management Case Study, Advanced Information Systems Engineering, pp.368-383, 2004. ,
DOI : 10.1007/978-3-540-25975-6_27
Software Evolution, 2008. ,
DOI : 10.1007/978-3-540-76440-3
URL : https://hal.archives-ouvertes.fr/inria-00160620
Networks: An Introduction, 2010. ,
DOI : 10.1093/acprof:oso/9780199206650.001.0001
An analytical approach for predicting qos of web services choreographies, Journal of Internet Services and Applications (JISA) -Special issue with best papers from Middleware 2012 workshops, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00739179
A linguistic-engineering approach to large-scale requirements management, IEEE Software, vol.22, issue.1, pp.32-39, 2005. ,
DOI : 10.1109/MS.2005.1
A Change Impact Analysis Approach for Workflow Repository Management, 2013 IEEE 20th International Conference on Web Services, pp.308-315, 2013. ,
DOI : 10.1109/ICWS.2013.49
URL : https://hal.archives-ouvertes.fr/hal-00827949
Future Internet?The Cross-ETP Vision Document European Technology Platform , Alcatel Lucent, 2009. ,
Checking the realizability of BPMN 2.0 choreographies, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1927-1934, 2012. ,
DOI : 10.1145/2245276.2232095
URL : https://hal.archives-ouvertes.fr/hal-00685393
Generation of service wrapper protocols from choreography specifications, Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.313-322, 2008. ,
Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006. ,
DOI : 10.1109/MC.2006.58
Tree visualization with tree-maps: 2-d space-filling approach, ACM Transactions on Graphics, vol.11, issue.1, pp.92-99, 1992. ,
DOI : 10.1145/102377.115768
Maintaining information systems in organizations, 1989. ,
Integrated choreos middleware and deployment of uls, qos-aware adaptive choreographies -public project deliverable d3 ,
CHOReOS dynamic development model definition -Public Project deliverable D2, 2011. ,
CHOReOS Middleware Specification -Public Project deliverable D3, 2011. ,
CHOReOS Mobile-enabled coordination of people Service & Choreographies Design -Public Project deliverable D7, 2011. ,
CHOReOS Passenger Friendly Airport Services Choreographies Design -Public Project deliverable D6, 2011. ,
CHOReOS Perspective on the Future Internet and Initial Conceptual Model -Public Project deliverable D1, 2011. ,
Initial Architectural Style for CHOReOS Choreographies -Public Project deliverable D1, 2011. ,
Requirements and scenarios for the " Passenger-friendly airport, 2011. ,
CHOReOS Middleware Implementation -Public Project deliverable D3.2, 2012. ,
Definition of the Dynamic Development Process for Adaptable QoSaware ULS Choreographies -Public Project deliverable D2, 2012. ,
V&V Tools and Infrastructure -Strategies, Architecture and Implementation -Public, 2012. ,
Adaptive Customer Relationship Booster use case assessment and demonstration, 2013. ,
Assessment of the DynaRoute pilot deployment and demonstration, 2013. ,
CHOReOS Courseware -Public Project deliverable D10, 2013. ,
Final CHOReOS Architectural Style and its Relation with the CHOReOS Development Process and IDRE -Public Project deliverable D1, 2013. ,
Testing and monitoring tools and infrastructure final evaluation report, 2013. ,
Social network analysis: Methods and applications, 1994. ,
DOI : 10.1017/CBO9780511815478