Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). - Yin Wang 001; Hongwei Liao; Ahmed Nazeem; Spyros A. Reveliotis; Terence Kelly; Scott A. Mahlke; Stéphane Lafortune (CASE, 2009)

A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems. - Ahmed Nazeem; Spiridon Reveliotis (CASE, 2010)

Optimal deadlock avoidance for complex resource allocation systems through classification theory. - Ahmed Nazeem; Spyros A. Reveliotis; Yin Wang 001; Stéphane Lafortune (WODES, 2010)

Supervisory control of software execution for failure avoidance: Experience from the Gadara project. - Yin Wang 001; Hyoun Kyu Cho; Hongwei Liao; Ahmed Nazeem; Terence Kelly; Stéphane Lafortune; Scott A. Mahlke; Spyros A. Reveliotis (WODES, 2010)

Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory. - Ahmed Nazeem; Spyros A. Reveliotis (CASE, 2011)

On the Optimal Petri Net Representation for Service Composition. - Yin Wang 001; Ahmed Nazeem; Ram Swaminathan (ICWS, 2011)

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case. - Ahmed Nazeem; Spyros A. Reveliotis; Yin Wang 001; Stéphane Lafortune (IEEE Trans. Autom. Control., 2011)

A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems. - Ahmed Nazeem; Spiridon Reveliotis (IEEE Trans Autom. Sci. Eng., 2011)

An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems. - Ahmed Nazeem; Spyros A. Reveliotis (CASE, 2012)

Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers. - Roberto Cordone; Ahmed Nazeem; Luigi Piroddi; Spyros A. Reveliotis (CDC, 2012)

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case. - Ahmed Nazeem; Spiridon Reveliotis (IEEE Trans. Autom. Control., 2012)

Designing parsimonious representations of the maximally permissive deadlock avoidance policy for complex resource allocation systems through classification theory. - Ahmed Nazeem (2012)

Optimal Linear Separation of the Safe and Unsafe Subspaces of Sequential Resource Allocation Systems as a Set-Covering Problem: Algorithmic Procedures and Geometric Insights. - Spyros A. Reveliotis; Ahmed Nazeem (SIAM J. Control. Optim., 2013)

Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms. - Roberto Cordone; Ahmed Nazeem; Luigi Piroddi; Spyros A. Reveliotis (IEEE Trans. Autom. Control., 2013)

Efficient Enumeration of Minimal Unsafe States in Complex Resource Allocation Systems. - Ahmed Nazeem; Spyros A. Reveliotis (IEEE Trans Autom. Sci. Eng., 2014)

Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks. - Ahmed Nazeem; Spyros A. Reveliotis (Discret. Event Dyn. Syst., 2015)

Cognitive Determination of Policies for Data Management in IoT Systems. - Aly Megahed; Samir Tata; Ahmed Nazeem (ICSOC Workshops, 2017)

An Optimization-Based Approach for Cloud Solution Design. - Aly Megahed; Ahmed Nazeem; Peifeng Yin; Samir Tata; Hamid Reza Motahari-Nezhad; Taiga Nakamura (OTM Conferences (1), 2017)

Solutioning of Highly-Valued IT Service Contracts. - Shubhi Asthana; Aly Megahed; Ahmed Nazeem; Valeria Becker; Taiga Nakamura; Sandeep Gopisetty (SCC, 2018)

Monitoring services in the Internet of Things: an optimization approach. - Aly Megahed; Jennifer A. Pazour; Ahmed Nazeem; Samir Tata; Mohamed Mohamed 001 (Computing, 2019)

Optimizing cloud solutioning design. - Aly Megahed; Ahmed Nazeem; Peifeng Yin; Samir Tata; Hamid Reza Motahari-Nezhad; Taiga Nakamura (Future Gener. Comput. Syst., 2019)

Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation. - Michael Ibrahim 001; Spyros A. Reveliotis; Ahmed Nazeem (IEEE Trans. Autom. Control., 2021)

Real-time Weapon Detection in Videos. - Ahmed Nazeem; Xinzhu Bei; Ruobing Chen 004; Shreyas Shrivastava (ICPRAM, 2022)