| Shieldnn: A provably safe nn filter for unsafe nn controllers J Ferlez, M Elnaggar, Y Shoukry, C Fleming arXiv preprint arXiv:2006.09564, 2020 | 28 | 2020 |
| Peregrinn: Penalized-relaxation greedy neural network verifier H Khedr, J Ferlez, Y Shoukry Computer Aided Verification: 33rd International Conference, CAV 2021 …, 2021 | 27 | 2021 |
| AReN: assured ReLU NN architecture for model predictive control of LTI systems J Ferlez, Y Shoukry Proceedings of the 23rd International Conference on Hybrid Systems …, 2020 | 16 | 2020 |
| Fast BATLLNN: fast box analysis of two-level lattice neural networks J Ferlez, H Khedr, Y Shoukry Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022 | 12 | 2022 |
| Bounding the complexity of formally verifying neural networks: A geometric approach J Ferlez, Y Shoukry 2021 60th IEEE Conference on Decision and Control (CDC), 5104-5109, 2021 | 8 | 2021 |
| Two-level lattice neural network architectures for control of nonlinear systems J Ferlez, X Sun, Y Shoukry 2020 59th IEEE Conference on Decision and Control (CDC), 2198-2203, 2020 | 7 | 2020 |
| Safe-by-repair: A convex optimization approach for repairing unsafe two-level lattice neural network controllers U Santa Cruz, J Ferlez, Y Shoukry 2022 IEEE 61st Conference on Decision and Control (CDC), 3383-3388, 2022 | 6 | 2022 |
| Effective formal verification of neural networks using the geometry of linear regions H Khedr, J Ferlez, Y Shoukry ArXiv, abs/2006.10864, 2020 | 5 | 2020 |
| Generalized synchronization trees J Ferlez, R Cleaveland, S Marcus Foundations of Software Science and Computation Structures: 17th …, 2014 | 5 | 2014 |
| Energyshield: Provably-safe offloading of neural network controllers for energy efficiency M Odema, J Ferlez, G Vaisi, Y Shoukry, MA Al Faruque Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical …, 2023 | 3 | 2023 |
| Seo: Safety-aware energy optimization framework for multi-sensor neural controllers at the edge M Odema, J Ferlez, Y Shoukry, MA Al Faruque 2023 60th ACM/IEEE Design Automation Conference (DAC), 1-6, 2023 | 1 | 2023 |
| Polynomial-time reachability for lti systems with two-level lattice neural network controllers J Ferlez, Y Shoukry IEEE Control Systems Letters 7, 1105-1110, 2022 | 1 | 2022 |
| Bisimulation in behavioral dynamical systems and generalized synchronization trees J Ferlez, R Cleaveland, SI Marcus 2018 IEEE Conference on Decision and Control (CDC), 751-758, 2018 | 1 | 2018 |
| Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees J Ferlez, R Cleaveland, S Marcus arXiv preprint arXiv:1709.00827, 2017 | 1 | 2017 |
| Assured Neural Network Architectures for Control and Identification of Nonlinear Systems J Ferlez, Y Shoukry arXiv preprint arXiv:2109.10298, 2021 | | 2021 |
| Generalized Synchronization Trees JR Ferlez | | 2019 |
