Qin Li

Employment

• East China Normal University Professor

Education

• East China Normal University PhD
  2006 - 2011
• East China Normal University Bachelor
  2002 - 2006

Projects & Funding

Projects & funding information is unavailable.

Publications (19)

• Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair
  Proceedings of the ACM on Software Engineering 2026 DOI: 10.1145/3808218
  +Save
• SoGRE: Boosting Logical Reasoning of LLMs via Solver-Guided Reasoning Enhancement
  ICASSP 2026 - 2026 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) 2026 DOI: 10.1109/icassp55912.2026.11463079
  +Save
• DMT-PPO: Weight-Adaptive Multiobjective Task Offloading With Dynamic Preference Learning in Heterogeneous Edge Computing
  IEEE Internet of Things Journal 2026 DOI: 10.1109/JIOT.2026.3710794
  +Save
• Monotonic learning in the PAC framework: A new perspective
  Knowledge-Based Systems 2025 DOI: 10.1016/j.knosys.2025.114504
  +Save
• Classification and Description of AI Component Requirements in Autonomous Driving System
  2025 IEEE 33rd International Requirements Engineering Conference Workshops (REW) 2025 DOI: 10.1109/rew66121.2025.00029
  +Save
• HAPFL: Heterogeneity-Aware Personalized Federated Learning via Hierarchical RL and Model Distillation
  2025 IEEE International Conference on Web Services (ICWS) 2025 DOI: 10.1109/icws67624.2025.00094
  +Save
• A Event-B-Based Approach for Schedulability Analysis For Real-Time Scheduling Algorithms through Deadlock Detection
  2025 DOI: 10.1007/978-3-031-66456-4_12
  +Save
• A Framework for Runtime Safety of Industrial Control Systems Through Runtime Verification
  IEEE Internet of Things Journal 2025 DOI: 10.1109/JIOT.2025.3529887
  +Save
• Consistent Assistant Domains Transformer for Source-Free Domain Adaptation
  IEEE Transactions on Image Processing 2025 DOI: 10.1109/TIP.2025.3611799
  +Save
• Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution
  IEEE Transactions on Computers 2024 DOI: 10.1109/TC.2024.3351285
  +Save