James Ferlez

According to our database, James Ferlez authored at least 16 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Polynomial-Time Reachability for LTI Systems With Two-Level Lattice Neural Network Controllers.

James Ferlez, Yasser Shoukry

IEEE Control. Syst. Lett., 2023

EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency.

Mohanad Odema, James Ferlez, Goli Vaisi, Yasser Shoukry, Mohammad Abdullah Al Faruque

Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023

SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge.

Mohanad Odema, James Ferlez, Yasser Shoukry, Mohammad Abdullah Al Faruque

Proceedings of the 60th ACM/IEEE Design Automation Conference, 2023

2022

Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks.

James Ferlez, Haitham Khedr, Yasser Shoukry

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers.

Ulices Santa Cruz, James Ferlez, Yasser Shoukry

Proceedings of the 61st IEEE Conference on Decision and Control, 2022

2021

Assured Neural Network Architectures for Control and Identification of Nonlinear Systems.

James Ferlez, Yasser Shoukry

CoRR, 2021

Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach.

James Ferlez, Yasser Shoukry

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier.

Haitham Khedr, James Ferlez, Yasser Shoukry

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Effective Formal Verification of Neural Networks using the Geometry of Linear Regions.

Haitham Khedr, James Ferlez, Yasser Shoukry

CoRR, 2020

ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers.

James Ferlez, Mahmoud Elnaggar, Yasser Shoukry, Cody H. Fleming

CoRR, 2020

AReN: assured ReLU NN architecture for model predictive control of LTI systems.

James Ferlez, Yasser Shoukry

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems.

James Ferlez, Xiaowu Sun, Yasser Shoukry

Proceedings of the 59th IEEE Conference on Decision and Control, 2020

2019

Generalized Synchronization Trees.

James Ferlez

PhD thesis, 2019

2018

Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees.

James Ferlez, Rance Cleaveland, Steven I. Marcus

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

2017

Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees.

James Ferlez, Rance Cleaveland, Steven I. Marcus

Proceedings of the Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, 2017

2014

Generalized Synchronization Trees.

James Ferlez, Rance Cleaveland, Steven I. Marcus

Proceedings of the Foundations of Software Science and Computation Structures, 2014