Æȷοì
Kevin D Jones
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Larch: languages and tools for formal specification
JV Guttag, JJ Horning
Springer Science & Business Media, 2012
12102012
Mural: a formal development support system
CB Jones, KD Jones, P Lindsay, RD Moore
Springer Science & Business Media, 2012
2722012
MaCRA: A model-based framework for maritime cyber-risk assessment
K Tam, K Jones
WMU Journal of Maritime Affairs 18, 129-163, 2019
1382019
Cyber-risk assessment for autonomous ships
K Tam, K Jones
2018 international conference on cyber security and protection of digital ¡¦, 2018
1122018
Threats and impacts in maritime cyber security
KD Jones, K Tam, M Papadaki
Engineering & Technology Reference, 2016
942016
Maritime cybersecurity policy: the scope and impact of evolving technology on international shipping
K Tam, KD Jones
Journal of Cyber Policy 3 (2), 147-164, 2018
722018
Multi-functional Bi-directional Communication and Bias Power Architecture for Power Supply Control
GC Pabon, KD Jones, CY Ko, G Lagui, P Mody, ME Walsh, H Yu, ...
US Patent App. 12/772,165, 2010
722010
Fast, non-monte-carlo estimation of transient performance variation due to device mismatch
J Kim, KD Jones, MA Horowitz
Proceedings of the 44th annual Design Automation Conference, 440-443, 2007
462007
LM3: A Larch Interface Language for Modula-3; a Definition and Introduction
KD Jones
Systems Research Center, DEC, 1991
46*1991
Factors affecting cyber risk in maritime
K Tam, K Jones
2019 International Conference on Cyber Situational Awareness, Data Analytics ¡¦, 2019
43*2019
Analog property checkers: a DDR2 case study
KD Jones, V Konrad, D Ničković
Formal Methods in System Design 36, 114-130, 2010
412010
Smart security audit: Reinforcement learning with a deep neural network approximator
K Pozdniakov, E Alonso, V Stankovic, K Tam, K Jones
2020 international conference on cyber situational awareness, data analytics ¡¦, 2020
392020
The Use of Cyber Ranges in the Maritime Context
K Tam, K Moara-Nkwe, K Jones
Faculty of International Maritime Studies, 2020
382020
Method for using an equivalence checker to reduce verification effort in a system having analog blocks
KM Mossawir, KD Jones
US Patent 8,117,576, 2012
342012
The potential mental health effects of remote control in an autonomous maritime world
K Tam, R Hopcraft, T Crichton, K Jones
Journal of International Maritime Safety, Environmental Affairs, and ¡¦, 2021
332021
Some ¡°real world¡± problems in the analog and mixed signal domains
KD Jones, J Kim, V Konrad
Designing Correct Circuits 2, 39-71, 2008
312008
Cyber-SHIP: Developing next generation maritime cyber research capabilities
K Tam, K Forshaw, K Jones
IMarEST, 2019
302019
Transforming variable domains for linear circuit analysis
J Kim, KD Jones, M Horowitz
US Patent 8,185,853, 2012
282012
The automatic generation of functional test vectors for Rambus designs
KD Jones, JP Privitera
Proceedings of the 33rd Annual Design Automation Conference, 415-420, 1996
241996
Variable domain transformation for linear PAC analysis of mixed-signal systems
J Kim, KD Jones, MA Horowitz
2007 IEEE/ACM International Conference on Computer-Aided Design, 887-894, 2007
232007
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20