Robi Malik
University of Waikato
H-index: 21
Oceania-New Zealand
Top articles of Robi Malik
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
Real-time system call-based ransomware detection | International Journal of Information Security | Christopher Jun Wen Chew Vimal Kumar Panos Patros Robi Malik | 2024/3/2 |
Robust stutter bisimulation for abstraction and controller synthesis with disturbance | Automatica | Jonas Krook Robi Malik Sahar Mohajerani Martin Fabian | 2024/2/1 |
Lupremica–Lua Scripting for Supremica | IFAC-PapersOnLine | Martin Fabian Robi Malik Sahar Mohajerani | 2023/1/1 |
A survey on compositional algorithms for verification and synthesis in supervisory control | Discrete Event Dynamic Systems | Robi Malik Sahar Mohajerani Martin Fabian | 2023/9 |
Automatic proofs of memory deallocation for a Whiley-to-C Compiler | Formal Methods in System Design | Min-Hsien Weng Robi Malik Mark Utting | 2021/9 |
Optimal modular control of discrete event systems with distinguishers and approximations | Discrete Event Dynamic Systems | Robi Malik Marcelo Teixeira | 2021/12 |
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications | Automatica | Sahar Mohajerani Robi Malik Andrew Wintenberg Stéphane Lafortune Necmiye Ozay | 2021/8/1 |
Towards autoscaling with guarantees on Kubernetes clusters | Stephen Burroughs Helge Dickel Martin van Zijl Vladimir Podolskiy Michael Gerndt | 2021/9/27 | |
ESCAPADE: Encryption-Type-Ransomware: System Call Based Pattern Detection | Christopher Chew Vimal Kumar Panos Patros Robi Malik | 2020/12 | |
Modular Synthesis of Least Restrictive Controllable and Nonblocking Supervisors with Distinguishers | IFAC-PapersOnLine | Robi Malik Marcelo Teixeira | 2020/1/1 |
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction | Discrete Event Dynamic Systems | Robi Malik Marcelo Teixeira | 2020/6 |
On the computation of counterexamples in compositional nonblocking verification | Discrete Event Dynamic Systems | Robi Malik Simon Ware | 2020/6 |
Supervisor Reduction by Hiding Events | IFAC-PapersOnLine | Robi Malik | 2020/1/1 |
Co-Authors
