Article

Ul Asad, H. & Jones, K. (2016). Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach. IEEE Design and Test, 33(5), pp. 35-43. doi: 10.1109/MDAT.2016.2573588

Jones, K., Konrad, V. & Nickovic, D. (2010). Analog Property Checkers: A Ddr2 Case Study. Formal Methods in System Design, 36(2), pp. 114-130. doi: 10.1007/s10703-009-0085-x

Jones, K., Kim, J. & Horowitz, M. (2010). Fast, non-monte-carlo estimation of transient performance variation due to device mismatch. IEEE Transactions on Circuits and Systems, 57(7), pp. 1746-1755. doi: 10.1109/TCSI.2009.2035418

Book

Jones, C. B., Jones, K., Lindsay, P. A. & Moore, R.view all authors (1990). Mural: A formal development support system. London: Springer-Verlag.

Book Section

Ul Asad, H. & Jones, K. (2015). Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming. In: Proceedings of the 25th edition on Great Lakes Symposium on VLSI. (pp. 295-300). New York, USA: ACM. doi: 10.1145/2742060.2742072

Conference or Workshop Item

Pozdniakov, K., Alonso, E. ORCID: 0000-0002-3306-695X, Stankovic, V. , Tam, K. & Jones, K.view all authors (2020). Smart Computer Security Audit: Reinforcement Learning with a Deep Neural Network Approximator. In: 2020 International Conference on Cyber Situational Awareness, Data Analytics and Assessment (CyberSA). (pp. 1-8). IEEE. ISBN 978-1-7281-6690-2

Ul Asad, H. & Jones, K. (2015). Inevitability of Phase-locking in a Charge Pump Phase Lock Loop using Deductive Verification. Paper presented at the 25th edition on Great Lakes Symposium on VLSI, 20-05-2015 - 22-05-2015, Pittsburgh, USA.

Ul Asad, H., Jones, K. & Surre, F. (2014). Verifying robust frequency domain properties of non linear oscillators using SMT. In: 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems. (pp. 306-309). New York, USA: IEEE. ISBN 9781479945580 doi: 10.1109/DDECS.2014.6868816

Jones, K. & Salako, K. ORCID: 0000-0003-0394-7833 (2013). Modeling Security Policy and the Effect for End-Users. In: Marinos, L. & Askoxylakis, I. (Eds.), Human Aspects of Information Security, Privacy, and Trust. HAS 2013. Lecture Notes in Computer Science. (pp. 256-265). Cham: Springer. ISBN 978-3-642-39345-7 doi: 10.1007/978-3-642-39345-7_27

Jones, K. (2008). Analog and Mixed Signal Verification. Paper presented at the FMCAD 2008 Formal Methods in Computer Aided Design, 17 - 20 Nov 2008, Portland, OR, USA.

Kim, J., Jones, K. & Horowitz, M. (2007). Variable domain transformation for linear PAC analysis of mixed-signal systems. Paper presented at the International Conference on Computer-Aided Design, 2007. ICCAD 2007, 05 - 08 Nov 2007, San Jose, California, USA. doi: 10.1109/ICCAD.2007.4397376

Thesis

Jones, K. (1980). Computer assisted application of stochastic structuring techniques in musical composition and control of digital sound synthesis systems. (Unpublished Doctoral thesis, City University London)