Petra Malik

According to our database, Petra Malik authored at least 16 papers between 2003 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Understanding Team Dynamics in Distributed Agile Software Development.

Siva Dorairaj, James Noble, Petra Malik

Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2012

Understanding Lack of Trust in Distributed Agile Teams: A grounded theory study.

Siva Dorairaj, James Noble, Petra Malik

Proceedings of the 16th International Conference on Evaluation & Assessment in Software Engineering, 2012

Knowledge Management in Distributed Agile Software Development.

Siva Dorairaj, James Noble, Petra Malik

Proceedings of the 2012 Agile Conference, 2012

2011

A retrospective on CZT.

Petra Malik

Softw. Pract. Exp., 2011

Effective Communication in Distributed Agile Software Development Teams.

Siva Dorairaj, James Noble, Petra Malik

Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2011

Bridging cultural differences: a grounded theory perspective.

Siva Dorairaj, James Noble, Petra Malik

Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011

2010

Transformation Rules for Z.

Mark Utting, Petra Malik, Ian Toyn

Chic. J. Theor. Comput. Sci., 2010

Understanding the Importance of Trust in Distributed Agile Projects: A Practical Perspective.

Siva Dorairaj, James Noble, Petra Malik

Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2010

Translating Z to Alloy.

Petra Malik, Lindsay Groves, Clare Lenihan

Proceedings of the Abstract State Machines, 2010

2008

Unit Testing of Z Specifications.

Mark Utting, Petra Malik

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Modular Synthesis of Discrete Controllers.

Petra Malik, Robi Malik, David Streader, Steve Reeves

Proceedings of the 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 2007

2006

Interaction design for a mobile context-aware system using discrete event modelling.

Annika Hinze, Petra Malik, Robi Malik

Proceedings of the Computer Science 2006, 2006

2005

CZT: A Framework for Z Tools.

Petra Malik, Mark Utting

Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

CZT Support for Z Extensions.

Tim Miller, Leo Freitas, Petra Malik, Mark Utting

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004

Incremental verification and synthesis of discrete-event systems guided by counter examples.

Bertil A. Brandin, Robi Malik, Petra Malik

IEEE Trans. Control. Syst. Technol., 2004

2003

From supervisory control to nonblocking controllers for discrete event systems.

Petra Malik

PhD thesis, 2003