Marius Bozga posted a discussion
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, Verifica…
Oct 30
Marius Bozga posted a discussion
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,…
Oct 16
Marius Bozga updated their profile
Oct 20, 2016
Marius Bozga is now a member of CITADEL
Oct 20, 2016