Deciding choreography realizability, Proc. of POPL 2012, pp.191-202, 2012. ,
DOI : 10.1145/2103656.2103680
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.307.6722
The discrete time ToolBus ??? A software coordination architecture, Science of Computer Programming, vol.31, issue.2-3, pp.205-229, 1998. ,
DOI : 10.1016/S0167-6423(97)00021-X
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions, 2009 22nd IEEE Computer Security Foundations Symposium, pp.124-140, 2009. ,
DOI : 10.1109/CSF.2009.26
Monitoring Networks through Multiparty Session Types, pp.50-65, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-01213683
A Rule-Based Calculus and Processing of Complex Events, pp.151-166, 2012. ,
DOI : 10.1007/978-3-642-32689-9_12
Towards a Unifying Theory for Choreography Conformance and Contract Compliance, Proc. of SC'07, pp.34-50, 2007. ,
DOI : 10.1007/978-3-540-77351-1_4
Dynamic Adaptation of Fragment-Based and Context-Aware Business Processes, 2012 IEEE 19th International Conference on Web Services, pp.33-41, 2012. ,
DOI : 10.1109/ICWS.2012.56
Information flow safety in multiparty sessions, Proc. 18th EXPRESS, pp.16-30, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-01237236
Session Types for Access and Information Flow Control, pp.237-252, 2010. ,
DOI : 10.1007/978-3-642-15375-4_17
URL : https://hal.archives-ouvertes.fr/inria-00511304
Structured Communication-Centered Programming for Web Services, ACM Transactions on Programming Languages and Systems, vol.34, issue.2, 2012. ,
DOI : 10.1145/2220365.2220367
Deadlock-Freedom-by-Design: Multiparty Asynchronous Global Programming, Proc. of POPL 2013, pp.263-274, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00909320
On Global Types and Multi-party Sessions, Logical Methods in Computer Science, vol.13, issue.4, 2012. ,
DOI : 10.1007/978-3-642-12032-9_10
URL : https://hal.archives-ouvertes.fr/hal-00694636
Constructing Adaptive Software in Distributed Systems, Proc. of ICDCS'01, pp.635-643, 2001. ,
Modelling metamorphism by abstract interpretation, Proc. of SAS10, pp.218-235, 2010. ,
Safe run-time adaptation of distributed systems, 2013. ,
Workflow patterns for coordinating heterogeneous networks, 2013. ,
An evaluation of the adaptation capabilities in programming languages, Proceeding of the 6th international symposium on Software engineering for adaptive and self-managing systems, SEAMS '11, pp.50-59, 2011. ,
DOI : 10.1145/1988008.1988016
Abstract non-interference: parameterizing non-interference by abstract interpretation, Proc. ACM SIGPLAN-SIGACT, POPL 2004, pp.186-197, 2004. ,
Adjoining classified and unclassified information by abstract interpretation, Journal of Computer Security, vol.18, issue.5, pp.751-797, 2010. ,
DOI : 10.3233/JCS-2009-0382
Exploring Role Based Adaptation, pp.21-26, 2008. ,
Context traits, Proceedings of the 12th annual international conference on Aspect-oriented software development, AOSD '13, pp.209-220, 2013. ,
DOI : 10.1145/2451436.2451461
RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation, 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, pp.168-177, 2009. ,
DOI : 10.1109/SCAM.2009.28
Security Types for Sessions and Pipelines, Proc. of WS-FM 2008, pp.175-190, 2008. ,
DOI : 10.3233/JCS-1996-42-304
A logic-based calculus of events, New Generation Computing, vol.10, issue.No. 2, pp.67-95, 1986. ,
DOI : 10.1007/BF03037383
A Framework for Rule-Based Dynamic Adaptation, Proc. of TGC 2010, pp.284-300, 2010. ,
DOI : 10.1007/978-3-642-15640-3_19
A systematic literature review of service choreography adaptation, Service Oriented Computing and Applications, pp.1-18, 2012. ,
DOI : 10.1007/s11761-012-0125-z
Composing Services with JOLIE, Fifth European Conference on Web Services (ECOWS'07), pp.13-22, 2007. ,
DOI : 10.1109/ECOWS.2007.19
Secure Enforcement for Global Process Specifications, Proc. of CONCUR 2009, pp.511-526, 2009. ,
DOI : 10.1007/BFb0053567
Scribble website, 2013. ,
An aspect-oriented approach to dynamic adaptation, Proceedings of the first workshop on Self-healing systems , WOSS '02, pp.85-92, 2002. ,
DOI : 10.1145/582128.582144
Modular verification of dynamically adaptive systems, Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pp.161-172, 2009. ,
DOI : 10.1145/1509239.1509262