James Ferlez - RankMe

27 papers A* 1B 1C 1Journal 13Unranked 10

Year	Rank	Type	Title / 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