Robi Malik

According to our database, Robi Malik authored at least 61 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automatic detection of Android crypto ransomware using supervisor reduction.

Christopher Jun-Wen Chew, Robi Malik, Vimal Kumar, Panos Patros

Discret. Event Dyn. Syst., December, 2024

Real-time system call-based ransomware detection.

Christopher Jun-Wen Chew, Vimal Kumar, Panos Patros, Robi Malik

Int. J. Inf. Sec., June, 2024

Robust stutter bisimulation for abstraction and controller synthesis with disturbance.

Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian

Autom., February, 2024

Android Crypto Ransomware System Call Dataset.

Christopher Jun-Wen Chew, Vimal Kumar, Panos Patros, Robi Malik

Dataset, January, 2024

2023

A survey on compositional algorithms for verification and synthesis in supervisory control.

Robi Malik, Sahar Mohajerani, Martin Fabian

Discret. Event Dyn. Syst., September, 2023

2022

Robust Stutter Bisimulation for Abstraction and Controller Synthesis with Disturbance: Proofs.

Jonas Krook, Robi Malik, Sahar Mohajerani, Martin Fabian

CoRR, 2022

2021

Automatic proofs of memory deallocation for a Whiley-to-C Compiler.

Min-Hsien Weng, Robi Malik, Mark Utting

Formal Methods Syst. Des., 2021

Optimal Modular Control of Discrete Event Systems with Distinguishers and Approximations.

Robi Malik, Marcelo Teixeira

Discret. Event Dyn. Syst., 2021

Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications.

Sahar Mohajerani, Robi Malik, Andrew Wintenberg, Stéphane Lafortune, Necmiye Ozay

Autom., 2021

Towards Autoscaling with Guarantees on Kubernetes Clusters.

Stephen Burroughs, Helge Dickel, Martin van Zijl, Vladimir Podolskiy, Michael Gerndt, Robi Malik, Panos Patros

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021

2020

On the computation of counterexamples in compositional nonblocking verification.

Robi Malik, Simon Ware

Discret. Event Dyn. Syst., 2020

Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction.

Robi Malik, Marcelo Teixeira

Discret. Event Dyn. Syst., 2020

ESCAPADE: Encryption-Type-Ransomware: System Call Based Pattern Detection.

Christopher Jun-Wen Chew, Vimal Kumar, Panos Patros, Robi Malik

Proceedings of the Network and System Security - 14th International Conference, 2020

2017

Compositional synthesis of supervisors in the form of state machines and state maps.

Sahar Mohajerani, Robi Malik, Martin Fabian

Autom., 2017

2016

A framework for compositional nonblocking verification of extended finite-state machines.

Sahar Mohajerani, Robi Malik, Martin Fabian

Discret. Event Dyn. Syst., 2016

Modular supervisor synthesis for extended finite-state machines subject to controllability.

Robi Malik, Marcelo Teixeira

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Programming a fast explicit conflict checker.

Robi Malik

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

2015

Supervisory Control of DES With Extended Finite-State Machines and Variable Abstraction.

Marcelo Teixeira, Robi Malik, José Eduardo Ribeiro Cury, Max Hering de Queiroz

IEEE Trans. Autom. Control., 2015

An algorithm for compositional nonblocking verification using special events.

Colin Pilbrow, Robi Malik

Sci. Comput. Program., 2015

Hierarchical modelling of manufacturing systems using discrete event systems and the conflict preorder.

Robi Malik, Ryan J. Leduc

Discret. Event Dyn. Syst., 2015

Advanced selfloop removal in compositional nonblocking verification of discrete event systems.

Robi Malik

Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014

Verification of the Observer Property in Discrete Event Systems.

Patrícia N. Pena, Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Robi Malik, Stéphane Lafortune, José E. R. Cury

IEEE Trans. Autom. Control., 2014

A Framework for Compositional Synthesis of Modular Nonblocking Supervisors.

Sahar Mohajerani, Robi Malik, Martin Fabian

IEEE Trans. Autom. Control., 2014

An algorithm to test the conflict preorder.

Simon Ware, Robi Malik

Sci. Comput. Program., 2014

An Algorithm for Compositional Nonblocking Verification of Extended Finite-State Machines.

Sahar Mohajerani, Robi Malik, Martin Fabian

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Generalised Search for the Observer Property in Discrete Event Systems.

Hugo J. Bravo, Patrícia Nascimento Pena, Antonio Eduardo Carrilho da Cunha, Robi Malik, José E. R. Cury

Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Supervisory Control With Progressive Events.

Simon Ware, Robi Malik

Proceedings of the 11th IEEE International Conference on Control & Automation, 2014

Incremental verification of Co-observability in discrete-event systems.

Huailiang Liu, Ryan J. Leduc, Robi Malik, S. Laurie Ricker

Proceedings of the American Control Conference, 2014

2013

Compositional Nonblocking Verification Using Generalized Nonblocking Abstractions.

Robi Malik, Ryan J. Leduc

IEEE Trans. Autom. Control., 2013

Compositional Verification of the generalized Nonblocking Property using Abstraction and Canonical Automata.

Simon Ware, Robi Malik

Int. J. Found. Comput. Sci., 2013

Certainly Unsupervisable States.

Simon Ware, Robi Malik, Sahar Mohajerani, Martin Fabian

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Compositional Nonblocking Verification with Always Enabled Events and Selfloop-Only Events.

Colin Pilbrow, Robi Malik

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Compositional nonblocking verification for extended finite-state automata using partial unfolding.

Sahar Mohajerani, Robi Malik, Martin Fabian

Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

Variable abstraction and approximations in supervisory control synthesis.

Marcelo Teixeira, Robi Malik, José Eduardo Ribeiro Cury, Max Hering de Queiroz

Proceedings of the American Control Conference, 2013

2012

Conflict-preserving abstraction of discrete event systems using annotated automata.

Simon Ware, Robi Malik

Discret. Event Dyn. Syst., 2012

An algorithm for weak synthesis observation equivalence for compositional supervisor synthesis.

Sahar Mohajerani, Robi Malik, Martin Fabian

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Hierarchical interface-based supervisory control using the conflict preorder.

Robi Malik, Ryan J. Leduc

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Generalised verification of the observer property in discrete event systems.

Hugo J. Bravo, Antonio Eduardo Carrilho da Cunha, Patrícia Nascimento Pena, Robi Malik, José E. R. Cury

Proceedings of the 11th International Workshop on Discrete Event Systems, 2012

Transition removal for compositional supervisor synthesis.

Sahar Mohajerani, Robi Malik, Martin Fabian

Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011

Nonblocking and Safe Control of Discrete-Event Systems Modeled as Extended Finite Automata.

Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson

IEEE Trans Autom. Sci. Eng., 2011

A State-Based Characterisation of the Conflict Preorder

Simon Ware, Robi Malik

Proceedings of the Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2011

A Process-Algebraic Semantics for Generalised Nonblocking.

Simon Ware, Robi Malik

Proceedings of the Seventeenth Computing: The Australasian Theory Symposium, 2011

Nondeterminism avoidance in compositional synthesis of discrete event systems.

Sahar Mohajerani, Robi Malik, Martin Fabian

Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010

Compositional nonblocking verification using annotated automata.

Simon Ware, Robi Malik

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Efficient computation of observer projections using OP-verifiers.

Patrícia N. Pena, José E. R. Cury, Robi Malik, Stéphane Lafortune

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

A compositional approach for verifying hierarchical interface-based supervisory control.

Ryan J. Leduc, Robi Malik

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

Model-driven GUI & interaction design using emulation.

Annika Hinze, Judy Bowen, Yuting Wang, Robi Malik

Proceedings of the 2nd ACM SIGCHI Symposium on Engineering Interactive Computing System, 2010

Symbolic approach to nonblocking and safe control of Extended Finite Automata.

Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson

Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

2009

Compositional Verification in Supervisory Control.

Hugo Flordal, Robi Malik

SIAM J. Control. Optim., 2009

2007

Compositional Synthesis of Maximally Permissive Supervisors Using Supervision Equivalence.

Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson

Discret. Event Dyn. Syst., 2007

Modular Synthesis of Discrete Controllers.

Petra Malik, Robi Malik, David Streader, Steve Reeves

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2006

Conflicts and Fair Testing.

Robi Malik, David Streader, Steve Reeves

Int. J. Found. Comput. Sci., 2006

Interaction design for a mobile context-aware system using discrete event modelling.

Annika Hinze, Petra Malik, Robi Malik

Proceedings of the Computer Science 2006, 2006

2005

Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study.

Robi Malik, Partha S. Roop

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

Incremental verification and synthesis of discrete-event systems guided by counter examples.

Bertil A. Brandin, Robi Malik, Petra Malik

IEEE Trans. Control. Syst. Technol., 2004

Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts.

Robi Malik, David Streader, Steve Reeves

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

A Case Study in Verification of UML Statecharts: the PROFIsafe Protocol.

Robi Malik, Reinhard Mühlfeld

J. Univers. Comput. Sci., 2003

2002

A modular architecture for diagnosis of discrete event systems.

Rami Debouk, Robi Malik, Bertil A. Brandin

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2000

Incremental system verification and synthesis of minimally restrictive behaviours.

Bertil A. Brandin, Robi Malik, Petra Dietrich

Proceedings of the American Control Conference, 2000

1998

Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen.

Robi Malik

PhD thesis, 1998

Automated Deduction of Finite-State Control Programs for Reactive Systems.

Robi Malik

Proceedings of the Automated Deduction, 1998