Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Jason Kirschenbaum"'
Autor:
Bruce Adcock, Derek Bronish, Jason Kirschenbaum, Hampton Smith, Joan Krone, David Frazier, Heather Harton, Harvey M. Friedman, Jeremy Avigad, Wayne D. Heym, Murali Sitaraman, Bruce W. Weide, Paolo Bucci
Publikováno v:
Formal Aspects of Computing. 23:607-626
A central objective of the verifying compiler grand challenge is to develop a push-button verifier that generates proofs of correctness in a syntax-driven fashion similar to the way an ordinary compiler generates machine code. The software developer
Autor:
Eylem Ekici, L. A. Mangan, Xiaodong Sun, Michael Yau, Don W. Miller, Paolo Bucci, Tunc Aldemir, Sergio Guarro, Jason Kirschenbaum, Steven A. Arndt, Diego Mandelli
Publikováno v:
ResearcherID
The Markov/cell-to-cell mapping technique (CCMT) and the dynamic flowgraph methodology (DFM) are two system logic modeling methodologies that have been proposed to address the dynamic characteristics of digital instrumentation and control (I&C) syste
Autor:
Diego Mandelli, Eylem Ekici, Jason Kirschenbaum, Michael P. Stovsky, Tunc Aldemir, Sergio Guarro, Paolo Bucci, Steven A. Arndt, Michael Yau
Publikováno v:
Nuclear Technology. 165:53-95
There is an accelerating trend to upgrade and replace nuclear power plant analog instrumentation and control systems with digital systems. While various methodologies are available for the reliability modeling of these systems for plant probabilistic
Publikováno v:
Reliability Engineering & System Safety. 93:1616-1627
While the event-tree (ET)/fault-tree (FT) methodology is the most popular approach to probability risk assessment (PRA), concerns have been raised in the literature regarding its potential limitations in the reliability modeling of dynamic systems. M
Autor:
Audeen W. Fentiman, Jason Kirschenbaum, L. Anthony Mangan, Tunc Aldemir, Steven A. Arndt, Michael P. Stovsky, Paolo Bucci, Don W. Miller
Publikováno v:
Nuclear Technology. 159:167-191
Nuclear power plants are in the process of replacing the existing analog instrumentation and control (I&C) systems with digital technology. Digital systems distinguish themselves from other control and instrumentation systems mainly due to the presen
Autor:
Aditi Tagore, Harvey M. Friedman, Dennis K. Pearl, Diego Zaccai, Bruce W. Weide, Dustin Hoffman, Jason Kirschenbaum, Zakariya Bainazarov
Publikováno v:
SIGCSE
Syrus is courseware designed with the goal of helping students better understand logical sentences involving quantifiers. Syrus uses template-guided mutation of "seed" formulas to generate candidate practice problems, and third-party theorem-provers
Publikováno v:
FoSER
Many fields of study within computer science have benefited from the adoption of community-wide benchmarks and competitions. Software engineering has yet to fully embrace this approach. Case studies of existing uses of these techniques are presented,
Autor:
Scott M. Pike, Bruce Adcock, Derek Bronish, Jason Kirschenbaum, Bruce W. Weide, Wayne D. Heym
Publikováno v:
OOPSLA Companion
Data movement in nearly all modern imperative languages is based on a single primitive: traditional assignment. (With traditional assignment, data are moved between variables by copying.) Unfortunately, traditional assignment poses many known softwar
Autor:
Bruce Adcock, Derek Bronish, Hampton Smith, Heather Harton, Murali Sitaraman, Jason Kirschenbaum, Bruce W. Weide
Publikováno v:
Formal Foundations of Reuse and Domain Engineering ISBN: 9783642042102
ICSR
ICSR
Anecdotal experience constructing proofs of correctness of code built from reusable software components reveals that they tend to be relatively trivial bookkeeping exercises: they rarely require a substantive mathematical deduction. A careful empiric
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9c736373d8501a04ea37a926cd687548
https://doi.org/10.1007/978-3-642-04211-9_4
https://doi.org/10.1007/978-3-642-04211-9_4
Autor:
Jason Kirschenbaum, Wayne D. Heym, David Frazier, Heather Harton, Murali Sitaraman, Bruce W. Weide, Paolo Bucci, Bruce Adcock, Derek Bronish
Publikováno v:
Verified Software: Theories, Tools, Experiments ISBN: 9783540878728
VSTTE
VSTTE
This paper proposes an initial catalog of easy-to-state, relatively simple, and incrementally more and more challenging benchmark problems for the Verified Software Initiative. These benchmarks support assessment of verification tools and techniques
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d9c230ee8508ea4026ac8ddb410152a9
https://doi.org/10.1007/978-3-540-87873-5_10
https://doi.org/10.1007/978-3-540-87873-5_10