The paper "Four Exercises in Programming Dynamic Recongurable Systems: Methodology and Solution in DR-BIP" has been accepted for publication in the proceedings of the 8th International Symposium On Leveraging Applications of Formal Methods,…

The paper "Programming Dynamic Reconfigurable Systems" has been published in the Proceedings of the 15th International Conference on Formal Aspects of Component Software (FACS 2018) and presented at the conference, which hold in Pohang, South Korea,…