Carl R Elks, Associate Professor
Carl R Elks, Associate Professor
Verifierad e-postadress på vcu.edu - Startsida
Titel
Citeras av
Citeras av
År
Idiosyncratic emissions fingerprinting method for identifying electronic devices
CR Elks, A Bateman
US Patent 7,420,474, 2008
2312008
Dynamic reliability modeling of digital instrumentation and control systems for nuclear reactor probabilistic risk assessments
T Aldemir, MP Stovsky, J Kirschenbaum, D Mandelli, P Bucci, LA Mangan, ...
Nureg/Cr-6942. Washington, DC: US Nuclear Regulatory Commission, 2007
792007
Transient fault models and AVF estimation revisited
NJ George, CR Elks, BW Johnson, J Lach
2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010
742010
A benchmark implementation of two dynamic methodologies for the reliability modeling of digital instrumentation and control systems
T Aldemir, S Guarro, J Kirschenbaum, D Mandelli, LA Mangan, P Bucci, ...
Nureg/Cr-6985. Washington, DC: US Nuclear Regulatory Commission, 2009
582009
A systems approach for eliciting mission-centric security requirements
BT Carter, G Bakirtzis, CR Elks, CH Fleming
2018 Annual IEEE International Systems Conference (SysCon), 1-8, 2018
152018
A model-based approach to security analysis for cyber-physical systems
G Bakirtzis, BT Carter, CR Elks, CH Fleming
2018 Annual IEEE International Systems conference (SysCon), 1-8, 2018
152018
Bit-slice logic interleaving for spatial multi-bit soft-error tolerance
NJ George, CR Elks, BW Johnson, J Lach
2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010
112010
Advancing human performance assessment capabilities for integrated system validation—A human-in-the-loop experiment
M Demas, N Lau, C Elks
Proceedings of the 9th American Nuclear Society International Topical …, 2015
92015
Application of a fault injection based dependability assessment process to a commercial safety critical nuclear reactor protection system
CR Elks, M Reynolds, N George, M Miklo, S Bingham, R Williams, ...
2010 IEEE/IFIP International Conference on Dependable Systems & Networks …, 2010
92010
New verification and validation methods for guidance/control of advanced autonomous systems
A Bateman, C Elks, D Ward, J Schierman
Infotech@ Aerospace, 7117, 2005
82005
Reliability analysis of hard real-time systems in the presence of controller malfunctions
CR Elks, JB Dugan, BW Johnson
Annual Reliability and Maintainability Symposium. 2000 Proceedings …, 2000
82000
Development of a Fault Injection-based Dependability Assessment Methodology for Digital and I & C Systems
CR Elks
United States Nuclear Regulatory Commission, Office of Nuclear Regulatory …, 2012
72012
NUREG/CR-6942: Dynamic Reliability Modeling of Digital Instrumentation and Control Systems for Nuclear Reactor Probabilistic Risk Assessments
T Aldemir, M Stovsky, J Kirschenbaum, D Mandelli, P Bucci, L Mangan, ...
Office of Nuclear Regulatory Research, US Nuclear Regulatory Commission …, 2007
62007
A theory of run-time verification for safety critical reactive systems
CR Elks
University of Virginia, 2005
62005
A survey on securing UAS cyber physical systems
M Leccadito, T Bakker, R Klenke, C Elks
IEEE Aerospace and Electronic Systems Magazine 33 (10), 22-32, 2018
52018
Looking for a black cat in a dark room: Security visualization for cyber-physical system design and analysis
G Bakirtzis, BJ Simon, CH Fleming, CR Elks
2018 IEEE Symposium on Visualization for Cyber Security (VizSec), 1-8, 2018
52018
Toward biologically inspired self-healing digital embedded devices: Bio-SymPLe
SS Khairullah, T Bakker, CR Elks
10th International Topical Meeting on Nuclear Plant Instrumentation, Control …, 2017
52017
A main control room simulation facility for NPP human performance, human machine interface research
C Elks, S Guerlain, N Lau, B Johnson, B Bailey, A Macbeth, R Boire, ...
Proceedings of NPIC&HMIT, 934-948, 2012
52012
Design of a high performance FPGA based fault injector for real-time safety-critical systems
M Miklo, CR Elks, RD Williams
ASAP 2011-22nd IEEE International Conference on Application-specific Systems …, 2011
52011
Model-based engineering for functional risk assessment and design of cyber resilient systems
P Beling, B Horowitz, C Fleming, S Adams, G Bakirtzis, B Carter, ...
University of Virginia Charlottesville United States, 2019
42019
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20