| Comparing model checking and static program analysis: A case study in error detection approaches K Vorobyov, P Krishnan Proc. SSV, 1-7, 2010 | 50 | 2010 |
| Model-based security vulnerability testing PAP Salas, P Krishnan, KJ Ross Software Engineering Conference, 2007. ASWEC 2007. 18th Australian, 284-296, 2007 | 49 | 2007 |
| Consistency checks for UML P Krishnan Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 …, 2000 | 49 | 2000 |
| 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 | 48 | 2017 |
| 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 | 41 | 1989 |
| Verifying BPEL workflows under authorisation constraints Z Xiangpeng, A Cerone, P Krishnan Business Process Management, 439-444, 2006 | 35 | 2006 |
| 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 | 32 | 2015 |
| Distributed CCS P Krishnan CONCUR'91, 393-407, 1991 | 30 | 1991 |
| 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 | 29 | 2017 |
| Owner-controlled access control to released data S Bracher, P Krishnan US Patent 9,361,467, 2016 | 26 | 2016 |
| Distributed timed automata P Krishnan Electronic Notes in Theoretical Computer Science 28, 5-21, 2000 | 25 | 2000 |
| A framework for analysing driver interactions with semi-autonomous vehicles S Shaikh, P Krishnan arXiv preprint arXiv:1301.0043, 2013 | 23 | 2013 |
| Staged points-to analysis for large code bases N Allen, B Scholz, P Krishnan Compiler Construction: 24th International Conference, CC 2015, Held as Part …, 2015 | 22 | 2015 |
| 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 |
| Distributed Ada: case study RA Volz, P Krishnan, R Theriault Information and Software Technology 33 (4), 292-300, 1991 | 18 | 1991 |
| Combining static analysis and constraint solving for automatic test case generation K Vorobyov, P Krishnan 2012 IEEE Fifth International Conference on Software Testing, Verification …, 2012 | 17 | 2012 |
| 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 |
| Uniform descriptions for model based testing P Krishnan 2004 Australian Software Engineering Conference. Proceedings., 96-105, 2004 | 14 | 2004 |
| Industry academia collaboration: An experience report at a small university P Krishnan, K Ross, P Pari-Salas Software Engineering Education and Training, 2009. CSEET'09. 22nd Conference …, 2009 | 13 | 2009 |
| A datalog source-to-source translator for static program analysis: An experience report B Scholz, K Vorobyov, P Krishnan, T Westmann 2015 24th Australasian Software Engineering Conference, 28-37, 2015 | 12 | 2015 |
Bernhard ScholzThe University of SydneyVerified email at sydney.edu.au
