Items where Author is "Jones, K."
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. (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
Adhikari, S., Asad, H. 
ORCID: 0000-0002-8506-5721 & Jones, K. (2024).
Enhancing IoT Security: Novel Mechanisms for Malware Detection using HPCs and Neural Networks.
Paper presented at the at 2023 IEEE 22nd International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), 1-3 Nov 2023, Exeter, UK.
doi: 10.1109/TrustCom60117.2023.00199
Morrison, C., Cutrell, E., Grayson, M. , Becker, E. R. B., Kladouchou, V. ORCID: 0000-0001-7949-2244, Pring, L., Jones, K., Faia Marques, R., Longden, C. & Sellen, A. (2021).
Enabling meaningful use of AI-infused educational technologies for children with blindness: Learnings from the development and piloting of the PeopleLens curriculum.
In:
Proceedings of the 23rd International ACM SIGACCESS Conference on Computers and Accessibility.
ASSETS '21: The 23rd International ACM SIGACCESS Conference on Computers and Accessibility, 18-22 October 2021, Virtual Event, USA.
doi: 10.1145/3441852.3471210
Pozdniakov, K., Alonso, E. ORCID: 0000-0002-3306-695X, Stankovic, V. ORCID: 0000-0002-8740-6526 , Tam, K. & Jones, K. (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).
cyber2020, 15-17 Jun 2020, Dublin, Ireland.
Ul Asad, H. & Jones, K. (2015). Inevitability of Phase-locking in a Charge Pump Phase Lock Loop using Deductive Verification. In: Proceedings of the 25th edition on Great Lakes Symposium on VLSI. 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: Pleskacz, W., Renovell, M. & Kasprowicz, D. (Eds.), 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems. 17th Symposium on Design & Diagnostics of Electronic Circuits & Systems, 23rd - 25th April 2014, Warsaw, Poland. 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.
HCI International 2013: 15th International Conference on Human-Computer Interaction, 21 - 26 Jul 2013, Las Vegas, Nevada, US.
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)