Kevin D. Jones
Orcid: 0000-0002-7960-0978
According to our database1,
Kevin D. Jones
authored at least 32 papers
between 1987 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 57th Hawaii International Conference on System Sciences, 2024
2023
Security Implications of a Satellite Communication Device on Wireless Networks Using Pentesting.
Proceedings of the 19th International Conference on Wireless and Mobile Computing, 2023
Enhancing IoT Security: Novel Mechanisms for Malware Detection using HPCs and Neural Networks.
Proceedings of the 22nd IEEE International Conference on Trust, 2023
2022
Frontiers Comput. Sci., 2022
Analysis of STATCOM Oscillations using Ambient Synchrophasor Data in Dominion Energy.
Proceedings of the 2022 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2022
Proceedings of the 14th International Conference on Cyber Conflict: Keep Moving!, 2022
2020
Smart Security Audit: Reinforcement Learning with a Deep Neural Network Approximator.
Proceedings of the 2020 International Conference on Cyber Situational Awareness, 2020
2019
Situational Awareness: Examining Factors that Affect Cyber-Risks in the Maritime Sector.
Int. J. Cyber Situational Aware., 2019
Transmission Lines Positive Sequence Parameters Estimation and Instrument Transformers Calibration Based on PMU Measurement Error Model.
IEEE Access, 2019
Proceedings of the International Conference on Cyber Situational Awareness, 2019
Proceedings of the International Conference on Cyber Situational Awareness, 2019
2018
Proceedings of the 2018 International Conference on Cyber Security and Protection of Digital Services, 2018
2017
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
2016
Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach.
IEEE Des. Test, 2016
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016
2015
Inevitability of Phase-locking in a Charge Pump Phase Lock Loop using Deductive Verification.
Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015
Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming.
Proceedings of the 52nd Annual Design Automation Conference, 2015
2014
Proceedings of the 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014
2013
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013
Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2013
Rapid Flight Control Prototyping - Steps toward cooperative mission-oriented capabilities.
Proceedings of the American Control Conference, 2013
2012
Thermal highs and pitfall lows - notes on the journey to the first cooperative autonomous soaring flight.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
2010
Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch.
IEEE Trans. Circuits Syst. I Regul. Pap., 2010
Proceedings of the Flying Insects and Robots, 2010
2007
Proceedings of the 2007 International Conference on Computer-Aided Design, 2007
2006
Proceedings of the American Control Conference, 2006
1993
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-2704-5, 1993
1992
A Semantics for a Larch/Modula-3 Interface Language.
Proceedings of the First International Workshop on Larch, 1992
1987
Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987
Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987