Robi Malik

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 18

Top Venues

Discret. Event Dyn. Syst.

WODES

Autom.

IEEE Trans. Autom. Control.

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian
Robust stutter bisimulation for abstraction and controller synthesis with disturbance. Autom. 160 (2024)
Robi Malik, Sahar Mohajerani, Martin Fabian
A survey on compositional algorithms for verification and synthesis in supervisory control. Discret. Event Dyn. Syst. 33 (3) (2023)
Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian
Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs. CoRR (2022)
Robi Malik, Marcelo Teixeira
Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations. Discret. Event Dyn. Syst. 31 (4) (2021)
Stephen Burroughs, Helge Dickel, Martin van Zijl, Vladimir Podolskiy, Michael Gerndt, Robi Malik, Panos Patros
Towards Autoscaling with Guarantees on Kubernetes Clusters. ACSOS-C (2021)
Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay
Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. Autom. 130 (2021)
Min-Hsien Weng, Robi Malik, Mark Utting
Automatic proofs of memory deallocation for a Whiley-to-C Compiler. Formal Methods Syst. Des. 57 (3) (2021)
Robi Malik, Marcelo Teixeira
Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction. Discret. Event Dyn. Syst. 30 (2) (2020)
Christopher Jun-Wen Chew, Vimal Kumar, Panos Patros, Robi Malik
ESCAPADE: Encryption-Type-Ransomware: System Call Based Pattern Detection. NSS (2020)
Robi Malik, Simon Ware
On the computation of counterexamples in compositional nonblocking verification. Discret. Event Dyn. Syst. 30 (2) (2020)
Sahar Mohajerani, Robi Malik, Martin Fabian
Compositional synthesis of supervisors in the form of state machines and state maps. Autom. 76 (2017)
Robi Malik, Marcelo Teixeira
Modular supervisor synthesis for extended finite-state machines subject to controllability. WODES (2016)
Robi Malik
Programming a fast explicit conflict checker. WODES (2016)
Sahar Mohajerani, Robi Malik, Martin Fabian
A framework for compositional nonblocking verification of extended finite-state machines. Discret. Event Dyn. Syst. 26 (1) (2016)
Robi Malik, Ryan J. Leduc
Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder. Discret. Event Dyn. Syst. 25 (1-2) (2015)
Colin Pilbrow, Robi Malik
An algorithm for compositional nonblocking verification using special events. Sci. Comput. Program. 113 (2015)
Robi Malik
Advanced selfloop removal in compositional nonblocking verification of discrete event systems. CASE (2015)
Marcelo Teixeira, Robi Malik, José Eduardo Ribeiro Cury, Max Hering de Queiroz
Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction. IEEE Trans. Autom. Control. 60 (1) (2015)
Sahar Mohajerani, Robi Malik, Martin Fabian
An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines. WODES (2014)
Huailiang Liu, Ryan J. Leduc, Robi Malik, S. Laurie Ricker
Incremental verification of Co-observability in discrete-event systems. ACC (2014)
Simon Ware, Robi Malik
An algorithm to test the conflict preorder. Sci. Comput. Program. 89 (2014)
Hugo J. Bravo, Patrícia Nascimento Pena, Antonio Eduardo Carrilho da Cunha, Robi Malik, José E. R. Cury
Generalised Search for the Observer Property in Discrete Event Systems. WODES (2014)
Simon Ware, Robi Malik
Supervisory Control With Progressive Events. ICCA (2014)
Patrícia N. Pena, Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Robi Malik, Stéphane Lafortune, José E. R. Cury
Verification of the Observer Property in Discrete Event Systems. IEEE Trans. Autom. Control. 59 (8) (2014)
Sahar Mohajerani, Robi Malik, Martin Fabian
A Framework for Compositional Synthesis of Modular Nonblocking Supervisors. IEEE Trans. Autom. Control. 59 (1) (2014)
Simon Ware, Robi Malik, Sahar Mohajerani, Martin Fabian
Certainly Unsupervisable States. FTSCS (2013)
Robi Malik, Ryan J. Leduc
Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions. IEEE Trans. Autom. Control. 58 (8) (2013)
Sahar Mohajerani, Robi Malik, Martin Fabian
Compositional nonblocking verification for extended finite-state automata using partial unfolding. CASE (2013)
Colin Pilbrow, Robi Malik
Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events. FTSCS (2013)
Marcelo Teixeira, Robi Malik, José Eduardo Ribeiro Cury, Max Hering de Queiroz
Variable abstraction and approximations in supervisory control synthesis. ACC (2013)
Simon Ware, Robi Malik
Compositional Verification of the generalized Nonblocking Property using Abstraction and Canonical Automata. Int. J. Found. Comput. Sci. 24 (8) (2013)
Robi Malik, Ryan J. Leduc
Hierarchical interface-based supervisory control using the conflict preorder. WODES (2012)
Sahar Mohajerani, Robi Malik, Martin Fabian
Transition removal for compositional supervisor synthesis. CASE (2012)
Sahar Mohajerani, Robi Malik, Martin Fabian
An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis. WODES (2012)
Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Patrícia Nascimento Pena, Robi Malik, José E. R. Cury
Generalised verification of the observer property in discrete event systems. WODES (2012)
Simon Ware, Robi Malik
Conflict-preserving abstraction of discrete event systems using annotated automata. Discret. Event Dyn. Syst. 22 (4) (2012)
Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson
Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata. IEEE Trans Autom. Sci. Eng. 8 (3) (2011)
Simon Ware, Robi Malik
A Process-Algebraic Semantics for Generalised Nonblocking. CATS (2011)
Sahar Mohajerani, Robi Malik, Martin Fabian
Nondeterminism avoidance in compositional synthesis of discrete event systems. CASE (2011)
Simon Ware, Robi Malik
A State-Based Characterisation of the Conflict Preorder FOCLASA (2011)
Annika Hinze, Judy Bowen, Yuting Wang, Robi Malik
Model-driven GUI & interaction design using emulation. EICS (2010)
Simon Ware, Robi Malik
Compositional nonblocking verification using annotated automata. WODES (2010)
Patrícia N. Pena, José E. R. Cury, Robi Malik, Stéphane Lafortune
Efficient computation of observer projections using OP-verifiers. WODES (2010)
Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson
Symbolic approach to nonblocking and safe control of Extended Finite Automata. CASE (2010)
Ryan J. Leduc, Robi Malik
A compositional approach for verifying hierarchical interface-based supervisory control. WODES (2010)
Hugo Flordal, Robi Malik
Compositional Verification in Supervisory Control. SIAM J. Control. Optim. 48 (3) (2009)
Petra Malik, Robi Malik, David Streader, Steve Reeves
Modular Synthesis of Discrete Controllers. ICECCS (2007)
Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson
Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence. Discret. Event Dyn. Syst. 17 (4) (2007)
Robi Malik, David Streader, Steve Reeves
Conflicts and Fair Testing. Int. J. Found. Comput. Sci. 17 (4) (2006)
Annika Hinze, Petra Malik, Robi Malik
Interaction design for a mobile context-aware system using discrete event modelling. ACSC (2006)
Robi Malik, Partha S. Roop
Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study. IFM (2005)
Robi Malik, David Streader, Steve Reeves
Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts. ATVA (2004)
Bertil A. Brandin, Robi Malik, Petra Malik
Incremental verification and synthesis of discrete-event systems guided by counter examples. IEEE Trans. Control. Syst. Technol. 12 (3) (2004)
Robi Malik, Reinhard Mühlfeld
A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol. J. Univers. Comput. Sci. 9 (2) (2003)
Rami Debouk, Robi Malik, Bertil A. Brandin
A modular architecture for diagnosis of discrete event systems. CDC (2002)
Bertil A. Brandin, Robi Malik, Petra Dietrich
Incremental system verification and synthesis of minimally restrictive behaviours. ACC (2000)
Robi Malik
Automated Deduction of Finite-State Control Programs for Reactive Systems. CADE (1998)

Robi Malik.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Robi Malik