| Consistency checks for UML P Krishnan Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 …, 2000 | 50 | 2000 |
| Comparing model checking and static program analysis: A case study in error detection approaches K Vorobyov, P Krishnan Proceedings of SSV, 2010 | 43 | 2010 |
| Translation and execution of distributed Ada programs: Is it still Ada? RA Volz, TN Mudge, GD Buzzard, P Krishnan Software Engineering, IEEE Transactions on 15 (3), 281-292, 1989 | 43 | 1989 |
| Model-based security vulnerability testing PAP Salas, P Krishnan, KJ Ross Software Engineering Conference, 2007. ASWEC 2007. 18th Australian, 284-296, 2007 | 42 | 2007 |
| Adaptive disk spindown via optimal rent-to-buy in probabilistic environments P Krishnan, PM Long, JS Vitter Algorithmica 23 (1), 31-56, 1999 | 39 | 1999 |
| Verifying BPEL workflows under authorisation constraints Z Xiangpeng, A Cerone, P Krishnan Business Process Management, 439-444, 2006 | 34 | 2006 |
| Distributed CCS P Krishnan CONCUR'91, 393-407, 1991 | 29 | 1991 |
| Distributed timed automata P Krishnan Electronic Notes in Theoretical Computer Science 28, 5-21, 2000 | 23 | 2000 |
| A framework for checking behavioral compatibility for component selection L Wang, P Krishnan Australian Software Engineering Conference (ASWEC'06), 10 pp.-60, 2006 | 19 | 2006 |
| Owner-controlled access control to released data S Bracher, P Krishnan US Patent 9,361,467, 2016 | 17 | 2016 |
| A framework for analysing driver interactions with semi-autonomous vehicles S Shaikh, P Krishnan arXiv preprint arXiv:1301.0043, 2013 | 17 | 2013 |
| Combining type-analysis with points-to analysis for analyzing Java library source-code N Allen, P Krishnan, B Scholz Proceedings of the 4th ACM SIGPLAN International Workshop on State Of the …, 2015 | 16 | 2015 |
| Distributed Ada: case study RA Volz, P Krishnan, R Theriault Information and Software Technology 33 (4), 292-300, 1991 | 16 | 1991 |
| Machine learning for finding bugs: An initial report T Chappelly, C Cifuentes, P Krishnan, S Gevay 2017 IEEE Workshop on Machine Learning Techniques for Software Quality …, 2017 | 15 | 2017 |
| A general framework to measure organizational risk during information systems evolution and its customization A Agrawal, G Finnie, P Krishnan Journal of research and practice in information technology 42 (1), 37, 2010 | 14 | 2010 |
| Testing privacy policies using models PP Salas, P Krishnan 2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008 | 13 | 2008 |
| Uniform descriptions for model based testing P Krishnan 2004 Australian Software Engineering Conference. Proceedings., 96-105, 2004 | 13 | 2004 |
| An efficient tunable selective points-to analysis for large codebases B Hassanshahi, RK Ramesh, P Krishnan, B Scholz, Y Lu Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the …, 2017 | 12 | 2017 |
| Staged points-to analysis for large code bases N Allen, B Scholz, P Krishnan International Conference on Compiler Construction, 131-150, 2015 | 12 | 2015 |
| Modelling and resource allocation planning of BPEL workflows under security constraints ACX Zhao, P Krishnan Technical Report 336, UNU-IIST, PO Box 3058, Macau, 2006 | 12* | 2006 |
Bernhard ScholzThe University of SydneyVerified email at sydney.edu.au
