( en | de | ru )

 

Disambiguation of "Malik, Robi"

Author of the publication

copydeleteadd this publication to your clipboard
Compositional nonblocking verification using annotated automata.

, and . WODES, page 364-369. International Federation of Automatic Control, (2010)

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.

Robi Malik

Robi Banerjee

Robi Banerjee

David Malik

Nishant Malik

 

Other publications of authors with the same name

A modular architecture for diagnosis of discrete event systems., , and . CDC, page 417-422. IEEE, (2002)Advanced selfloop removal in compositional nonblocking verification of discrete event systems.. CASE, page 819-824. IEEE, (2015)Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study., and . IFM, volume 3771 of Lecture Notes in Computer Science, page 33-52. Springer, (2005)Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events., and . FTSCS, volume 419 of Communications in Computer and Information Science, page 160-177. Springer, (2013)Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications., , , , and . Autom., (2021)Generalised verification of the observer property in discrete event systems., , , , and . WODES, page 337-342. International Federation of Automatic Control, (2012)ESCAPADE: Encryption-Type-Ransomware: System Call Based Pattern Detection., , , and . NSS, volume 12570 of Lecture Notes in Computer Science, page 388-407. Springer, (2020)Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen.. Kaiserslautern University of Technology, Germany, (1998)Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata., , , and . IEEE Trans Autom. Sci. Eng., 8 (3): 560-569 (2011)A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol, and . J. UCS, 9 (2): 138--151 (2003)