Следене
Padmanabhan krishnan
Padmanabhan krishnan
Oracle Labs, Brisbane
Потвърден имейл адрес: ieee.org - Начална страница
Заглавие
Позовавания
Позовавания
Година
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
562017
Model-based security vulnerability testing
PAP Salas, P Krishnan, KJ Ross
Software Engineering Conference, 2007. ASWEC 2007. 18th Australian, 284-296, 2007
512007
Consistency checks for UML
P Krishnan
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 …, 2000
502000
Comparing model checking and static program analysis: A case study in error detection approaches
K Vorobyov, P Krishnan
Proc. SSV, 1-7, 2010
492010
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
381989
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
362017
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
362015
Verifying BPEL workflows under authorisation constraints
Z Xiangpeng, A Cerone, P Krishnan
Business Process Management, 439-444, 2006
362006
Owner-controlled access control to released data
S Bracher, P Krishnan
US Patent 9,361,467, 2016
302016
Distributed CCS
P Krishnan
CONCUR'91, 393-407, 1991
301991
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
282015
A framework for analysing driver interactions with semi-autonomous vehicles
S Shaikh, P Krishnan
arXiv preprint arXiv:1301.0043, 2013
262013
Distributed timed automata
P Krishnan
Electronic Notes in Theoretical Computer Science 28, 5-21, 2000
252000
Distributed Ada: case study
RA Volz, P Krishnan, R Theriault
Information and Software Technology 33 (4), 292-300, 1991
211991
A framework for checking behavioral compatibility for component selection
L Wang, P Krishnan
Australian Software Engineering Conference (ASWEC'06), 10 pp.-60, 2006
192006
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
182012
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
172015
Coding practices and recommendations of spring security for enterprise applications
M Islam, S Rahaman, N Meng, B Hassanshahi, P Krishnan, DD Yao
2020 IEEE Secure Development (SecDev), 49-57, 2020
152020
Effectiveness of random testing of embedded systems
P Krishnan, R Venkatesh, P Bokil, T Muske, V Suman
2012 45th Hawaii International Conference on System Sciences, 5556-5563, 2012
142012
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
142010
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20