Research Publications for Khalid R (Robi) Malik

Welcome to the University of Waikato research publications search page. This database includes all research publications produced by the University from 1998.

See Also: Research Links | Student Research Theses | Research Commons

Author's Publications

Publications ByMALIK, Khalid R (Robi)

  Use our Online Phonebook to contact our current staff members.

  • Malik, R., & Ware, S. (2018). Counterexample computation in compositional nonblocking verification. In F. Basile, C. Hadjicostis, J. Komenda, & G. De Tommasi (Eds.), Preprints: 14th Workshop on Discrete Event Systems (WODES 2018) (pp. 427-432). Sorrento Coast, Italy.

  • Malik, R., & Pena, P. N. (2018). Optimal task scheduling in a flexible manufacturing system using model checking. In F. Basile, C. Hadjicostis, J. Komenda, & G. De Tommasi (Eds.), Preprints: 14 Workshop on Discrete Event Systems (WODES 2018) (pp. 241-246). Sorrento Coast, Italy.

  • Rosa, M., Teixeira, M., & Malik, R. (2018). Exploiting approximations in supervisory control with distinguishers. In F. Basile, C. Hadjicostis, J. Komenda, & G. De Tommasi (Eds.), Preprints: 14th Workshop on Discrete Event Systems (WODES 2018) (pp. 24-29). Sorrento Coast, Italy.

  • Malik, R., Åkesson, K., Flordal, H., & Fabian, M. (2017). Supremica–An efficient tool for large-scale discrete event systems. IFAC-PapersOnLine, 50(1), 5794-5799. doi:10.1016/j.ifacol.2017.08.427

  • Mohajerani, S., Malik, R., & Fabian, M. (2016). Compositional synthesis of supervisors in the form of state machines and state maps. Automatica, 76, 277-281. doi:10.1016/j.automatica.2016.10.012

  • Malik, R., & Teixeira, M. (2016). Modular supervisor synthesis for extended finite-state machines subject to controllability. In Proc 13th International Workshop on Discrete Event Systems (pp. 91-96). Xi'an China: IEEE. doi:10.1109/WODES.2016.7497831

  • Malik, R., & Teixeira, M. (2016). An algorithm for the synthesis of least restrictive controllable supervisors for extended finite-state machines: Working Paper Series (01/2016). Department of Computer Science, The University of Waikato.

  • Malik, R. (2016). Programming a fast explicit conflict checker. In Proc 13th International Workshop on Discrete Event Systems (pp. 438-443). Xi'an China: IEEE. doi:10.1109/WODES.2016.7497885

  • Mohajerani, S., Malik, R., & Fabian, M. (2016). Compositional supervisor synthesis with state merging and transition removal: Working Paper Series (02/2016). Department of Computer Science, The University of Waikato.

  • Pilbrow, C., & Malik, R. (2015). An algorithm for compositional nonblocking verification using special events. Science of Computer Programming, 113, Part 2, 119-148. doi:10.1016/j.scico.2015.05.010

This page has been reformatted for printing.