Asankhaya Sharma
Asankhaya Sharma
Veracode
Dirección de correo verificada de comp.nus.edu.sg - Página principal
Título
Citado por
Citado por
Año
PRISM: platform for remote sensing using smartphones
T Das, P Mohan, VN Padmanabhan, R Ramjee, A Sharma
Proceedings of the 8th international conference on Mobile systems …, 2010
3422010
Automated identification of security issues from commit messages and bug reports
Y Zhou, A Sharma
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
232017
Towards complete specifications with an error calculus
QL Le, A Sharma, F Craciun, WN Chin
NASA Formal Methods Symposium, 291-306, 2013
152013
A refinement calculus for Promela
A Sharma
2013 18th International Conference on Engineering of Complex Computer …, 2013
132013
Displaying content on multiple web pages
A Sharma, PK Dhingra
US Patent App. 12/623,458, 2011
112011
Exploiting undefined behaviors for efficient symbolic execution
A Sharma
Companion Proceedings of the 36th International Conference on Software …, 2014
92014
Ontology Matching Using Weighted Graphs
A Sharma
Digital Information Management, 2006 1st International Conference on, 121-124, 2006
72006
End to end verification and validation with SPIN
A Sharma
arXiv preprint arXiv:1302.4796, 2013
62013
A Critical Review of Dynamic Taint Analysis and Forward Symbolic Execution
A Sharma
62012
Certified Reasoning with Infinity
A Sharma, S Wang, A Costea, A Hobor, WN Chin
FM 2015: Formal Methods, 496-513, 2015
52015
Towards a verified cardiac pacemaker
A Sharma
NUS Technical Report 2010. http://www. comp. nus. edu. sg/∼ asankhs/pdf …, 2010
52010
Efficient static checking of library updates
D Foo, H Chua, J Yeo, MY Ang, A Sharma
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
42018
Specifying compatible sharing in data structures
A Sharma, A Hobor, WN Chin
Formal Methods and Software Engineering, 2015
42015
HIPimm: verifying granular immutability guarantees
A Costea, A Sharma, C David
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and …, 2014
42014
Signatures for software components
A Sharma
US Patent App. 14/506,490, 2016
32016
An empirical study of path feasibility queries
A Sharma
arXiv preprint arXiv:1302.4798, 2013
32013
Ontology Matching and Schema Integration using Node Ranking
A Sharma, D Somayajulu
32006
SGL: A domain-specific language for large-scale analysis of open-source code
D Foo, A Ming Yi, J Yeo, A Sharma
SecDev, 2018
22018
DIDAR-Database Intrusion Detection with Automated Recovery
A Sharma, S Govindarajan, V Srivatsan
B Tech Thesis NITW, 2007
22007
Certified Reasoning for Automated Verification
A Sharma
Department of Computer Science, National University of Singapore, 2014
12014
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20