Search results for "fault tree"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	J.-R. Chang, K.-H. Chang, S.-H. Liao, C.-H. Cheng	The reliability of general vague fault-tree analysis on weapon systems fault diagnosis.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Vague fault tree analysis, Vague fault tree decision support systems (VFTDSS), Reliability analysis, Military application, Vague sets
3	Hua Song, Hong-Yue Zhang, C. W. Chan	Fuzzy fault tree analysis based on T-S model with application to INS/GPS navigation system.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Reliability, Fuzzy logic, Navigation system, Fault tree analysis, T-S model
3	Jian Wang, Rui Chen, Pengyan Zhang, Ningjie Yu	Fault tree analysis in city lifeline system operations and management-theory and application.	Int. Conf. Interaction Sciences	2009	DBLP DOI BibTeX RDF	city lifeline system, city operations and management, triangular fuzzy number, fault tree analysis
3	Josh Dehlinger, Robyn R. Lutz	Evaluating the Reusability of Product-Line Software Fault Tree Analysis Assets for a Safety-Critical System.	ICSR	2009	DBLP DOI BibTeX RDF	reusable safety analysis assets, safety aspects of reuse, product-line software fault tree analysis, multi-agent system product lines
3	Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos	Compositional Temporal Fault Tree Analysis.	SAFECOMP	2007	DBLP DOI BibTeX RDF	temporal fault trees, formal FTA, automated FTA, fault tree synthesis, formal safety analysis
3	Dong Liu, Weiyan Xing, Chunyuan Zhang, Rui Li, Haiyan Li	Cut Sequence Set Generation for Fault Tree Analysis.	ICESS	2007	DBLP DOI BibTeX RDF	cut sequence set, sequential failure expression, fault tree analysis
3	Josh Dehlinger, Robyn R. Lutz	PLFaultCAT: A Product-Line Software Fault Tree Analysis Tool.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF	software fault tree analysis, safety analysis tools, product-line engineering, hazard analysis
3	Mark L. McKelvin Jr., Gabriel Eirea, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli	A formal approach to fault tree synthesis for the analysis of distributed fault tolerant systems.	EMSOFT	2005	DBLP DOI BibTeX RDF	fault tree construction, feedback control applications, system analysis, design exploration
3	Frank Ortmeier, Wolfgang Reif	Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques.	DSN	2004	DBLP DOI BibTeX RDF	optimization, embedded systems, dependability, safety analysis, fault tree analysis
3	Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale	Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	parametric fault tree, stochastic well-formed nets, Dependability analysis
3	Andreas Schäfer	Combining Real-Time Model-Checking and Fault Tree Analysis.	FME	2003	DBLP DOI BibTeX RDF	Real-time systems, model-checking, fault tree analysis
3	Kevin J. Sullivan, Joanne Bechta Dugan, David Coppit	The Galileo Fault Tree Analysis Tool.	FTCS	1999	DBLP DOI BibTeX RDF	DIFtree, Galileo, component-based, package-oriented programming, dynamic fault tree
3	Piotr J. Gmytrasiewicz, Jeré A. Hassberger, John Chung-Mong Lee	Fault Tree Based Diagnostics Using Fuzzy Logic.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	fault tree based diagnostics, fuzzy symptoms, two-step procedure, minimal cut-sets, triggered gates, fuzzy logic, fuzzy logic, failure analysis, failure modes, component failures, causal reasoning
2	Hassan Reza, Malvika Pimple, Varun Krishna, Jared Hildle	A Safety Analysis Method Using Fault Tree Analysis and Petri Nets.	ITNG	2009	DBLP DOI BibTeX RDF	forward and backward reachability analysis, Petri nets, safety critical systems, fault tree analysis
2	Dominik Domis, Mario Trapp	Component-Based Abstraction in Fault Tree Analysis.	SAFECOMP	2009	DBLP DOI BibTeX RDF
2	Marc Forster, Mario Trapp	Fault Tree Analysis of Software-Controlled Component Systems Based on Second-Order Probabilities.	ISSRE	2009	DBLP DOI BibTeX RDF	probability intervals, simulation, Embedded systems, software, safety, fault tree analysis
2	Ulrik Franke, Waldo Rocha Flores, Pontus Johnson	Enterprise architecture dependency analysis using fault trees and Bayesian networks.	SpringSim	2009	DBLP DOI BibTeX RDF	Bayesian networks, enterprise architecture, dependency analysis, fault tree analysis, DoDAF
2	Marcin Krysinski, George Anders	Application of Time-Dependent Fault Tree Models for the Analysis of Project Schedule Failure Conditions.	ICC	2008	DBLP DOI BibTeX RDF
2	Juan Li, Hou-Xiang Wang	Fault Tree Based Prediction of Software Systems Safety.	CSSE	2008	DBLP DOI BibTeX RDF
2	Hassan Reza, Steve Buettner, Varun Krishna	A Method to Test Component Off-the-Shelf (COTS) Used in Safety Critical Systems.	ITNG	2008	DBLP DOI BibTeX RDF	Software Fault Tree Analysis, UML Communication Diagrams, Software Testing, COTS
2	Hongyu Sun, Miriam Hauptman, Robyn R. Lutz	Integrating Product-Line Fault Tree Analysis into AADL Models.	HASE	2007	DBLP DOI BibTeX RDF
2	Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga	Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains.	DSN	2007	DBLP DOI BibTeX RDF	compositional aggregation, Markov chain, modularity, Fault tree, Interactive process
2	Marco Bozzano, Alessandro Cimatti, Francesco Tapparo	Symbolic Fault Tree Analysis for Reactive Systems.	ATVA	2007	DBLP DOI BibTeX RDF
2	Nang-Fei Pan, Huaitien Wang	Assessing Failure of Bridge Construction Using Fuzzy Fault Tree Analysis.	FSKD	2007	DBLP DOI BibTeX RDF
2	Hui Peng, Wenli Shang, Haibo Shi, Wei Peng	On-Line Monitoring and Diagnosis of Failures Using Control Charts and Fault Tree Analysis (FTA) Based on Digital Production Model.	KSEM	2007	DBLP DOI BibTeX RDF	Fault tree analysis (FTA), Manufacturing execution system (MES), Statistic process control (SPC), Fault diagnosis, Knowledge base
2	Reiner Heilmann, Stefan Rothbauer, Ariane Sutor	Component Fault Tree Analysis Resolves Complexity: Dependability Confirmation for a Railway Brake System.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Hierarchical Fault Trees, Combinatorial Fault Trees, Railway Brake System, Practical Example
2	Dong Liu, Chunyuan Zhang, Weiyan Xing, Rui Li, Haiyan Li	Quantification of Cut Sequence Set for Fault Tree Analysis.	HPCC	2007	DBLP DOI BibTeX RDF
2	William Marsh, George Bearfield	Representing Parameterised Fault Trees Using Bayesian Networks.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Bayesian network, risk analysis, fault tree
2	D. Needham, S. Jones	A Software Fault Tree Metric.	ICSM	2006	DBLP DOI BibTeX RDF
2	Bin Chen, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil	Automatic Fault Tree Derivation from Little-JIL Process Definitions.	SPW/ProSim	2006	DBLP DOI BibTeX RDF
2	Rasa Remenyte, John D. Andrews	A Simple Component Connection Approach for Fault Tree Conversion to Binary Decision Diagram.	ARES	2006	DBLP DOI BibTeX RDF
2	K. Jenab, B. S. Dhillon	Stochastic fault tree analysis with self-loop basic events.	IEEE Transactions on Reliability	2005	DBLP DOI BibTeX RDF
2	Tao Zhang, Mingzeng Hu, Xiao-chun Yun, Yongzheng Zhang 0002	Computer Vulnerability Evaluation Using Fault Tree Analysis.	ISPEC	2005	DBLP DOI BibTeX RDF
2	Jianwen Xiang, Kazuhiro Ogata	Formal Fault Tree Analysis of State Transition Systems.	QSIC	2005	DBLP DOI BibTeX RDF
2	Josh Dehlinger, Robyn R. Lutz	Software Fault Tree Analysis for Product Lines.	HASE	2004	DBLP DOI BibTeX RDF
2	Daniele Codetta Raiteri, Mauro Iacono, Giuliana Franceschinis, Valeria Vittorini	Repairable Fault Tree for the Automatic Evaluation of Repair Policies.	DSN	2004	DBLP DOI BibTeX RDF
2	Jianwen Xiang, Kokichi Futatsugi, Yanxiang He	Fault Tree and Formal Methods in System Safety Analysis.	CIT	2004	DBLP DOI BibTeX RDF
2	Massood Towhidnejad, Dolores R. Wallace, Albert M. Gallo	Validation of Object Oriented Software Design With Fault Tree Analysis.	SEW	2003	DBLP DOI BibTeX RDF
2	Andreas Thums, Gerhard Schellhorn	Model Checking FTA.	FME	2003	DBLP DOI BibTeX RDF	model checking, safety analysis, fault tree analysis
2	Guy G. Helmer, Johnny S. Wong, Mark Slagell, Vasant Honavar, Les Miller, Robyn R. Lutz	A Software Fault Tree Approach to Requirements Analysis of an Intrusion Detection System.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Software fault tree, Mobile agents, Intrusion detection system, Requirements analysis, Coloured Petri nets
2	Pierre Bieber, Charles Castel, Christel Seguin	Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System.	EDCC	2002	DBLP DOI BibTeX RDF
2	Ganesh J. Pai, Joanne Bechta Dugan	Automatic Synthesis of Dynamic Fault Trees from UML System Models.	ISSRE	2002	DBLP DOI BibTeX RDF	Fault tree synthesis, UML, Reliability analysis, Dynamic fault trees
2	Joanne Bechta Dugan	Galileo: A Tool for Dynamic Fault Tree Analysis.	Computer Performance Evaluation / TOOLS	2000	DBLP DOI BibTeX RDF
2	Masayuki Hirayama, Jiro Okayasu, Tetsuya Yamamoto, Osamu Mizuno, Tohru Kikuno	Generating test items for checking illegal behaviors in software testing.	Asian Test Symposium	2000	DBLP DOI BibTeX RDF	illegal behaviors, test items, electrical appliances, case notation, deviation analysis technique, software fault tree, software testing, fault diagnosis, program testing, software fault tolerance, fault trees
2	Jan Magott, Pawel Skrobanek	A Method of Analysis of Fault Trees with Time Dependencies.	SAFECOMP	2000	DBLP DOI BibTeX RDF	Safety-Critical System, Protection, Time Petri Net, Fault Tree, Time Dependency
2	Michael A. Copenhafer, Kevin J. Sullivan	Exploration Harnesses: Tool-Supported Interactive Discovery of Commercial Component Properties. (PDF / PS)	ASE	1999	DBLP DOI BibTeX RDF	component, exploration, fault-tree, Galileo, package-oriented programming
2	Ragavan Manian, Joanne Bechta Dugan, David Coppit, Kevin J. Sullivan	Combining Various Solution Techniques for Dynamic Fault Tree Analysis of Computer Systems. (PDF / PS)	HASE	1998	DBLP DOI BibTeX RDF
2	Kevin J. Sullivan, John C. Knight	Experience Assessing an Architectural Approach to Large-Scale Systematic Reuse.	ICSE	1996	DBLP BibTeX RDF	Microsoft's OLE technology, architectural approach, architectural mismatch, fault-tree analysis tool, high-quality software, large-scale software components, large-scale systematic reuse, software quality, software reusability
2	Dov Bulka	Fault tree models for reliability analysis of an FDDI token ring network.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF
2	Takeshi Nakajo, Hitoshi Kume	A Case History Analysis of Software Error Cause-Effect Relationships.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	cause-effect relationships, case-based error analysis, program faults, process flaws, structured analysis and structured design, Software development, human errors, Fault Tree Analysis
2	C. V. Ramamoorthy, Gary S. Ho, Yih-Wu Han	Fault tree analysis of computer systems.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
1	Wei Liang, Jinqiu Hu, Laibin Zhang, Cunjie Guo, Weipeng Lin	Assessing and classifying risk of pipeline third-party interference based on fault tree and SOM.	Eng. Appl. of AI	2012	DBLP DOI BibTeX RDF
1	Hong-Lin Zhang, Chunyuan Zhang, Dong Liu	Identification method of independent module for dynamic fault tree with interdependent basic events and repeated events.	IJCAT	2012	DBLP DOI BibTeX RDF
1	Gabor Rebner, Ekaterina Auer, Wolfram Luther	A verified realization of a Dempster-Shafer based fault tree analysis.	Computing	2012	DBLP DOI BibTeX RDF
1	Hong-Zhong Huang, Hua Zhang, Yanfeng Li	A New Ordering Method of Basic Events in Fault Tree Analysis.	Quality and Reliability Eng. Int.	2012	DBLP DOI BibTeX RDF
1	Zixian Liu, Xin Ni, Yiliu Liu, Qinglu Kong, Yukun Wang	Gastric esophageal surgery risk analysis with a fault tree and Markov integrated model.	Rel. Eng. & Sys. Safety	2011	DBLP DOI BibTeX RDF
1	Sergio Contini, Vaidas Matuzas	New methods to determine the importance measures of initiating and enabling events in fault tree analysis.	Rel. Eng. & Sys. Safety	2011	DBLP DOI BibTeX RDF
1	Nima Khakzad, Faisal Khan, Paul Amyotte	Safety analysis in process facilities: Comparison of fault tree and Bayesian network approaches.	Rel. Eng. & Sys. Safety	2011	DBLP DOI BibTeX RDF
1	Zineb Simeu-Abazi, Arnaud Lefebvre, Jean-Pierre Derain	A methodology of alarm filtering using dynamic fault tree.	Rel. Eng. & Sys. Safety	2011	DBLP DOI BibTeX RDF
1	Ashok Deshpande	Fuzzy fault tree analysis: revisited.	Int. J. Systems Assurance Engineering and Management	2011	DBLP DOI BibTeX RDF
1	Christoph Lauer, Reinhard German, Jens Pollmer	Fault tree synthesis from UML models for reliability analysis at early design stages.	ACM SIGSOFT Software Engineering Notes	2011	DBLP DOI BibTeX RDF
1	Christelle Jacob, Didier Dubois, Janette Cardoso	Uncertainty Handling in Quantitative BDD-Based Fault-Tree Analysis by Interval Computation.	SUM	2011	DBLP DOI BibTeX RDF
1	Dezhong Ma, Yongqing Jang, Zhen Zhou, Tonghui Zhao, Dawei Lin	Grey relation analysis on fuzzy fault tree of disk brake.	EMEIT	2011	DBLP DOI BibTeX RDF
1	Farrokh Aghassi, Hadi Aghassi, Zahra Sheykhlar	A speed-up algorithm in Monte Carlo simulation for fault tree analysis with GPU computing.	SoCPaR	2011	DBLP DOI BibTeX RDF
1	Hichem Boudali, Pepijn Crouzen, Mariëlle Stoelinga	A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis.	IEEE Trans. Dependable Sec. Comput.	2010	DBLP DOI BibTeX RDF
1	Ulrich Hauptmanns	A decision-making framework for protecting process plants from flooding based on fault tree analysis.	Rel. Eng. & Sys. Safety	2010	DBLP DOI BibTeX RDF
1	Jussi K. Vaurio	Ideas and developments in importance measures and fault-tree techniques for reliability and risk analysis.	Rel. Eng. & Sys. Safety	2010	DBLP DOI BibTeX RDF
1	Cheng-gang Wang, Zi-zhen Wang	Design and Implementation of Safety Expert Information Management System of Coal Mine Based on Fault Tree.	JSW	2010	DBLP DOI BibTeX RDF
1	Shengwu Hu, Xiaosan Ge	GIS reliability analysis based trapezoid fuzzy fault tree.	Geoinformatics	2010	DBLP DOI BibTeX RDF
1	Jianwen Xiang, Kazuo Yanoo	Automatic Static Fault Tree Analysis from System Models.	PRDC	2010	DBLP DOI BibTeX RDF
1	Alper Pahsa, T. Arinc Bayazit, Gokcen Alat, Buyurman Baykal	Fault tree analysis of a fire hazard of a power distribution cabinet with Petri Nets.	SMC	2010	DBLP DOI BibTeX RDF
1	Bei-ping Tang	A novel knowledge discovery approach based on rough sets and fault tree analysis.	FSKD	2010	DBLP DOI BibTeX RDF
1	Yong-hua Li, Wan-zhen Shao, Jun Zhang	Fuzzy grey fault tree analysis on diesel engine reliability.	FSKD	2010	DBLP DOI BibTeX RDF
1	Liping He, Zongwen An	Possibilistic information measure of importance in fault tree analysis.	FSKD	2010	DBLP DOI BibTeX RDF
1	Xiao-lin Liang, Qing-zhen Yang	Research on Fault Tree Based Complex Electronic Device Fault Diagnosis Expert System.	DSDE	2010	DBLP DOI BibTeX RDF
1	Huifang Shi, Wenhua Song, Qinggong Li	Design and Implementation of Inference Engine in Safety Risk Assessment Expert System in Petrochemical Industry Based on Fault Tree.	DSDE	2010	DBLP DOI BibTeX RDF
1	Dong-an Zhao, Jun-jie Zheng, Ye-wei Zheng	Risk analysis of shield tunnel segment failure based on Fuzzy Fault Tree method.	ICNC	2010	DBLP DOI BibTeX RDF
1	Julwan H. Purba, Jie Lu, Da Ruan, Guangquan Zhang	A Hybrid Approach for Fault Tree Analysis Combining Probabilistic Method with Fuzzy Numbers.	ICAISC	2010	DBLP DOI BibTeX RDF
1	Hong-Lin Zhang, Chunyuan Zhang, Dong Liu, Gui-Wu Xie	Importance Measure Method for Dynamic Fault Tree Based on Isomorphic Node.	ICICA (LNCS)	2010	DBLP DOI BibTeX RDF
1	Tanvir Hussain, Robert Eschbach	Automated fault tree generation and risk-based testing of networked automation systems.	ETFA	2010	DBLP DOI BibTeX RDF
1	Huang Xiao Tao, Cai Liang, Wu Chi, Huang Li Qun	The research of information security risk assessment method based on fault tree.	NCM	2010	DBLP BibTeX RDF
1	Marc Forster, Daniel Schneider	Flexible, Any-Time Fault Tree Analysis with Component Logic Models.	ISSRE	2010	DBLP DOI BibTeX RDF
1	Yiannis Papadopoulos, Martin Walker, Mark-Oliver Reiser, Matthias Weber, De-Jiu Chen, Martin Törngren, David Servat, Andreas Abele, Friedhelm Stappert, Henrik Lönn, L. Berntsson, Rolf Johansson, Fulvio Tagliabo, Sandra Torchiaro, Anders Sandberg	Automatic allocation of safety integrity levels.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	CENELEC standards, HiP-HOPS, ISO 26262, SIL allocation, fault tree synthesis, safety integrity levels, IEC 61508
1	Amita Devaraj, Kesari Mishra, Kishor S. Trivedi	Uncertainty Propagation in Analytic Availability Models.	SRDS	2010	DBLP DOI BibTeX RDF	Aleatory uncertainty, epistemic distribution, uncertainty propagation, Markov model, hierarchical model, confidence interval, fault tree, availability model
1	E. E. Hurdle, L. M. Bartlett, J. D. Andrews	Fault diagnostics of dynamic system operation using a fault tree based method.	Rel. Eng. & Sys. Safety	2009	DBLP DOI BibTeX RDF
1	Ho-Gon Lim, Jin-Hee Park, Sang-Hoon Han, Seong-Cheol Jang	Fault tree conditioning methods to trace system configuration changes for the application to low-power/shutdown PSA.	Rel. Eng. & Sys. Safety	2009	DBLP DOI BibTeX RDF
1	Andrija Volkanovski, Marko Cepin, Borut Mavko	Application of the fault tree analysis for assessment of power system reliability.	Rel. Eng. & Sys. Safety	2009	DBLP DOI BibTeX RDF
1	K. Durga Rao, V. Gopika, V. V. S. Sanyasi Rao, H. S. Kushwaha, A. K. Verma, Ajit Srividya	Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment.	Rel. Eng. & Sys. Safety	2009	DBLP DOI BibTeX RDF
1	Jianye Ching, Sou-Sen Leu	Bayesian updating of reliability of civil infrastructure facilities based on condition-state data and fault-tree model.	Rel. Eng. & Sys. Safety	2009	DBLP DOI BibTeX RDF
1	L. M. Bartlett, E. E. Hurdle, E. M. Kelly	Integrated system fault diagnostics utilising digraph and fault tree-based approaches.	Rel. Eng. & Sys. Safety	2009	DBLP DOI BibTeX RDF
1	Aref Majdara, Toshio Wakabayashi	Component-based modeling of systems for automated fault tree generation.	Rel. Eng. & Sys. Safety	2009	DBLP DOI BibTeX RDF
1	Shuenn-Ren Cheng, Binshan Lin, Bi-Min Hsu, Ming-Hung Shu	Fault-tree analysis for liquefied natural gas terminal emergency shutdown system.	Expert Syst. Appl.	2009	DBLP DOI BibTeX RDF
1	Ioannis M. Dokas, Dimitris A. Karras, D. C. Panagiotakopoulos	Fault tree analysis and fuzzy expert systems: Early warning and emergency response of landfill operations.	Environmental Modelling and Software	2009	DBLP DOI BibTeX RDF
1	Mauricio F. Blos, Hui-Ming Wee, Leopoldo Eduardo Cárdenas-Barrón	The threat of outsourcing US ports operation to any terrorist country supporter: a case study using fault tree analysis.	IJIDS	2009	DBLP DOI BibTeX RDF
1	Weigong Chen	Study on Computer-Aided Fault Tree Construction for Geological Disasters.	DBTA	2009	DBLP DOI BibTeX RDF
1	Yi Ren, Linlin Liu, Shengkui Zeng	Fault Tree Data Structure Based on XML and the Conversion Method to BDD.	CSIE	2009	DBLP DOI BibTeX RDF
1	N. G. Jin, L. Tang, C. Q. Fu, X. Y. Jin	Risk Analysis of Tunnel Lining Using Fault Tree Theory and Entropy Measurement.	CSIE	2009	DBLP DOI BibTeX RDF
1	Frank Reichenbach, Kjell-Joar Alme, Jan Endresen	On the Significance of Fault Tree Analysis in Practice.	ETFA	2009	DBLP DOI BibTeX RDF
1	G. Latif-Shabgahi, F. Tajarrod	A New Approach for the Construction of Fault Trees from System Simulink.	ARES	2009	DBLP DOI BibTeX RDF
1	Paolo Bucci, Jason Kirschenbaum, L. Anthony Mangan, Tunc Aldemir, Curtis Smith, Ted Wood	Construction of event-tree/fault-tree models from a Markov approach to dynamic system reliability.	Rel. Eng. & Sys. Safety	2008	DBLP DOI BibTeX RDF