| 1 |
Tobias Dürschmid, Christopher Steven Timperley,
David Garlan and Claire Le Goues. ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems. In Proceedings of the 46th International Conference on Software Engineering (ICSE 2024), 14-20 April 2024.
|
| 2 |
Christopher Steven Timperley,
Tobias Dürschmid,
Bradley Schmerl,
David Garlan and Claire Le Goues. ROSDiscover: Statically Detecting Run-Time Architecture Misconfigurations in Robotics Systems. In Proceedings of the 19th International Conference on Software Architecture (ICSA 2022), 12-15 March 2022.
|
| 3 |
Benjamin Gafford,
Tobias Dürschmid,
Gabriel A. Moreno and
Eunsuk Kang. Synthesis-Based Resolution of Feature Interactions in Cyber-Physical Systems. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE), Virtual, 21-25 September 2020.
|
| 4 |
Tobias Dürschmid,
Eunsuk Kang and
David Garlan. Trade-off-oriented Development: Making Quality Attribute Trade-offs First-class. In Proceedings of the 41st International Conference on Software Engineering: New Ideas and Emerging Results, Montreal, CA, May 2019.
|
|
|
