PRDC 2022 Program

Top > Program

Program at a Glance

Awards

Best Paper Award

Tracing Processing of Service Requests in Cloud Environments
Yinqin Zhao (Tsinghua University), Chang Liu (Tsinghua University), Tao Yu (Tsinghua University), Long Wang (Tsinghua University), Xuanqing Shi (Nanjing University of Aeronautics and Astronautics), Yong Yang (Peking University), Ying Li (Peking University), Zhengang Wang (Huawei Corporation) and Dongdong Shangguan (Huawei Corporation)

Best Paper Award Runners Up

Modeling and Evaluating the Effects of Jamming Attacks on Connected Automated Road Vehicles
Mehdi Maleki (RISE Research Institutes of Sweden), Mateen Malik (RISE Research Institutes of Sweden), Peter Folkesson (RISE Research Institutes of Sweden), Behrooz Sangchoolie (RISE Research Institutes of Sweden) and Johan Karlsson (Chalmers University of Technology)

Safe Rust Code Recommendation Based on Siamese Graph Neural Network
Xiuwen Lu (Fudan University), Zhicong Zhang (Fudan University) and Hui Xu (Fudan University)

Best Student Paper Award

Safe Rust Code Recommendation Based on Siamese Graph Neural Network
Xiuwen Lu (Fudan University), Zhicong Zhang (Fudan University) and Hui Xu (Fudan University)

Best Industry Paper Award

An Industrial Approach for Model-Based Reliability-Oriented System Design
Juan Manuel Morote (University of Castilla-La Mancha), Jose Luis de la Vara (University of Castilla-La Mancha), Giovanni Giachetti (University of Castilla-La Mancha), Clara Ayora (Tree Technology S.A.) and Luis Alonso (Reuse Company)

Best Industry Paper Award Runners Up

Model-Based Generation and Analysis Toolset of Fault Trees With Heterogeneous Failure Events
Nicolas Rapin (CEA LIST), Boutheina Bannour (CEA LIST) and Adedjouma Morayo (CEA LIST)

Full Program (UTC time)

November 28, 2022 (Monday)
11:30 ‒ 17:00	Registration
12:00 ‒ 12:15	Session A: Opening Ceremony Prof. Long Wang (Tsinghua University, General Chair)
12:15 ‒ 13:15	Session B: Keynote Speech I Session Chair: Long Wang Cyber Resilience explained through a Blockchain example Prof. Paulo E. Verissimo (KAUST)
13:15 ‒ 13:30	Coffee Break
13:30 ‒ 14:30	Session C: Keynote Speech II Session Chair: Long Wang Rethinking Software Fault Tolerance Prof. Kishor S. Trivedi (Duke University)
14:30 ‒ 14:45	Coffee Break
14:45 ‒ 16:45	Session D1: Research Session I: Machine Learning Safety and Reliability Session Chair: Ankur Shukla How Data Diversification Benefits the Reliability of Three-version Image Classification Systems Mitsuho Takahashi (University of Tsukuba), Fumio Machida (University of Tsukuba) and Qiang Wen (University of Tsukuba) Automating Safety Argument Change Impact Analysis for Machine Learning Components Carmen Carlan (fortiss GmbH), Lydia Gauerhof (Robert Bosch GmbH, Corporate Research), Barbara Gallina (Mälardalen University) and Simon Burton (Fraunhofer Institute for Cognitive Systems) Characterizing Deep Learning Neural Network Failures between Algorithmic Inaccuracy and Transient Hardware Faults Sabuj Laskar (University of Iowa), Md Hasanur Rahman (University of Iowa), Bohan Zhang (University of Iowa) and Guanpeng Li (University of Iowa) SiMOOD: Evolutionary Testing Simulation with Out-Of-Distribution Images Raul Ferreira (LAAS-CNRS), Joris Guerin (LAAS-CNRS), Jeremie Guiochet (LAAS-CNRS) and Helene Waeselynck (LAAS-CNRS)
14:45 ‒ 16:25	Session D2: Fast Abstract Session Session Chair: Zhen Dong Towards Building Secure and Reconfigurable Virtual Networks on Multi-Tenant Data Centers Jinwoo Kim (Kwangwoon University) and Jaehyun Nam (Dankook University) Comparison of Meta-Heuristic Algorithms for Task Scheduling in Distributed Stream Processing Dohan Kim (Kyungpook National University), Aming Wu (Kyungpook National University) and Young-Woo Kwon (Kyungpook National University) Stuck-at Fault Tolerance in DNN Using Statistical data Tomohiro Ishii (Chiba University) and Kazuteru Namba (Chiba University) Extracting Network Knowledge and Monitoring Network Status on Cloud Container Platforms Yinqin Zhao (Tsinghua University) and Long Wang (Tsinghua University) Progressive Evolution Scheme with Socialization Swarm for Privacy Blockchain Daoqi Han (Beijing University of Posts and Telecommunications), Tao Yu (Tsinghua University) and Yueming Lu (Beijing University of Posts and Telecommunications)

November 29, 2022 (Tuesday)
11:30 ‒ 17:00	Registration
12:00 ‒ 13:00	Session A: Keynote Speech III Session Chair: Long Wang Reimagining the Engineering of Software Prof. Zhendong Su (ETH Zurich)
13:00 ‒ 13:15	Coffee Break
13:15 ‒ 14:45	Session B: Best Paper Nominees Session Chair: Ting Su Safe Rust Code Recommendation Based on Siamese Graph Neural Network Xiuwen Lu (Fudan University), Zhicong Zhang (Fudan University) and Hui Xu (Fudan University) Modeling and Evaluating the Effects of Jamming Attacks on Connected Automated Road Vehicles Mehdi Maleki (RISE Research Institutes of Sweden), Mateen Malik (RISE Research Institutes of Sweden), Peter Folkesson (RISE Research Institutes of Sweden), Behrooz Sangchoolie (RISE Research Institutes of Sweden) and Johan Karlsson (Chalmers University of Technology) Tracing Processing of Service Requests in Cloud Environments Yinqin Zhao (Tsinghua University), Chang Liu (Tsinghua University), Tao Yu (Tsinghua University), Long Wang (Tsinghua University), Xuanqing Shi (Nanjing University of Aeronautics and Astronautics), Yong Yang (Peking University), Ying Li (Peking University), Zhengang Wang (Huawei Corporation) and Dongdong Shangguan (Huawei Corporation)
14:45 ‒ 15:00	Coffee Break
15:00 ‒ 17:00	Session C1: Research Session II: Critical Infrastructure Security Session Chair: Leonardo Montecchi Enhanced software development process for CubeSats to cope with space radiation faults David Paiva (CISUC, University of Coimbra), Raffael Lima (COENE, INPE), Manoel Carvalho (COENE, INPE), Fátima Mattiello-Francisco (COEPE, INPE) and Henrique Madeira (CISUC, University of Coimbra) A Heterogeneous Redundant Architecture for Industrial Control System Security Zhihao Dai (The University of Warwick), Matthew Leeke (The University of Warwick), Yulong Ding (Southern University of Science and Technology) and Shuang-Hua Yang (Southern University of Science and Technology) Random Bad State Estimator to Address False Data Injection in Critical Infrastructures Giulio Masetti (Istituto di Scienza e Tecnologia dell'Informazione, Consiglio Nazionale delle Ricerche), Silvano Chiaradonna (Istituto di Scienza e Tecnologia dell'Informazione, Consiglio Nazionale delle Ricerche), Leonardo Robol (University of Pisa) and Felicita Di Giandomenico (Istituto di Scienza e Tecnologia dell'Informazione, Consiglio Nazionale delle Ricerche) Towards a Dependable Energy Market: Proof of Authority in a Blockchain-based Peer-to-Peer Microgrid Joe Hewett (The University of Warwick), Mark Etman (The University of Warwick), Robbie Marseglia (The University of Warwick), Tomas Mella Pickersgill (The University of Warwick) and Matthew Leeke (The University of Warwick)
15:00 ‒ 17:00	Session C2: Research Session III: Software and Network Security Session Chair: Hui Xu Performance and Security Evaluation of a Moving Target Defense Based on a Software-Defined Networking Environment Minjune Kim (University of Queensland), Jin-Hee Cho (Virginia Tech), Hyuk Lim (Korea Institute of Energy Technology (KENTECH)), Terrence J. Moore (US Army Research Lab.), Frederica F. Nelson (US Army Research Lab.) and Dongseong Kim (University of Queensland) On the Evaluation of Three Pre-Injection Analysis Techniques Suitable for Model-Implemented Fault- and Attack Injection Peter Folkesson (RISE Research Institutes of Sweden), Behrooz Sangchoolie (RISE Research Institutes of Sweden), Pierre Kleberger (RISE Research Institutes of Sweden) and Nasser Nowdehi (Volvo AB) Security Modeling and Analysis of Moving Target Defense in Software Defined Networks Júlio Mendonça (University of Luxembourg), Minjune Kim (The University of Queensland), Rafal Graczyk (University of Luxembourg), Marcus Völp (University of Luxembourg) and Dongseong Kim (The University of Queensland) A Software Vulnerability Dataset of Large Open Source C/C++ Projects José D'Abruzzo Pereira (University of Coimbra), João Henggeler Antunes (University of Coimbra) and Marco Vieira (University of Coimbra)

November 30, 2022 (Wednesday)
11:30 ‒ 17:00	Registration
12:00 ‒ 13:00	Session A: Keynote Speech IV Session Chair: Long Wang AI for Software Dependability: How Far Can We Go? Prof. Tao Xie (Peking University)
13:00 ‒ 13:15	Coffee Break
13:15 ‒ 14:15	Session B: Best Industry Paper Nominees Session Chair: Cheng Wang An Industrial Approach for Model-Based Reliability-Oriented System Design Juan Manuel Morote (University of Castilla-La Mancha), Jose Luis de la Vara (University of Castilla-La Mancha), Giovanni Giachetti (University of Castilla-La Mancha), Clara Ayora (Tree Technology S.A.) and Luis Alonso (Reuse Company) Model-Based Generation and Analysis Toolset of Fault Trees With Heterogeneous Failure Events Nicolas Rapin (CEA LIST), Boutheina Bannour (CEA LIST) and Adedjouma Morayo (CEA LIST)
14:15 ‒ 14:30	Coffee Break
14:30 ‒ 16:30	Session C1: Research Session IV: Fault Tolerance and Resilience Session Chair: Jamilson Dantas AnoDe: A Log-based Self-Supervised Framework to Detect Scrubber Failures in SRAM-FPGA Trishna Rajkumar (KTH Royal Institute of Technology) and Johnny Öberg (KTH Royal Institute of Technology) Understanding the Resiliency of Cloud Storage Services Archita Ghosh (Indian Institute of Science) and J Lakshmi (Indian Institute of Science) Reliability Analysis of Multi-state System Based on Irrelevance Coverage Model Kangning Song (Wuhan University of Technology), Siwei Zhou (Wuhan University of Technology), Luyao Ye (Wuhan University of Technology), Piaoyi Liu (Wuhan University of Technology), Jing Tian (Wuhan University of Technology) and Jianwen Xiang (Wuhan University of Technology) Are UAVs’ Flight Controller Software Reliable? Anamta Khan (University of Coimbra), Naghmeh Ivaki (University of Coimbra) and Henrique Madeira (University of Coimbra)
14:30 ‒ 15:30	Session C2: Research Session V: Security and Privacy Session Chair: Naohiro Hayashibara Developing a GPT-3-based Automated Victim for Advance Fee Fraud Disruption Joe Hewett (The University of Warwick) and Matthew Leeke (The University of Warwick) HERB+: Evolving an Industrial-strength Privacy Preserving Machine Learning Framework Qianying Liao (University of Coimbra), Alexandre Cortez Santos (University of Coimbra), Bruno Cabral (University of Coimbra), João Paulo Fernande (University of Porto) and Nuno Lourenço (University of Coimbra)
15:40 ‒ 16:40	Session D: Industry Session Session Chair: Xiao Chen Examining the Utility of Differentially Private Synthetic Data Generated using Variational Autoencoder with Tensorflow Privacy Bo-Chen Tai (CITI, Academia Sinica), Szu Chuang Li (Tamkang University), Yennun Huang (CITI, Academia Sinica) and Pang-Chieh Wang (ICL, ITRI) Signature of Electrical System Reliability Used Inside Aircraft Emad Kareem Mutar(Directorate of Education Babylon)