Search results for "FTA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
121	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
102	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
102	Daniel Lima Ferrão, Ricardo Reis 0001, José Luís Almada Güntzel	Considering Zero-Arrival Time and Block-Arrival Time in Hierarchical Functional Timing Analysis.	PATMOS	2006	DBLP DOI BibTeX RDF
102	Ling Yuan, Jin Song Dong, Jing Sun 0002	Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL.	APSEC	2006	DBLP DOI BibTeX RDF
95	Hasan Sözer, Bedir Tekinerdogan, Mehmet Aksit	Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level.	WADS	2006	DBLP DOI BibTeX RDF	FTA, reliability analysis, FMEA, software architecture evaluation
85	Hongyu Sun 0001, Miriam Hauptman, Robyn R. Lutz	Integrating Product-Line Fault Tree Analysis into AADL Models.	HASE	2007	DBLP DOI BibTeX RDF
70	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
68	Herman Geuvers, Freek Wiedijk, Jan Zwanenburg	A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals.	TYPES	2000	DBLP DOI BibTeX RDF
51	Eung Nam Ko, Kee Chun Bang	An Intelligent Error Detection Model for Reliable QoS Constraints Running on Pervasive Computing.	ICAT Workshops	2006	DBLP DOI BibTeX RDF
51	Jianwen Xiang, Kazuhiro Ogata 0001	Formal Fault Tree Analysis of State Transition Systems.	QSIC	2005	DBLP DOI BibTeX RDF
51	Hideo Kawakami, Nobuhiko Sugano, Takashi Nagaoka, Keisuke Hagio, Kazuo Yonenobu, Hideki Yoshikawa, Takahiro Ochi, Asaki Hattori, Naoki Suzuki	3D Analysis of the Alignment of the Lower Extremity in High Tibial Osteotomy.	MICCAI (2)	2002	DBLP DOI BibTeX RDF
43	Andreas Thums, Gerhard Schellhorn	Model Checking FTA.	FME	2003	DBLP DOI BibTeX RDF	model checking, safety analysis, fault tree analysis
34	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
34	Yi Zhu 0005, Gang Jiang, Jason P. Jue	Flow Aggregation and Light-Tree Establishment in Multicast-Capable Optical Networks.	ICC	2008	DBLP DOI BibTeX RDF
34	Zhiqiang Yu, Chun Hua Zhao, Dalin Zhu, Mingsong Zhang	Research on Case Representation in Printing Machine Fault Diagnosis Expert System Based on Case-Based Reasoning.	CSSE (1)	2008	DBLP DOI BibTeX RDF
34	Elena Troubitsyna	Elicitation and Specification of Safety Requirements.	ICONS	2008	DBLP DOI BibTeX RDF	requirements engineering, software development, safety analysis
34	Georg Gottlob, Reinhard Pichler, Fang Wei 0001	Monadic datalog over finite structures with bounded treewidth.	PODS	2007	DBLP DOI BibTeX RDF	datalog, treewidth, fixed-parameter tractability, monadic second order logic, tree decomposition
34	Nang-Fei Pan, Huaitien Wang	Assessing Failure of Bridge Construction Using Fuzzy Fault Tree Analysis.	FSKD (1)	2007	DBLP DOI BibTeX RDF
34	Rasa Remenyte, John D. Andrews	A Simple Component Connection Approach for Fault Tree Conversion to Binary Decision Diagram.	ARES	2006	DBLP DOI BibTeX RDF
34	Eung Nam Ko	Simulating an Intelligence Fault Tolerance System for Situation-Aware Ubiquitous Computing.	ICIC (2)	2006	DBLP DOI BibTeX RDF
34	Bin Chen 0018, 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
34	Chavdar Botev, Sihem Amer-Yahia, Jayavel Shanmugasundaram	Expressiveness and Performance of Full-Text Search Languages.	EDBT	2006	DBLP DOI BibTeX RDF
34	Kouroush Jenab, Balbir S. Dhillon	Stochastic fault tree analysis with self-loop basic events.	IEEE Trans. Reliab.	2005	DBLP DOI BibTeX RDF
34	Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn	Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA).	EDCC	2005	DBLP DOI BibTeX RDF
34	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
34	Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif	Interactive Verification of Statecharts.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
34	Robyn R. Lutz, Robert M. Woodhouse	Experience Report: Contributions of SFMEA to Requirements Analysis.	ICRE	1996	DBLP DOI BibTeX RDF
34	C. V. Ramamoorthy, Gary S. Ho, Yih-Wu Han	Fault tree analysis of computer systems.	AFIPS National Computer Conference	1977	DBLP DOI BibTeX RDF
28	Martin S. Feather	Towards a Unified Approach to the Representation of, and Reasoning with, Probabilistic Risk Information about Software and Its System Interface.	ISSRE	2004	DBLP DOI BibTeX RDF	FMECA, SFMECA, FTA, PRA, Risk-informed decision-making, Cost-benefit tradeoffs, Probabilistic Risk Reduction, FMEA, Failure Modes
27	Christian Denger, Mario Trapp, Peter Liggesmeyer	SafeSpection - A Systematic Customization Approach for Software Hazard Identification.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Guide-Phrases, SafeSpection, Software FMEA, Software FTA, Software HAZOP, Software Safety
27	Gee-Yong Park, Jang-Soo Lee, Se Woo Cheon, Kee-Choon Kwon, Eunkyoung Jee, Kwang Yong Koh	Safety Analysis of Safety-Critical Software for Nuclear Digital Protection System.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Software Safety Analysis, Software FTA, Software HAZOP, Function Block Diagram, Nuclear Reactor Protection System
26	Philipp Kilian, Armin Köhler, Patrick Van Bergen, Markus Wörz, Martin Schneider, Thorsten Groh, Tihomir Tomanic, Martin Dazer	Best Practices for Advanced Modeling of Safety Mechanisms in an FTA.	IEEE Access	2023	DBLP DOI BibTeX RDF
26	Faiza Sabir, Sarfaraz Ahmed, Gihwon Kwon	Failure Analysis of Vital Sign Monitoring System in Digital Healthcare with FTA.	J. Multim. Inf. Syst.	2023	DBLP DOI BibTeX RDF
26	Yanqi Qiao, Dazhuang Liu, Congwen Chen, Rui Wang 0070, Kaitai Liang	FTA: Stealthy and Adaptive Backdoor Attack with Flexible Triggers on Federated Learning.	CoRR	2023	DBLP DOI BibTeX RDF
26	Yifei Mu, Antonio R. Alleyne, Yingjie Fu	Anti-Epidemic Policies, FTA Digital Trade Rules, and China's Digital Product Exports.	J. Glob. Inf. Manag.	2023	DBLP DOI BibTeX RDF
26	Wendong Mao, Peixiang Yang, Zhongfeng Wang 0001	FTA-GAN: A Computation-Efficient Accelerator for GANs With Fast Transformation Algorithm.	IEEE Trans. Neural Networks Learn. Syst.	2023	DBLP DOI BibTeX RDF
26	Masakazu Takahashi, Yunarso Anang, Yoshimichi Watanabe	A Safety Analysis Method for Control Software in Coordination with FMEA and FTA.	Inf.	2021	DBLP DOI BibTeX RDF
26	Sayandeep Saha, Debdeep Mukhopadhyay	Transform Without Encode is not Sufficient for SIFA and FTA Security: A Case Study.	COSADE	2021	DBLP DOI BibTeX RDF
26	Quy Thuan Bui, Thanh Cong Ha	Impact of the Vietnam - EAEU FTA on the trade between Vietnam and Eurasian Economic Union.	ICRMAT	2021	DBLP DOI BibTeX RDF
26	Yamin Hu, Qiqing Fang, Wei Zhang, Yahui Hu	Research on application of equipment fault diagnosis technology based on FTA.	EITCE	2021	DBLP DOI BibTeX RDF
26	Rodrigo Domínguez, Carlos Gomez, Oskar Cerezo	Risk Analysis Based on ETA, FTA and Bowtie Methodologies for the Bulk Coal Discharge Process.	AHFE (4)	2021	DBLP DOI BibTeX RDF
26	Blaze Gjorgiev, Andrea Antenucci, Andrija Volkanovski, Giovanni Sansavini	An FTA Method for the Unavailability of Supply in Gas Networks Supported by Physical Models.	IEEE Trans. Reliab.	2020	DBLP DOI BibTeX RDF
26	Lorenzo Ciani, Giulia Guidi, Diego Galar	Reliability evaluation of an HVAC ventilation system with FTA and RBD analysis.	ISSE	2020	DBLP DOI BibTeX RDF
26	Xiaogang Zhang, Yulong Li, Yan Ran, Genbao Zhang	A Hybrid Multilevel FTA-FMEA Method for a Flexible Manufacturing Cell Based on Meta-Action and TOPSIS.	IEEE Access	2019	DBLP DOI BibTeX RDF
26	Lianbiao Cui, Ma-Lin Song 0001, Lei Zhu 0014	Economic evaluation of the trilateral FTA among China, Japan, and South Korea with big data analytics.	Comput. Ind. Eng.	2019	DBLP DOI BibTeX RDF
26	Diego Cardoso Borda Castro, Carlos Eduardo Barbosa, Luis Felipe Coimbra Costa, Jano Moreira de Souza	Analyzing the impact of Technological KM and Participatory KM in FTA (S).	SEKE	2019	DBLP DOI BibTeX RDF
26	Faiz Ul Muram, Muhammad Atif Javed, Sasikumar Punnekkat	System of Systems Hazard Analysis Using HAZOP and FTA for Advanced Quarry Production.	ICSRS	2019	DBLP DOI BibTeX RDF
26	J. F. W. Peeters, Rob J. I. Basten, Tiedo Tinga	Improving failure analysis efficiency by combining FTA and FMEA in a recursive manner.	Reliab. Eng. Syst. Saf.	2018	DBLP DOI BibTeX RDF
26	Richard Messnarz, Harald Sporer	Functional Safety Case with FTA and FMEDA Consistency Approach.	EuroSPI	2018	DBLP DOI BibTeX RDF
26	Mihail-Florin Stan, Nicolae Fidel, Ionut Mina, Cosmin Cobianu	Increasing the reliability of an industrial cold production system using Fault Tree Analysis (FTA).	ECAI	2018	DBLP DOI BibTeX RDF
26	Haifeng Wang, Bin Ning, Tan Chen, Shengjie Tang, Yong Zhang 0028, Ming Chai	Route safety verification of train control system by FTA modeling in SCADE.	ITSC	2018	DBLP DOI BibTeX RDF
26	Rajat Tyagi, Anchal Bansal, Varun Kaul, Debdeep De	INDIA-ASEAN FTA: Analysis of Cooperation in Transportation Sector.	ITQM	2017	DBLP DOI BibTeX RDF
26	Manouchehr Omidvari, Seyyed Morteza Abootorabi, Hossein Mehrno	An investigation of the influence of managerial factors on industrial accidents in the construction industry using the gray FTA method.	Grey Syst. Theory Appl.	2016	DBLP DOI BibTeX RDF
26	Ryan Wimbles, Louise M. Melling, Kirsty J. Shaw	Combining Electro-Osmotic Flow and FTA® Paper for DNA Analysis on Microfluidic Devices.	Micromachines	2016	DBLP DOI BibTeX RDF
26	Marcel Held, R. Brönnimann	Safe cell, safe battery? Battery fire investigation using FMEA, FTA and practical experiments.	Microelectron. Reliab.	2016	DBLP DOI BibTeX RDF
26	Louis Y.-Z. Lin, Charles H.-P. Wen	Speed binning with high-quality structural patterns from functional timing analysis (FTA).	ASP-DAC	2016	DBLP DOI BibTeX RDF
26	Van-Thiep Nguyen, Matthieu Gautier, Olivier Berder	FTA-MAC: Fast Traffic Adaptive Energy Efficient MAC Protocol for Wireless Sensor Networks.	CrownCom	2016	DBLP DOI BibTeX RDF
26	Masakazu Takahashi, Riki Kosaka, Reiji Nanba, Yunarso Anang, Yoshimichi Watanabe	A study of methodology for securing control software based FMEA-FTA coordination.	SII	2016	DBLP DOI BibTeX RDF
26	Jian-Lan Zhou, Yuan-Biao Shia, Zhi-Yu Sun	A hybrid fuzzy FTA-AHP method for risk decision-making in accident emergency response of work system.	J. Intell. Fuzzy Syst.	2015	DBLP DOI BibTeX RDF
26	Ali Azadeh, Mohammad Sheikhalishahi, Amir Aghsami	An integrated FTA-DFMEA approach for reliability analysis and product configuration considering warranty cost.	Prod. Eng.	2015	DBLP DOI BibTeX RDF
26	Ozcan Saritas, Serhat Burmaoglu	The evolution of the use of Foresight methods: a scientometric analysis of global FTA research output.	Scientometrics	2015	DBLP DOI BibTeX RDF
26	Jin-Yong Zheng, Zongxiao Yang, Gang-Gang Wu, Xi-Mei Li, Jun Wang	FTA-SVM-based fault recognition for vehicle engine.	ICNSC	2015	DBLP DOI BibTeX RDF
26	Jasper C. C. Chang, Ryan H.-M. Huang, Louis Y.-Z. Lin, Charles H.-P. Wen	TA-FTA: transition-aware functional timing analysis with a four-valued encoding.	DAC	2015	DBLP DOI BibTeX RDF
26	Yang Liu 0011, Zhi-Ping Fan, Yuan Yuan, Hongyan Li 0005	A FTA-based method for risk decision-making in emergency response.	Comput. Oper. Res.	2014	DBLP DOI BibTeX RDF
26	Guoqi Li	A Modified FTA Approach to Achieve Runtime Safety Analysis of Critical Systems.	IEICE Trans. Fundam. Electron. Commun. Comput. Sci.	2014	DBLP DOI BibTeX RDF
26	J. Jaise, N. B. Ajay Kumar, N. Siva Shanmugam, K. Sankaranarayanasamy, T. Ramesh	Power system: a reliability assessment using FTA.	Int. J. Syst. Assur. Eng. Manag.	2013	DBLP DOI BibTeX RDF
26	Lars Richter, Ralf Bruder	Design, implementation and evaluation of an independent real-time safety layer for medical robotic systems using a force-torque-acceleration (FTA) sensor.	Int. J. Comput. Assist. Radiol. Surg.	2013	DBLP DOI BibTeX RDF
26	Seyoung Lee, Hyun Soon Park	Effects of Message Framing and Anchoring on Reaching Public Consensus on the Korea-U.S. FTA Issue.	Commun. Res.	2013	DBLP DOI BibTeX RDF
26	Chi-Tang Liu, Sheue-Ling Hwang, I-Kai Lin	Safety Analysis of Combined FMEA and FTA with Computer Software Assistance.	MIM	2013	DBLP DOI BibTeX RDF
26	Yoshio Sakai, Seiko Shirasaka, Yasuharu Nishi	An extended notation of FTA for risk assessment of software-intensive medical devices.: Recognition of the risk class before and after the risk control measure.	ISSRE (Supplemental Proceedings)	2013	DBLP DOI BibTeX RDF
26	Xiangyu Han, Jun Zhang	A combined analysis method of FMEA and FTA for improving the safety analysis quality of safety-critical software.	GrC	2013	DBLP DOI BibTeX RDF
26	Cristiano Cagnin, Denis Loveridge	A framework, with embedded FTA, to enable business networks to evolve towards sustainable development.	Technol. Anal. Strateg. Manag.	2012	DBLP DOI BibTeX RDF
26	Frans Mofers, Wouter Tebbens, Hanneke Potters, Lex Bijlsma 0001	Shared QA for producing free educational materials at the FTA.	OKCon	2011	DBLP BibTeX RDF
26	Roland Mader, Eric Armengaud, Andrea Leitner, Christian Kreiner, Quentin Bourrouilh, Gerhard Grießnig, Christian Steger, Reinhold Weiß	Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems.	SAFECOMP	2011	DBLP DOI BibTeX RDF
26	Guoqi Li	FTA Based Runtime Evaluation of System Reliability for Autonomous Unmanned Vehicle.	CIS	2011	DBLP DOI BibTeX RDF
26	Haitao Zhang, Yingchun Zhang, Yajun Liu	FTA at the Semi-automatic Machine for Implanting Nuts into Shells of Phones.	ICDMA	2011	DBLP DOI BibTeX RDF
26	Wensheng Liu, Liwen Guo, Ming Zhu	Bayesian Network Based on FTA for Safety Evaluation on Coalmine Haulage System.	ICICA (LNCS)	2010	DBLP DOI BibTeX RDF
26	Dan M. Shalev, Joseph Tiran	Condition-based fault tree analysis (CBFTA): A new method for improved fault tree analysis (FTA), reliability and safety calculations.	Reliab. Eng. Syst. Saf.	2007	DBLP DOI BibTeX RDF
26	R. B. Burckel	Fubinito (Immediately) Implies FTA.	Am. Math. Mon.	2006	DBLP BibTeX RDF
26	Xu Cheng 0003, Du Zhang	FTA: A File Transfer Agent Using Java.	CAINE	2002	DBLP BibTeX RDF
26	Holger Veit, Gernot Richter	The FTA design paradigm for distributed systems.	Future Gener. Comput. Syst.	2000	DBLP DOI BibTeX RDF
26	Tetsuji Fukaya, Masayuki Hirayama, Yukihiro Mihara	Automatic Verifying Approach for Product Specification using FTA.	FTCS	1994	DBLP DOI BibTeX RDF
26	Thomas Ludwig 0001	Algebraical Optimization of FTA-Expressions	LILOG-Report	1988	RDF
17	David Megías 0001, Wouter Tebbens, Lex Bijlsma 0001, Francesc Santanach	Free technology academy: a European initiative for distance education about free software and open standards.	ITiCSE	2009	DBLP DOI BibTeX RDF	distance education, open standards, free software, virtual campus, open educational resources
17	Jian Wang 0037, Rui Chen 0007, Pengyan Zhang, Ningjie Yu	Fault tree analysis in city lifeline system operations and management-theory and application.	ICIS	2009	DBLP DOI BibTeX RDF	city lifeline system, city operations and management, triangular fuzzy number, fault tree analysis
17	Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen	Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Safecharts, FTO-failure, SO-failure, NC-failure, Effective repair actions, Ineffective repair actions, Safety-critical systems
17	Javier Fernández Briones, Miguel A. de Miguel, Juan Pedro Silva, Alejandro Alonso 0001	Application of Safety Analyses in Model Driven Development.	SEUS	2007	DBLP DOI BibTeX RDF
17	Miguel A. de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso 0001	Model Based Integration of Safety Analysis and Development.	ISORC	2006	DBLP DOI BibTeX RDF
17	Grzegorz Golaszewski, Janusz Górski	Hazard Prevention by Forced Time Constraints.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
17	Varadraj Prabhu Gurupur, Urcun John Tanik	Software cultivation using the artificial intelligence design framework.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF
17	Jerker Hammarberg, Simin Nadjm-Tehrani	Formal verification of fault tolerance in safety-critical reconfigurable modules.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Fault tolerance, FPGA, Formal verification, Safety analysis, Esterel
17	Miguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernández Briones	Model-Based Integration of Safety Analysis and Reliable Software Development.	WORDS	2005	DBLP DOI BibTeX RDF
17	Taiki Shojima, Yoshitomo Ikkai, Norihisa Komoda	A method for mediator identification using queued history of encrypted user information in an incentive attached peer to peer electronic coupon system.	SMC (1)	2004	DBLP DOI BibTeX RDF
17	Massood Towhidnejad, Dolores R. Wallace, Albert M. Gallo	Validation of Object Oriented Software Design With Fault Tree Analysis.	SEW	2003	DBLP DOI BibTeX RDF
17	Mario Trapp, Bernd Schürmann, Torsten Tetteroo	Failure Behavior Analysis for Reliable Distributed Embedded Systems.	IPDPS	2002	DBLP DOI BibTeX RDF	failure behavior, reliablility, fault tolerance, embedded systems, graceful degradation
17	Lu Da, Pu Wei, Brendan McCane	Character Preclassification Based on Fuzzy Typographical Analysis.	ICDAR	2001	DBLP DOI BibTeX RDF
17	Herman Geuvers, Milad Niqui	Constructive Reals in Coq: Axioms and Categoricity.	TYPES	2000	DBLP DOI BibTeX RDF
17	Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim	Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents.	COMPSAC	1997	DBLP DOI BibTeX RDF