The vision of autonomic computing, Computer, vol.36, pp.41-50, 2003. ,
DOI : 10.1109/mc.2003.1160055
URL : http://www.dreamsongs.com/NewFiles/Onward!Proceedings.pdf
Autonomic management of missions and reconfigurations in fpga-based embedded system, 2017 NASA/ESA Conference on Adaptive Hardware and Systems, pp.48-55, 2017. ,
DOI : 10.1109/ahs.2017.8046358
URL : https://hal.archives-ouvertes.fr/hal-01582518
,
Model-based design of correct controllers for dynamically reconfigurable architectures, ACM Transactions on Embedded Computing Systems (TECS), vol.15, issue.3, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01272077
Introduction to Discrete Event Systems, 2006. ,
Integrating discrete controller synthesis into a reactive programming language compiler, Discrete Event Dynamic Systems, vol.23, issue.4, pp.385-418, 2013. ,
DOI : 10.1007/s10626-013-0163-5
URL : https://hal.archives-ouvertes.fr/hal-00863286
A Domain-specific Language for Autonomic Managers in Hardware Reconfigurable Architectures, Proc. Int. Conf. Autonomic Computing, 2018. ,
Design Framework for Reliable Multiple Autonomic Loops in Smart Environments, 2017 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), 2017. ,
DOI : 10.1109/iccac.2017.20
URL : https://hal.archives-ouvertes.fr/cea-01570026
Logico-numerical control for software components, 1st IEEE Conference on Control Technology and Applications, CCTA, 2017. ,
DOI : 10.1109/ccta.2017.8062685
URL : https://hal.archives-ouvertes.fr/hal-01644754
, What Can Control Theory Teach Us About Assurances in Self-Adaptive Software Systems?" in Software Engineering for Self-Adaptive Systems III. Assurances., ser, vol.9640, 2018.
DOI : 10.1007/978-3-319-74183-3_4
Feedback Control as MAPE-K loop in Autonomic Computing, Software Engineering for SelfAdaptive Systems III. Assurances., ser, vol.9640, 2018. ,
DOI : 10.1007/978-3-319-74183-3_12
URL : https://hal.archives-ouvertes.fr/hal-01285014