Petra Malik's Publications

[Mal11] Petra Malik. A retrospective on CZT. Software: Practice and Experience, 41:179-188, 2011. [ DOI ]
[DNM11a] Siva Dorairaj, James Noble, and Petra Malik. Bridging cultural differences: a grounded theory perspective. In Proceedings of the 4th India Software Engineering Conference, ISEC '11, pages 3-10, New York, NY, USA, 2011. ACM. [ DOI ]
[DNM11b] Siva Dorairaj, James Noble, and Petra Malik. Effective communication in distributed agile software development teams. In Alberto Sillitti, Orit Hazzan, Emily Bache, and Xavier Albaladejo, editors, Agile Processes in Software Engineering and Extreme Programming-12th International Conference, XP 2011, Madrid, Spain, May 10-13, 2011. Proceedings, volume 77 of Lecture Notes in Business Information Processing. Springer, 2011. [ DOI ]
[UMT10] Mark Utting, Petra Malik, and Ian Toyn. Transformation rules for Z. Chicago Journal of Theoretical Computer Science, 2010(6), June 2010. [ .pdf ]
[MGL10] Petra Malik, Lindsay Groves, and Clare Lenihan. Translating Z to Alloy. In Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, and Steve Reeves, editors, Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings, volume 5977 of Lecture Notes in Computer Science, pages 377-390. Springer, 2010. [ DOI ]
[DNM10] Siva Dorairaj, James Noble, and Petra Malik. Understanding the importance of trust in distributed agile projects: A practical perspective. In Agile Processes in Software Engineering and Extreme Programming, 11th International Conference, XP 2010, Trondheim, Norway, June 1-4, 2010. Proceedings, volume 48 of Lecture Notes in Business Information Processing, pages 172-177, Berlin, Heidelberg, 2010. Springer. [ DOI ]
[UMT09] Mark Utting, Petra Malik, and Ian Toyn. Transformation rules for Z. In Rod Downey and Prabhu Manyem, editors, Fifteenth Computing: The Australasian Theory Symposium (CATS 2009), volume 94 of Conferences in Research and Practice in Information Technology, pages 71-80, Wellington, New Zealand, 2009. ACS. [ .html ]
[UM08] Mark Utting and Petra Malik. Unit testing of Z specifications. In Egon Börger, Michael Butler, Jonathan P. Bowen, and Paul Boca, editors, Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, volume 5238 of Lecture Notes in Computer Science, pages 309-322. Springer, 2008. [ DOI ]
[MMSR07] Petra Malik, Robi Malik, David Streader, and Steve Reeves. Modular synthesis of discrete controllers. In ICECCS '07: Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007), pages 25-34, Washington, DC, USA, 2007. IEEE Computer Society. [ DOI ]
[HMM06] Annika Hinze, Petra Malik, and Robi Malik. Interaction design for a mobile context-aware system using discrete event modelling. In Vladimir Estivill-Castro and Gill Dobbie, editors, Twenty-Ninth Australasian Computer Science Conference (ACSC2006), volume 48 of Conferences in Research and Practice in Information Technology, pages 257-266. Australian Computer Society, Inc, 2006. [ .html ]
[MM06] Petra Malik and Robi Malik. Modular control-loop detection. In Proceedings of the 8th International Workshop on Discrete Event Systems, Ann Arbor, Michigan, USA, July 10-12, 2006, pages 119-124, 2006. [ DOI ]
[MFMU05] Tim Miller, Leo Freitas, Petra Malik, and Mark Utting. CZT support for Z extensions. In Judi M.T. Romijn, Graeme P. Smith, and Jaco Pol, editors, Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29-December 2, 2005. Proceedings, volume 3771 of Lecture Notes in Computer Science, pages 227-245, Berlin, Heidelberg, 2005. Springer. [ DOI ]
[MU05] Petra Malik and Mark Utting. CZT: A framework for Z tools. In Helen Treharne, Steve King, Martin C. Henson, and Steve A. Schneider, editors, ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, volume 3455 of Lecture Notes in Computer Science, pages 65-84, Berlin, Heidelberg, 2005. Springer. [ DOI ]
[HMM05] Annika Hinze, Petra Malik, and Robi Malik. Towards a TIP 3.0 service-oriented architecture: Interaction design. Technical Report 08/2005, University of Waikato, Department of Computer Science, January 2005. [ http ]
[Mal04] Petra Malik. From Supervisory Control to Nonblocking Controllers for Discrete Event Systems. Universität Kaiserslautern, January 2004.
[BMM04] Bertil A. Brandin, Robi Malik, and 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. [ DOI ]
[Mal03] Petra Malik. From Supervisory Control to Nonblocking Controllers for Discrete Event Systems. PhD thesis, Dept. of Computer Science, Kaiserslautern, Germany, 2003. [ .ps ]
[DMWB02] Petra Dietrich, Robi Malik, W. Murray Wonham, and Bertil A. Brandin. Implementation considerations in supervisory control. In B. Caillaud, P. Darondeau, L. Lavagno, and X. Xie, editors, Synthesis and Control of Discrete Event Systems. Kluwer Academic Publishers, Boston/Dordrecht/London, 2002.
[Mal02] Petra Malik. Generating controllers from discrete-event models. In F. Cassez, C. Jard, F. Laroussinie, and M. D. Ryan, editors, Proc. of MOVEP 2002, 2002. [ .ps ]
[BMD00] Bertil A. Brandin, Robi Malik, and Petra Dietrich. Incremental system verification and synthesis of minimally restrictive behaviours. In American Control Conference (ACC'00), 2000. [ .ps ]

This file was generated by bibtex2html 1.94.