Ahmed Nazeem

ORCID

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 8

Top Venues

IEEE Trans. Autom. Control.

Discret. Event Dyn. Syst.

ICSOC Workshops

OTM Conferences (1)

Georgia Institute of Technology, Atlanta, GA, USA (PHD)

Education History

Georgia Institute of Technology, Atlanta, GA, USA

PHD

Publications

Ahmed Nazeem, Xinzhu Bei, Ruobing Chen, Shreyas Shrivastava
Real-time Weapon Detection in Videos. ICPRAM (2022)
Michael Ibrahim, Spyros A. Reveliotis, Ahmed Nazeem
Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and Approximation. IEEE Trans. Autom. Control. 66 (9) (2021)
Aly Megahed, Jennifer A. Pazour, Ahmed Nazeem, Samir Tata, Mohamed Mohamed
Monitoring services in the Internet of Things: an optimization approach. Computing 101 (8) (2019)
Aly Megahed, Ahmed Nazeem, Peifeng Yin, Samir Tata, Hamid Reza Motahari-Nezhad, Taiga Nakamura
Optimizing cloud solutioning design. Future Gener. Comput. Syst. 91 (2019)
Shubhi Asthana, Aly Megahed, Ahmed Nazeem, Valeria Becker, Taiga Nakamura, Sandeep Gopisetty
Solutioning of Highly-Valued IT Service Contracts. SCC (2018)
Aly Megahed, Samir Tata, Ahmed Nazeem
Cognitive Determination of Policies for Data Management in IoT Systems. ICSOC Workshops (2017)
Aly Megahed, Ahmed Nazeem, Peifeng Yin, Samir Tata, Hamid Reza Motahari-Nezhad, Taiga Nakamura
An Optimization-Based Approach for Cloud Solution Design. OTM Conferences (1) (2017)
Ahmed Nazeem, Spyros A. Reveliotis
Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks. Discret. Event Dyn. Syst. 25 (1-2) (2015)
Ahmed Nazeem, Spyros A. Reveliotis
Efficient Enumeration of Minimal Unsafe States in Complex Resource Allocation Systems. IEEE Trans Autom. Sci. Eng. 11 (1) (2014)
Roberto Cordone, Ahmed Nazeem, Luigi Piroddi, Spyros A. Reveliotis
Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms. IEEE Trans. Autom. Control. 58 (11) (2013)
Spyros A. Reveliotis, Ahmed Nazeem
Optimal Linear Separation of the Safe and Unsafe Subspaces of Sequential Resource Allocation Systems as a Set-Covering Problem: Algorithmic Procedures and Geometric Insights. SIAM J. Control. Optim. 51 (2) (2013)
Ahmed Nazeem, Spyros A. Reveliotis
Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks. WODES (2012)
Ahmed Nazeem, Spiridon Reveliotis
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case. IEEE Trans. Autom. Control. 57 (7) (2012)
Roberto Cordone, Ahmed Nazeem, Luigi Piroddi, Spyros A. Reveliotis
Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers. CDC (2012)
Ahmed Nazeem, Spyros A. Reveliotis
An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems. CASE (2012)
Ahmed Nazeem, Spyros A. Reveliotis
Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory. CASE (2011)
Ahmed Nazeem, Spiridon Reveliotis
A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems. IEEE Trans Autom. Sci. Eng. 8 (4) (2011)
Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune
Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case. IEEE Trans. Autom. Control. 56 (8) (2011)
Yin Wang, Ahmed Nazeem, Ram Swaminathan
On the Optimal Petri Net Representation for Service Composition. ICWS (2011)
Ahmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune
Optimal deadlock avoidance for complex resource allocation systems through classification theory. WODES (2010)
Ahmed Nazeem, Spiridon Reveliotis
A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems. CASE (2010)
Yin Wang, Hyoun Kyu Cho, Hongwei Liao, Ahmed Nazeem, Terence Kelly, Stéphane Lafortune, Scott A. Mahlke, Spyros A. Reveliotis
Supervisory control of software execution for failure avoidance: Experience from the Gadara project. WODES (2010)
Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune
Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). CASE (2009)

Ahmed Nazeem.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ahmed Nazeem