Research & Publications
Vidanapathirana A.C., Dewaurendra S.D. and Abeyaratne S.G. (2013). Model in the loop testing of Complex Reactive systems. Seventh International Conference on Industrial & Information Systems ICIIS, Kandy. IEEE, IEEE Xplore
Vidanapathirana A.C., Dewaurendra S.D. and Abeyaratne S.G. (2011) “Statechart Based Modelling and Controller Implementation of Complex Reactive Systems”, Sixth International Conference on Industrial & Information Systems, 16th to 19th August, Kandy, Sri Lanka, IEEE, IEEE Xplore
Dewasurendra S. D., Abeyaratne S. G. and Vidanapathirana A. (2011b). Develpoment of an elevator prototype for multi-disciplinary research in complex reactive systems Peradeniya University Reserch Sessions (PURSE)
Dewasurendra S. D., Abeyaratne S. G. and Vidanapathirana A., (2011a). Development of an elevator prototype for multi-disciplinary research in complex reactive systemsÂ. Annual Transactions, Volume I – Part B, The Institution of Engineers, Sri Lanka
S.D. Dewasurendra, A. Vidanapathirana, and S.G. Abeyaratne “Development of an elevator prototype for multi-disciplinary research in complex reactive systems” iesl/paper/2010
Vidanapathirana A.C., Abeyratne S.G., and Bandara V.W. “Contouring with DC Motors a practical approach” Industrial & Information Systems (ICIIS), University of Peradeniya 2004
Journals
Vidanapathirana A., Dewasurendra S. D., and Abeyaratne S. G. “Integrating Runtime Validation and Hardware in the Loop (HiL) Testing With V&V in Complex Hybrid Systems” Volume 47 No. 4, Print ISSN: 1391-4588, E- ISSN 2362-0161) in Journal of the National Science Foundation (NSF) of Sri Lanka 2018
S.D. Dewasurendra, A. Vidanapathirana, and S.G. Abeyaratne “Compositional Formal Verification of Statecharts based Controller Specifications for Complex Reactive Systems
” 2018 IEEE Transactions on Software Engineering TSE-2018-02-0047