Ruidi He

According to our database, Ruidi He authored at least 2 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

Modeling and Recovering Hierarchical Structural Architectures of ROS 2 Systems from Code and Launch Configurations using LLM-based Agents.

Mohamed Benchat, Dominique F. Briechle, Raj Chanchad, Mitbhai Chauhan, Meet Chavda, Ruidi He, Dhruv Jajadiya, Dhruv Kapadiya, Nidhiben Kaswala, Daniel Osterholz, Andreas Rausch, Meng Zhang

CoRR, February, 2026

2025

LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations.

Ruidi He, Yu Zhang, Meng Zhang, Andreas Rausch

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025, 2025