The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for FTA with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1977-2004 (18) 2005-2006 (17) 2007-2009 (17) 2010-2015 (19) 2016-2019 (15) 2020-2023 (12)
Publication types (Num. hits)
article(29) inproceedings(69)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 49 occurrences of 39 keywords

Results
Found 98 publication records. Showing 98 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
121Martin Walker, Leonardo Bottaci, Yiannis Papadopoulos Compositional Temporal Fault Tree Analysis. Search on Bibsonomy SAFECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF temporal fault trees, formal FTA, automated FTA, fault tree synthesis, formal safety analysis
102Hua Song, Hong-Yue Zhang, C. W. Chan Fuzzy fault tree analysis based on T-S model with application to INS/GPS navigation system. Search on Bibsonomy Soft Comput. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Reliability, Fuzzy logic, Navigation system, Fault tree analysis, T-S model
102Daniel 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. Search on Bibsonomy PATMOS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
102Ling Yuan, Jin Song Dong, Jing Sun 0002 Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. Search on Bibsonomy APSEC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
95Hasan Sözer, Bedir Tekinerdogan, Mehmet Aksit Extending Failure Modes and Effects Analysis Approach for Reliability Analysis at the Software Architecture Design Level. Search on Bibsonomy WADS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF FTA, reliability analysis, FMEA, software architecture evaluation
85Hongyu Sun 0001, Miriam Hauptman, Robyn R. Lutz Integrating Product-Line Fault Tree Analysis into AADL Models. Search on Bibsonomy HASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
70Hui 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. Search on Bibsonomy KSEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Fault tree analysis (FTA), Manufacturing execution system (MES), Statistic process control (SPC), Fault diagnosis, Knowledge base
68Herman Geuvers, Freek Wiedijk, Jan Zwanenburg A Constructive Proof of the Fundamental Theorem of Algebra without Using the Rationals. Search on Bibsonomy TYPES The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
51Eung Nam Ko, Kee Chun Bang An Intelligent Error Detection Model for Reliable QoS Constraints Running on Pervasive Computing. Search on Bibsonomy ICAT Workshops The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
51Jianwen Xiang, Kazuhiro Ogata 0001 Formal Fault Tree Analysis of State Transition Systems. Search on Bibsonomy QSIC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
51Hideo 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. Search on Bibsonomy MICCAI (2) The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
43Andreas Thums, Gerhard Schellhorn Model Checking FTA. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF model checking, safety analysis, fault tree analysis
34Ulrik Franke, Waldo Rocha Flores, Pontus Johnson Enterprise architecture dependency analysis using fault trees and Bayesian networks. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Bayesian networks, enterprise architecture, dependency analysis, fault tree analysis, DoDAF
34Yi Zhu 0005, Gang Jiang, Jason P. Jue Flow Aggregation and Light-Tree Establishment in Multicast-Capable Optical Networks. Search on Bibsonomy ICC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Zhiqiang Yu, Chun Hua Zhao, Dalin Zhu, Mingsong Zhang Research on Case Representation in Printing Machine Fault Diagnosis Expert System Based on Case-Based Reasoning. Search on Bibsonomy CSSE (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Elena Troubitsyna Elicitation and Specification of Safety Requirements. Search on Bibsonomy ICONS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF requirements engineering, software development, safety analysis
34Georg Gottlob, Reinhard Pichler, Fang Wei 0001 Monadic datalog over finite structures with bounded treewidth. Search on Bibsonomy PODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF datalog, treewidth, fixed-parameter tractability, monadic second order logic, tree decomposition
34Nang-Fei Pan, Huaitien Wang Assessing Failure of Bridge Construction Using Fuzzy Fault Tree Analysis. Search on Bibsonomy FSKD (1) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Rasa Remenyte, John D. Andrews A Simple Component Connection Approach for Fault Tree Conversion to Binary Decision Diagram. Search on Bibsonomy ARES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Eung Nam Ko Simulating an Intelligence Fault Tolerance System for Situation-Aware Ubiquitous Computing. Search on Bibsonomy ICIC (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Bin Chen 0018, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil Automatic Fault Tree Derivation from Little-JIL Process Definitions. Search on Bibsonomy SPW/ProSim The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Chavdar Botev, Sihem Amer-Yahia, Jayavel Shanmugasundaram Expressiveness and Performance of Full-Text Search Languages. Search on Bibsonomy EDBT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Kouroush Jenab, Balbir S. Dhillon Stochastic fault tree analysis with self-loop basic events. Search on Bibsonomy IEEE Trans. Reliab. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). Search on Bibsonomy EDCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Frank Ortmeier, Wolfgang Reif Safety Optimization: A Combination of Fault Tree Analysis and Optimization Techniques. Search on Bibsonomy DSN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF optimization, embedded systems, dependability, safety analysis, fault tree analysis
34Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif Interactive Verification of Statecharts. Search on Bibsonomy SoftSpez Final Report The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Robyn R. Lutz, Robert M. Woodhouse Experience Report: Contributions of SFMEA to Requirements Analysis. Search on Bibsonomy ICRE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
34C. V. Ramamoorthy, Gary S. Ho, Yih-Wu Han Fault tree analysis of computer systems. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
28Martin S. Feather Towards a Unified Approach to the Representation of, and Reasoning with, Probabilistic Risk Information about Software and Its System Interface. Search on Bibsonomy ISSRE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF FMECA, SFMECA, FTA, PRA, Risk-informed decision-making, Cost-benefit tradeoffs, Probabilistic Risk Reduction, FMEA, Failure Modes
27Christian Denger, Mario Trapp, Peter Liggesmeyer SafeSpection - A Systematic Customization Approach for Software Hazard Identification. Search on Bibsonomy SAFECOMP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Guide-Phrases, SafeSpection, Software FMEA, Software FTA, Software HAZOP, Software Safety
27Gee-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. Search on Bibsonomy SAFECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Software Safety Analysis, Software FTA, Software HAZOP, Function Block Diagram, Nuclear Reactor Protection System
26Philipp 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. Search on Bibsonomy IEEE Access The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Faiza Sabir, Sarfaraz Ahmed, Gihwon Kwon Failure Analysis of Vital Sign Monitoring System in Digital Healthcare with FTA. Search on Bibsonomy J. Multim. Inf. Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Yanqi Qiao, Dazhuang Liu, Congwen Chen, Rui Wang 0070, Kaitai Liang FTA: Stealthy and Adaptive Backdoor Attack with Flexible Triggers on Federated Learning. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Yifei Mu, Antonio R. Alleyne, Yingjie Fu Anti-Epidemic Policies, FTA Digital Trade Rules, and China's Digital Product Exports. Search on Bibsonomy J. Glob. Inf. Manag. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Wendong Mao, Peixiang Yang, Zhongfeng Wang 0001 FTA-GAN: A Computation-Efficient Accelerator for GANs With Fast Transformation Algorithm. Search on Bibsonomy IEEE Trans. Neural Networks Learn. Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
26Masakazu Takahashi, Yunarso Anang, Yoshimichi Watanabe A Safety Analysis Method for Control Software in Coordination with FMEA and FTA. Search on Bibsonomy Inf. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Sayandeep Saha, Debdeep Mukhopadhyay Transform Without Encode is not Sufficient for SIFA and FTA Security: A Case Study. Search on Bibsonomy COSADE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Quy Thuan Bui, Thanh Cong Ha Impact of the Vietnam - EAEU FTA on the trade between Vietnam and Eurasian Economic Union. Search on Bibsonomy ICRMAT The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Yamin Hu, Qiqing Fang, Wei Zhang, Yahui Hu Research on application of equipment fault diagnosis technology based on FTA. Search on Bibsonomy EITCE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Rodrigo Domínguez, Carlos Gomez, Oskar Cerezo Risk Analysis Based on ETA, FTA and Bowtie Methodologies for the Bulk Coal Discharge Process. Search on Bibsonomy AHFE (4) The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
26Blaze Gjorgiev, Andrea Antenucci, Andrija Volkanovski, Giovanni Sansavini An FTA Method for the Unavailability of Supply in Gas Networks Supported by Physical Models. Search on Bibsonomy IEEE Trans. Reliab. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Lorenzo Ciani, Giulia Guidi, Diego Galar Reliability evaluation of an HVAC ventilation system with FTA and RBD analysis. Search on Bibsonomy ISSE The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
26Xiaogang Zhang, Yulong Li, Yan Ran, Genbao Zhang A Hybrid Multilevel FTA-FMEA Method for a Flexible Manufacturing Cell Based on Meta-Action and TOPSIS. Search on Bibsonomy IEEE Access The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Lianbiao Cui, Ma-Lin Song 0001, Lei Zhu 0014 Economic evaluation of the trilateral FTA among China, Japan, and South Korea with big data analytics. Search on Bibsonomy Comput. Ind. Eng. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Diego 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). Search on Bibsonomy SEKE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26Faiz Ul Muram, Muhammad Atif Javed, Sasikumar Punnekkat System of Systems Hazard Analysis Using HAZOP and FTA for Advanced Quarry Production. Search on Bibsonomy ICSRS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
26J. F. W. Peeters, Rob J. I. Basten, Tiedo Tinga Improving failure analysis efficiency by combining FTA and FMEA in a recursive manner. Search on Bibsonomy Reliab. Eng. Syst. Saf. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
26Richard Messnarz, Harald Sporer Functional Safety Case with FTA and FMEDA Consistency Approach. Search on Bibsonomy EuroSPI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
26Mihail-Florin Stan, Nicolae Fidel, Ionut Mina, Cosmin Cobianu Increasing the reliability of an industrial cold production system using Fault Tree Analysis (FTA). Search on Bibsonomy ECAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
26Haifeng Wang, Bin Ning, Tan Chen, Shengjie Tang, Yong Zhang 0028, Ming Chai Route safety verification of train control system by FTA modeling in SCADE. Search on Bibsonomy ITSC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
26Rajat Tyagi, Anchal Bansal, Varun Kaul, Debdeep De INDIA-ASEAN FTA: Analysis of Cooperation in Transportation Sector. Search on Bibsonomy ITQM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
26Manouchehr 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. Search on Bibsonomy Grey Syst. Theory Appl. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Ryan Wimbles, Louise M. Melling, Kirsty J. Shaw Combining Electro-Osmotic Flow and FTA® Paper for DNA Analysis on Microfluidic Devices. Search on Bibsonomy Micromachines The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Marcel Held, R. Brönnimann Safe cell, safe battery? Battery fire investigation using FMEA, FTA and practical experiments. Search on Bibsonomy Microelectron. Reliab. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Louis Y.-Z. Lin, Charles H.-P. Wen Speed binning with high-quality structural patterns from functional timing analysis (FTA). Search on Bibsonomy ASP-DAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Van-Thiep Nguyen, Matthieu Gautier, Olivier Berder FTA-MAC: Fast Traffic Adaptive Energy Efficient MAC Protocol for Wireless Sensor Networks. Search on Bibsonomy CrownCom The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Masakazu Takahashi, Riki Kosaka, Reiji Nanba, Yunarso Anang, Yoshimichi Watanabe A study of methodology for securing control software based FMEA-FTA coordination. Search on Bibsonomy SII The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
26Jian-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. Search on Bibsonomy J. Intell. Fuzzy Syst. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Ali Azadeh, Mohammad Sheikhalishahi, Amir Aghsami An integrated FTA-DFMEA approach for reliability analysis and product configuration considering warranty cost. Search on Bibsonomy Prod. Eng. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Ozcan Saritas, Serhat Burmaoglu The evolution of the use of Foresight methods: a scientometric analysis of global FTA research output. Search on Bibsonomy Scientometrics The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Jin-Yong Zheng, Zongxiao Yang, Gang-Gang Wu, Xi-Mei Li, Jun Wang FTA-SVM-based fault recognition for vehicle engine. Search on Bibsonomy ICNSC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Jasper 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. Search on Bibsonomy DAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
26Yang Liu 0011, Zhi-Ping Fan, Yuan Yuan, Hongyan Li 0005 A FTA-based method for risk decision-making in emergency response. Search on Bibsonomy Comput. Oper. Res. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
26Guoqi Li A Modified FTA Approach to Achieve Runtime Safety Analysis of Critical Systems. Search on Bibsonomy IEICE Trans. Fundam. Electron. Commun. Comput. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
26J. Jaise, N. B. Ajay Kumar, N. Siva Shanmugam, K. Sankaranarayanasamy, T. Ramesh Power system: a reliability assessment using FTA. Search on Bibsonomy Int. J. Syst. Assur. Eng. Manag. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Lars 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. Search on Bibsonomy Int. J. Comput. Assist. Radiol. Surg. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Seyoung Lee, Hyun Soon Park Effects of Message Framing and Anchoring on Reaching Public Consensus on the Korea-U.S. FTA Issue. Search on Bibsonomy Commun. Res. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Chi-Tang Liu, Sheue-Ling Hwang, I-Kai Lin Safety Analysis of Combined FMEA and FTA with Computer Software Assistance. Search on Bibsonomy MIM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Yoshio 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. Search on Bibsonomy ISSRE (Supplemental Proceedings) The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Xiangyu Han, Jun Zhang A combined analysis method of FMEA and FTA for improving the safety analysis quality of safety-critical software. Search on Bibsonomy GrC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
26Cristiano Cagnin, Denis Loveridge A framework, with embedded FTA, to enable business networks to evolve towards sustainable development. Search on Bibsonomy Technol. Anal. Strateg. Manag. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
26Frans Mofers, Wouter Tebbens, Hanneke Potters, Lex Bijlsma 0001 Shared QA for producing free educational materials at the FTA. Search on Bibsonomy OKCon The full citation details ... 2011 DBLP  BibTeX  RDF
26Roland 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. Search on Bibsonomy SAFECOMP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Guoqi Li FTA Based Runtime Evaluation of System Reliability for Autonomous Unmanned Vehicle. Search on Bibsonomy CIS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Haitao Zhang, Yingchun Zhang, Yajun Liu FTA at the Semi-automatic Machine for Implanting Nuts into Shells of Phones. Search on Bibsonomy ICDMA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
26Wensheng Liu, Liwen Guo, Ming Zhu Bayesian Network Based on FTA for Safety Evaluation on Coalmine Haulage System. Search on Bibsonomy ICICA (LNCS) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
26Dan M. Shalev, Joseph Tiran Condition-based fault tree analysis (CBFTA): A new method for improved fault tree analysis (FTA), reliability and safety calculations. Search on Bibsonomy Reliab. Eng. Syst. Saf. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
26R. B. Burckel Fubinito (Immediately) Implies FTA. Search on Bibsonomy Am. Math. Mon. The full citation details ... 2006 DBLP  BibTeX  RDF
26Xu Cheng 0003, Du Zhang FTA: A File Transfer Agent Using Java. Search on Bibsonomy CAINE The full citation details ... 2002 DBLP  BibTeX  RDF
26Holger Veit, Gernot Richter The FTA design paradigm for distributed systems. Search on Bibsonomy Future Gener. Comput. Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Tetsuji Fukaya, Masayuki Hirayama, Yukihiro Mihara Automatic Verifying Approach for Product Specification using FTA. Search on Bibsonomy FTCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
26Thomas Ludwig 0001 Algebraical Optimization of FTA-Expressions Search on Bibsonomy LILOG-Report The full citation details ... 1988   RDF
17David 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. Search on Bibsonomy ITiCSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF distance education, open standards, free software, virtual campus, open educational resources
17Jian Wang 0037, Rui Chen 0007, Pengyan Zhang, Ningjie Yu Fault tree analysis in city lifeline system operations and management-theory and application. Search on Bibsonomy ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF city lifeline system, city operations and management, triangular fuzzy number, fault tree analysis
17Yean-Ru Chen, Pao-Ann Hsiung, Sao-Jie Chen Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts. Search on Bibsonomy SAFECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Safecharts, FTO-failure, SO-failure, NC-failure, Effective repair actions, Ineffective repair actions, Safety-critical systems
17Javier Fernández Briones, Miguel A. de Miguel, Juan Pedro Silva, Alejandro Alonso 0001 Application of Safety Analyses in Model Driven Development. Search on Bibsonomy SEUS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Miguel A. de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso 0001 Model Based Integration of Safety Analysis and Development. Search on Bibsonomy ISORC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Grzegorz Golaszewski, Janusz Górski Hazard Prevention by Forced Time Constraints. Search on Bibsonomy DepCoS-RELCOMEX The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Varadraj Prabhu Gurupur, Urcun John Tanik Software cultivation using the artificial intelligence design framework. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Jerker Hammarberg, Simin Nadjm-Tehrani Formal verification of fault tolerance in safety-critical reconfigurable modules. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Fault tolerance, FPGA, Formal verification, Safety analysis, Esterel
17Miguel A. de Miguel, Bernard Pauly, Thierry Person, Javier Fernández Briones Model-Based Integration of Safety Analysis and Reliable Software Development. Search on Bibsonomy WORDS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
17Taiki 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. Search on Bibsonomy SMC (1) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
17Massood Towhidnejad, Dolores R. Wallace, Albert M. Gallo Validation of Object Oriented Software Design With Fault Tree Analysis. Search on Bibsonomy SEW The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
17Mario Trapp, Bernd Schürmann, Torsten Tetteroo Failure Behavior Analysis for Reliable Distributed Embedded Systems. Search on Bibsonomy IPDPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF failure behavior, reliablility, fault tolerance, embedded systems, graceful degradation
17Lu Da, Pu Wei, Brendan McCane Character Preclassification Based on Fuzzy Typographical Analysis. Search on Bibsonomy ICDAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
17Herman Geuvers, Milad Niqui Constructive Reals in Coq: Axioms and Categoricity. Search on Bibsonomy TYPES The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
17Tatsuhiro Tsuchiya, Hirofumi Terada, Shinji Kusumoto, Tohru Kikuno, Eun Mi Kim Derivation of Safety Requirements for Safety Analysis of Object-Oriented Design Documents. Search on Bibsonomy COMPSAC The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #98 of 98 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license