Concepedia

Jason Kirschenbaum

JK

5

Publications

256

Citations

5

H-Index

2007

Active since

Affiliations

The Ohio State University(Current)

United States Nuclear Regulatory Commission

Jason Kirschenbaum is an author at The Ohio State University specializing in engineering, systems engineering, and system reliability.

Top concepts

Publications per year

2007–2010

5

Publications

5

Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability

Paolo Bucci, Jason Kirschenbaum, L. Anthony Mangan et al. · Reliability Engineering & System Safety · 2008 · 106 citations

, , +10

Probabilistic risk assessment modeling of digital instrumentation and control systems using two dynamic methodologies

Tunc Aldemir, Sergio Guarro, Diego Mandelli et al. · Reliability Engineering & System Safety · 2010 · 60 citations

, , +16

Building a push-button RESOLVE verifier: Progress and challenges

Murali Sitaraman, Bruce Adcock, Jeremy Avigad et al. · Formal Aspects of Computing · 2010 · 49 citations · Full text

A Benchmark System for Comparing Reliability Modeling Approaches for Digital Instrumentation and Control Systems

Jason Kirschenbaum, Paolo Bucci, Michael P. Stovsky et al. · Nuclear Technology · 2009 · 24 citations

, , +20

Methodologies for the Probabilistic Risk Assessment of Digital Reactor Protection and Control Systems

Tunc Aldemir, D.W. Miller, Michael P. Stovsky et al. · Nuclear Technology · 2007 · 17 citations

, , +19

Rows per page

1–5 of 5