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

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

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

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.

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

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

Generalizable Coordination of Large Multiscale Workflows: Challenges and Learnings at Scale by Bhatia, Harsh, Di Natale, Francesco, Moon, Joseph Y., Zhang, Xiaohua, Chavez, Joseph R., Aydin, Fikret, Stanley, Chris, Oppelstrup, Tomas, Neale, Chris, Schumacher, Sara Kokkila, Ahn, Dong H., Herbein, Stephen, Carpenter, Timothy S., Gnanakaran, Sandrasegaram, Bremer, Peer-Timo, Glosli, James N., Lightstone, Felice C., Ingolfsson, Helgi I.

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

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

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

Simulation of Ideally Switched Circuits in SystemC by Fernandez-Mesa, Breytner Joseph, Andrade, Liliana, Petrot, Frederic

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

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

Challenges in Model Synchronization for Information Preservation Illustrated with the FACE and AADL Standards by Blouin, Dominique, Bhobe, Anish, Pautet, Laurent

White-Box Performance-Influence Models: A Profiling and Learning Approach by Weber, Max, Apel, Sven, Siegmund, Norbert

Towards Realistic, Applicable and Feasible Configuration-Aware Performance Modeling by Xia, Yuanjie

Anton 3: Twenty Microseconds of Molecular Dynamics Simulation Before Lunch by Shawa, David E., Adams, Peter J., Azaria, Asaph, Bank, Joseph A., Batson, Brannon, Bell, Alistair, Bergdorf, Michael, Bhatt, Jhanvi, Butts, J. Adam, Correia, Timothy, Dirks, Robert M., Dror, Ron O., Eastwood, Michael P., Edwards, Bruce, Even, Amos, Feldmann, Peter, Fenn, Michael, Fenton, Christopher H., Forte, Anthony, Gagliardo, Joseph, Gill, Gennette, Gorlatova, Maria, Greskamp, Brian, Grossman, J.P., Gullingsrud, Justin, Harper, Anissa, Hasenplaugh, William, Heily, Mark, Heshmat, Benjamin Colin, Hunt, Jeremy, Ierardi, Douglas J., Iserovich, Lev, Jackson, Bryan L., Johnson, Nick P., Kirk, Mollie M., Klepeis, John L., Kuskin, Jeffrey S., Mackenzie, Kenneth M., Mader, Roy J., McGowen, Richard, McLaughlin, Adam, Moraes, Mark A., Nasrb, Mohamed H., Nociolo, Lawrence J., O'Donnell, Lief, Parker, Andrew, Peticolas, Jon L., Pocina, Goran, Predescu, Cristian, Quan, Terry, Salmon, John K., Schwink, Carl, Shim, Keun Sup, Siddiqueb, Naseer, Spenglerb, Jochen, Szalay, Tamas, Tabladillo, Raymond, Tartler, Reinhard, Taube, Andrew G., Theobald, Michael, Towlesb, Brian, Vick, William, Wang, Stanley C., Wazlowski, Michael, Weingarten, Madeleine J., Williams, John M., Yuh, Kevin A.

Mobicomonkey: context testing of Android apps by Ami, Amit Seal, Hasan, Md. Mehedi, Rahman, Md. Rayhanur, Sakib, Kazi

Get full text