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. (2020). On the computation of counterexamples in compositional nonblocking verification. Discrete Event Dynamic Systems: Theory and Applications. doi:10.1007/s10626-019-00305-w

  • Malik, R., & Teixeira, M. (2020). Synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction. Discrete Event Dynamic Systems: Theory and Applications. doi:10.1007/s10626-019-00302-z

  • 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). Conference held 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). Conference held Sorrento Coast, Italy.

  • 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). Conference held Sorrento Coast, Italy.

  • Rosa, M., Teixeira, M., & Malik, R. (2018). Controle supervisório de sistemas a eventos discretos com auto-aproximações. In XXII Brazilian Conference on Automation (CBA). Conference held João Pessoa.

  • Malik, R. (2018). The explicit conflict check algorithm implemented in the Waters library: Working Paper Series (01/2018). Department of Computer Science, The University of Waikato.

  • Malik, R., & Pena, P. N. (2018). Optimal task scheduling in a flexible manufacturing system using model checking. In G. De Tommasi (Ed.), Proc 14th IFAC Workshop on Discrete Event Systems (WODES 2018), IFAC-PapersOnLine Vol. 51 (pp. 230-235). Conference held Sorrento Coast, Italy: IFAC. doi:10.1016/j.ifacol.2018.06.306

  • Malik, R., & Ware, S. (2018). Counterexample computation in compositional nonblocking verification. In G. De Tommasi (Ed.), Proc 14th IFAC Workshop on Discrete Event Systems (WODES 2018), IFAC-PapersOnLine Vol. 51 (pp. 416-421). IFAC. doi:10.1016/j.ifacol.2018.06.334

  • Malik, R., & Teixeira, M. (2018). Framework and proofs for synthesis of least restrictive controllable supervisors for extended finite-state machines with variable abstraction: Working Paper Series (03/2018). Department of Computer Science, The University of Waikato.

This page has been reformatted for printing.