TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software by Birchler, Christian, Rohrbach, Cyrill, Kim, Hyeongkyun, Gambi, Alessio, Liu, Tianhai, Horneber, Jens, Kehrer, Timo, Panichella, Sebastiano

In-Simulation Testing of Deep Learning Vision Models in Autonomous Robotic Manipulators by Humeniuk, Dmytro, Ben Braiek, Houssem, Reid, Thomas, Khomh, Foutse

SpiceFuzz: LLM-Based Fuzzing for Spice Circuit Simulator Tools Bug Detection by Ren, Zhilei, Liu, Huijiang, Guo, Shikai, Guo, Yi, Li, Xiaochen, Jiang, He

ARDiS: A Portable and Unified Resource Management Framework in Real Hardware Systems by Sikal, Mohammed Bakr, Gonzalez-Gomez, Jeferson, Noebel, Andreas, Khdr, Heba, Henkel, Joerg

System simulation from operational data by Wasicek, Armin, Lee, Edward A., Hokeun Kim, Greenberg, Lev, Iwai, Akihito, Akkaya, Ilge

Executable AADL Models for Early System Qualification Test by Rubini, Stephane, Levieux, Sébastien, Cation, Eric, Singhoff, Frank, Tran, Hai Nam, Pluart, Gilles Le

Efficient Domain Augmentation for Autonomous Driving Testing Using Diffusion Models by Baresi, Luciano, Xian Hu, Davide Yi, Stocco, Andrea, Tonella, Paolo

Towards Differentiable Electron Microscopy Simulation: Methods and Applications by Nguyen, Ngan, Liang, Feng, Engel, Dominik, Bohak, Ciril, Strnad, Ondrej, Ropinski, Timo, Viola, Ivan

LLM-Agents Driven Automated Simulation Testing and Analysis of small Uncrewed Aerial Systems by Duvvuru, Venkata Sai Aswath, Zhang, Bohan, Vierhauser, Michael, Agrawal, Ankit

Session details: Example-based simulation by Barbic, Jernej

Performance and Accuracy in Soft-Error Resilience Evaluation using the Multi-Level Processor Simulator ETISS-ML by Mueller-Gritschneder, Daniel, Sharif, Uzair, Schlichtmann, Ulf

An analysis of random cache effects on real-time multi-core scheduling algorithms by Hafnaoui, Imane, Chen, Chao, Ayari, Rabeh, Nicolescu, Gabriela, Beltrame, Giovanni

Multiprocessor performance estimation using hybrid simulation by Gao, Lei, Karuri, Kingshuk, Kraemer, Stefan, Leupers, Rainer, Ascheid, Gerd, Meyr, Heinrich

MGPUSim: Enabling Multi-GPU Performance Modeling and Optimization by Sun, Yifan, Baruah, Trinayan, Mojumder, Saiful A., Dong, Shi, Gong, Xiang, Treadway, Shane, Bao, Yuhui, Hance, Spencer, McCardwell, Carter, Zhao, Vincent, Barclay, Harrison, Ziabari, Amir Kavyan, Chen, Zhongliang, Ubal, Rafael, Abellan, Jose L., Kim, John, Joshi, Ajay, Kaeli, David

An integrated test generation tool for enhanced coverage of simulink/stateflow models by Peranandam, P., Raviram, S., Satpathy, M., Yeolekar, A., Gadkari, A., Ramesh, S.

Get full text

Service Abstractions With Fault Virtualization for Distributed Network Infrastructures by Ravindran, Kaliappa, Jun Wu, Adiththan, Arun

Simulation of Real-Time Systems: An Object-Oriented Approach Supported by a Virtual Reality- Based Tool by Kirner, Tereza Goncalves, Kirner, Claudio

Session details: Fast simulation by Meyer, Mark

A Crowd-Based Explosive Detection System with Two-Level Feedback Sensor Calibration by Yang, Chengmo, Cronin, Patrick, Agambayev, Agamyrat, Ozev, Sule, Cetin, A. Enis, Orailoglu, Alex

Word-Level Augmentation of Formal Proof by Learning from Simulation Traces by Yan, Zhiyuan, Zhang, Hongce