Hybrid derivative functions for identification of unknown loads and physical parameters with application on slider-crank mechanism. - Wannes De Groote; Edward Kikken; Srajan Goyal; Sofie Van Hoecke; Erik Hostens; Guillaume Crevecoeur (AIM, 2019)

Automatic Generation of Scenarios for System-level Simulation-based Verification of Autonomous Driving Systems. - Srajan Goyal; Alberto Griggio; Jacob Kimblad; Stefano Tonetta (FMAS@iFM, 2023)

Leveraging Contracts for Failure Monitoring and Identification in Automated Driving Systems. - Srajan Goyal; Alberto Griggio; Stefano Tonetta (SEFM, 2024)

System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator. - Srajan Goyal; Alberto Griggio; Stefano Tonetta (Sci. Comput. Program., 2025)