Person: Spyros A. Reveliotis

DBLP: Reveliotis:Spyros_A=

Contributed to:

2015

2012

2011

2009

2008

1991

2016

2018

2019

Wrote 9 papers:

CASE-2015-FeiAR #bound #clustering #resource management #symbolic computation #using

Symbolic computation of boundary unsafe states in complex resource allocation systems using partitioning techniques (ZF, KÅ, SAR), pp. 799–806.

CASE-2012-NazeemR #algorithm #performance #resource management

An efficient algorithm for the enumeration of the minimal unsafe states in complex resource allocation systems (AN, SAR), pp. 686–693.

CASE-2011-NazeemR #classification #concurrent #design #policy #resource management

Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory (AN, SAR), pp. 405–412.

CASE-2009-WangLNRKML #concurrent #parallel #source code #thread

Maximally permissive deadlock avoidance for multithreaded computer programs (YW, HL, AN, SAR, TK, SAM, SL), pp. 37–41.

CASE-2008-ReveliotisR #multi #paradigm #resource management

Conflict resolution in multi-vehicle systems: A resource allocation paradigm (SAR, ER), pp. 115–121.

ML-1991-KokarR #learning

Learning to Select a Model in a Changing World (MMK, SAR), pp. 313–317.

CASE-2016-ReveliotisF #concurrent #resource management #robust

Robust deadlock avoidance for sequential resource allocation systems with resource outages (SAR, ZF), pp. 864–871.

CASE-2018-Reveliotis #liveness

Preservation of Traffic Liveness in MPC Schemes for Guidepath-based Transport Systems (SAR), pp. 520–527.

CASE-2019-Reveliotis #coordination

An MPC scheme for traffic coordination in open and irreversible, zone-controlled, guidepath-based transport systems (SAR), pp. 1782–1788.