Ahmed Nazeem

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