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 |
|