Department of Industrial Management
Faculty of Science
University of Kelaniya
Sri Lanka
Formal Methods
Representing and reasoning about spatio-temporal information
Temporal Logic
Programs and specifications verification using temporal logic
Software Safety
P.G. Wijayarathna, C. Ito, K. Sakamoto, S. Hamba and T. Kushiya
The Analysis of Bus Chaining Phenomenon in Traffic Congestion
Software: Practice and Experience (PDF full text available here)
John Wiley & Sons
Vol. 27(9), Page 1067 - 1081, 1997
P. G. Wijayarathna, A. Santosa, K. Isogai, Y. Kawata and M. Maekawa
Representing Relative Temporal Knowledge with TAND Connective
Eighth Ireland Conference on Artificial Intelligence (AI-97)
Magee College, University of Ulster, Derry/Londonderry, Northern Ireland
Conference Proceedings, Vol. 2, Page 80 - 87, September 1997
(Click here for PDF full text)
P. G. Wijayarathna, A. Santosa, K. Isogai, Y. Kawata and M. Maekawa
GSL: A Software Requirements Specification Language for End User Intelligibility
Software: Practice and Experience (PDF full text available here)
John Wiley & Sons
Vol. 28(13), Page 1387 - 1414, 1998
Pathirage Gamini Wijayarathna and Mamoru Maekawa
Extending Fault Trees with an AND-THEN gate
Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE'2000),
Page 283- 292, IEEE Computer Society Press, 2000
(San Jose, CA - October 8-11, 2000 )
Wijayasiriwardhane H.K.T.K, Wijayarathna P.G., and Karunarathna D.D
A Method to Generate Test Cases for Performing Basis Path Testing
Proceedings of the 6th International Information Technology Conference (IITC 2004)
Page 112- 120
(Colombo, Sri Lanka - November 29th - December 1st, 2004)
Prasad Senadheera and Gamini Wijayarathna
CHEP: A computer program to find specific protein motifs implemented for CTL epitopes
Proceedings of the 61st annual session (Part I - Abstracts), Sri Lanka Association for the Advancement of Science
Page 52
(Colombo, Sri Lanka - 12-17 December, 2005)
Other Related Publications
Atsushi Kobayashi and Mamoru Maekawa
Need-Based Requirements Change Management
Proceedings of the 8th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ECBS 2001)�C
IEEE Computer Society Press,
(Washington, D.C.,April 17-20, 2001)
Faculty of Science
University of Kelaniya
Dalugama
Kelaniya
Sri Lanka
Fax : +94 - 11 - 2914482
Email : [email protected]