Robi Malik - RankMe

60 papers A 1B 4C 3Misc 1Journal 27Unranked 23

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