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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

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

2017
New insights into autonomous soaring.
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

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

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
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

2013
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

2012
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

2010
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

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

1993
Larch: Languages and Tools for Formal Specification
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
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


  Loading...