Support Environments for VDM. - Kevin D. Jones (VDM Europe, 1987)

A Formal Semantics for a DataFlow Machine - Using VDM. - Kevin D. Jones (VDM Europe, 1987)

A Semantics for a Larch/Modula-3 Interface Language. - Kevin D. Jones (Larch, 1992)

Larch: Languages and Tools for Formal Specification - John V. Guttag; James J. Horning; Stephen J. Garland; Kevin D. Jones; A. Modet; Jeannette M. Wing (Springer, 1993)

Vision-based tracking and motion estimation for moving targets using small UAVs. - Vladimir N. Dobrokhodov; Isaac I. Kaminer; Kevin D. Jones; Reza Ghabcheloo (ACC, 2006)

Variable domain transformation for linear PAC analysis of mixed-signal systems. - Jaeha Kim; Kevin D. Jones; Mark A. Horowitz (ICCAD, 2007)

Flow Control Using Flapping Wings for an Efficient Low-Speed Micro-Air Vehicle. - Kevin D. Jones; Max F. Platzer (Flying Insects and Robots, 2010)

Analog property checkers: a DDR2 case study. - Kevin D. Jones; Victor Konrad; Dejan Nickovic (Formal Methods Syst. Des., 2010)

Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch. - Jaeha Kim; Kevin D. Jones; Mark A. Horowitz (IEEE Trans. Circuits Syst. I Regul. Pap., 2010)

Thermal highs and pitfall lows - notes on the journey to the first cooperative autonomous soaring flight. - Klas Andersson; Kevin D. Jones; Vladimir N. Dobrokhodov; Isaac Kaminer (CDC, 2012)

How to Fail When Using Internal Social Media. - Kevin D. Jones (eLearn Mag., 2012)

Rapid Flight Control Prototyping - Steps toward cooperative mission-oriented capabilities. - Vladimir N. Dobrokhodov; Kevin D. Jones; Isaac Kaminer (ACC, 2013)

Modeling Security Policy and the Effect for End-Users. - Kevin D. Jones; Kizito Salako (HCI (27), 2013)

Planning for opportunistic surveillance with multiple robots. - Dinesh Thakur; Maxim Likhachev; James Keller 002; Vijay Kumar 001; Vladimir N. Dobrokhodov; Kevin D. Jones; Jeff Wurz; Isaac Kaminer (IROS, 2013)

Verifying robust frequency domain properties of non linear oscillators using SMT. - Hafiz ul Asad; Kevin D. Jones; Frédéric Surre (DDECS, 2014)

Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming. - Hafiz ul Asad; Kevin D. Jones (DAC, 2015)

Inevitability of Phase-locking in a Charge Pump Phase Lock Loop using Deductive Verification. - Hafiz ul Asad; Kevin D. Jones (ACM Great Lakes Symposium on VLSI, 2015)

Live-fly, large-scale field experimentation for large numbers of fixed-wing UAVs. - Timothy H. Chung; Michael R. Clement; Michael A. Day 002; Kevin D. Jones; Duane Davis; Marianna Jones (ICRA, 2016)

Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach. - Hafiz ul Asad; Kevin D. Jones (IEEE Des. Test, 2016)

New insights into autonomous soaring. - Claire Walton; Isaac Kaminer; Vladimir N. Dobrokhodov; Kevin D. Jones (CDC, 2017)

Cyber-Risk Assessment for Autonomous Ships. - Kimberly Tam; Kevin D. Jones (Cyber Security, 2018)

Forensic Readiness within the Maritime Sector. - Kimberly Tam; Kevin D. Jones (CyberSA, 2019)

Factors Affecting Cyber Risk in Maritime. - Kimberly Tam; Kevin D. Jones (CyberSA, 2019)

Transmission Lines Positive Sequence Parameters Estimation and Instrument Transformers Calibration Based on PMU Measurement Error Model. - Chen Wang 044; Virgilio A. Centeno; Kevin D. Jones; Duotong Yang (IEEE Access, 2019)

Situational Awareness: Examining Factors that Affect Cyber-Risks in the Maritime Sector. - Kimberly Tam; Kevin D. Jones (Int. J. Cyber Situational Aware., 2019)

Smart Security Audit: Reinforcement Learning with a Deep Neural Network Approximator. - Konstantin Pozdniakov; Eduardo Alonso; Vladimir Stankovic 002; Kimberly Tam; Kevin D. Jones (CyberSA, 2020)

Towards a Digital Twin of a Complex Maritime Site for Multi-Objective Optimization. - Joseph A. J. Ross; Kimberly Tam; David J. Walker; Kevin D. Jones (CyCom, 2022)

Analysis of STATCOM Oscillations using Ambient Synchrophasor Data in Dominion Energy. - Chetan Mishra; Duotong Yang; Chen Wang; Xin Xu; Kevin D. Jones; R. Matthew Gardner; Luigi Vanfretti (ISGT, 2022)

Quantifying the econometric loss of a cyber-physical attack on a seaport. - Kimberly Tam; Barbara K. Chang; Rory Hopcraft; Kemedi Moara-Nkwe; Kevin D. Jones (Frontiers Comput. Sci., 2022)

Enhancing IoT Security: Novel Mechanisms for Malware Detection using HPCs and Neural Networks. - Shashwat Adhikari; Hafizul Asad; Kevin D. Jones (TrustCom, 2023)

Security Implications of a Satellite Communication Device on Wireless Networks Using Pentesting. - Jordan Gurren; Avanthika Vineetha Harish; Kimberly Tam; Kevin D. Jones (WiMob, 2023)

Taxonomy of Cyber Risk Mitigation Cost Benefit Analysis Methods for Energy Infrastructure. - Yvonne Hwei-Syn Kam; Kevin D. Jones; Kimberly Tam; Robert Rawlinson-Smith (CSR, 2024)

Analysis of Generator Forced Oscillations During MOD 25 Testing Exploiting Wavelets. - Chetan Mishra; Luigi Vanfretti; Mark Baldwin; Jaime Delaree Jr.; Kevin D. Jones (HICSS, 2024)

High Impact Malware Targeting Maritime Infrastructure. - Kevin D. Jones; Kimberly Tam (The Practice of Formal Methods (I), 2024)

Generating training events for building cyber-physical security skills. - Avanthika Vineetha Harish; Kimberly Tam; Kevin D. Jones (Comput. J., 2025)