1. Modeling Heterogeneous Real-time Components in BIP
2. A Novel Prosumer-Based Energy Sharing and Management (PESM) Approach for Cooperative Demand Side Management (DSM) in Smart Grid
3. Rigorous Component-Based System Design Using the BIP Framework
4. Bensalem , S. , Griesmayer , A. , Legay , A. , Nguyen , T. H. and Peled , D . (2011,). Efficient deadlock detection for concurrent systems . In Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) (pp. 119 - 129 ). IEEE. Bensalem, S., Griesmayer, A., Legay, A., Nguyen, T. H. and Peled, D. (2011,). Efficient deadlock detection for concurrent systems. In Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011) (pp. 119-129). IEEE.
5. Kulczynski , M. , Legay , A. , Nowotka , D. and Poulsen , D. B . ( 2021 ). Analysis of source code using UPPAAL. arXiv preprint arXiv:2108.02963 . Kulczynski, M., Legay, A., Nowotka, D. and Poulsen, D. B. (2021). Analysis of source code using UPPAAL. arXiv preprint arXiv:2108.02963.