share record
persistent URL:
Célia Mahamdi , Jonathan Lejeune , Julien Sopena , Pierre Sens , Mesaac Makpangou : OMAHA: Opportunistic Message Aggregation for pHase-based Algorithms. PRDC 2023 : 150-160 share record
persistent URL:
Mateen Malik , Maytheewat Aramrattana , Mehdi Maleki , Peter Folkesson , Behrooz Sangchoolie , Johan Karlsson : Simulation-based Evaluation of a Remotely Operated Road Vehicle under Transmission Delays and Denial-of-Service Attacks. PRDC 2023 : 23-29 share record
persistent URL:
Rahma Mukta , Shantanu Pal , Shailesh Mishra , Hye-Young Paik , Salil S. Kanhere , Michael Hitchens : A Blockchain-Based Interoperable Architecture for IoT with Selective Disclosure of Information. PRDC 2023 : 53-63 share record
persistent URL:
Naoki Nishiguchi , Tatsuhiro Tsuchiya : Formal Verification of Concurrent Algorithms: Case Studies on Mutual Exclusion. PRDC 2023 : 236-238 share record
persistent URL:
Yanguo Peng , Rongqiao Liu , Xiyue Gao , Luyuan Huang , Jingjing Guo , Yaofeng Tu : SecCT: Secure and scalable count query models on encrypted genomic data. PRDC 2023 : 13-22 share record
persistent URL:
Chao Qu , Rongqian Zhou , Ke Liu , Zhuo Yan , Haipeng Qu : BSGAT: A Graph Attention Network for Binary Code Similarity Detection. PRDC 2023 : 161-167 share record
persistent URL:
Morten Konggaard Schou , Ingmar Poese , Jirí Srba : Discovery of Flow Splitting Ratios in ISP Networks with Measurement Noise. PRDC 2023 : 64-70 share record
persistent URL:
Srishti Sharma , Srikrishnan Divakaran , Tolga Kaya , Christopher Taber , Mehul S. Raval : A Framework for Biomechanical Analysis of Jump Landings for Injury Risk Assessment. PRDC 2023 : 327-331 share record
persistent URL:
Andrei Shelopugin , Alexander Sirotkin : Evaluating of Football Player 1v1 Abilities based on the Glicko-2 with Modifications. PRDC 2023 : 287-291 share record
persistent URL:
Chenhao Shi , Hao Chen , Ruibang Liu , Guoqiang Li : Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof. PRDC 2023 : 191-197 share record
persistent URL:
Vicar Solomon , Farah Malik : Perspectives of Pakistani Cricketers and Coaches Regarding Coaching Competence in Relation to Performance Efficacy. PRDC 2023 : 292-298 share record
persistent URL:
Yucheng Sun , Ruomu Hou , Haifeng Yu : Using Multi-dimensional Quorums for Optimal Resilience in Multi-resource Blockchains. PRDC 2023 : 257-267 share record
persistent URL:
Kazuya Wakigami , Fumio Machida , Tuan Phung-Duc : Reliability and Performance Evaluation of Two-input Machine Learning Systems. PRDC 2023 : 278-286 share record
persistent URL:
Andrzej Wardzinski , Aleksander Jarzebowicz : Development of the System Assurance Reference Model for Generating Modular Assurance Cases. PRDC 2023 : 99-110 share record
persistent URL:
Natsumi Watanabe , Satoshi Otsuka , Hiroyuki Yamada , Masaya Itoh , Tsunamichi Tsukidate : Extension of STPA to Analyze Decisions and Behaviors of Human as Controlled Process in Human-Machine Coexistence Environment. PRDC 2023 : 81-87 share record
persistent URL:
Luke Wildman : Probabilistic Model Checking of Handball Action Sequences. PRDC 2023 : 332-336 share record
persistent URL:
Weiyan Xu , Yinghao Zhang , Rachel Cardell-Oliver , Ajmal Mian , Jin B. Hong : Entropy-based Selective Homomorphic Encryption for Smart Metering Systems. PRDC 2023 : 228-235 share record
persistent URL:
Yuki Yamaguchi , Toshiaki Aoki : Attack Tree Analysis for Adversarial Evasion Attacks. PRDC 2023 : 46-52 share record
persistent URL:
Junjun Zheng , Hiroyuki Okamura , Tadashi Dohi : Hierarchical Dependability Modeling with Multi-State Systems. PRDC 2023 : 268-277 share record
persistent URL:
28th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2023, Singapore, October 24-27, 2023. IEEE 2023 , ISBN 979-8-3503-5876-6 [contents]