| 2023 | 28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023 |
| 2023 | A Blockchain-Based Interoperable Architecture for IoT with Selective Disclosure of Information. Rahma Mukta, Shantanu Pal, Shailesh Mishra, Hye-Young Paik, Salil S. Kanhere, Michael Hitchens |
| 2023 | A Dynamic Online Dashboard for Tracking the Performance of Division 1 Basketball Athletic Performance. Erica Juliano, Chelsea Thakkar, Christopher Taber, Mehul S. Raval, Tolga Kaya, Samah Senbel |
| 2023 | A Framework for Biomechanical Analysis of Jump Landings for Injury Risk Assessment. Srishti U. Sharma, Srikrishnan Divakaran, Tolga Kaya, Christopher Taber, Mehul S. Raval |
| 2023 | A Machine Learning driven Fault Tolerance Mechanism for UAVs' Flight Controller. Anamta Khan, João R. Campos, Naghmeh Ivaki, Henrique Madeira |
| 2023 | A Network-Agnostic Approach to Enforcing Collision-Free Time-Triggered Communication. Mohammad Ibrahim Alkoudsi, Gerhard Fohler, Marcus Völp |
| 2023 | AdapTV+: Enhancing Model-Based Test Adaptation for Smart TVs through Icon Recognition. Mohammad Yusaf Azimi, Cemal Yilmaz |
| 2023 | An Empirical Analysis of Rebalancing Methods for Security Issue Report Identification. Horacio L. França, César Alexandre Teixeira, Nuno Laranjeiro |
| 2023 | Applying metamorphic testing to reliability calculating programs. Taito Asaji, Tatsuhiro Tsuchiya |
| 2023 | Attack Tree Analysis for Adversarial Evasion Attacks. Yuki Yamaguchi, Toshiaki Aoki |
| 2023 | BSGAT: A Graph Attention Network for Binary Code Similarity Detection. Chao Qu, Rongqian Zhou, Ke Liu, Zhuo Yan, Haipeng Qu |
| 2023 | Court Detection Using Masked Perspective Fields Network. Kan Jiang, Jiayu Li, Zhaoyu Liu, Chen Dong |
| 2023 | Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof. Chenhao Shi, Hao Chen, Ruibang Liu, Guoqiang Li |
| 2023 | Development of the System Assurance Reference Model for Generating Modular Assurance Cases. Andrzej Wardzinski, Aleksander Jarzebowicz |
| 2023 | Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise. Morten Konggaard Schou, Ingmar Poese, Jirí Srba |
| 2023 | Early Childhood Action Monitoring and Analytics System (ECAMS). Isuru Supasan Naotunna Andarage, Dileepa Fernando, Buddhi Avishka Lokuarachchi, Malithi Gimhani Athuluwage, Pavithra Wijewickrama |
| 2023 | Effects of Wrist Guard Microcurrent Stimulation Therapy on Pain, Range of Motion, and Muscle Strength in Physically Active Older Women with Carpal Tunnel Syndrome. Robert Seungbok Lee, Sungheum Um |
| 2023 | Efficient Adversarial Input Generation via Neural Net Patching. Tooba Khan, Kumar Madhukar, Subodh Vishnu Sharma |
| 2023 | End-to-end Resiliency Analysis Framework for Cloud Storage Services. Archita Ghosh, J. Lakshmi |
| 2023 | Entropy-based Selective Homomorphic Encryption for Smart Metering Systems. Weiyan Xu, Yinghao Zhang, Rachel Cardell-Oliver, Ajmal Mian, Jin B. Hong |
| 2023 | Evaluating of Football Player 1v1 Abilities based on the Glicko-2 with Modifications. Andrei Shelopugin, Alexander Sirotkin |
| 2023 | Extension of STPA to Analyze Decisions and Behaviors of Human as Controlled Process in Human-Machine Coexistence Environment. Natsumi Watanabe, Satoshi Otsuka, Hiroyuki Yamada, Masaya Itoh, Tsunamichi Tsukidate |
| 2023 | Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion. Naoki Nishiguchi, Tatsuhiro Tsuchiya |
| 2023 | Hierarchical Dependability Modeling with Multi-State Systems. Junjun Zheng, Hiroyuki Okamura, Tadashi Dohi |
| 2023 | How to Attract and Retain Users for Native Newborn Version Control Systems? Guangjie Li, Yi Tang, Yan He, Biyi Yi, Weihao Li, Qilei Zhang |
| 2023 | I Can't Escape Myself: Cloud Inter-Processor Attestation and Sealing using Intel SGX. Daniel Andrade, João Nuno Silva, Miguel Correia |
| 2023 | Intrusion Detection for Scalable and Elastic Microservice Applications. José Flora, Paulo Gonçalves, Nuno Antunes |
| 2023 | Key considerations in the week-to-week forecasting of individual match actions in football. Qixiang He, John Komar, Ying Hwa Kee |
| 2023 | Lead Time Analysis for UAVs' Failure Prediction in U-space. Omid Asghari, Naghmeh Ivaki, Henrique Madeira |
| 2023 | Liveness Checking of the HotStuff Protocol Family. Jérémie Decouchant, Burcu Kulahcioglu Ozkan, Yanzhuo Zhou |
| 2023 | OMAHA: Opportunistic Message Aggregation for pHase-based Algorithms. Célia Mahamdi, Jonathan Lejeune, Julien Sopena, Pierre Sens, Mesaac Makpangou |
| 2023 | Officiating Cricket Bowling Using An Event-Based Computer Vision System. Masoumeh Izadi, Ehsan Goodarzi, Milad Farzalizadeh, Masoud Masoumi Moghadam, Aleksey Izmailov |
| 2023 | Perceived Usability of Computer-Aided Engineering Software. Guangjie Li, Yan He, Yi Tang, Xiaochen Shen, Limin He |
| 2023 | Perspectives of Pakistani Cricketers and Coaches Regarding Coaching Competence in Relation to Performance Efficacy. Vicar Solomon, Farah Malik |
| 2023 | PoTR: Accurate and Efficient Proof of Timely-Retrievability for Storage Systems. Cláudio Correia, Rita Prates, Miguel Correia, Luís E. T. Rodrigues |
| 2023 | Poster: Faster Quorums with FlashConsensus. Christian Berger, Lívio Rodrigues, Hans P. Reiser, Vinicius Vielmo Cogo, Alysson Bessani |
| 2023 | Probabilistic Model Checking of Handball Action Sequences. Luke Wildman |
| 2023 | RaceLens: A Machine Intelligence-Based Application for Racing Photo Analysis. Andrei Boiarov, Dmitry Bleklov, Pavlo Bredikhin, Nikita Koritsky, Sergey Ulasen |
| 2023 | Recognizing a Sequence of Events from Tennis Video Clips: Addressing Timestep Identification and Subtle Class Differences. Zhaoyu Liu, Jingyu Guo, Mo Wang, Ruicong Wang, Kan Jiang, Jin Song Dong |
| 2023 | Reliability and Performance Evaluation of Two-input Machine Learning Systems. Kazuya Wakigami, Fumio Machida, Tuan Phung-Duc |
| 2023 | SEmigrate: Optimizing Data Protection with VM Introspection. Shuhei Horio, Kouta Takahashi, Kenichi Kourai |
| 2023 | Safeguarding Learning-based Control for Smart Energy Systems with Sampling Specifications. Chih-Hong Cheng, Venkatesh Prasad Venkataramanan, Pragya Kirti Gupta, Yun-Fei Hsu, Simon Burton |
| 2023 | Scalable Performance Evaluation of Byzantine Fault-Tolerant Systems Using Network Simulation. Christian Berger, Sadok Ben Toumia, Hans P. Reiser |
| 2023 | SecCT: Secure and scalable count query models on encrypted genomic data. Yanguo Peng, Rongqiao Liu, Xiyue Gao, Luyuan Huang, Jingjing Guo, Yaofeng Tu |
| 2023 | Shifting the Weight: Applications of AI in Olympic Weightlifting. Daniel Bolarinwa, Nadeem Qazi, Mustansar Ali Ghazanfar |
| 2023 | Simulation-based Evaluation of a Remotely Operated Road Vehicle under Transmission Delays and Denial-of-Service Attacks. Mateen Malik, Maytheewat Aramrattana, Mehdi Maleki, Peter Folkesson, Behrooz Sangchoolie, Johan Karlsson |
| 2023 | Sports Injury Prediction in Professional Tennis. Zhaoyu Liu, Kan Jiang, Jin Song Dong |
| 2023 | Using Multi-dimensional Quorums for Optimal Resilience in Multi-resource Blockchains. Yucheng Sun, Ruomu Hou, Haifeng Yu |
| 2023 | Utilizing Similarity for Improved Intrusion Detection: Autonomous Community Formation for Practical Heterogeneity Management. Philipp Eichhammer, Hans P. Reiser |
| 2023 | Visilience: An Interactive Visualization Framework for Resilience Analysis using Control-Flow Graph. Hailong Jiang, Shaolun Ruan, Bo Fang, Yong Wang, Qiang Guan |