Generalized Synchronization Trees. - James Ferlez; Rance Cleaveland; Steven I. Marcus (FoSSaCS, 2014)

Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees. - James Ferlez; Rance Cleaveland; Steven I. Marcus (EXPRESS/SOS, 2017)

Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees. - James Ferlez; Rance Cleaveland; Steven I. Marcus (CDC, 2018)

Generalized Synchronization Trees. - James Ferlez (2019)

Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems. - James Ferlez; Xiaowu Sun; Yasser Shoukry (CDC, 2020)

AReN: assured ReLU NN architecture for model predictive control of LTI systems. - James Ferlez; Yasser Shoukry (HSCC, 2020)

ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers. - James Ferlez; Mahmoud Elnaggar; Yasser Shoukry; Cody H. Fleming (CoRR, 2020)

Effective Formal Verification of Neural Networks using the Geometry of Linear Regions. - Haitham Khedr; James Ferlez; Yasser Shoukry (CoRR, 2020)

PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier. - Haitham Khedr; James Ferlez; Yasser Shoukry (CAV (1), 2021)

Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach. - James Ferlez; Yasser Shoukry (CDC, 2021)

Assured Neural Network Architectures for Control and Identification of Nonlinear Systems. - James Ferlez; Yasser Shoukry (CoRR, 2021)

Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers. - Ulices Santa Cruz; James Ferlez; Yasser Shoukry (CDC, 2022)

Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks. - James Ferlez; Haitham Khedr; Yasser Shoukry (HSCC, 2022)

SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge. - Mohanad Odema; James Ferlez; Yasser Shoukry; Mohammad Abdullah Al Faruque (DAC, 2023)

EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency. - Mohanad Odema; James Ferlez; Goli Vaisi; Yasser Shoukry; Mohammad Abdullah Al Faruque (ICCPS, 2023)

Polynomial-Time Reachability for LTI Systems With Two-Level Lattice Neural Network Controllers. - James Ferlez; Yasser Shoukry (IEEE Control. Syst. Lett., 2023)

Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions. - Goli Vaisi; James Ferlez; Yasser Shoukry (HSCC, 2025)