Kevin D. Jones - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 26 from 26

2024

Analysis of Generator Forced Oscillations During MOD 25 Testing Exploiting WaveletsChetan Mishra, Luigi Vanfretti, Mark Baldwin, Jaime Delaree Jr., Kevin D. Jones. hicss 2023: 3014-3021 [doi]

2023

Security Implications of a Satellite Communication Device on Wireless Networks Using PentestingJordan Gurren, Avanthika Vineetha Harish, Kimberly Tam, Kevin D. Jones. wimob 2023: 292-298 [doi]

2022

2020

Smart Security Audit: Reinforcement Learning with a Deep Neural Network ApproximatorKonstantin Pozdniakov, Eduardo Alonso, Vladimir Stankovic 0002, Kimberly Tam, Kevin D. Jones. cybersa 2020: 1-8 [doi]

2019

Situational Awareness: Examining Factors that Affect Cyber-Risks in the Maritime SectorKimberly Tam, Kevin D. Jones. ijcysa, 4(1):40-68, 2019. [doi]

Transmission Lines Positive Sequence Parameters Estimation and Instrument Transformers Calibration Based on PMU Measurement Error ModelChen Wang, Virgilio A. Centeno, Kevin D. Jones, Duotong Yang. access, 7:145104-145117, 2019. [doi]

2017

New insights into autonomous soaringClaire Walton, Isaac Kaminer, Vladimir Dobrokhodov, Kevin D. Jones. cdc 2017: 2059-2064 [doi]

2016

Live-fly, large-scale field experimentation for large numbers of fixed-wing UAVsTimothy H. Chung, Michael R. Clement, Michael A. Day, Kevin D. Jones, Duane Davis, Marianna Jones. icra 2016: 1255-1262 [doi]

Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE ApproachHafiz ul Asad, Kevin D. Jones. dt, 33(5):35-43, 2016. [doi]

2015

Inevitability of Phase-locking in a Charge Pump Phase Lock Loop using Deductive VerificationHafiz ul Asad, Kevin D. Jones. glvlsi 2015: 295-300 [doi]

Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programmingHafiz ul Asad, Kevin D. Jones. dac 2015: 172 [doi]

2014

Verifying robust frequency domain properties of non linear oscillators using SMTHafiz ul Asad, Kevin D. Jones, Frederic Surre. ddecs 2014: 306-309 [doi]

2013

Modeling Security Policy and the Effect for End-UsersKevin D. Jones, Kizito Salako. hci 2013: 256-265 [doi]

2012

How to Fail When Using Internal Social MediaKevin D. Jones. elearn, 2012(6):1, 2012. [doi]

2010

Flow Control Using Flapping Wings for an Efficient Low-Speed Micro-Air VehicleKevin D. Jones, Max F. Platzer. In Dario Floreano, Jean-Christophe Zufferey, Mandayam A. Srinivasan, Charlie Ellington, editors, Flying Insects and Robots. pages 159-169, Springer, 2010. [doi]

Analog property checkers: a DDR2 case studyKevin D. Jones, Victor Konrad, Dejan Nickovic. fmsd, 36(2):114-130, 2010. [doi]

Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device MismatchJaeha Kim, Kevin D. Jones, Mark A. Horowitz. tcas, 57-I(7):1746-1755, 2010. [doi]

2007

Fast, Non-Monte-Carlo Estimation of Transient Performance Variation Due to Device MismatchJaeha Kim, Kevin D. Jones, Mark A. Horowitz. dac 2007: 440-443 [doi]

Variable domain transformation for linear PAC analysis of mixed-signal systemsJaeha Kim, Kevin D. Jones, Mark A. Horowitz. iccad 2007: 887-894 [doi]

2006

Vision-based tracking and motion estimation for moving targets using small UAVsVladimir N. Dobrokhodov, Isaac I. Kaminer, Kevin D. Jones, Reza Ghabcheloo. amcc 2006: [doi]

1993

Larch: Languages and Tools for Formal SpecificationJohn V. Guttag, James J. Horning, Stephen J. Garland, Kevin D. Jones, A. Modet, Jeannette M. Wing. Texts and Monographs in Computer Science, Springer, 1993. [doi]

1992

A Semantics for a Larch/Modula-3 Interface LanguageKevin D. Jones. larch 1993: 142-158

1987

Support Environments for VDMKevin D. Jones. FM 1987: 110-117

A Formal Semantics for a DataFlow Machine - Using VDMKevin D. Jones. FM 1987: 331-355

Sign in or sign up to see more results.

runs on WebDSL