![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Kevin D. Jones
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 1993
- [b1]John V. Guttag, James J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing:
Larch: Languages and Tools for Formal Specification. Texts and Monographs in Computer Science, Springer 1993, ISBN 978-1-4612-7636-4, pp. 1-156
Journal Articles
- 2022
- [j7]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) - 2019
- [j6]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: 145104-145117 (2019) - [j5]Kimberly Tam
, Kevin D. Jones:
Situational Awareness: Examining Factors that Affect Cyber-Risks in the Maritime Sector. Int. J. Cyber Situational Aware. 4(1): 40-68 (2019) - 2016
- [j4]Hafiz ul Asad
, Kevin D. Jones
:
Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach. IEEE Des. Test 33(5): 35-43 (2016) - 2012
- [j3]Kevin D. Jones:
How to Fail When Using Internal Social Media. eLearn Mag. 2012(6): 1 (2012) - 2010
- [j2]Kevin D. Jones
, Victor Konrad, Dejan Nickovic:
Analog property checkers: a DDR2 case study. Formal Methods Syst. Des. 36(2): 114-130 (2010) - [j1]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. 57-I(7): 1746-1755 (2010)
Conference and Workshop Papers
- 2024
- [c24]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: 3014-3021 - 2023
- [c23]Shashwat Adhikari, Hafizul Asad
, Kevin D. Jones:
Enhancing IoT Security: Novel Mechanisms for Malware Detection using HPCs and Neural Networks. TrustCom 2023: 1455-1463 - [c22]Jordan Gurren, Avanthika Vineetha Harish
, Kimberly Tam
, Kevin D. Jones:
Security Implications of a Satellite Communication Device on Wireless Networks Using Pentesting. WiMob 2023: 292-298 - 2022
- [c21]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: 331-345 - [c20]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: 1-5 - 2020
- [c19]Konstantin Pozdniakov, Eduardo Alonso
, Vladimir Stankovic, Kimberly Tam
, Kevin D. Jones
:
Smart Security Audit: Reinforcement Learning with a Deep Neural Network Approximator. CyberSA 2020: 1-8 - 2019
- [c18]Kimberly Tam
, Kevin D. Jones
:
Forensic Readiness within the Maritime Sector. CyberSA 2019: 1-4 - [c17]Kimberly Tam
, Kevin D. Jones
:
Factors Affecting Cyber Risk in Maritime. CyberSA 2019: 1-8 - 2018
- [c16]Kimberly Tam
, Kevin D. Jones
:
Cyber-Risk Assessment for Autonomous Ships. Cyber Security 2018: 1-8 - 2017
- [c15]Claire Walton
, Isaac Kaminer, Vladimir N. Dobrokhodov, Kevin D. Jones:
New insights into autonomous soaring. CDC 2017: 2059-2064 - 2016
- [c14]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: 1255-1262 - 2015
- [c13]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: 172:1-172:6 - [c12]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: 295-300 - 2014
- [c11]Hafiz ul Asad
, Kevin D. Jones
, Frédéric Surre:
Verifying robust frequency domain properties of non linear oscillators using SMT. DDECS 2014: 306-309 - 2013
- [c10]Vladimir N. Dobrokhodov
, Kevin D. Jones, Isaac Kaminer:
Rapid Flight Control Prototyping - Steps toward cooperative mission-oriented capabilities. ACC 2013: 680-685 - [c9]Kevin D. Jones, Kizito Salako:
Modeling Security Policy and the Effect for End-Users. HCI (27) 2013: 256-265 - [c8]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: 5750-5757 - 2012
- [c7]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: 3392-3397 - 2007
- [c6]Jaeha Kim, Kevin D. Jones, Mark A. Horowitz:
Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device Mismatch. DAC 2007: 440-443 - [c5]Jaeha Kim, Kevin D. Jones
, Mark A. Horowitz:
Variable domain transformation for linear PAC analysis of mixed-signal systems. ICCAD 2007: 887-894 - 2006
- [c4]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 - 1992
- [c3]Kevin D. Jones:
A Semantics for a Larch/Modula-3 Interface Language. Larch 1992: 142-158 - 1987
- [c2]Kevin D. Jones
:
Support Environments for VDM. VDM Europe 1987: 110-117 - [c1]Kevin D. Jones
:
A Formal Semantics for a DataFlow Machine - Using VDM. VDM Europe 1987: 331-355
Parts in Books or Collections
- 2010
- [p1]Kevin D. Jones, Max F. Platzer
:
Flow Control Using Flapping Wings for an Efficient Low-Speed Micro-Air Vehicle. Flying Insects and Robots 2010: 159-169
Informal and Other Publications
- 2019
- [i1]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 abs/1911.01500 (2019)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint