Kevin D. Jones

38 papers A* 3A 2B 2C 3Misc 1Journal 9Unranked 15

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