( en | de | ru )

 

Disambiguierung von "Reveliotis, Spyros"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Concurrency bugs in multithreaded software: modeling and analysis using Petri nets

, , , , , , , und . Discrete Event Dynamic Systems, 23 (2): 157--195 (13.05.2013)
DOI: 10.1007/s10626-012-0139-x

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Spyros Rammos

Spyros Kritsikis

Spyros Thiveos

Spyros Krivas

Spyros Vassilas

 

Weitere Publikationen von Autoren mit dem selben Namen

Logical Control of Complex Resource Allocation Systems. Foundations and Trends® in Systems and Control, 4 (1-2): 1--223 (2017)Concurrency bugs in multithreaded software: modeling and analysis using Petri nets, , , , , , , und . Discrete Event Dynamic Systems, 23 (2): 157--195 (13.05.2013)Coordinating Autonomy: Sequential Resource Allocation Systems for Automation. Robotics & Automation Magazine, IEEE, 22 (2): 77--94 (Juni 2015)An Analytical Investigation of the Scheduling Problem for Capacitated Re-Entrant Lines., und . ICRA, Seite 3193-3198. IEEE, (2002)Liveness Enforcing Supervision for Resource Allocation Systems with Forbidden States and Uncontrollable Events., und . ICRA, Seite 187-192. IEEE, (2002)On atomicity enforcement in concurrent software via Discrete Event Systems theory., , , , , und . CDC, Seite 7230-7237. IEEE, (2012)Synthesis of maximally-permissive liveness-enforcing control policies for Gadara petri nets., , , , und . CDC, Seite 2797-2804. IEEE, (2010)Throughput maximization of capacitated re-entrant lines through fluid relaxation., und . ACC, Seite 3961-3968. IEEE, (2018)On the optimality of randomized deadlock avoidance policies., und . SMC, Seite 1795-1800. IEEE, (2001)Preservation of Traffic Liveness in MPC Schemes for Guidepath-based Transport Systems.. CASE, Seite 520-527. IEEE, (2018)