[et_pb_section fb_built=”1″ _builder_version=”4.22.2″ background_image=”https:\/\/cyprusconferences.org\/tase2025\/wp-content\/uploads\/2023\/05\/24857899916_6d7d641e3e_o-scaled-1.jpg” background_blend=”luminosity” global_colors_info=”{}”][et_pb_row _builder_version=”4.16″ global_colors_info=”{}”][et_pb_column type=”4_4″ _builder_version=”4.16″ global_colors_info=”{}”][et_pb_text _builder_version=”4.27.4″ header_font=”|800|||||||” header_text_color=”#FFFFFF” header_font_size=”35px” global_colors_info=”{}”]<\/p>\n
[\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section][et_pb_section fb_built=”1″ _builder_version=”4.16″ global_colors_info=”{}”][et_pb_row _builder_version=”4.25.2″ _module_preset=”default” 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.27.4″ _module_preset=”default” global_colors_info=”{}”]<\/p>\n
<\/p>\n
Robust Deep Reinforcement Learning Using Formal Verification <\/strong> Detecting speculative data flow vulnerabilities using weakest precondition reasoning<\/strong> Mining Diamonds in labeled Transition Systems<\/strong> Stable Ranges: Shared Dichotomy in Large Version-Controlled Repositories<\/strong> Unleash the Hidden Power of CAR-based Model Checking through Dynamic Traversal<\/strong> State Significance-Guided Fuzzing for Stateful Protocol Program<\/strong> Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMs<\/strong> Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation<\/strong> Failure divergence refinement for Event-B<\/strong> Portability of Optimizations from SC to TSO<\/strong> Dependent Assertion Logic for Modular Software Verification<\/strong> FAMiT: Mitigating False Alarms for Program Analysis Using Large Language Models<\/strong> A Formally Verified Neural Network Converter for the Interactive Theorem Prover Coq<\/strong> CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection<\/strong> A Formal Framework for Naturally Specifying and Verifying Sequential Algorithms<\/strong> Machine-Checked Compositional Specification and Proofs for Embedded Systems<\/strong> Adaptive Clause Management in SMT Solvers: A Dynamic Weighting Framework for Formal Verification<\/strong> A Cross-domain Data Sharing Scheme Based on Federated Blockchain<\/strong> Testing-Based Formal Verification with Program Slicing on Functional Soundness and Completeness<\/strong> COMPASS: An Agent for MLIR Compilation Pass Pipeline Generation<\/strong> SNRWLS: Improve (W)PMS Solver with Weighting Strategies Related to Number of Soft Clauses<\/strong> [\/et_pb_text][\/et_pb_column][\/et_pb_row][\/et_pb_section]<\/p>\n","protected":false},"excerpt":{"rendered":" Accepted PapersList of Accepted Papers Robust Deep Reinforcement Learning Using Formal Verification Avraham Raviv, Shaiel Vistuch, Erel Dekel, Boaz Gurevich and Hillel Kugler Detecting speculative data flow vulnerabilities using weakest precondition reasoningGraeme Smith Mining Diamonds in labeled Transition SystemsFlip van Spaendonck and Kevin Jilissen Stable Ranges: Shared Dichotomy in Large Version-Controlled RepositoriesLaurent Bulteau, Pierre-Yves David, Florian Horn and Euxane Tran-Girard Unleash the Hidden Power of CAR-based Model Checking through Dynamic TraversalYibo Dong, Yu Chen, Jianwen Li and Geguang Pu State Significance-Guided Fuzzing for Stateful Protocol ProgramKunpeng Jian, Yanyan Zou, Chen Wang, Ning Li, Menghao Li and Wei Huo Operational Semantics for Crystality: A Smart Contract Language for Parallel EVMsZiyun Xu, Hao Wang and Meng Sun Random Testing of Model Checkers for Timed Automata with Automated Oracle GenerationAndrea Manini, Matteo Rossi and Pierluigi San Pietro Failure divergence refinement for Event-BSebastian Stock, Michael Leuschel and Atif Mashkoor Portability of Optimizations from SC to TSOAkshay Gopalakrishnan and Clark Verbrugge Dependent Assertion Logic for Modular Software VerificationLukas Gr\u00e4tz FAMiT: Mitigating False Alarms for Program Analysis Using Large Language ModelsJiabao Zeng, Yuanlin Li, Ran Zhang, Yuanmin Xie, Kejia Li and Min Zhou A Formally Verified Neural Network Converter for the Interactive Theorem Prover CoqLeo […]<\/p>\n","protected":false},"author":8,"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\/tase2025\/wp-json\/wp\/v2\/pages\/244223"}],"collection":[{"href":"https:\/\/cyprusconferences.org\/tase2025\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/cyprusconferences.org\/tase2025\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/cyprusconferences.org\/tase2025\/wp-json\/wp\/v2\/users\/8"}],"replies":[{"embeddable":true,"href":"https:\/\/cyprusconferences.org\/tase2025\/wp-json\/wp\/v2\/comments?post=244223"}],"version-history":[{"count":6,"href":"https:\/\/cyprusconferences.org\/tase2025\/wp-json\/wp\/v2\/pages\/244223\/revisions"}],"predecessor-version":[{"id":244231,"href":"https:\/\/cyprusconferences.org\/tase2025\/wp-json\/wp\/v2\/pages\/244223\/revisions\/244231"}],"wp:attachment":[{"href":"https:\/\/cyprusconferences.org\/tase2025\/wp-json\/wp\/v2\/media?parent=244223"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
Avraham Raviv, Shaiel Vistuch, Erel Dekel, Boaz Gurevich and Hillel Kugler<\/p>\n
Graeme Smith<\/p>\n
Flip van Spaendonck and Kevin Jilissen<\/p>\n
Laurent Bulteau, Pierre-Yves David, Florian Horn and Euxane Tran-Girard<\/p>\n
Yibo Dong, Yu Chen, Jianwen Li and Geguang Pu<\/p>\n
Kunpeng Jian, Yanyan Zou, Chen Wang, Ning Li, Menghao Li and Wei Huo<\/p>\n
Ziyun Xu, Hao Wang and Meng Sun<\/p>\n
Andrea Manini, Matteo Rossi and Pierluigi San Pietro<\/p>\n
Sebastian Stock, Michael Leuschel and Atif Mashkoor<\/p>\n
Akshay Gopalakrishnan and Clark Verbrugge<\/p>\n
Lukas Gr\u00e4tz<\/p>\n
Jiabao Zeng, Yuanlin Li, Ran Zhang, Yuanmin Xie, Kejia Li and Min Zhou<\/p>\n
Leo Alexander Gummersbach, Kim V\u00f6llinger and Andrei Aleksandrov<\/p>\n
Richard A. Dubniczky, Krisztofer Zolt\u00e1n Horv\u00e1t, Tam\u00e1s Bisztray, Mohamed Amine Ferrag, Lucas C. Cordeiro and Norbert Tihanyi<\/p>\n
Chengxi Yang, Shushu Wu and Qinxiang Cao<\/p>\n
Karl Palmskog, Mattias Nyberg and Dilian Gurov<\/p>\n
Wenda Leng, Meihua Liu and Yufeng Jin<\/p>\n
Honglin Mao, Jie Zhang, Yao Zhang and Xiaohong Li<\/p>\n
Ai Liu, Yang Liu, Shaoying Liu and Zhibin Yang<\/p>\n
Hongbin Zhang, Shihao Gao, Yang Liu, Mingjie Xing, Yanjun Wu and Chen Zhao<\/p>\n
Chen Shuhao, Jiang Menghua and Chen Yin<\/p>\n