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. (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
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
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 Open Access version: hdl:10289/10827
Find more research publications by Robi Malik