activity
20202026
most citedSupporting Modularity in Simulink Models

2 citations · 4 across the 7 of their papers we have counts for

collaborators

7 papers

cs.RO2026

Scene Graph-based Driving Scenario Extraction for Automotive Egocentric Datasets

Stefan Ramdhan, Kyanna Dagenais, Vera Pantelic +2

Extracting scenarios from unlabelled real-world sensor data streams is a critical but challenging task in the development process of automated driving systems (ADS). Automatically…

cs.RO2025

Engineering Automotive Digital Twins on Standardized Architectures: A Case Study

Stefan Ramdhan, Winnie Trandinh, Istvan David +2

Digital twin (DT) technology has become of interest in the automotive industry. There is a growing need for smarter services that utilize the unique capabilities of DTs, ranging fr…

cs.SE2025★ 1 cited

Search-based Testing of Simulink Models with Requirements Tables

Federico Formica, Chris George, Shayda Rahmatyan +4

Search-based software testing (SBST) of Simulink models helps find scenarios that demonstrate that the system can reach a state that violates one of its requirements. However, many…

cs.RO2024

Simulation-based Analysis of a Novel Loop-based Road Topology for Autonomous Vehicles

Stefan Ramdhan, Winnie Trandinh, Sathurshan Arulmohan +6

The challenges in implementing SAE Level 4/5 autonomous vehicles are manifold, with intersection navigation being a pervasive one. We analyze a novel road topology invented by a co…

cs.SE2023

Test Case Generation for Drivability Requirements of an Automotive Cruise Controller: An Experience with an Industrial Simulator

Federico Formica, Nicholas Petrunti, Lucas Bruck +3

Automotive software development requires engineers to test their systems to detect violations of both functional and drivability requirements. Functional requirements define the fu…

cs.SE2022★ 1 cited

Simulation-based Testing of Simulink Models with Test Sequence and Test Assessment Blocks

Federico Formica, Tony Fan, Akshay Rajhans +3

Simulation-based software testing supports engineers in finding faults in Simulink models. It typically relies on search algorithms that iteratively generate test inputs used to ex…

cs.SE2020★ 2 cited

Supporting Modularity in Simulink Models

Monika Jaskolka, Vera Pantelic, Alan Wassyng +1

Model-Based Development (MBD) is widely used for embedded controls development, with Matlab Simulink being one of the most used modelling environments in industry. As with all soft…