| 2011 | Dependability Improvement for Critical Systems. | Herbert Hecht |
| 2011 | Towards Making Dependability Visual - Combining Model-Based Design and Virtual Realities. | Matthias Gdemann, Michael Lipaczewski, Frank Ortmeier, Marco Schumann, Robert Eschbach |
| 2011 | Tool Supported Model-Based Safety Analysis and Optimization. | Matthias Gdemann, Michael Lipaczewski, Frank Ortmeier |
| 2011 | Workload Adaptive Checkpoint Scheduling of Virtual Machine Replication. | Balazs Gerofi, Yutaka Ishikawa |
| 2011 | A Method of Calculating Safety Integrity Level for IEC 61508 Conformity Software. | Takaji Fujiwara, Mitsuhiro Kimura, Yoshinobu Satoh, Shigeru Yamada |
| 2011 | Using Dependability Benchmarks to Support ISO/IEC SQuaRE. | Jesus Friginal, David de Andrs, Juan-Carlos Ruiz-Garcia, Regina Moraes |
| 2011 | A Framework for Systematic Testing of Multi-threaded Applications. | Mihai Florian |
| 2011 | Bio-inspired Error Detection for Complex Systems. | Martin Drozda, Iain Bate, Jon Timmis |
| 2011 | A Clustering Approach for Web Vulnerabilities Detection. | Anthony Dessiatnikoff, Rim Akrout, Eric Alata, Mohamed Kaniche, Vincent Nicomette |
| 2011 | Malware Profiler Based on Innovative Behavior-Awareness Technique. | Shih-Yao Dai, Fyodor Yarochkin, Sy-Yen Kuo, Ming-Wei Wu, Yennun Huang |
| 2011 | Efficient Task Allocation to FPGAs in the Safety Critical Domain. | Philippa Conmy, Iain Bate |
| 2011 | Dependability Enhancement of Reactor Containment in Safety Critical Nuclear Power Plants. | Chi-Shiang Cho, Wei-Ho Chung, Deyun Gao, Hongke Zhang, Sy-Yen Kuo |
| 2011 | Specification-Based Intrusion Detection for Advanced Metering Infrastructures. | Robin Berthier, William H. Sanders |
| 2011 | Trend Analyses of Accidents and Dependability Improvement in Financial Information Systems. | Koichi Bando, Kenji Tanaka |
| 2011 | Area-Per-Yield and Defect Level of Cascaded TMR for Pipelined Processors. | Masayuki Arai, Kazuhiko Iwasaki |
| 2010 | Sensitivity Analysis of the Minimum Task Period for Arbitrary Deadline Real-Time Systems. | Fengxiang Zhang, Alan Burns, Sanjoy K. Baruah |
| 2010 | Two Efficient Software Techniques to Detect and Correct Control-Flow Errors. | Hamid R. Zarandi, Mohammad Maghsoudloo, Navid Khoshavi |
| 2010 | An Asynchronous Checkpoint-Based Redundant Multithreading Architecture. | Jie Yin, Jianhui Jiang |
| 2010 | A Minimal Roll-Back Based Recovery Scheme for Fault Toleration in Pipeline Processors. | Jun Yao, Ryoji Watanabe, Takashi Nakada, Hajime Shimada, Yasuhiko Nakashima, Kazutoshi Kobayashi |
| 2010 | Automatic Static Fault Tree Analysis from System Models. | Jianwen Xiang, Kazuo Yanoo |
| 2010 | Sequential Frequency Vector Based System Call Anomaly Detection. | Ying Wu, Jianhui Jiang, Liangliang Kong |
| 2010 | An Efficient Decision Unit for the Pair and Swap Methodology within Chip Multiprocessors. | James L. Weston, Masashi Imai, Tomohide Nagai, Takashi Nanya |
| 2010 | Address Remapping for Static NUCA in NoC-Based Degradable Chip-Multiprocessors. | Ying Wang, Lei Zhang, Yinhe Han, Huawei Li, Xiaowei Li |
| 2010 | An Improved Knowledge Connectivity Condition for Fault-Tolerant Consensus with Unknown Participants. | Jichiang Tsai, Che-Cheng Chang |
| 2010 | A Secure System-Wide Process Scheduler across Virtual Machines. | Hidekazu Tadokoro, Kenichi Kourai, Shigeru Chiba |