Find Experts

Experts in Engineering
M Umit Atalay Nil Uzun Ayse Guliz Bilgin Altinoz M H FERRI ALIABADI Luo Guoqing DR GIULIANOALLEGRI Wasim Orfali PETER BEARMAN Hisham Tolbah Li Lihua Sunil Bhooshan DR PAUL BRUCE Xue Lingyun Daniel E. Acuna Prof. Dr. Ghanshyam Singh Yahya Kemal BAYKAL Li Dujuan Dr. Pradeep Kumar HE CHUN Dr. Rajiv Kumar View More
Kevin Jones

Professor
Science and Engineering
Plymouth University
United Kingdom

Professor Engineering
Biography

PhD University of Manchester MSc University of Oxford BSc University of Reading

Research Intrest

Rustworthiness of Complex Systems, Cyber-security, Maritime Cyber Threats, Hardware verification, Analog verification, Software development, Formal methods and CAD tools.

List of Publications
Jones, K. D., & Privitera, J. P. (1996, June). The automatic generation of functional test vectors for Rambus designs. In Proceedings of the 33rd Annual Design Automation Conference (pp. 415-420). ACM.
Jones, C. B., & Jones, K. D. (1991). ¡. A. Lindsay, andR. Moore. mural: A Formal D evelop ment u pport£ stem.
Guttag J.V., Horning J.J., Garland S.J., Jones K.D., Modet A., Wing J.M. (1993) LCL: A Larch Interface Language for C. In: Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science. Springer, New York, NY

Global Scientific Words in Engineering

Experts in United Kingdom
Ian Weeks Dr Steve Riley M H FERRI ALIABADI Simon Jones DR GIULIANOALLEGRI Michael Owen PETER BEARMAN Dr Richard Adams DR PAUL BRUCE Robert Lee Mansour Moniri Paul Hackett Dr Ameer Al-Nemrat Dr Jawed Qureshi Miss Sarah Catmur Mark Banfield Janneke Balk Arya Assadi Langroudi Rob Field George Lomonossoff Tony Maxwell Sarah OConnor Robert Sablowski Stephen de Mora Susan Brind View More