{"id":52,"date":"2021-04-08T09:10:45","date_gmt":"2021-04-08T09:10:45","guid":{"rendered":"https:\/\/cyprusconferences.org\/mpu2022\/?page_id=52"},"modified":"2024-09-22T18:08:44","modified_gmt":"2024-09-22T18:08:44","slug":"program","status":"publish","type":"page","link":"https:\/\/cyprusconferences.org\/iceccs2024\/program\/","title":{"rendered":"Program"},"content":{"rendered":"

[et_pb_section fb_built=”1″ _builder_version=”4.21.0″ _module_preset=”default” custom_padding=”||0px|||” top_divider_color=”rgba(2,119,135,0.24)” global_colors_info=”{}”][et_pb_row _builder_version=”4.16″ _module_preset=”default” custom_margin=”|auto|-6px|auto||” custom_padding=”||11px|||” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.16″ _module_preset=”default” global_colors_info=”{}”][et_pb_text _builder_version=”4.21.0″ _module_preset=”default” global_colors_info=”{}”]<\/p>\n

Program<\/h1>\n

[\/et_pb_text][et_pb_divider _builder_version=”4.21.0″ _module_preset=”default” global_colors_info=”{}”][\/et_pb_divider][\/et_pb_column][\/et_pb_row][et_pb_row _builder_version=”4.25.2″ _module_preset=”default” custom_padding=”||4px|||” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.25.2″ _module_preset=”default” global_colors_info=”{}”][et_pb_text _builder_version=”4.25.2″ _module_preset=”default” global_colors_info=”{}”]<\/p>\n

ROOM: MEGARON G<\/h3>\n

[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.16″ custom_padding=”3px|||||” global_colors_info=”{}”][et_pb_row _builder_version=”4.25.1″ _module_preset=”default” custom_padding=”7px|||||” global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.25.1″ _module_preset=”default” global_colors_info=”{}”][et_pb_tabs _builder_version=”4.27.0″ _module_preset=”default” hover_enabled=”0″ global_colors_info=”{}” sticky_enabled=”0″][et_pb_tab title=”Wednesday” _builder_version=”4.27.0″ _module_preset=”default” hover_enabled=”0″ global_colors_info=”{}” sticky_enabled=”0″] <\/p>\n\n\n\n\n\n\n\n\n\n<\/tr>\n\n\n\n\n\n\n\n\n\n\n\n\n\n<\/tr>\n\n
Day 1: 19 June, 2024 (Wednesday)<\/strong><\/td>\n<\/tr>\n
8:30 – 8:45<\/strong><\/td>\nRegistration<\/td>\n<\/tr>\n
8:45 – 9:00<\/strong><\/td>\nOpening Remarks<\/td>\n<\/tr>\n
9:00 – 10:30<\/strong><\/td>\nMachine Learning and Complex Systems (Session Chair: Akram Idani<\/span>)<\/strong><\/td>\n<\/tr>\n
DASHCHEF: A Metric Recommendation Service for Online Systems Using Graph Learning Zilong He, Tao Huang, Pengfei Chen, Ruipeng Li, Rui Wang, and Zibin Zheng<\/em><\/span><\/td>\n<\/tr>\n
SC-WGAN: GAN-Based Oversampling Method for Network Intrusion Detection Wuxia Bai, Kailong Wang, Kai Chen, Shenghui Li, Bingqian Li, and Ning Zhang <\/em><\/span><\/td>\n<\/tr>\n
Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An experience report <\/span>
\nHao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, and Yves Bossu<\/em><\/td>\n<\/tr>\n
10:30 – 11:00<\/strong><\/td>\nBreak<\/td>\n<\/tr>\n
11:00 – 12:00<\/strong><\/td>\nNeural Network Verification (Session Chair: Marc Frappier)<\/strong><\/td>\n<\/tr>\n
Optimal Solution Guided Branching Strategy for Neural Network Branch and Bound Verification <\/span>
\nXiaoyong Xue and Meng Sun<\/em><\/td>\n<\/tr>\n
AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance <\/span>
\nFei Zheng, Qingguo Xu, Zhou Lei, and Huaikou Miao<\/em><\/td>\n<\/tr>\n
12:00 – 14:00<\/strong><\/td>\nLunch<\/td>\n<\/tr>\n
14:00 – 15:30<\/strong><\/td>\nA.I. for Software Engineering (Session Chair: Marc Frappier)<\/strong><\/td>\n<\/tr>\n
Word2Vec-BERT-bmu: Classification of RISC-V Architecture Software Package Build Failures Shitian Ma, Hui Li, Jiaxin Zhu, Xiaohui He, Shuyang Zhang, and Junfeng Zeng <\/em><\/span><\/td>\n<\/tr>\n
Test Architecture Generation by Leveraging BERT and Control and Data Flows <\/span>
\nGuangyu Wang, Ji Wu, Haiyan Yang, Qing Sun, and Tao Yue<\/em><\/td>\n<\/tr>\n
Less is More: an Empirical Study of Undersampling Techniques for Technical Debt Prediction (Short Paper)<\/strong>
\nGichan Lee and Scott Uk-Jin Lee<\/em><\/td>\n<\/tr>\n
15:30 – 16:00<\/strong><\/td>\nBreak<\/td>\n<\/tr>\n
16:00 – 17:00<\/strong><\/td>\nSmart Contract (Session Chair: George Papadopoulos)<\/strong><\/td>\n<\/tr>\n
Modeling and Verification of Solidity Smart Contracts with the B Method<\/span>
\nFay\u00e7al Baba, Amel Mammar, Marc Frappier, and Regine Laleau<\/em><\/td>\n<\/tr>\n
Template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain <\/span>
\nXufeng Zhao, Qiuyang Wei, Xue-Yang Zhu, and Wenhui Zhang<\/em><\/td>\n<\/tr>\n
19:00-20:30<\/strong><\/td>\nReception<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

[\/et_pb_tab][et_pb_tab title=”Thursday” _builder_version=”4.27.0″ _module_preset=”default” hover_enabled=”0″ global_colors_info=”{}” sticky_enabled=”0″]<\/p>\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n\n
Day 2: 20 June, 2024 (Thursday)<\/strong><\/td>\n<\/tr>\n
09:30 – 10:30<\/strong><\/td>\nKeynote 1: Constantine Dovrolis, The Cyprus Institute (Session Chair: George Angelos Papadopoulos)<\/strong><\/td>\n<\/tr>\n
10:30 – 11:00<\/strong><\/td>\nBreak<\/td>\n<\/tr>\n
11:00 – 12:30<\/strong><\/td>\nFormal Methods 1 (Session Chair: Hui Li)<\/strong><\/td>\n<\/tr>\n
QuanSafe: A DTBN-based Framework of Quantitative Safety Analysis for AADL Models
\nYiwei Zhu, Jing Liu, Haiying Sun, Wei Yin and Jiexiang Kang<\/em><\/td>\n<\/tr>\n
A Event-B-based Approach for Schedulability Analysis For Real-time Scheduling Algorithms through Deadlock Detection <\/span>
\nJiale Quan and Qin Li<\/em><\/td>\n<\/tr>\n
Validation of railML using ProB (Short Paper)<\/strong>
\nJan Gruteser and Michael Leuschel<\/em><\/td>\n<\/tr>\n
12:30 – 14:00<\/strong><\/td>\nLunch<\/td>\n<\/tr>\n
14:00 – 15:30<\/strong><\/td>\nSecurity (Session Chair: Scott Uk-Jin Lee)<\/strong><\/td>\n<\/tr>\n
Confidentiality Management in Complex Systems Design
\nMichel Bourdelles, Jamal El Hachem <\/em>and<\/em>\u00a0Salah Sadou<\/em><\/td>\n<\/tr>\n
Analyzing Excessive Permission Requests in Google Workspace Add-ons <\/span><\/em>
\nLiuhuo Wan, Chuan Yan, Mark Huasong Meng, Kailong Wang and Haoyu Wang<\/em><\/td>\n<\/tr>\n
Formal Verification Techniques for Post-Quantum Cryptography: A Systematic Review
\nYuexi Xu, Zhenyuan Li, Naipeng Dong, Veronika Kuchta, Zhe Hou and Dongxi Liu<\/em><\/td>\n<\/tr>\n
15:30 – 16:00<\/strong><\/td>\nBreak<\/td>\n<\/tr>\n
16:00 – 17:30<\/strong><\/td>\nFormal Methods 2 (Session Chair: Michel Bourdelles)<\/strong><\/td>\n<\/tr>\n
Reachability analysis of concurrent self-modifying code
\nWalid Messahel and Tayssir Touili<\/em><\/td>\n<\/tr>\n
An Iterative Formal Model-Driven Approach to Railway Systems Validation
\nAsfand Yar, Akram Idani, Yves Ledru, Simon Collart-Dutilleul, Amel Mammar <\/em>and <\/em>German Vega\u00a0<\/em><\/td>\n<\/tr>\n
An Efficient Distributed Dispatching Vehicles Protocol for Intersection Traffic Control (Short Paper)<\/strong>
\nFang Qi, Rui Wang, Yong Guan <\/em>and <\/em>Xiaoyu Song<\/em><\/td>\n<\/tr>\n
19:00-23:00<\/strong><\/td>\nBanquet<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

[\/et_pb_tab][et_pb_tab title=”Friday” _builder_version=”4.27.0″ _module_preset=”default” hover_enabled=”0″ global_colors_info=”{}” sticky_enabled=”0″]<\/p>\n\n\n\n\n\n\n\n\n\n\n
Day 3: 21 June, 2024 (Friday)<\/strong><\/td>\n<\/tr>\n
09:30 – 10:30<\/strong><\/td>\nKeynote 2: Christos Panayiotou (Session Chair: George Angelos Papadopoulos)<\/strong><\/td>\n<\/tr>\n
10:30 – 11:00<\/strong><\/td>\nBreak<\/td>\n<\/tr>\n
11:00 – 12:30<\/strong><\/td>\nProgram Analysis (Session Chair: Tayssir Touili)<\/strong><\/td>\n<\/tr>\n
AutoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation
Haining Meng, Haofeng Li, Jie Lu, Chenghang Shi, Liqing Cao, Lian Li and Lin Gao<\/em><\/td>\n<\/tr>\n
SafePtrX: Research on Mitigation of Heap-based Memory Safety Violations for Intel x86-64
Lilie Chen, Junyu Wu and Yuan Liu<\/em><\/td>\n<\/tr>\n
Towards Efficiently Parallelizing Patch-Space Exploration in Automated Program Repair (Short Paper)<\/strong>
Omar Al-Bataineh<\/em><\/td>\n<\/tr>\n
12:30 – 14:00<\/strong><\/td>\nLunch<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n

[\/et_pb_tab][\/et_pb_tabs][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":"

ProgramROOM: MEGARON G  Day 1: 19 June, 2024 (Wednesday) 8:30 – 8:45 Registration 8:45 – 9:00 Opening Remarks 9:00 – 10:30 Machine Learning and Complex Systems (Session Chair: Akram Idani) DASHCHEF: A Metric Recommendation Service for Online Systems Using Graph Learning Zilong He, Tao Huang, Pengfei Chen, Ruipeng Li, Rui Wang, and Zibin Zheng SC-WGAN: GAN-Based Oversampling Method for Network Intrusion Detection Wuxia Bai, Kailong Wang, Kai Chen, Shenghui Li, Bingqian Li, and Ning Zhang Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An experience report Hao Xu, Souheib Baarir, Tewfik Ziadi, Siham Essodaigui, and Yves Bossu 10:30 – 11:00 Break 11:00 – 12:00 Neural Network Verification (Session Chair: Marc Frappier) Optimal Solution Guided Branching Strategy for Neural Network Branch and Bound Verification Xiaoyong Xue and Meng Sun AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance Fei Zheng, Qingguo Xu, Zhou Lei, and Huaikou Miao 12:00 – 14:00 Lunch 14:00 – 15:30 A.I. for Software Engineering (Session Chair: Marc Frappier) Word2Vec-BERT-bmu: Classification of RISC-V Architecture Software Package Build Failures Shitian Ma, Hui Li, Jiaxin Zhu, Xiaohui He, Shuyang Zhang, and Junfeng Zeng Test Architecture Generation by Leveraging BERT and Control and Data Flows […]<\/p>\n","protected":false},"author":5,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_et_pb_use_builder":"on","_et_pb_old_content":"","_et_gb_content_width":"","footnotes":""},"_links":{"self":[{"href":"https:\/\/cyprusconferences.org\/iceccs2024\/wp-json\/wp\/v2\/pages\/52"}],"collection":[{"href":"https:\/\/cyprusconferences.org\/iceccs2024\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/cyprusconferences.org\/iceccs2024\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/cyprusconferences.org\/iceccs2024\/wp-json\/wp\/v2\/users\/5"}],"replies":[{"embeddable":true,"href":"https:\/\/cyprusconferences.org\/iceccs2024\/wp-json\/wp\/v2\/comments?post=52"}],"version-history":[{"count":34,"href":"https:\/\/cyprusconferences.org\/iceccs2024\/wp-json\/wp\/v2\/pages\/52\/revisions"}],"predecessor-version":[{"id":244155,"href":"https:\/\/cyprusconferences.org\/iceccs2024\/wp-json\/wp\/v2\/pages\/52\/revisions\/244155"}],"wp:attachment":[{"href":"https:\/\/cyprusconferences.org\/iceccs2024\/wp-json\/wp\/v2\/media?parent=52"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}