ICSE 2024
Fri 12 - Sun 21 April 2024 Lisbon, Portugal
Tue 16 Apr 2024 16:50 - 17:15 at Fernando Pessoa - Paper Presentations II Chair(s): Marsha Chechik, Sonia Haiduc

Model-based analysis is a common technique to identify incorrect behavioral composition of complex, safety-critical systems, such as robotics systems. However, creating structural and behavioral models for hundreds of software components manually is often a labor-intensive and error-prone process. I propose an approach to infer behavioral models for components of systems based on the Robot Operating System (ROS), the most popular framework for robotics systems, using a combination of static and dynamic analysis by exploiting assumptions about the usage of the ROS framework. This work is a contribution towards making well-proven and powerful but infrequently used methods of model-based analysis more accessible and economical in practice to make robotics systems more reliable and safe.

I am PhD student in Software Engineering at Carnegie Mellon University in Pittsburgh since August 2018. I am co-advised by Claire Le Goues and David Garlan.

I am mainly interested in simplifying the development of complex software systems. My areas of research include software architecture, model-based analysis of quality-attributes for robotics systems, and static code analysis.

Tue 16 Apr

Displayed time zone: Lisbon change

16:00 - 17:30
Paper Presentations IIDoctoral Symposium at Fernando Pessoa
Chair(s): Marsha Chechik University of Toronto, Sonia Haiduc Florida State University
Towards AI-centric Requirements Engineering for Industrial Systems
Doctoral Symposium
Sarmad Bashir RISE Research Institutes of Sweden
Understandable Test Generation Through Capture/Replay and LLMs
Doctoral Symposium
Amirhossein Deljouyi Delft University of Technology
Towards Automatic Inference of Behavioral Component Models for ROS-Based Robotics Systems
Doctoral Symposium
Tobias Dürschmid Carnegie Mellon University, USA
Day closing
Reflections and Closing
Doctoral Symposium