Verification of Nash-Equilibrium for Probabilistic BAR Systems. - Dileepa Fernando; Naipeng Dong; Cyrille Jégourel; Jin Song Dong (ICECCS, 2016)

Model Checking Nash-Equilibrium - Automatic Verification of Robustness in Distributed Systems. - Dileepa Fernando (ICFEM, 2018)

Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. - Dileepa Fernando; Naipeng Dong; Cyrille Jégourel; Jin Song Dong (ICFEM, 2018)

Identifying privacy weaknesses from multi-party trigger-action integration platforms. - Kulani Mahadewa; Yanjun Zhang; Guangdong Bai; Lei Bu; Zhiqiang Zuo 002; Dileepa Fernando; Zhenkai Liang; Jin Song Dong (ISSTA, 2021)

Early Childhood Action Monitoring and Analytics System (ECAMS). - Isuru Supasan Naotunna Andarage; Dileepa Fernando; Buddhi Avishka Lokuarachchi; Malithi Gimhani Athuluwage; Pavithra Wijewickrama (PRDC, 2023)