Kevin D. Jones

According to our database1, Kevin D. Jones authored at least 25 papers between 1987 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Smart Security Audit: Reinforcement Learning with a Deep Neural Network Approximator.
Proceedings of the 2020 International Conference on Cyber Situational Awareness, 2020

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

Factors Affecting Cyber Risk in Maritime.
Proceedings of the International Conference on Cyber Situational Awareness, 2019

Forensic Readiness within the Maritime Sector.
Proceedings of the International Conference on Cyber Situational Awareness, 2019

Cyber-Risk Assessment for Autonomous Ships.
Proceedings of the 2018 International Conference on Cyber Security and Protection of Digital Services, 2018

New insights into autonomous soaring.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach.
IEEE Des. Test, 2016

Live-fly, large-scale field experimentation for large numbers of fixed-wing UAVs.
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

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

Verifying robust frequency domain properties of non linear oscillators using SMT.
Proceedings of the 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014

Planning for opportunistic surveillance with multiple robots.
Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Modeling Security Policy and the Effect for End-Users.
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

How to Fail When Using Internal Social Media.
eLearn Mag., 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

Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch.
IEEE Trans. Circuits Syst. I Regul. Pap., 2010

Analog property checkers: a DDR2 case study.
Formal Methods Syst. Des., 2010

Flow Control Using Flapping Wings for an Efficient Low-Speed Micro-Air Vehicle.
Proceedings of the Flying Insects and Robots, 2010

Variable domain transformation for linear PAC analysis of mixed-signal systems.
Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

Larch: Languages and Tools for Formal Specification
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-2704-5, 1993

A Semantics for a Larch/Modula-3 Interface Language.
Proceedings of the First International Workshop on Larch, 1992

A Formal Semantics for a DataFlow Machine - Using VDM.
Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987

Support Environments for VDM.
Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987