Facilitating Change Implementation for Continuous ML-Safety Assurance. - Chih-Hong Cheng; Nguyen Anh Vu Doan; Balahari Balu; Franziska Schwaiger; Emmanouil Seferis; Simon Burton 001; Yassine Qamsane; Ankit Shukla 004; Yinchong Yang; Zhiliang Wu; Andreas Hapfelmeier; Ingo Thon (CoRR, 2022)

RoboCat: A Category Theoretic Framework for Robotic Interoperability Using Goal-Oriented Programming. - Angeline Aguinaldo; Jacob Bunker; Blake S. Pollard; Ankit Shukla 004; Arquimedes Canedo; Gustavo Quiros Araya; William Regli (IEEE Trans Autom. Sci. Eng., 2022)

Resiliency Analysis of LLM generated models for Industrial Automation. - Oluwatosin Ogundare; Gustavo Quiros Araya; Ioannis Akrotirianakis; Ankit Shukla 004 (CoRR, 2023)

Behavior Trees with Dataflow: Coordinating Reactive Tasks in Lingua Franca. - Alexander Schulz-Rosengarten; Akash Ahmad; Malte Clement; Reinhard von Hanxleden; Benjamin Asch; Marten Lohstroh; Edward A. Lee; Gustavo Quiros Araya; Ankit Shukla 004 (ICSE Companion, 2024)