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.
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. Open Access version: hdl:10289/9841
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. Open Access version: hdl:10289/9889
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 Open Access version: hdl:10289/10834
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 Open Access version: hdl:10289/10503
Find more research publications by Robi Malik