Kevin D Jones
Cited by
Cited by
Larch: languages and tools for formal specification
JV Guttag, JJ Horning
Springer Science & Business Media, 2012
Mural: a formal development support system
CB Jones, KD Jones, P Lindsay, RD Moore
Springer Science & Business Media, 2012
MaCRA: a model-based framework for maritime cyber-risk assessment
K Tam, K Jones
WMU Journal of Maritime Affairs 18, 129-163, 2019
Cyber-risk assessment for autonomous ships
K Tam, K Jones
2018 International Conference on Cyber Security and Protection of Digital …, 2018
Threats and impacts in maritime cyber security
K Jones, K Tam, M Papadaki
IET, 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
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
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
LM3: A Larch Interface Language for Modula-3; a Definition and Introduction
KD Jones
Systems Research Center, DEC, 1991
Analog property checkers: a DDR2 case study
KD Jones, V Konrad, D Ničković
Formal Methods in System Design 36, 114-130, 2010
Factors affecting cyber risk in maritime
K Tam, K Jones
2019 International Conference on Cyber Situational Awareness, Data Analytics …, 2019
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
The Use of Cyber Ranges in the Maritime Context
K Tam, K Moara-Nkwe, K Jones
Faculty of International Maritime Studies, 2020
Some “real world” problems in the analog and mixed signal domains
KD Jones, J Kim, V Konrad
Designing Correct Circuits 2, 39-71, 2008
Transforming variable domains for linear circuit analysis
J Kim, KD Jones, M Horowitz
US Patent 8,185,853, 2012
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
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
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
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
Cyber-SHIP: Developing next generation maritime cyber research capabilities
K Tam, K Forshaw, K Jones
IMarEST, 2019
The system can't perform the operation now. Try again later.
Articles 1–20