PRDC

Publications

2023

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