default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJoanne Bechta Dugan
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[c33]Ahmed Aly, Gianluca Guadagni
, Joanne Bechta Dugan:
Derivative-Free Optimization of Neural Networks using Local Search. UEMCON 2019: 293-299- 2018
- [j23]Yuchang Mo, Liudong Xing, Joanne Bechta Dugan:
Performability Analysis of k-to-l-Out-of-n Computing Systems Using Binary Decision Diagrams. IEEE Trans. Dependable Secur. Comput. 15(1): 126-137 (2018) - [i1]Ahmed Aly, Joanne Bechta Dugan:
Experiential Robot Learning with Accelerated Neuroevolution. CoRR abs/1808.05525 (2018) - 2017
- [c32]Ahmed A. Aly, Joanne Bechta Dugan:
Experiential robot learning with deep neural networks. ICDL-EPIROB 2017: 356-361 - 2015
- [j22]Yuchang Mo, Liudong Xing, Suprasad V. Amari, Joanne Bechta Dugan:
Efficient analysis of multi-state k-out-of-n systems. Reliab. Eng. Syst. Saf. 133: 95-105 (2015) - 2014
- [j21]Liudong Xing, Brock A. Morrissette, Joanne Bechta Dugan:
Combinatorial Reliability Analysis of Imperfect Coverage Systems Subject to Functional Dependence. IEEE Trans. Reliab. 63(1): 367-382 (2014) - [j20]Yuchang Mo, Liudong Xing, Joanne Bechta Dugan:
MDD-Based Method for Efficient Analysis on Phased-Mission Systems With Multimode Failures. IEEE Trans. Syst. Man Cybern. Syst. 44(6): 757-769 (2014) - 2012
- [j19]Liudong Xing, Ola Tannous, Joanne Bechta Dugan:
Reliability Analysis of Nonrepairable Cold-Standby Systems Using Sequential Binary Decision Diagrams. IEEE Trans. Syst. Man Cybern. Part A 42(3): 715-726 (2012) - 2011
- [c31]Ronald D. Williams, Joanne Bechta Dugan:
Improving efficiency in engineering education through asynchronous computer-based instruction. FIE 2011: 4
2000 – 2009
- 2008
- [j18]Hichem Boudali, Joanne Bechta Dugan:
Corrections on "A Continuous-Time Bayesian Network Reliability Modeling and Analysis Framework". IEEE Trans. Reliab. 57(3): 532-533 (2008) - [c30]Josh Dehlinger, Joanne Bechta Dugan:
Dynamic Event/Fault Tree Analysis of Multi-agent Systems Using Galileo. QSIC 2008: 429-434 - 2007
- [j17]Ganesh J. Pai, Joanne Bechta Dugan:
Empirical Analysis of Software Fault Content and Fault Proneness Using Bayesian Methods. IEEE Trans. Software Eng. 33(10): 675-686 (2007) - [c29]Joanne Bechta Dugan, Ganesh J. Pai, Hong Xu:
Combining Software Quality Analysis with Dynamic Event/Fault Trees for High Assurance Systems Engineering. HASE 2007: 245-255 - 2006
- [j16]Hichem Boudali, Joanne Bechta Dugan:
A continuous-time Bayesian network reliability modeling, and analysis framework. IEEE Trans. Reliab. 55(1): 86-97 (2006) - [j15]Zhihua Tang, Joanne Bechta Dugan:
BDD-based reliability analysis of phased-mission systems with multimode failures. IEEE Trans. Reliab. 55(2): 350-360 (2006) - 2005
- [j14]Hichem Boudali, Joanne Bechta Dugan:
A discrete-time Bayesian network reliability modeling and analysis framework. Reliab. Eng. Syst. Saf. 87(3): 337-349 (2005) - [c28]Susan K. Donohue, Joanne Bechta Dugan, Charles L. Brown:
Is My Software "Good Enough" to Release? - A Probabilistic Assessment. SEW 2005: 5-13 - [c27]Ganesh J. Pai, Joanne Bechta Dugan, Khalid Lateef:
Bayesian Networks applied to Software IV&V. SEW 2005: 293-304 - 2004
- [j13]Liudong Xing, Joanne Bechta Dugan:
Comments on PMS BDD generation in 'A BDD-based algorithm for Reliability Analysis of phased-mission systems'. IEEE Trans. Reliab. 53(2): 169-173 (2004) - [j12]Liudong Xing, Joanne Bechta Dugan:
A separable ternary decision diagram based analysis of generalized phased-mission reliability. IEEE Trans. Reliab. 53(2): 174-184 (2004) - [j11]Yong Ou, Joanne Bechta Dugan:
Modular solution of dynamic multi-phase systems. IEEE Trans. Reliab. 53(4): 499-508 (2004) - [c26]Vinu Vijay Kumar, Rashi Verma, John C. Lach, Joanne Bechta Dugan:
A Markov Reward Model for Reliable Synchronous Dataflow System Design. DSN 2004: 817-825 - 2003
- [j10]Yong Ou, Joanne Bechta Dugan:
Approximate sensitivity analysis for acyclic Markov reliability models. IEEE Trans. Reliab. 52(2): 220-230 (2003) - [c25]Ed Stoker, Joanne Bechta Dugan:
When Does It Pay to Make Software More Reliable?. ISSRE 2003: 321-331 - 2002
- [j9]Lori M. Kaufman, Barry W. Johnson, Joanne Bechta Dugan:
Coverage Estimation Using Statistics of the Extremes for When Testing Reveals No Failures. IEEE Trans. Computers 51(1): 3-12 (2002) - [j8]Liudong Xing, Joanne Bechta Dugan:
Analysis of generalized phased-mission system reliability, performance, and sensitivity. IEEE Trans. Reliab. 51(2): 199-211 (2002) - [j7]Leila Meshkat, Joanne Bechta Dugan, John D. Andrews:
Dependability analysis of systems with on-demand and active failure modes, using dynamic fault trees. IEEE Trans. Reliab. 51(2): 240-251 (2002) - [c24]Ganesh J. Pai, Joanne Bechta Dugan:
Automatic Synthesis of Dynamic Fault Trees from UML System Models. ISSRE 2002: 243-256 - 2001
- [j6]Hany H. Ammar, Tooraj Nikzadeh, Joanne Bechta Dugan:
Risk assessment of software-system specifications. IEEE Trans. Reliab. 50(2): 171-183 (2001) - 2000
- [j5]Joanne Bechta Dugan, Kevin J. Sullivan, David Coppit:
Developing a low-cost high-quality software tool for dynamic fault-tree analysis. IEEE Trans. Reliab. 49(1): 49-59 (2000) - [c23]Joanne Bechta Dugan:
Galileo: A Tool for Dynamic Fault Tree Analysis. Computer Performance Evaluation / TOOLS 2000: 328-331 - [c22]David Coppit, Kevin J. Sullivan, Joanne Bechta Dugan:
Formal Semantics for Computational Engineering: A Case Study on Dynamic Fault Trees. ISSRE 2000: 270-282
1990 – 1999
- 1999
- [c21]Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit:
The Galileo Fault Tree Analysis Tool. FTCS 1999: 232-235 - [c20]Joanne Bechta Dugan, Kevin J. Sullivan, David Coppit:
Developing a high-quality software tool for fault tree analysis. ISSRE 1999: 222-231 - 1998
- [c19]Ragavan Manian, Joanne Bechta Dugan, David Coppit, Kevin J. Sullivan:
Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. HASE 1998: 21-28 - [c18]Lori M. Kaufman, Joanne Bechta Dugan, Barry W. Johnson:
Using statistics of the extremes for software reliability analysis of safety critical systems. ISSRE 1998: 355-363 - 1997
- [c17]Hany H. Ammar, Tooraj Nikzadeh, Joanne Bechta Dugan:
An example of risk assessment of software systems specifications. ISSRE 1997: 156-167 - [c16]Hany H. Ammar, Tooraj Nikzadeh, Joanne Bechta Dugan:
A Methodology For Risk Assessment Of Functional Specification Of Software Systems Using Colored Petri Nets. IEEE METRICS 1997: 108- - 1996
- [c15]Jian Chiu, Joanne Bechta Dugan:
Analysis of a Multistage Interconnection Network using Binary Decision Diagrams. SRDS 1996: 34-43 - 1995
- [c14]Joanne Bechta Dugan, K. H. Kim:
(Position Paper) Quantitative Analysis of Software- and Hardware- Fault Tolerance. COMPSAC 1995: 392 - [c13]Stacy A. Doyle, Joanne Bechta Dugan:
Dependability Assessment using Binary Decision Diagrams (BDDs). FTCS 1995: 249-258 - 1994
- [j4]Joanne Bechta Dugan, Randy Van Buren:
Reliability evaluation of fly-by-wire computer systems. J. Syst. Softw. 25(1): 109-120 (1994) - [c12]Joanne Bechta Dugan:
Experimental analysis of models for correlation in multiversion software. ISSRE 1994: 36-44 - [c11]Joanne Bechta Dugan:
Reliability Analysis of a Hardware and Software Fault Tolerant Parallel Processor. SRDS 1994: 74-83 - 1993
- [c10]Joanne Bechta Dugan, Michael R. Lyu:
System reliability analysis of an N-version programming application. ISSRE 1993: 103-111 - 1992
- [c9]Dov Bulka, Joanne Bechta Dugan:
Design and Analysis of Multibus Systems Using Projective Geometry. FTCS 1992: 122-129 - 1990
- [c8]Jill J. Hallenbeck, Joanne Bechta Dugan:
Design of fault-tolerant systems. CBMS 1990: 162-169 - [c7]Dov Bulka, Joanne Bechta Dugan:
A Lower Bound On The Reliability of an n-Dimensional Hypercube. SRDS 1990: 44-53
1980 – 1989
- 1989
- [j3]Joanne Bechta Dugan, Kishor S. Trivedi:
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems. IEEE Trans. Computers 38(6): 775-787 (1989) - [j2]Joanne Bechta Dugan, Gianfranco Ciardo:
Stochastic Petri Net Analysis of a Replicated File System. IEEE Trans. Software Eng. 15(4): 394-401 (1989) - [c6]Joanne Bechta Dugan, Dan C. Marinescu, Giovanni Chiola, Yoshio Sugasawa, William H. Sanders, Gianfranco Ciardo:
Panel: Applications of Performance Petri Nets. PNPM 1989: 164 - [c5]Joanne Bechta Dugan, Malathi Veeraraghavan, Mark Boyd, Nitin Mittal:
Bounded Approximate Reliability Models for Distributed Systems. SRDS 1989: 137-147 - 1987
- [c4]Joanne Bechta Dugan, Gianfranco Ciardo:
Stochastic Petri Net Analysis of a Replicated File System. PNPM 1987: 84-92 - 1986
- [j1]Robert Geist, Mark Smotherman, Kishor S. Trivedi, Joanne Bechta Dugan:
The Reliability of Life-Critical Computer Systems. Acta Informatica 23(6): 621-642 (1986) - 1985
- [c3]Joanne Bechta Dugan, Andrea Bobbio, Gianfranco Ciardo, Kishor S. Trivedi:
The Design of a Unified Package for the Solution of Stochastic Petri Net Models. PNPM 1985: 6-13 - 1984
- [c2]Kishor S. Trivedi, Joanne Bechta Dugan, Robert Geist, Mark Smotherman:
Issues in reliability modeling of fault-tolerant computers. Fehlertolerierende Rechensysteme 1984: 228-239 - [c1]Joanne Bechta Dugan, Kishor S. Trivedi, Robert Geist, Victor F. Nicola:
Extended Stochastic Petri Nets: Applications and Analysis. Performance 1984: 507-519
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
