Dileepa Fernando
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2016–2023
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | PRDC | Early Childhood Action Monitoring and Analytics System (ECAMS). | Isuru Supasan Naotunna Andarage, Dileepa Fernando, Buddhi Avishka Lokuarachchi, Malithi Gimhani Athuluwage, Pavithra Wijewickrama |
| 2021 | ISSTA | Identifying privacy weaknesses from multi-party trigger-action integration platforms. | Kulani Mahadewa, Yanjun Zhang, Guangdong Bai, Lei Bu, Zhiqiang Zuo, Dileepa Fernando, Zhenkai Liang, Jin Song Dong |
| 2018 | ICFEM | Model Checking Nash-Equilibrium - Automatic Verification of Robustness in Distributed Systems. | Dileepa Fernando |
| 2018 | ICFEM | Verification of Strong Nash-equilibrium for Probabilistic BAR Systems. | Dileepa Fernando, Naipeng Dong, Cyrille Jgourel, Jin Song Dong |
| 2016 | ICECCS | Verification of Nash-Equilibrium for Probabilistic BAR Systems. | Dileepa Fernando, Naipeng Dong, Cyrille Jgourel, Jin Song Dong |