Ahmed Nazeem

According to our database1, Ahmed Nazeem authored at least 21 papers between 2009 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Optimizing cloud solutioning design.
Future Generation Comp. Syst., 2019

Monitoring services in the Internet of Things: an optimization approach.
Computing, 2019

2018
Solutioning of Highly-Valued IT Service Contracts.
Proceedings of the 2018 IEEE International Conference on Services Computing, 2018

2017
An Optimization-Based Approach for Cloud Solution Design.
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2017 Conferences, 2017

Cognitive Determination of Policies for Data Management in IoT Systems.
Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

2014
Efficient Enumeration of Minimal Unsafe States in Complex Resource Allocation Systems.
IEEE Trans. Automation Science and Engineering, 2014

2013
Designing Optimal Deadlock Avoidance Policies for Sequential Resource Allocation Systems Through Classification Theory: Existence Results and Customized Algorithms.
IEEE Trans. Automat. Contr., 2013

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 and Optimization, 2013

2012
Designing parsimonious representations of the maximally permissive deadlock avoidance policy for complex resource allocation systems through classification theory.
PhD thesis, 2012

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case.
IEEE Trans. Automat. Contr., 2012

Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks.
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Maximally permissive deadlock avoidance for sequential resource allocation systems using disjunctions of linear classifiers.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems.
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011
A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems.
IEEE Trans. Automation Science and Engineering, 2011

Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case.
IEEE Trans. Automat. Contr., 2011

On the Optimal Petri Net Representation for Service Composition.
Proceedings of the IEEE International Conference on Web Services, 2011

Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010
Supervisory control of software execution for failure avoidance: Experience from the Gadara project.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Optimal deadlock avoidance for complex resource allocation systems through classification theory.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

A practical approach to the design of maximally permissive liveness-enforcing supervisors for complex resource allocation systems.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

2009
Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009


  Loading...