Kevin D Jones
TitoloCitata daAnno
Larch: languages and tools for formal specification
JV Guttag, JJ Horning
Springer Science & Business Media, 2012
10832012
Mural: a formal development support system
CB Jones, KD Jones, P Lindsay, RD Moore
Springer Science & Business Media, 2012
2392012
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
502010
Fast, non-monte-carlo estimation of transient performance variation due to device mismatch
J Kim, KD Jones, MA Horowitz
IEEE Transactions on Circuits and Systems I: Regular Papers 57 (7), 1746-1755, 2009
412009
Analog property checkers: a DDR2 case study
KD Jones, V Konrad, D Ničković
Formal Methods in System Design 36 (2), 114-130, 2010
382010
Some “real world” problems in the analog and mixed signal domains,”
KD Jones, J Kim, V Konrad
Proceedings of Designing Correct Circuits, 51-68, 2008
282008
Transforming variable domains for linear circuit analysis
J Kim, KD Jones, M Horowitz
US Patent 8,185,853, 2012
272012
LM3: A Larch Interface Language for Modula-3; a Definition and Introduction
KD Jones
Systems Research Center, DEC, 1991
271991
The automatic generation of functional test vectors for Rambus designs
KD Jones, JP Privitera
33rd Design Automation Conference Proceedings, 1996, 415-420, 1996
211996
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
192007
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
172012
LM3: A Larch interface language for Modula-3: A definition and introduction: Version 1.0
KD Jones
Digital Equipment Corporation Systems Research Center, 1991
171991
Method to analyze an analog circuit design with a verification program
Q Hong, KD Jones, P Wong
US Patent 7,643,979, 2010
132010
LCL: A Larch interface language for C
JV Guttag, JJ Horning, SJ Garland, KD Jones, A Modet, JM Wing
Larch: Languages and Tools for Formal Specification, 56-101, 1993
131993
Threats and impacts in maritime cyber security
KD Jones, K Tam, M Papadaki
IET, 2016
112016
¡. A. Lindsay, andR. Moore. mural: A Formal D evelop ment u pport£ stem
CB Jones, KD Jones
Springer-Verlag, 1991
111991
Noise Model Method of Predicting Mismatch Effects on Transient Circuit Behaviors
J Kim, MA Horowitz, KD Jones
US Patent App. 12/528,616, 2010
92010
Multi-format consistency checking tool
Q Hong, J Jiang, KD Jones, KM Mossawir, TJ Sheffler, P Wong
US Patent 7,392,492, 2008
92008
Support environments for VDM
KD Jones
International Symposium of VDM Europe, 110-117, 1987
81987
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
72018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20