Author:
Buisson Jérémy,Calvacante Everton,Dagnat Fabien,Leroux Elena,Martinez Sébastien
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Trimming Data Sets: a Verified Algorithm for Robust Mean Estimation;23rd International Symposium on Principles and Practice of Declarative Programming;2021-09-06
2. Verification of Concurrent Design Patterns with Data;Lecture Notes in Computer Science;2019
3. A robust reconfiguration protocol for the dynamic update of component-based software systems;Software: Practice and Experience;2017-04-26
4. Assisting the evolutionary development of SoS with reconfiguration patterns;Proccedings of the 10th European Conference on Software Architecture Workshops;2016-11-28
5. A Reconfigurable Component Model for HPC;Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering;2015-05-04