| 2017 | Increasing the Accuracy of Cost and Availability Predictions of Quorum Protocols. | Robert Schadek, Oliver E. Theel |
| 2017 | Multi-site Synchronous VM Replication for Persistent Systems with Asymmetric Read/Write Latencies. | Vasily A. Sartakov, Rdiger Kapitza |
| 2017 | Light-Weight Techniques for Improving the Controllability and Efficiency of ISA-Level Fault Injection Tools. | Behrooz Sangchoolie, Roger Johansson, Johan Karlsson |
| 2017 | Comparison of Corrupted Sensor Data Detection Methods in Detecting Stealthy Attacks on Cyber-Physical Systems. | Giedre Sabaliauskaite, Geok See Ng, Justin Ruths, Aditya Mathur |
| 2017 | Integration of Integrity Enforcing Technologies into Embedded Control Devices: Experiences and Evaluation. | Tobias Rauter, Andrea Hller, Johannes Iber, Michael Krisper, Christian Kreiner |
| 2017 | Designing Networks-on-Chip for High Assurance Real-Time Systems. | Eberle A. Rambo, Christoph Seitz, Selma Saidi, Rolf Ernst |
| 2017 | Towards Outsourced Privacy-Preserving Multiparty DBSCAN. | Mohammad Shahriar Rahman, Anirban Basu, Shinsaku Kiyomoto |
| 2017 | An Empirical Investigation of Fault Triggers in Android Operating System. | Fangyun Qin, Zheng Zheng, Xiaodan Li, Yu Qiao, Kishor S. Trivedi |
| 2017 | Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms. | Teru Ohashi, Tatsuhiro Tsuchiya |
| 2017 | Accounting for the Human User in Predictive Security Models. | Mohammad A. Noureddine, Andrew Marturano, Ken Keefe, Masooda N. Bashir, William H. Sanders |
| 2017 | Smart Cage Implementation with Dependable Safety Agent for Dogs. | Kiat Siong Ng, Pei-Yin Chen, Pi-Hui Ting |
| 2017 | Method and Case Study of Model Checking Concurrent Systems That Use Unbounded Timestamps. | Shinya Nakano, Tatsuhiro Tsuchiya |
| 2017 | Electromagnetic Noise Tolerant Hybrid Communication Protocol for CANs. | Muneyuki Nakamura, Koji Konomi, Mamoru Ohara, Kazuya Sakai, Satoshi Fukumoto |
| 2017 | On Dependability, Cost and Security Trade-Off in Cloud Data Centers. | Subrota K. Mondal, Abadhan Saumya Sabyasachi, Jogesh K. Muppala |
| 2017 | Accelerating Integrity Verification on Secure Processors by Promissory Hash. | Mizuki Miyanaga, Hidetsugu Irie, Shuichi Sakai |
| 2017 | Capacity-Oriented Availability Model for Resources Estimation on Private Cloud Infrastructure. | Carlos Melo, Rbens de Souza Matos Jnior, Jamilson Dantas, Paulo R. M. Maciel |
| 2017 | Mercury: Performance and Dependability Evaluation of Systems with Exponential, Expolynomial, and General Distributions. | Paulo R. M. Maciel, Rbens de Souza Matos Jnior, Bruno Silva, Jair Figueiredo, Danilo Oliveira, Iure Fe, Ronierison Maciel, Jamilson Dantas |
| 2017 | Attack Induced Common-Mode Failures on PLC-Based Safety System in a Nuclear Power Plant: Practical Experience Report. | Bernard Lim, Daniel Chen, Yongkyu An, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
| 2017 | Expolynomial Modelling for Supporting VANET Infrastructure Planning. | Aleciano Lobo Junior, Rbens de Souza Matos Jnior, Bruno Silva, Paulo R. M. Maciel |
| 2017 | Application of Congestion Notifications in a Cyber-Physical System. | Stephen Jackson, Bruce M. McMillin |
| 2017 | A Diagnostic Fault Simulation Method for a Single Universal Logical Fault Model. | Toshinori Hosokawa, Hideyuki Takano, Hiroshi Yamazaki, Koji Yamazaki |
| 2017 | Detection of Recovery Patterns in Cluster Systems Using Resource Usage Data. | Nentawe Gurumdimma, Arshad Jhumka |
| 2017 | Learning Process Behavioral Baselines for Anomaly Detection. | Ahmed M. Fawaz, William H. Sanders |
| 2017 | A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights. | Negin Fathollahnejad, Raul Barbosa, Johan Karlsson |
| 2017 | A Rejuvenation Strategy of Two-Granularity Software Based on Adaptive Control. | Yunyu Fang, Bei-Bei Yin, Gao-Rong Ning, Zheng Zheng, Kai-Yuan Cai |