Article

Ul Asad, H. and 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

Book Section

Ul Asad, H. and 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. ISBN 9781450334747

Ul Asad, H., Jones, K. and Surre, F. (2014). Verifying Robust Frequency Domain Properties of Non Linear Oscillators using SMT. In: Pleskacz, W., Renovell, M., Kasprowicz, D., Sekanina, L. and Bernard, S. (Eds.), 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems. (pp. 306-309). IEEE. ISBN 978-1-4799-4560-3

Conference or Workshop Item

Gashi, I. ORCID: 0000-0002-8017-3184 and Ul Asad, H. (2018). Diversity in Open Source Intrusion Detection Systems. In: Computer Safety, Reliability, and Security. SAFECOMP 2018. . Cham, Switzerland: Springer. ISBN 978-3-319-99129-0

Ul Asad, H. and 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. and Surre, F. (2014). Verifying robust frequency domain properties of non linear oscillators using SMT. Paper presented at the 17th Symposium on Design & Diagnostics of Electronic Circuits & Systems, 23rd - 25th April 2014, Warsaw, Poland.

Thesis

Ul Asad, H. (2016). Formal verification of analog and mixed signal circuits using deductive and bounded approaches. (Unpublished Doctoral thesis, City University London)