Kevin D. Jones

Int. J. Cyber Situational Aware., 2019

Transmission Lines Positive Sequence Parameters Estimation and Instrument Transformers Calibration Based on PMU Measurement Error Model.

[BibT_eX]

[DOI]

IEEE Access, 2019

Factors Affecting Cyber Risk in Maritime.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Cyber Situational Awareness, 2019

Forensic Readiness within the Maritime Sector.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Cyber Situational Awareness, 2019

2018

Cyber-Risk Assessment for Autonomous Ships.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Conference on Cyber Security and Protection of Digital Services, 2018

2017

New insights into autonomous soaring.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Des. Test, 2016

Live-fly, large-scale field experimentation for large numbers of fixed-wing UAVs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Verifying robust frequency domain properties of non linear oscillators using SMT.

[BibT_eX]

[DOI]

Frédéric Surre

Proceedings of the 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014

2013

Planning for opportunistic surveillance with multiple robots.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2013

Modeling Security Policy and the Effect for End-Users.

[BibT_eX]

[DOI]

Kizito Salako

Proceedings of the Human Aspects of Information Security, Privacy, and Trust, 2013

Rapid Flight Control Prototyping - Steps toward cooperative mission-oriented capabilities.

[BibT_eX]

[DOI]

Vladimir Dobrokhodov

Isaac Kaminer

Proceedings of the American Control Conference, 2013

2012

How to Fail When Using Internal Social Media.

[BibT_eX]

[DOI]

eLearn Mag., 2012

Thermal highs and pitfall lows - notes on the journey to the first cooperative autonomous soaring flight.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Jaeha Kim

Mark A. Horowitz

IEEE Trans. Circuits Syst. I Regul. Pap., 2010

Analog property checkers: a DDR2 case study.

[BibT_eX]

[DOI]

Victor Konrad

Dejan Nickovic

Formal Methods Syst. Des., 2010

Flow Control Using Flapping Wings for an Efficient Low-Speed Micro-Air Vehicle.

[BibT_eX]

[DOI]

Max F. Platzer

Proceedings of the Flying Insects and Robots, 2010

2007

Variable domain transformation for linear PAC analysis of mixed-signal systems.

[BibT_eX]

[DOI]

Jaeha Kim

Mark A. Horowitz

Proceedings of the 2007 International Conference on Computer-Aided Design, 2007

1993

Larch: Languages and Tools for Formal Specification

[BibT_eX]

[DOI]

Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4612-2704-5, 1993

1992

A Semantics for a Larch/Modula-3 Interface Language.

[BibT_eX]

Proceedings of the First International Workshop on Larch, 1992

1987

A Formal Semantics for a DataFlow Machine - Using VDM.

[BibT_eX]

[DOI]

Proceedings of the VDM '87, VDM - A Formal Method at Work, 1987

Support Environments for VDM.

[BibT_eX]

[DOI]