Browse by Person (creator, editor, contributor, etc.)
 | Up a level |
Number of items: 9.
Article
| Chawdhary, Aziem and Robbins, Ed and King, Andy (2018) Incrementally Closing Octagons. Formal Methods in System Design, . ISSN 0925-9856. E-ISSN 1572-8102. (doi:https://doi.org/10.1007/s10703-017-0314-7) (Full text available) |
|
| Chawdhary, Aziem and King, Andy and Singh, Ranjeet (2017) Partial Evaluation of String Obfuscations for Java Malware Detection. Formal Aspects of Computing, 29 (1). ISSN 0934-5043. E-ISSN 1433-299X. (doi:https://doi.org/10.1007/s00165-016-0357-3) (Full text available) |
|
| Jones, William and Chawdhary, Aziem and King, Andy (2016) Optimising the Volgenant-Jonker Algorithm for Approximating Graph Edit Distance. Pattern Recognition Letters, . pp. 1-9. ISSN 0167-8655. (doi:https://doi.org/10.1016/j.patrec.2016.07.024) (Full text available) |
|
Book section
| Chawdhary, Aziem and King, Andy (2018) Closing the Performance Gap between Doubles and Rationals for Octagons. In: Podelski, Andreas, ed. International Static Analysis Symposium. Lecture Notes in Computer Science, 11002 . Springer, pp. 187-204. ISBN 978-3-319-99724-7. E-ISBN 978-3-319-99725-4. (doi:https://doi.org/10.1007/978-3-319-99725-4_13) (Full text available) |
|
| Chawdhary, Aziem and King, Andy (2018) Closing the Performance Gap between Doubles and Rationals for Octagons. In: Podelski, Andreas, ed. Static Analysis 25th International Symposium. Springer. ISBN 978-3-319-99724-7. (doi:https://doi.org/10.1007/978-3-319-99725-4_13) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
![[img]](https://kar.kent.ac.uk/style/images/fileicons/application_pdf.png)
|
| Chawdhary, Aziem and King, Andy (2017) Compact Difference Bound Matrices. In: Chang, Evan, ed. 15th Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science . Springer, pp. 471-490. ISBN 978-3-319-71236-9. (doi:https://doi.org/10.1007/978-3-319-71237-6_23) (Full text available) |
|
| Jones, William and Chawdhary, Aziem and King, Andy (2015) Revisiting Volgenant-Jonker for Approximating Graph Edit Distance. In: Liu, Cheng-Lin and Luo, B. and Kropatsch, W.G. and Cheng, J., eds. Graph-based Representations in Pattern Recognition. Lecture Notes in Computer Science, 9069 . Springer, pp. 98-107. ISBN 978-3-319-18223-0. E-ISBN 978-3-319-18224-7. (doi:https://doi.org/10.1007/978-3-319-18224-7) (Full text available) |
|
| Chawdhary, Aziem and Robbins, Ed and King, Andy (2014) Simple and Efficient Algorithms for Octagons. In: Garrigue, Jacques, ed. Twelfth Asian Symposium on Programming Languages and Systems. Lecture Notes in Computer Science, 8858 . Springer, pp. 296-313. ISBN 978-3-319-12735-4. E-ISBN 978-3-319-12736-1. (doi:https://doi.org/10.1007/978-3-319-12736-1_16) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) |
|
Conference or workshop item
| Mercier, Daniel and Chawdhary, Aziem and Jones, Richard E. (2017) dynStruct: An automatic reverse engineering tool for structure recovery and memory use analysis. In: 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER). Institute of Electrical and Electronics Engineers pp. 497-501. ISBN 978-1-5090-5502-9. E-ISBN 978-1-5090-5501-2. (doi:https://doi.org/10.1109/SANER.2017.7884661) (Full text available) |
|
