Data-Efficient Bayesian Verification of Parametric Markov Chains. - Elizabeth Polgreen; Viraj B. Wijesuriya; Sofie Haesaert; Alessandro Abate (QEST, 2016)

Automated Experiment Design for Data-Efficient Verification of Parametric Markov Decision Processes. - Elizabeth Polgreen; Viraj B. Wijesuriya; Sofie Haesaert; Alessandro Abate (QEST, 2017)

Bayesian Verification of Chemical Reaction Networks. - Gareth W. Molyneux; Viraj B. Wijesuriya; Alessandro Abate (FM Workshops (2), 2019)

Stimme: A Chat Application for Communicating with Hearing Impaired Persons. - Akarshani Amarasinghe; Viraj B. Wijesuriya (ICIIS, 2019)

Bayes-Adaptive Planning for Data-Efficient Verification of Uncertain Markov Decision Processes. - Viraj Brian Wijesuriya; Alessandro Abate (QEST, 2019)

A swarm of crop spraying drones solution for optimising safe pesticide usage in arable lands: poster abstract. - Akarshani Amarasinghe; Viraj B. Wijesuriya; Dilshan Ganepola; Lakshman Jayaratne (SenSys, 2019)

Drones vs Dengue: A Drone-Based Mosquito Control System for Preventing Dengue. - Akarshani Amarasinghe; Viraj B. Wijesuriya (RIVF, 2020)