Modeling and simulation methodology for digital optical computing systems by Louri, A, Na, J

A simulation based methodology for modeling a university Research Support Service System by Vemuri, Seshagiri Rao

Modeling techniques to support system level simulation and a top-down development methodology by Gravenstein, M.

Get full text

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

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

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

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

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

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

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

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

Get full text

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

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.

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.

REFINE: realistic fault injection via compiler-based instrumentation for accuracy, portability and speed by Georgakoudis, Giorgis, Laguna, Ignacio, Nikolopoulos, Dimitrios S., Schulz, Martin

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

StateSim: lessons learned from 20 years of a country modeling and simulation toolset by Silverman, Barry G., Silverman, Daniel M., Bharathy, Gnana, Weyer, Nathan, Tam, William R.

Rodin: an open toolset for modelling and reasoning in Event-B by Abrial, Jean-Raymond, Butler, Michael, Hallerstede, Stefan, Hoang, Thai Son, Mehta, Farhad, Voisin, Laurent