Changwen Li
Scholar

Changwen Li

Google Scholar ID: KpOVodEAAAAJ
State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences
software engineeringformal methodsautonomous systems
Citations & Impact
All-time
Citations
75
 
H-index
3
 
i10-index
2
 
Publications
9
 
Co-authors
5
list available
Contact
No contact links provided.
Resume (English only)
Academic Achievements
  • - In 2023, 'Simulation-based validation for autonomous driving systems' was cited 35 times.
  • - In 2022, 'ComOpT: Combination and optimization for testing autonomous driving systems' was cited 28 times.
  • - In 2024, 'Rigorous Simulation-based Testing for Autonomous Driving Systems--Targeting the Achilles' Heel of Four Open Autopilots' was cited 7 times.
  • - In 2020, 'Contention-aware mapping and scheduling optimization for NoC-based MPSoCs' was cited 4 times.
  • - Participated in multiple research works concerning the testing of autonomous driving systems.
Research Experience
  • Published papers at several international conferences such as the ACM SIGSOFT International Symposium on Software Engineering, ICRA (International Conference on Robotics and Automation), etc.
Background
  • Research interests include software engineering, formal methods, and autonomous systems.