| 2024 | 29th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2024, Osaka, Japan, November 13-15, 2024 |
| 2024 | An Alternative Boosting-based Software Reliability Prediction Method. Jingchi Wu, Junjun Zheng, Tadashi Dohi, Hiroyuki Okamura |
| 2024 | AuthZit: Personalized Visual-Spatial and Loci-Tagging Fallback Authentication. Joon Kuy Han, Dennis Wong, Zhoulai Fu, Byungkon Kang |
| 2024 | Bridging Gaps between Scenario-Based Safety Analysis and Simulation-based Testing for Autonomous Driving Systems. Phaiboon Jaradnaparatana, Buntita Sriarunothai, Chutikarn Kamsem, Supithcha Jongphoemwatthanaphon, Burit Sihabut, Duong Dinh Tran, Toshiaki Aoki |
| 2024 | CheckIn: Efficiently Checkpointing Intermittent Sensor-Based Internet of Things (IoT) Networks. Jawaher Alharbi, Arshad Jhumka |
| 2024 | Comparative Studies of Security Assessment Methods for Railway Control Systems. Hongxue Chen, Xiaoya Hu, Weihong Ma, Zonghua Zhang |
| 2024 | Construction of VDM++ Specifications from Extended Screen Transition Diagrams for Validation of Microservice-based Web Applications. Ryoichi Ishigami, Sho Matsumoto, Tomohiko Takagi |
| 2024 | Deploying a Generic Threat Model for Detecting Anomalies in a Power Grid Digital Twin. Tommaso Zoppi, Irene Bicchierai, Francesco Brancati, Andrea Bondavalli, Hans-Peter Schwefel |
| 2024 | Describing and verifying malicious fault-tolerant consensus algorithms using PlusCAL and C languages. Aoi Ono, Tatsuhiro Tsuchiya |
| 2024 | Distributed Control Framework for UAV Resilience Against Faults and Cyber Attacks with Finite-Memory Approach. Sang Su Lee, Kwan Soo Kim, Dong Kyu Lee, Gyun Ha Kim, Choon Ki Ahn |
| 2024 | Durability Evaluation of Erasure Coding Applying Risk-aware Data Protection in Large-scale Disasters. Naoshi Yamane, Satoshi Munakata, Luis Guillen, Takaki Nakamura, Takuo Suganuma |
| 2024 | Dynamic Controllability Analysis for Preventing Injection Attacks. Eri Ogawa, Tetsuro Yamazaki, Ryota Shioya |
| 2024 | Efficient Built-In Self-Test Strategy for Neuromorphic Hardware Based On Alarm Placement. Ilknur Mustafazade, Anup Das, Nagarajan Kandasamy |
| 2024 | Empirical Study on Request Timeout and Retry for Microservices Communication. Hiroki Hanada, Keisuke Ishibashi |
| 2024 | FLARE: Availability Awareness for Resource-Efficient Federated Learning. Sara Alosaime, Arshad Jhumka |
| 2024 | FPGA Cluster Based System with Adaptive TMR/DMR for Soft Error Mitigation. Homu Omura, Kazuteru Namba |
| 2024 | Fail-Controlled Classifiers: Do they Know when they don't Know? Tommaso Zoppi, Fahad Ahmed KhoKhar, Andrea Ceccarelli, Leonardo Montecchi, Andrea Bondavalli |
| 2024 | Juno: Aggregated Vector Consensus for Optimal Asynchronous Common Subset. Liangrong Zhao, Qin Wang, Joseph K. Liu, Jiangshan Yu |
| 2024 | Model-Based Approach Towards Correctness Checking of Neuromorphic Computing Systems. Abhishek Kumar Mishra, Anup Das, Nagarajan Kandasamy |
| 2024 | Optimal Deployment of High-Level Access Control Policies in Heterogeneous Enforcement Infrastructures. Marco Thomas, Claas Lorenz, Alf Zugenmaier |
| 2024 | PALM: A framework to identify novel attacks in an e-commerce system. Rajesh Kumar, Swapnil Pandey, Debanshu Das |
| 2024 | PrompTCC: Transactional Causally Consistent Reads Can Be Fast and Fresh. Taras Lykhenko, Rafael Soares, Luís Rodrigues |
| 2024 | RL-Based Approach to Enhance Reliability and Efficiency in Autoscaling for Heterogeneous Edge Serverless Computing Environments. Ilyas Hadjou, Young-Woo Kwon |
| 2024 | Refined Software Reliability Prediction: A Bagging Approacha. Jingchi Wu, Tadashi Dohi, Hiroyuki Okamura |
| 2024 | Robust and Low-degree Overlay for Secure Flooding Against Resource-bounded Adversaries. Yucheng Sun, Ruomu Hou, Haifeng Yu |
| 2024 | Robustness of Redundancy-Hardened Convolutional Neural Networks Against Adversarial Attacks. Leonardo Alexandrino De Melo, Mauricio Gomes de Queiroz, Alberto Bosio, Rodrigo Possamai Bastos |
| 2024 | Secure Finite-Memory Target Tracking in Heterogeneous Sensor Networks Under Cyber Attacks. Dong Kyu Lee, Jung Min Pak, Choon Ki Ahn |
| 2024 | Selecting Nodes to Protect in Interdependent Networks Using Shapley Value Analysis. Koki Matsui, Tatsuhiro Tsuchiya |
| 2024 | Sequential programming for distributed algorithm verification. Tatsuhiro Tsuchiya |
| 2024 | Smart Building Control System Emulation Platform for Security Testing. Xiaoqi Weng, Razvan Beuran |
| 2024 | Toward a Trustworthy Artificial Intelligence System Considering Security, Ethics, and Quality. Jun Yajima, Satoko Shiga, Kyoko Ohashi, Masaru Ide, Hiroshi Tanaka, Sachiko Onodera |
| 2024 | Towards a Pragmatic ORAM Implementation Using Caching and Prefetching. Kazuaki Kawabata, Naohiro Hayashibara |
| 2024 | cTIMS: Correlated Textual and Image based Metrics Suites for Assessing GAN-Synthesized Android Malware Images. Md Mashrur Arifin, Jyh-haw Yeh |