The following publications are possibly variants of this publication:
- Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theoryAhmed Nazeem, Spyros A. Reveliotis. case 2011: 405-412 [doi]
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locksAhmed Nazeem, Spyros A. Reveliotis. deds, 25(1-2):31-63, 2015. [doi]
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locksAhmed Nazeem, Spyros A. Reveliotis. wodes 2012: 286-293 [doi]
- A Symbolic Approach for Maximally Permissive Deadlock Avoidance in Complex Resource Allocation SystemsZhennan Fei, Spyros A. Reveliotis, Knut Åkesson. wodes 2014: 362-369 [doi]
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear CaseAhmed Nazeem, Spyros A. Reveliotis, Yin Wang, Stéphane Lafortune. tac, 56(8):1818-1833, 2011. [doi]
- Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear CaseAhmed Nazeem, Spiridon Reveliotis. tac, 57(7):1670-1684, 2012. [doi]
- Designing parsimonious representations of the maximally permissive deadlock avoidance policy for complex resource allocation systems through classification theoryAhmed Nazeem. PhD thesis, Georgia Institute of Technology, Atlanta, GA, USA, 2012. [doi]
- A BDD-Based Approach for Designing Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation SystemsZhennan Fei, Spyros A. Reveliotis, Sajed Miremadi, Knut Åkesson. tase, 12(3):990-1006, 2015. [doi]
- Maximal Linear Deadlock Avoidance Policies for Sequential Resource Allocation Systems: Characterization, Computation, and ApproximationMichael Ibrahim 0001, Spyros A. Reveliotis, Ahmed Nazeem. tac, 66(9):3906-3921, 2021. [doi]
- Maximal Linear Deadlock Avoidance Policies for Complex Resource Allocation SystemsMichael Ibrahim, Spyros A. Reveliotis. cdc 2018: 3968-3974 [doi]
- On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic SystemsSpyros A. Reveliotis, Elzbieta Roszkowska. tac, 55(7):1646-1651, 2010. [doi]
- Robust Deadlock Avoidance for Sequential Resource Allocation Systems With Resource OutagesSpyros Reveliotis, Zhennan Fei. tase, 14(4):1695-1711, 2017. [doi]
- Robust deadlock avoidance for sequential resource allocation systems with resource outagesSpyros A. Reveliotis, Zhennan Fei. case 2016: 864-871 [doi]