Robi Malik

Lecturer

I joined the Department of Computer Science of the University of Waikato in February 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.

Contact

Address	Robi Malik Department of Computer Science The University of Waikato Private Bag 3105 Hamilton New Zealand
Office	G 2.23
Phone	+64 (0)7 838 4796
Fax	+64 (0)7 858 5095
e-Mail

Teaching

In 2012, I am teaching:

• COMP 104-12S: Introduction to Computer Science 2
• COMP 340-12A: Reasoning about Programs
• COMP 452/552-12A: Model Checking

In previous years, I have been teaching:

• COMP 104-11S: Introduction to Computer Science 2
• COMP 104-10S: Introduction to Computer Science 2
• COMP 104-09S: Introduction to Computer Science 2
• COMP 140-05B: Foundations of Computer Science
• COMP 140-04B: Foundations of Computer Science
• COMP 140-03B: Foundations of Computer Science
• COMP 209-03B: Object Oriented Programming
• COMP 222-03A: Logic and Programming
• COMP 231-06A: Software Engineering Development
• COMP 231-05A: Software Engineering Development
• COMP 233-04B: Internet Programming
• COMP 242-08B: Software Engineering Process
• COMP 314-06A: Software Engineering Project
• COMP 340-11A: Reasoning about Programs
• COMP 340-10B: Reasoning about Programs
• COMP 340-09B: Reasoning about Programs
• COMP 340-08B: Reasoning about Programs
• COMP 340-07B: Reasoning about Programs
• COMP 424/524-06A: Topics in Software Engineering
• COMP 424/524-05A: Topics in Software Engineering
• COMP 424/524-04A: Topics in Software Engineering
• COMP 452/552-11A: Model Checking
• COMP 452/552-10B: Model Checking
• COMP 452/552-09B: Model Checking
• COMP 452/552-08B: Model Checking
• COMP 452/552-07B: Model Checking

Research Interests

My main interest of research has been the analysis and synthesis of finite-state systems, and the development of efficient algorithms and tools for this purpose.

Publications

• Simon Ware, Robi Malik. A state-based characterisation of the conflict preorder. Proc. 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011), 34-48, Aachen, Germany, 10 September 2011. [Online Access]
• Robi Malik, Martin Fabian, Knut Åkesson. Modelling large-scale discrete-event systems using modules, aliases, and extended finite-state automata. Proc. 18th IFAC World Congress (IFAC 2011), 7000-7005, Milan, Italy, 28 August - 2 September 2011. [Online Access]
• Sahar Mohajerani, Robi Malik, Martin Fabian. Nondeterminism avoidance in compositional synthesis of discrete event systems. Proc. 7th International Conference on Automation Science and Engineering (CASE 2011), 19-24, Trieste, Italy, 24-27 August 2011.
• Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson. Nonblocking and safe control of discrete-event systems modeled as Extended Finite Automata. IEEE Transactions on Automation Science and Engineering, 8 (3), 560-569, 2011. [Online Access]
• Sahar Mohajerani, Robi Malik, Simon Ware, Martin Fabian. On the use of observation equivalence in synthesis abstraction. Proc. 3rd International Workshop on Dependable Control of Discrete Systems (DCDS 2011), 84-89, Saarbrücken, Germany, 15-17 June 2011. [Online Access]
• Sahar Mohajerani, Robi Malik, Simon Ware, Martin Fabian. Compositional synthesis of discrete event systems using synthesis abstraction. Proc. 23rd Chinese Decision and Control Conference, (CCDC 2011), Mianyang, China, 23-25 May 2011.
• Simon Ware, Robi Malik. A Process-Algebraic Semantics for Generalised Nonblocking. Proc. CATS 2011 - Computing: The Australasian Theory Symposium, 75-84, Perth, Australia, 17-20 January 2011.
• Ryan Leduc, Robi Malik. A compositional approach for verifying hierarchical interface-based supervisory control. Proc. 10th International Workshop on Discrete Event Systems (WODES'10), 114-120, Berlin, Germany, 30 August - 1 September 2010.
• Simon Ware, Robi Malik. Compositional nonblocking verification using annotated automata. Proc. 10th International Workshop on Discrete Event Systems (WODES'10), 374-379, Berlin, Germany, 30 August - 1 September 2010.
• Patrícia N. Pena, José E. R. Cury, Robi Malik, Stéphane Lafortune. Efficient computation of observer projections using OP-Verifiers. Proc. 10th International Workshop on Discrete Event Systems (WODES'10), 416-421, Berlin, Germany, 30 August - 1 September 2010.
• Lucien Ouedraogo, Ratnesh Kumar, Robi Malik, Knut Åkesson. Symbolic approach to nonblocking and safe control of Extended Finite Automata. Proc. 6th International Conference on Automation Science and Engineering (CASE 2010), 471-476, Toronto, ON, Canada, 21-24 August 2010. [Online Access]
• Annika Hinze, Judy Bown, Yuting Wang, Robi Malik. Model-driven GUI & interaction design using emulation. Proc. 2nd ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'10), 273-278, Berlin, Germany, 19-23 June 2010. [Online Access]
• Robi Malik, Ryan Leduc. A compositional approach for verifying generalised nonblocking. Proc. 7th IEEE International Conference on Control and Automation (ICCA'09), 448-453, Christchurch, New Zealand, 9-11 December 2009.
• Hugo Flordal, Robi Malik. Compositional verification in supervisory control. SIAM Journal of Control and Optimization, 48 (3), 1914-1938, 2009. [Online Access]
• Robi Malik, Hugo Flordal. Yet another approach to compositional synthesis of discrete event systems. Proc. 9th International Workshop on Discrete Event Systems (WODES'08), 16-21, Göteborg, Sweden, 28-30 May 2008. [Online Access]
• Simon Ware, Robi Malik. The use of language projection for compositional verification of discrete event systems. Proc. 9th International Workshop on Discrete Event Systems (WODES'08), 322-327, Göteborg, Sweden, 28-30 May 2008. [Online Access]
• Robi Malik, Ryan Leduc. Generalised nonblocking. Proc. 9th International Workshop on Discrete Event Systems (WODES'08), 340-345, Göteborg, Sweden, 28-30 May 2008. [Online Access]
• Hugo Flordal, Robi Malik, Martin Fabian, Knut Åkesson, Compositional synthesis of maximally permissive supervisors using supervision equivalence. Discrete Event Dynamic Systems, 17 (4), 475-504, 2007. [Online Access, Final Draft]
• Robi Malik, Hugo Flordal, Patrícia Pena, Conflicts and projections. Proc. 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), 63-68, Paris, France, 2007. [Online Access]
• Petra Malik, Robi Malik, David Streader, Steve Reeves, Modular synthesis of discrete controllers. Proc. 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'07), 25-34, Auckland, New Zealand, 2007. [Online Access]
• Hugo Flordal, Robi Malik, Modular nonblocking verification using conflict equivalence. Proc. 8th Workshop on Discrete Event Systems (WODES'06), 100-106, Ann Arbor, USA, 2006. [Online Access]
• Petra Malik, Robi Malik, Modular control-loop detection. Proc. 8th Workshop on Discrete Event Systems (WODES'06), 119-124, Ann Arbor, USA, 2006. [Online Access]
• Hugo Flordal, Robi Malik, Supervision equivalence. Proc. 8th Workshop on Discrete Event Systems (WODES'06), 155-160, Ann Arbor, USA, 2006. [Online Access]
• Knut Åkesson, Martin Fabian, Hugo Flordal, Robi Malik, Supremica - an integrated environment for verification, synthesis and simulation of discrete event systems. Proc. 8th Workshop on Discrete Event Systems (WODES'06), 384-385, Ann Arbor, USA, 2006. [Online Access]
• Robi Malik, David Streader, Steve Reeves. Conflicts and fair testing. International Journal of Foundations of Computer Science, 17 (4), 797-813, 2006. [Online Access, Final Draft]
• Annika Hinze, Petra Malik, Robi Malik, Interaction design for a mobile context-aware system using discrete event modelling. Proc. 29th Australasian Computer Science Conference (ACSC 2006), Hobart, Australia, 2006. [Online Access]
• Robi Malik, Partha S. Roop. Adaptive techniques for specification matching in embedded systems: a comparative study. Proc. 5th International Conference on Integrated Formal Methods (IFM 2005), 33-52, Eindhoven, The Netherlands, November 29 - December 2, 2005. [Online Access]
• Robi Malik, David Streader, Steve Reeves. Fair testing revisited: a process-algebraic characterisation of conflicts. Proc. 2nd International Symposium on Automated Technology for Verification and Analysis (ATVA 2004), 120-134, Taipei, Taiwan, Springer LNCS, volume 3299, 2004. [Online Access]
• Robi Malik. On the set of certain conflicts of a given language. Proc. 7th Workshop on Discrete Event Systems (WODES'04), 277-282, Reims, France, 2004. [Online Access]
• Bertil A. Brandin, Robi Malik, Petra Malik. Incremental verification and synthesis of discrete-event systems guided by counter-examples. IEEE Transactions on Control Systems Technology, 12 (3), 387-401, 2004. [Online Access, Final Draft]
• R. Malik, R. Mühlfeld. A case study in verification of UML statecharts: the PROFIsafe protocol. Journal of Universal Computer Science, 9 (2), 138-151, 2003. [Online Access]
  (A Preliminary version of this paper appeared in FM-Tools 2002 Workshop, 89-93, 2002. [Download])
• Rami Debouk, Robi Malik, Bertil Brandin. A modular architecture for diagnosis of discrete event systems. Proc. 41st IEEE Conference on Decision and Control (CDC'02), 417-422, Las Vegas, USA, 2002.
• P. Dietrich, R. Malik, W.M. Wonham, B.A. Brandin. Implementation considerations in supervisory control. In: B. Caillaud, P. Darondeau, L. Lavagno, X. Xie, Synthesis and control of discrete event systems. 185-201, Kluwer, 2002. [Online Access]
• B.A. Brandin, R. Malik, P. Dietrich. Incremental system verification and synthesis of minimally restrictive behaviours. American Control Conference (ACC'00), 4056-4061, Chicago, USA, 2000. [Online Access]
• Robi Malik. Automated deduction of finite-state control programs for reactive systems. Proc. 15th International Conference on Automated Deduction (CADE-15), 302-316, Lindau, Germany, 1998. [Online Access]
• Robi Malik. Automatische Synthese diskreter Steuerungen aus logischen Spezifikationen. Shaker Verlag, Aachen, 1998.

Working Papers and Student Reports

• Rachel Francis. An implementation of a compositional approach for verifying generalised nonblocking. Working paper series, No. 04/2011; Department of Computer Science, University of Waikato, Hamilton, New Zealand, 2011. [Online Access]
• Sahar Mohajerani, Robi Malik, Simon Ware, Martin Fabian. Three variations of observation equivalence preserving synthesis abstraction. Working paper series, No. 01/2011; Department of Computer Science, University of Waikato, Hamilton, New Zealand, 2011. [Online Access]
• Robi Malik. The language of certain conflicts of a nondeterministic process. Working paper series, No. 05/2010; Department of Computer Science, University of Waikato, Hamilton, New Zealand, 2010. [Online Access]
• Robi Malik, Ryan Leduc. Seven abstraction rules preserving generalised nonblocking. Working paper series, No. 07/2009; Department of Computer Science, University of Waikato, Hamilton, New Zealand, 2009. [Online Access]
• Robi Malik, Hugo Flordal. Compositional synthesis of discrete event systems via synthesis equivalence. Working paper series, No. 05/2008; Department of Computer Science, University of Waikato, Hamilton, New Zealand, 2008. [Online Access]
• Simon Ware. Modular finite-state machine analysis. Honours project report, Department of Computer Science, University of Waikato, Hamilton, New Zealand, 2007. [Download]
• Annika Hinze, Petra Malik, Robi Malik. Towards a TIP 3.0 service-oriented architecture: interaction design. Working paper series, No. 08/2005; Department of Computer Science, University of Waikato, Hamilton, New Zealand, 2005. [Online Access]

Robi Malik, Department of Computer Science, The University of Waikato;
Last modified: 24 January 2012