| Formal verification of safety-critical aerospace systems S Paul, E Cruz, A Dutta, A Bhaumik, E Blasch, G Agha, S Patterson, ... IEEE Aerospace and Electronic Systems Magazine 38 (5), 72-88, 2023 | 19 | 2023 |
| On the stability analysis of chiral networks and the emergence of homochirality JA Montoya, C Mejía, RD Bourdón, E Cruz, J Ágreda MATCH Commun. Math. Comput. Chem 80 (2), 311-344, 2018 | 10 | 2018 |
| Hybrid PDES Simulation of HPC Networks Using Zombie Packets E Cruz-Camacho, KA Brown, X Wang, X Xu, K Shu, Z Lan, RB Ross, ... Proceedings of the 2023 ACM SIGSIM Conference on Principles of Advanced …, 2023 | 7 | 2023 |
| Machine Learning for Interconnect Network Traffic Forecasting: Investigation and Exploitation X Xu, X Wang, E Cruz-Camacho, C D. Carothers, K A. Brown, R B. Ross, ... Proceedings of the 2023 ACM SIGSIM Conference on Principles of Advanced …, 2023 | 4 | 2023 |
| Towards provably correct probabilistic flight systems E Cruz-Camacho, S Paul, F Kopsaftopoulos, CA Varela International Conference on Dynamic Data Driven Application Systems, 236-244, 2020 | 4 | 2020 |
| CHEMical KINetics SimuLATOR (Chemkinlator): A friendly user interface for chemical kinetics simulations E Cruz, A Montoya, J Ágreda Revista Colombiana de Química 49 (1), 40-47, 2020 | 4 | 2020 |
| Static Analysis of Python Programs using Abstract Interpretation: An Application to Tensor Shape Analysis EA Cruz Camacho Ingeniería de Sistemas, 2019 | 4* | 2019 |
| Performance Evaluation of Spintronic-Based Spiking Neural Networks Using Parallel Discrete-Event Simulation E Cruz-Camacho, S Qian, A Shukla, N McGlohon, S Rakheja, ... ACM Transactions on Modeling and Computer Simulation, 2024 | 3 | 2024 |
| Evaluating Performance of Spintronics-Based Spiking Neural Network Chips using Parallel Discrete Event Simulation E Cruz-Camacho, S Qian, A Shukla, N McGlohon, S Rakheja, ... Proceedings of the 2022 ACM SIGSIM Conference on Principles of Advanced …, 2022 | 3 | 2022 |
| Computing the Parameter Values for the Emergence of Homochirality in Complex Networks A Montoya, E Cruz, J Ágreda Life 9 (3), 74, 2019 | 3 | 2019 |
| Formal Safety Envelopes for Provably Accurate State Classification by Data-Driven Flight Models E Cruz-Camacho, A Amer, F Kopsaftopoulos, CA Varela Journal of Aerospace Information Systems 20 (1), 3-16, 2023 | 2 | 2023 |
| Accurate HPC Network Simulations Using Application-Level Approximation E Cruz-Camacho, CD Carothers Proceedings of the 38th ACM SIGSIM Conference on Principles of Advanced …, 2024 | | 2024 |
| Surrogate Modeling for HPC Application Iteration Times Forecasting with Network Features X Xu, K A. Brown, T Mallick, X Wang, E Cruz-Camacho, R B. Ross, ... Proceedings of the 38th ACM SIGSIM Conference on Principles of Advanced …, 2024 | | 2024 |
| Linear stability analysis of chemical mechanism, Listanalchem: A tool for the search of spontaneous mirror symmetry breaking E Cruz, A Montoya, J Ágreda MethodsX 11, 102307, 2023 | | 2023 |