City Research Online

Items where Author is "Jones, K."

Up a level
Group by: Type | No Grouping
Number of items: 14.

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. (2023). 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.

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. , 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)

This list was generated on Thu Mar 28 04:06:45 2024 UTC.