DEECO: an ensemble-based component system, Proc. of the 16th ACM SIG-SOFT Symposium on Component Based Software Engineering (CBSE'13), pp.81-90, 2013. ,
On global types and multi-party sessions, Logical Methods in Computer Science, vol.8, issue.1, pp.24-2012, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00694636
A formal approach to autonomic systems programming: the SCEL language, ACM Transactions on Autonomous and Adaptive Systems, vol.9, issue.2, pp.1-29, 2014. ,
, Dynamic Logic, 2000.
The Fork Calculus, Proc. of the Colloquium of Automata, Languages and Programming (ICALP'93), vol.700, pp.544-557, 1993. ,
A calculus for open ensembles and their composition, In: ISoLA (1). Lecture Notes in Computer Science, vol.9952, pp.570-588, 2016. ,
Foundations for Ensemble Modeling -The HELENA Approach, Specification, Algebra, and Software, vol.8373, pp.359-381, 2014. ,
Model-checking HELENA ensembles with Spin, Logic, Rewriting, and Concurrency -Essays dedicated to José Meseguer on the Occasion of His 65th Birthday, vol.9200, pp.331-360, 2015. ,
Dynamic logic for ensembles, Proc. 8th International Symposium, 2018. ,
Multiparty asynchronous session types, Proc. of the 35th annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'08), pp.273-284, 2008. ,
Engineering self-adaptive systems with the role-based architecture of HE-LENA, Proc. 24th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, WETICE'15, pp.3-8, 2015. ,
HELENA: Handling massively distributed systems with ELaborate ENsemble Architectures, 2016. ,
From HELENA ensemble specifications to executable code, Proc. Formal Aspects of Component Software (FACS'14) ,
, Lecture Notes in Computer Science, vol.8997, pp.183-190, 2014.
Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework, Proceedings of the 23rd Australasian Software Engineering Conference, pp.15-24, 2014. ,
Software Engineering for Collective Autonomic Systems -The ASCENS Approach, Lecture Notes in Computer Science, vol.8998, 2015. ,
ASCENS: engineering autonomic service-component ensembles, Formal Methods for Components and Objects, 10th International Symposium, FMCO 2011, Revised Selected Papers, pp.1-24, 2011. ,