Dr Robi Malik
Senior Lecturer (Computer Science)
Qualifications: MSc PhD Kaiserslautern
Phone: +64 7 838 4796
Fax: +64 7 858 5095
I joined the Department of Computer Science of the University of Waikato in February 2003, where I stayed as a Visiting Lecturer for the year 2003. I studied Computer Science at the University of Kaiserslautern in Germany, where I obtained my Ph.D. degree in 1998.
Before coming to New Zealand, I spent a couple of years working for Siemens Corporate Research in Munich, Germany, where I was involved in the research and software development for a modelling and verification tool for discrete event systems.
Control software, discrete event systems, model checking.
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). João Pessoa.
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. Open Access version: https://hdl.handle.net/10289/12140
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. Open Access version: https://hdl.handle.net/10289/12069
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
Find more research publications by Robi Malik