| Data-Efficient Bayesian Verification of Parametric Markov Chains E Polgreen, VB Wijesuriya, S Haesaert, A Abate Quantitative Evaluation of Systems: 13th International Conference, QEST 2016 …, 2016 | 28 | 2016 |
| Automated experiment design for data-efficient verification of parametric Markov decision processes E Polgreen, VB Wijesuriya, S Haesaert, A Abate Quantitative Evaluation of Systems: 14th International Conference, QEST 2017 …, 2017 | 23 | 2017 |
| A swarm of crop spraying drones solution for optimising safe pesticide usage in arable lands A Amarasinghe, VB Wijesuriya, D Ganepola, L Jayaratne Proceedings of the 17th Conference on Embedded Networked Sensor Systems, 410-411, 2019 | 11 | 2019 |
| Bayes-adaptive planning for data-efficient verification of uncertain Markov decision processes VB Wijesuriya, A Abate Quantitative Evaluation of Systems: 16th International Conference, QEST 2019 …, 2019 | 8 | 2019 |
| A path planning algorithm for an autonomous drone against the overuse of pesticides A Amarasinghe, VB Wijesuriya, L Jayaratne 2021 10th International Conference on Information and Automation for …, 2021 | 6 | 2021 |
| Drones vs dengue: a drone-based mosquito control system for preventing dengue A Amarasinghe, VB Wijesuriya 2020 RIVF International Conference on Computing and Communication …, 2020 | 6 | 2020 |
| Bayesian verification of chemical reaction networks GW Molyneux, VB Wijesuriya, A Abate International Symposium on Formal Methods, 461-479, 2019 | 6 | 2019 |
| Stimme: a chat application for communicating with hearing impaired persons A Amarasinghe, VB Wijesuriya 2019 14th Conference on Industrial and Information Systems (ICIIS), 458-463, 2019 | 5 | 2019 |
| Automated Content Based Audio Monitoring Approach for Radio Broadcasting N Senevirathna, L Jayaratne CGAT, 0 | 5 | |
| A Path Planning Drone Solution to Safe Pesticide Usage in Arable Lands A Amarasinghe, L Jayaratne, VB Wijesuriya 2022 2nd International Conference on Advanced Research in Computing (ICARC …, 2022 | 2 | 2022 |
| Highly efficient and robust audio identification and analytics system to secure royalty payments for song artists T Madurapperuma, G Abayawickrama, N Dissanayake, VB Wijesuriya, ... 2017 Seventeenth International Conference on Advances in ICT for Emerging …, 2017 | 2 | 2017 |
| Adigar: a drone simulator for agriculture. A Amarasinghe, L Jayaratne, VB Wijesuriya Current Science (00113891) 122 (8), 2022 | | 2022 |
| Drone Technology for Rice Agriculture at the Fertilizer Spraying Process A Amarasinghe, L Jayaratne, VB Wijesuriya Faculty of Computing and Technology (FCT), University of Kelaniya, Sri Lanka, 2021 | | 2021 |
| An Integrated Approach to Model Learning and Model Verification VB Wijesuriya University of Oxford, 2015 | | 2015 |
| Message Passing Multiprocessing System Simulation Using Simics S Guija California State University, Sacramento, 2013 | | 2013 |
| Augmenting the Real Composer on Automated Music Composition V Wijesuriya, L Jayaratne University of Colombo School of Computing, 2011 | | 2011 |
| A Literature Survey on Filtering Music V Wijesuriya, L Jayaratne University of Colombo School of Computing, 2010 | | 2010 |
