Padmanabhan krishnan
Padmanabhan krishnan
Oracle Labs, Brisbane
Verifierad e-postadress på ieee.org - Startsida
TitelCiteras avÅr
Hyper-threaded processor allocation to nodes in multi-tenant distributed software systems
R Arora, DK Jain, P Krishnan, SS Kulkarni, S Shekhar
US Patent 10,228,982, 2019
1392019
Consistency checks for UML
P Krishnan
Proceedings Seventh Asia-Pacific Software Engeering Conference. APSEC 2000 …, 2000
452000
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
411989
Model-based security vulnerability testing
PAP Salas, P Krishnan, KJ Ross
Software Engineering Conference, 2007. ASWEC 2007. 18th Australian, 284-296, 2007
392007
Comparing model checking and static program analysis: A case study in error detection approaches
K Vorobyov, P Krishnan
Proceedings of SSV, 2010
342010
Verifying BPEL workflows under authorisation constraints
Z Xiangpeng, A Cerone, P Krishnan
Business Process Management, 439-444, 2006
322006
Distributed CCS
P Krishnan
CONCUR'91, 393-407, 1991
271991
Distributed timed automata
P Krishnan
Electronic Notes in Theoretical Computer Science 28, 5-21, 2000
212000
A framework for checking behavioral compatibility for component selection
L Wang, P Krishnan
Australian Software Engineering Conference (ASWEC'06), 10 pp.-60, 2006
182006
A framework for analysing driver interactions with semi-autonomous vehicles
S Shaikh, P Krishnan
arXiv preprint arXiv:1301.0043, 2013
162013
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
142015
Distributed Ada: case study
RA Volz, P Krishnan, R Theriault
Information and Software Technology 33 (4), 292-300, 1991
141991
Owner-controlled access control to released data
S Bracher, P Krishnan
US Patent 9,361,467, 2016
132016
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
122010
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
Uniform descriptions for model based testing
P Krishnan
2004 Australian Software Engineering Conference. Proceedings., 96-105, 2004
122004
Staged points-to analysis for large code bases
N Allen, B Scholz, P Krishnan
International Conference on Compiler Construction, 131-150, 2015
112015
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
112009
Translation and execution of distributed Ada programs: Is it still Ada?
RA Volz, TN Mudge, GD Buzzard, P Krishnan
Space Station Automation II 729, 114-125, 1987
111987
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
102012
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20