Petra Malik's Homepage

Petra Malik
Department of Computer Science
School of Computing and Mathematical Sciences
The University of Waikato
Private Bag 3105
Hamilton
New Zealand

Room: FG 2.02
E-mail: petra@cs.waikato.ac.nz

I work as a research fellow in the Computer Science Department of Waikato University, developing open-source Z tools proposed by the Community Z Tools (CZT) project. The aim of this project is to provide a basic core for Z tool integration, so that students and other interested parties can build their own tools on top of this framework.

CZT binaries

• CZT 0.5 (released on July, 6 2006): czt_0_5_bin.tar.gz or czt_0_5_bin.tar.bz2 or czt_0_5_bin.zip
  And here is the jedit/catalog file that is missing in this binary release.
• CZT 0.4 (released on September, 2 2005): czt_0_4_bin.tar.gz or czt_0_4_bin.zip
• CZT 0.3 (released on March, 17 2005): czt_0_3_bin.tgz or czt_0_3_bin.zip
• The first binary release (released on Christmas Eve 2004): czt-bin-20041224.tgz or czt-bin-20041224.zip

XML resources

XML and XML Schema

• XML Tutorial
• XML Schema Tutorial
• XML Schema: Best Practices
• XML Schema in W3C
• XML Schema Validator

XSL

• XSL Tutorial
• XPath Tutorial
• XSLT in W3C
• XPath in W3C

XML and Java

• XML Data Binding Resources
• JaxMe
• JAXB
• Castor

Publications

CZT

• Tim Miller, Leo Freitas, Petra Malik, Mark Utting. CZT Support for Z Extensions. Proc. 5th International Conference on Integrated Formal Methods (IFM 2005), Eindhoven, The Netherlands, November 29 - December 2, 2005, pp227 - 245, ©Springer. [Online Access]
• Petra Malik, Mark Utting. CZT---A Framework for Z Tools. ZB 2005, Guildford, UK, 13-15 April 2005, ©Springer. [Online Access]

Supervisory Control Theory

• Petra Malik, Robi Malik, David Streader, Steve Reeves, Modular Synthesis of Discrete Controllers. Proc. 12th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS07, Auckland, New Zealand, 2007.
• Petra Malik, Robi Malik. Modular control-loop detection. Proc. 8th International Workshop on Discrete Event Systems (WODES 2006), 119-124, Ann Arbor, USA, 2006.
• 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.
• 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]
• P. Malik From Supervisory Control to Nonblocking Controllers for Discrete Event Systems. PhD Thesis, Dept. of Computer Science, University of Kaiserslautern, Kaiserslautern, 2003. [Download]
• P. Malik Generating Controllers from Discrete-Event Models. In: F. Cassez, C. Jard, F. Laroussinie, M. D. Ryan, Proc. of MOVEP 2002. [Download]
• 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. [Download]
• B.A. Brandin, R. Malik, P. Dietrich. Incremental system verification and synthesis of minimally restrictive behaviours. American Control Conference (ACC'00), Chicago, USA, 2000. [Download]