呂 徳運
リョ トクウン (Deyun Lyu)
更新日: 07/03
基本情報
研究キーワード
1経歴
1-
2025年4月 - 現在
論文
14-
Proceedings of the 21st ACM/IEEE International Conference on Human-Robot Interaction 639-647 2026年3月16日
-
EPiC Series in Computing 108 169-147 2025年12月
-
Journal of Systems and Software 229 112475-112475 2025年11月
-
SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller InferencesACM Transactions on Software Engineering and Methodology 34(4) 1-35 2025年4月28日
-
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 1-1 2025年
-
Proceedings of the Genetic and Evolutionary Computation Conference 1435-1444 2024年7月14日
-
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria.IEEE Trans. Software Eng. 49(4) 1842-1859 2023年4月
-
AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions.CoRR abs/2304.05617 2023年
-
IET Intelligent Transport Systems 16(5) 630-647 2022年1月14日
-
ICSE (SEIP) 343-352 2022年
-
Formal Aspects of Computing 33(3) 325-341 2021年6月
-
CoRR abs/2111.04324 2021年
-
NASA Formal Methods - 13th International Symposium(NFM) 392-399 2021年
-
Computer Aided Verification - 33rd International Conference 595-618 2021年
講演・口頭発表等
2-
デモ・ポスターセッション, 日本ソフトウェア科学会第39 回大会
-
Doctoral Symposium of 25th International Symposium on Formal Methods
共同研究・競争的資金等の研究課題
1-
2021年10月 - 2023年9月