( en | de | ru )

 

Disambiguation of "Malik, Robi"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Autoscaling with Guarantees on Kubernetes Clusters.

, , , , , , and . ACSOS-C, page 295-296. IEEE, (2021)

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

Dagmar Malik

Nishant Malik

 

Other publications of authors with the same name

Advanced selfloop removal in compositional nonblocking verification of discrete event systems.. CASE, page 819-824. IEEE, (2015)A modular architecture for diagnosis of discrete event systems., , and . CDC, page 417-422. IEEE, (2002)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)Generalised verification of the observer property in discrete event systems., , , , and . WODES, page 337-342. International Federation of Automatic Control, (2012)Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata., , , and . IEEE Trans Autom. Sci. Eng., 8 (3): 560-569 (2011)Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications., , , , and . Autom., (2021)Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen.. Kaiserslautern University of Technology, Germany, (1998)ESCAPADE: Encryption-Type-Ransomware: System Call Based Pattern Detection., , , and . NSS, volume 12570 of Lecture Notes in Computer Science, page 388-407. Springer, (2020)Variable abstraction and approximations in supervisory control synthesis., , , and . ACC, page 132-137. IEEE, (2013)