Kickstarting choreographic programming, WS-FM, p.310, 2015. ,
Dynamic choreographies: Theory and implementation, Logical Methods in Computer Science, vol.13, issue.2, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01631394
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics, ASPLOS, p.329339, 2008. ,
, Continuous Delivery: Reliable Software Releases through Build, Test, and Deployment Automation, 2010.
Selfreconguring microservices, in Theory and Practice of Formal Methods -Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday, 2016. ,
Optimal and automated deployment for microservices, FASE, p.351368, 2019. ,
,
, Handbook of Process Algebra, 2001.
Service-oriented programming with Jolie, in Web Services Foundations, p.81107, 2014. ,
Microservices: Yesterday, today, and tomorrow, Present and Ulterior Software Engineering, p.195216, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01631455
Chip: A choreographic integration process, On the Move to Meaningful Internet Systems. OTM 2018 Conferences -Confederated International Conferences: CoopIS, C&TC, and ODBASE 2018, p.2240, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01912917
Programming adaptive microservice applications: An AIOCJ tutorial, Behavioural Types: from Theory to Tools, p.147167, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01631422
Dynamic Adaptation of Fragment-Based and Context-Aware Business Processes, ICWS, p.3341, 2012. ,
Constructing Adaptive Software in Distributed Systems, ICDCS, vol.6084, p.635643, 2001. ,
An evaluation of the adaptation capabilities in programming languages, SEAMS, p.5059, 2011. ,
A Framework for Rule-Based Dynamic Adaptation, TGC, vol.6084, p.284300, 2010. ,
Modular Verication of Dynamically Adaptive Systems, AOSD, p.161172, 2009. ,
A systematic literature review of service choreography adaptation, Service Oriented Computing and Applications, vol.7, issue.3, 2013. ,
Structured communication-centered programming for web services, ACM Trans. Program. Lang. Syst, vol.34, issue.2, p.8, 2012. ,
Deadlock-Freedom-by-Design: Multiparty Asynchronous Global Programming, POPL, p.263274, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00909320
On global types and multiparty session, Logical Methods in Computer Science, vol.8, issue.1, 2012. ,
, Multiparty Asynchronous Session Types, p.273284, 2008.
Deciding choreography realizability, POPL, 2012. ,
Bridging the Gap between Interaction-and Process-Oriented Choreographies, SEFM, p.323332, 2008. ,
Towards a unifying theory for choreography conformance and contract compliance, SC, vol.4829, p.3450, 2007. ,
The discrete time TOOLBUS -A software coordination architecture, Sci. Comput. Program, vol.31, issue.2-3, p.205229, 1998. ,
Self-adaptive multiparty sessions, Service Oriented Computing and Applications, vol.9, issue.3-4, p.249268, 2015. ,
Event-based run-time adaptation in communicationcentric systems, Formal Asp. Comput, vol.28, issue.4, p.531566, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01320789
Dynamic software update for message passing programs, APLAS, vol.7705, p.207222, 2012. ,
, Compositional choreographies, in CONCUR, vol.8052, p.425439, 2013.