James Ferlez

27 papers A* 1B 1C 1Journal 13Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — conf
Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions.
HSCC
Goli Vaisi, James Ferlez, Yasser Shoukry
2025 J jnl
Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions.
CoRR
Goli Vaisi, James Ferlez, Yasser Shoukry
2025 C conf
ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers.
ACC
James Ferlez, Mahmoud Elnaggar, Yasser Shoukry, Cody H. Fleming
2023 — conf
EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency.
ICCPS
Mohanad Odema, James Ferlez, Goli Vaisi, Yasser Shoukry, Mohammad Abdullah Al Faruque
2023 J jnl
EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency.
CoRR
Mohanad Odema, James Ferlez, Goli Vaisi, Yasser Shoukry, Mohammad Abdullah Al Faruque
2023 J jnl
Polynomial-Time Reachability for LTI Systems With Two-Level Lattice Neural Network Controllers.
IEEE Control. Syst. Lett.
James Ferlez, Yasser Shoukry
2023 A* conf
SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge.
DAC
Mohanad Odema, James Ferlez, Yasser Shoukry, Mohammad Abdullah Al Faruque
2023 J jnl
SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge.
CoRR
Mohanad Odema, James Ferlez, Yasser Shoukry, Mohammad Abdullah Al Faruque
2022 — conf
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks.
HSCC
James Ferlez, Haitham Khedr, Yasser Shoukry
2022 J jnl
Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers.
CoRR
James Ferlez, Yasser Shoukry
2022 — conf
Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers.
CDC
Ulices Santa Cruz, James Ferlez, Yasser Shoukry
2021 J jnl
Assured Neural Network Architectures for Control and Identification of Nonlinear Systems.
CoRR
James Ferlez, Yasser Shoukry
2021 — conf
Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach.
CDC
James Ferlez, Yasser Shoukry
2021 J jnl
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks.
CoRR
James Ferlez, Haitham Khedr, Yasser Shoukry
2021 — conf
PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier.
CAV (1)
Haitham Khedr, James Ferlez, Yasser Shoukry
2021 J jnl
Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers.
CoRR
Ulices Santa Cruz, James Ferlez, Yasser Shoukry
2020 — conf
AReN: assured ReLU NN architecture for model predictive control of LTI systems.
HSCC
James Ferlez, Yasser Shoukry
2020 J jnl
Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach.
CoRR
James Ferlez, Yasser Shoukry
2020 J jnl
Effective Formal Verification of Neural Networks using the Geometry of Linear Regions.
CoRR
Haitham Khedr, James Ferlez, Yasser Shoukry
2020 J jnl
ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers.
CoRR
James Ferlez, Mahmoud Elnaggar, Yasser Shoukry, Cody H. Fleming
2020 — conf
Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems.
CDC
James Ferlez, Xiaowu Sun, Yasser Shoukry
2020 J jnl
Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems.
CoRR
James Ferlez, Xiaowu Sun, Yasser Shoukry
2019 J jnl
AReN: Assured ReLU NN Architecture for Model Predictive Control of LTI Systems.
CoRR
James Ferlez, Yasser Shoukry
2019 — —
Generalized Synchronization Trees.
James Ferlez
2018 — conf
Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees.
CDC
James Ferlez, Rance Cleaveland, Steven I. Marcus
2017 — conf
Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees.
EXPRESS/SOS
James Ferlez, Rance Cleaveland, Steven I. Marcus
2014 B conf
Generalized Synchronization Trees.
FoSSaCS
James Ferlez, Rance Cleaveland, Steven I. Marcus