Kevin D. Jones

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 18

Top Topics

Measurement Error

Factors Affecting

Situational Awareness

Top Venues

Publications

Chetan Mishra, Luigi Vanfretti, Mark Baldwin, Jaime Delaree Jr., Kevin D. Jones
Analysis of Generator Forced Oscillations During MOD 25 Testing Exploiting Wavelets. HICSS (2024)
Shashwat Adhikari, Hafizul Asad, Kevin D. Jones
Enhancing IoT Security: Novel Mechanisms for Malware Detection using HPCs and Neural Networks. TrustCom (2023)
Jordan Gurren, Avanthika Vineetha Harish, Kimberly Tam, Kevin D. Jones
Security Implications of a Satellite Communication Device on Wireless Networks Using Pentesting. WiMob (2023)
Joseph A. J. Ross, Kimberly Tam, David J. Walker, Kevin D. Jones
Towards a Digital Twin of a Complex Maritime Site for Multi-Objective Optimization. CyCom (2022)
Chetan Mishra, Duotong Yang, Chen Wang, Xin Xu, Kevin D. Jones, R. Matthew Gardner, Luigi Vanfretti
Analysis of STATCOM Oscillations using Ambient Synchrophasor Data in Dominion Energy. ISGT (2022)
Kimberly Tam, Barbara K. Chang, Rory Hopcraft, Kemedi Moara-Nkwe, Kevin D. Jones
Quantifying the econometric loss of a cyber-physical attack on a seaport. Frontiers Comput. Sci. 4 (2022)
Konstantin Pozdniakov, Eduardo Alonso, Vladimir Stankovic, Kimberly Tam, Kevin D. Jones
Smart Security Audit: Reinforcement Learning with a Deep Neural Network Approximator. CyberSA (2020)
Chen Wang, Virgilio A. Centeno, Kevin D. Jones, Duotong Yang
Transmission Lines Positive Sequence Parameters Estimation and Instrument Transformers Calibration Based on PMU Measurement Error Model. CoRR (2019)
Kimberly Tam, Kevin D. Jones
Factors Affecting Cyber Risk in Maritime. CyberSA (2019)
Kimberly Tam, Kevin D. Jones
Forensic Readiness within the Maritime Sector. CyberSA (2019)
Chen Wang, Virgilio A. Centeno, Kevin D. Jones, Duotong Yang
Transmission Lines Positive Sequence Parameters Estimation and Instrument Transformers Calibration Based on PMU Measurement Error Model. IEEE Access 7 (2019)
Kimberly Tam, Kevin D. Jones
Situational Awareness: Examining Factors that Affect Cyber-Risks in the Maritime Sector. Int. J. Cyber Situational Aware. 4 (1) (2019)
Kimberly Tam, Kevin D. Jones
Cyber-Risk Assessment for Autonomous Ships. Cyber Security (2018)
Claire Walton, Isaac Kaminer, Vladimir N. Dobrokhodov, Kevin D. Jones
New insights into autonomous soaring. CDC (2017)
Hafiz ul Asad, Kevin D. Jones
Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach. IEEE Des. Test 33 (5) (2016)
Timothy H. Chung, Michael R. Clement, Michael A. Day, Kevin D. Jones, Duane Davis, Marianna Jones
Live-fly, large-scale field experimentation for large numbers of fixed-wing UAVs. ICRA (2016)
Hafiz ul Asad, Kevin D. Jones
Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming. DAC (2015)
Hafiz ul Asad, Kevin D. Jones
Inevitability of Phase-locking in a Charge Pump Phase Lock Loop using Deductive Verification. ACM Great Lakes Symposium on VLSI (2015)
Hafiz ul Asad, Kevin D. Jones, Frédéric Surre
Verifying robust frequency domain properties of non linear oscillators using SMT. DDECS (2014)
Vladimir N. Dobrokhodov, Kevin D. Jones, Isaac Kaminer
Rapid Flight Control Prototyping - Steps toward cooperative mission-oriented capabilities. ACC (2013)
Kevin D. Jones, Kizito Salako
Modeling Security Policy and the Effect for End-Users. HCI (27) (2013)
Dinesh Thakur, Maxim Likhachev, James Keller, Vijay Kumar, Vladimir N. Dobrokhodov, Kevin D. Jones, Jeff Wurz, Isaac Kaminer
Planning for opportunistic surveillance with multiple robots. IROS (2013)
Kevin D. Jones
How to Fail When Using Internal Social Media. eLearn Mag. 2012 (6) (2012)
Klas Andersson, Kevin D. Jones, Vladimir N. Dobrokhodov, Isaac Kaminer
Thermal highs and pitfall lows - notes on the journey to the first cooperative autonomous soaring flight. CDC (2012)
Kevin D. Jones, Victor Konrad, Dejan Nickovic
Analog property checkers: a DDR2 case study. Formal Methods Syst. Des. 36 (2) (2010)
Jaeha Kim, Kevin D. Jones, Mark A. Horowitz
Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch. IEEE Trans. Circuits Syst. I Regul. Pap. (7) (2010)
Jaeha Kim, Kevin D. Jones, Mark A. Horowitz
Variable domain transformation for linear PAC analysis of mixed-signal systems. ICCAD (2007)
Jaeha Kim, Kevin D. Jones, Mark A. Horowitz
Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch. DAC (2007)
Vladimir N. Dobrokhodov, Isaac I. Kaminer, Kevin D. Jones, Reza Ghabcheloo
Vision-based tracking and motion estimation for moving targets using small UAVs. ACC (2006)
Kevin D. Jones
A Semantics for a Larch/Modula-3 Interface Language. Larch (1992)
Kevin D. Jones
Support Environments for VDM. VDM Europe (1987)
Kevin D. Jones
A Formal Semantics for a DataFlow Machine - Using VDM. VDM Europe (1987)