activity
20242026
most citedLLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing 2026 · cs.SEShow all

1 paper · 2 filters

cs.SE2026

Towards LLM-Assisted Architecture Recovery for Real-World ROS~2 Systems: An Agent-Based Multi-Level Approach to Hierarchical Structural Architecture Reconstruction

Dominique Briechle, Raj Chanchad, Tobias Geger +5

Explicit software architecture models are essential artifacts for communicating, analyzing, and evolving complex software-intensive systems. In ROS~2-based robotic systems, however…