| Larch: languages and tools for formal specification JV Guttag, JJ Horning Springer Science & Business Media, 2012 | 1208 | 2012 |
| Mural: a formal development support system CB Jones, KD Jones, P Lindsay, RD Moore Springer Science & Business Media, 2012 | 271 | 2012 |
| MaCRA: A model-based framework for maritime cyber-risk assessment K Tam, K Jones WMU Journal of Maritime Affairs 18, 129-163, 2019 | 131 | 2019 |
| Cyber-risk assessment for autonomous ships K Tam, K Jones 2018 international conference on cyber security and protection of digital …, 2018 | 108 | 2018 |
| Threats and impacts in maritime cyber security K Jones, K Tam, M Papadaki IET, 2016 | 90 | 2016 |
| Multi-functional Bi-directional Communication and Bias Power Architecture for Power Supply Control GC Pabon, KD Jones, CY Ko, G Lagui, P Mody, ME Walsh, H Yu, ... US Patent App. 12/772,165, 2010 | 71 | 2010 |
| Maritime cybersecurity policy: the scope and impact of evolving technology on international shipping K Tam, KD Jones Journal of Cyber Policy 3 (2), 147-164, 2018 | 68 | 2018 |
| Fast, non-monte-carlo estimation of transient performance variation due to device mismatch J Kim, KD Jones, MA Horowitz Proceedings of the 44th annual Design Automation Conference, 440-443, 2007 | 46 | 2007 |
| LM3: A Larch Interface Language for Modula-3; a Definition and Introduction KD Jones Systems Research Center, DEC, 1991 | 46* | 1991 |
| Factors affecting cyber risk in maritime K Tam, K Jones 2019 International Conference on Cyber Situational Awareness, Data Analytics …, 2019 | 42* | 2019 |
| Analog property checkers: a DDR2 case study KD Jones, V Konrad, D Ničković Formal Methods in System Design 36, 114-130, 2010 | 41 | 2010 |
| The Use of Cyber Ranges in the Maritime Context K Tam, K Moara-Nkwe, K Jones Faculty of International Maritime Studies, 2020 | 36 | 2020 |
| Smart security audit: Reinforcement learning with a deep neural network approximator K Pozdniakov, E Alonso, V Stankovic, K Tam, K Jones 2020 international conference on cyber situational awareness, data analytics …, 2020 | 36 | 2020 |
| Method for using an equivalence checker to reduce verification effort in a system having analog blocks KM Mossawir, KD Jones US Patent 8,117,576, 2012 | 34 | 2012 |
| Some “real world” problems in the analog and mixed signal domains KD Jones, J Kim, V Konrad Designing Correct Circuits 2, 39-71, 2008 | 31 | 2008 |
| The potential mental health effects of remote control in an autonomous maritime world K Tam, R Hopcraft, T Crichton, K Jones Journal of International Maritime Safety, Environmental Affairs, and …, 2021 | 30 | 2021 |
| Transforming variable domains for linear circuit analysis J Kim, KD Jones, M Horowitz US Patent 8,185,853, 2012 | 28 | 2012 |
| Cyber-SHIP: Developing next generation maritime cyber research capabilities K Tam, K Forshaw, K Jones International Conference on Marine Engineering and Technology Oman, 2019 | 27 | 2019 |
| The automatic generation of functional test vectors for Rambus designs KD Jones, JP Privitera Proceedings of the 33rd Annual Design Automation Conference, 415-420, 1996 | 24 | 1996 |
| Variable domain transformation for linear PAC analysis of mixed-signal systems J Kim, KD Jones, MA Horowitz 2007 IEEE/ACM International Conference on Computer-Aided Design, 887-894, 2007 | 23 | 2007 |
Kimberly TamUniversity of PlymouthVerified email at plymouth.ac.uk
