Dileepa Fernando

According to our database, Dileepa Fernando authored at least 5 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Early Childhood Action Monitoring and Analytics System (ECAMS).

Isuru Supasan Naotunna Andarage, Dileepa Fernando, Buddhi Avishka Lokuarachchi, Malithi Gimhani Athuluwage, Pavithra Wijewickrama

Proceedings of the 28th IEEE Pacific Rim International Symposium on Dependable Computing, 2023

2021

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

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2018

Verification of Strong Nash-equilibrium for Probabilistic BAR Systems.

Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong

Proceedings of the Formal Methods and Software Engineering, 2018

Model Checking Nash-Equilibrium - Automatic Verification of Robustness in Distributed Systems.

Dileepa Fernando

Proceedings of the Formal Methods and Software Engineering, 2018

2016

Verification of Nash-Equilibrium for Probabilistic BAR Systems.

Dileepa Fernando, Naipeng Dong, Cyrille Jégourel, Jin Song Dong

Proceedings of the 21st International Conference on Engineering of Complex Computer Systems, 2016