Author of the publication

Gadara nets: Modeling and analyzing lock allocation for deadlock avoidance in multithreaded software.

, , , , , and . CDC, page 4971-4976. 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.

 

Other publications of authors with the same name

Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets., , and . WODES, page 208-213. International Federation of Automatic Control, (2012)Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions., , and . IEEE Trans. Automat. Contr., 64 (10): 4369-4376 (2019)Incorporating automation logic in online chemical production scheduling., , , , and . Comput. Chem. Eng., (2019)On tolerable and desirable behaviors in supervisory control of discrete event systems., and . Discret. Event Dyn. Syst., 1 (1): 61-92 (1991)Diagnosability Analysis of a Class of Hierarchical State Machines., and . Discret. Event Dyn. Syst., 18 (3): 385-413 (2008)Supervisory control using variable lookahead policies., , and . Discret. Event Dyn. Syst., 4 (3): 237-268 (1994)An algorithm for maximising covered area., and . Int. J. Control, 81 (9): 1493-1505 (2008)Synthesis of insertion functions for enforcement of opacity security properties., and . Autom., 50 (5): 1336-1348 (2014)Minimization of Communication of Event Occurrences in Acyclic Discrete Event Systems., , and . IEEE Trans. Autom. Control., 53 (9): 2197-2202 (2008)Diagnosability of discrete-event systems., , , , and . IEEE Trans. Autom. Control., 40 (9): 1555-1575 (1995)