James Ferlez

ORCID

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 22

Top Venues

CoRR

CDC

HSCC

IEEE Control. Syst. Lett.

University of Maryland, College Park, MD, USA (PHD)

Education History

University of Maryland, College Park, MD, USA

PHD

Publications

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

James Ferlez.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

James Ferlez