Towards Provably Correct Probabilistic Flight Systems. - Elkin Cruz-Camacho; Saswata Paul; Fotis Kopsaftopoulos; Carlos A. Varela (DDDAS, 2020)

Evaluating Performance of Spintronics-Based Spiking Neural Network Chips using Parallel Discrete Event Simulation. - Elkin Cruz-Camacho; Siyuan Qian; Ankit Shukla 002; Neil McGlohon; Shaloo Rakheja; Christopher D. Carothers (SIGSIM-PADS, 2022)

Machine Learning for Interconnect Network Traffic Forecasting: Investigation and Exploitation. - Xiongxiao Xu; Xin Wang 115; Elkin Cruz-Camacho; Christopher D. Carothers; Kevin A. Brown; Robert B. Ross; Zhiling Lan; Kai Shu (SIGSIM-PADS, 2023)

Formal Safety Envelopes for Provably Accurate State Classification by Data-Driven Flight Models. - Elkin Cruz-Camacho; Ahmad Amer; Fotis Kopsaftopoulos; Carlos A. Varela (J. Aerosp. Inf. Syst., 2023)

Accurate HPC Network Simulations Using Application-Level Approximation. - Elkin Cruz-Camacho; Christopher D. Carothers (SIGSIM-PADS, 2024)

Surrogate Modeling for HPC Application Iteration Times Forecasting with Network Features. - Xiongxiao Xu; Kevin A. Brown; Tanwi Mallick; Xin Wang 115; Elkin Cruz-Camacho; Robert B. Ross; Christopher D. Carothers; Zhiling Lan; Kai Shu (SIGSIM-PADS, 2024)

Directing PDES and Surrogate Models in Loosely Coupled Hybrid Simulations. - Kevin A. Brown; Elkin Cruz-Camacho; Kazutomo Yoshii; Xin Wang 115; Zhiling Lan; Christopher D. Carothers; Robert B. Ross (SIGSIM-PADS, 2025)

Performance Evaluation of Spintronic-Based Spiking Neural Networks using Parallel Discrete-Event Simulation. - Elkin Cruz-Camacho; Siyuan Qian; Ankit Shukla 002; Neil McGlohon; Shaloo Rakheja; Christopher D. Carothers (ACM Trans. Model. Comput. Simul., 2025)

Hybrid PDES Simulation of HPC Networks Using Zombie Packets. - Elkin Cruz-Camacho; Kevin A. Brown; Xin Wang 115; Xiongxiao Xu; Kai Shu; Zhiling Lan; Robert B. Ross; Christopher D. Carothers (ACM Trans. Model. Comput. Simul., 2025)