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

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

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

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

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

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

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

A Mininet-based Virtual Testbed for Distributed SDN Development by Lantz, Bob, O'Connor, Brian

Session details: Fast simulation by Meyer, Mark

A Massively Parallel Infrastructure for Adaptive Multiscale Simulations: Modeling RAS Initiation Pathway for Cancer by Di Natale, Francesco, Neale, Chris, Stanton, Liam, Scogland, Thomas R. W., Yang, Yue, Costa, Carlos, Gnanakaran, Sandrasegaram, Lightstone, Felice C., Bhatia, Harsh, Schumacher, Sara Kokkila, Zhang, Xiaohua, Dharuman, Gautham, Misale, Claudia, Kim, Changhoan, Nissley, Dwight V., Bremer, Peer-Timo, Ingolfsson, Helgi I., Carpenter, Timothy S., Oppelstrup, Tomas, Sundram, Shiv, Surh, Michael P., Schneidenbach, Lars, D'Amora, Bruce, Streitz, Fred, Glosli, James N.

DiffFR: Differentiable SPH-Based Fluid-Rigid Coupling for Rigid Body Control by Li, Zhehao, Xu, Qingyu, Ye, Xiaohan, Ren, Bo, Liu, Ligang

A Multi‐layer Solver for XPBD by Mercier‐Aubin, A., Kry, P. G.

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

iMIA: Assessing Mission Risk in Uncertain, Interdependent AI Systems by Yoon, Han Jun, Thukkaraju, Ashrith Reddy, Cho, Jin-Hee, Matsumoto, Shou, Ferrari, Jair, Costa, Paulo, Lee, Donghwan, Ahn, Myung Kil

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

GeoSim 2024 Workshop Report: The 7th ACM SIGSPATIAL International Workshop on Geospatial Simulation by Kim, Joon-Seok, Züfle, Andreas, Anderson, Taylor, Shashidharan, Ashwin

The plan4.energy Approach for Planning Support for Positive Energy Districts by Wimmer, Yannick, Schwabeneder, Daniel, Niederkofler, Michael, Valentin, Patrizia-Ilda