Jianqi Shi

发表论文 85 篇 · 总被引 684 次 · h-index 13

代表论文

• OpenECAD: An efficient visual language model for editable 3D-CAD design (2024 · Computers & graphics · 被引 38)
• Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems (2022 · IEEE Transactions on Industrial Informatics · 被引 17)
• NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models (2024 · IEEE International Conference on Formal Engineering Methods · 被引 15)
• A Federated Framework for Edge Computing Devices with Collaborative Fairness and Adversarial Robustness (2023 · Journal of Grid Computing · 被引 7)
• Minimal-unsatisfiable-core-driven Local Explainability Analysis for Random Forest (2022 · International Journal of Software and Informatics · 被引 7)
• Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution (2024 · IEEE transactions on computers · 被引 6)