( en | de | ru )

 

Disambiguation of "Reveliotis, Spyros A."

Author of the publication

copydeleteadd this publication to your clipboard
Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract).

, , , , , , and . CASE, page 37-41. IEEE, (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Spyros Rammos

Spyros Thiveos

Spyros Krivas

Spyros Kritsikis

Spyros Analytis

 

Other publications of authors with the same name

Preservation of Traffic Liveness in MPC Schemes for Guidepath-based Transport Systems.. CASE, page 520-527. IEEE, (2018)On the optimality of randomized deadlock avoidance policies., and . SMC, page 1795-1800. IEEE, (2001)An MPC Scheme for Traffic Coordination in Open and Irreversible, Zone-Controlled, Guidepath-Based Transport Systems.. IEEE Trans Autom. Sci. Eng., 17 (3): 1528-1542 (2020)Implicit Siphon Control and Its Role in the Liveness-Enforcing Supervision of Sequential Resource Allocation Systems.. IEEE Trans. Syst. Man Cybern. Part A, 37 (3): 319-328 (2007)Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems., and . IEEE Trans. Autom. Control., 65 (7): 2883-2898 (2020)Throughput maximization of complex resource allocation systems through timed-continuous-Petri-net modeling (Extended Abstract)., and . ETFA, page 1457-1460. IEEE, (2019)Throughput maximization of capacitated re-entrant lines through fluid relaxation., and . ACC, page 3961-3968. IEEE, (2018)Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets., , , , and . CDC, page 2797-2804. IEEE, (2010)On atomicity enforcement in concurrent software via Discrete Event Systems theory., , , , , and . CDC, page 7230-7237. IEEE, (2012)Liveness Enforcing Supervision for Resource Allocation Systems with Forbidden States and Uncontrollable Events., and . ICRA, page 187-192. IEEE, (2002)