Dr. Krishnan's main research interests are in Software Engineering including developing mathematically based models to describe software behaviour. Dr. Krishnan is the Director of the Centre for Software Assurance. A major focus of the centre is the general area of software assurance using model based testing. They are interested in a variety of application domains including security in web systems, asynchronous systems, e-Health and operating systems.
Articles
Wildlife Enforcement Monitoring System (WEMS): A solution to support compliance of Multilateral Environmental Agreements (with Remi Chandran and Khoi Ngyuen), Government information quarterly (2011)
Given the rising number of international environmental agreements, it is increasingly difficult for many developing...
Automated software testing of asynchronous systems (with Percy Pari Salas), Electronic notes in theoretical computer science (2009)
Test automation faces challenges when applied to the testing of asynchronous systems. Automated testing tools...
Model-based testing and the UML testing profile (with Percy Pari-Salas), Lecture notes in computer science (2009)
The UML Testing Profile (U2TP) provides a means of using UML for test case specification....
Testing privacy policies using models (with Percy A. Pari-Salas), Information Technology papers (2008)
Privacy policies are usually expressed at a high level using languages such as P3P, EPAL,...
Implementing secure document circulation: A prototype (with Shane Bracher), Information Technology papers (2008)
Interoperable e-business applications are essential for increasing efficiency in the digital economy. We present an...
Book Chapters
A taxonomy of e-health standards to assist system developers (with Emma Chavez and Gavin Finnie), Information systems development: Towards a service provision society (2009)
Building e-health systems requires a good understanding of the range and characteristics of many relevant...
ORE: A framework to measure organizational risk during information systems evolution (with Aditya Agrawal and Gavin Finnie), Information systems development: Challenges in practice, theory and education (2009)
Information systems (IS) change initiatives often represent the single largest investment (and therefore risk) for...
Conference Papers
Applying security assurance techniques to a mobile phone application: An initial approach (with Sergej Hafner and Andreas Zeiser), 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) (2011)
As users download applications to their mobile phones, security is a critical issue. In this...
Applying use cases to describe the role of standards in e-health information systems (with Emma Chavez-Mora and Gavin Finnie), 18th International conference on Information Systems Development (ISD2009) (2009)
Industry academia collaboration: An experience report at a small university (with Ross Kelvin and Percy Pari-Salas), 2009 IEEE 22nd conference on software engineering education and training (2009)
This paper is a report on how sustainable and fruitful cooperation was achieved between a...
Decomposing controllers into non-conflicting distributed controllers, Theoretical Aspects of Computing - ICTAC 2004 (2004)
In this article we present an application of decompositions of automata to obtain distributed controllers....