Petra Malik

17 papers A 1B 5C 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2012 — conf
Knowledge Management in Distributed Agile Software Development.
AGILE
Siva Dorairaj, James Noble, Petra Malik
2012 A conf
Understanding Lack of Trust in Distributed Agile Teams: A grounded theory study.
EASE
Siva Dorairaj, James Noble, Petra Malik
2012 B conf
Understanding Team Dynamics in Distributed Agile Software Development.
XP
Siva Dorairaj, James Noble, Petra Malik
2011 J jnl
A retrospective on CZT.
Softw. Pract. Exp.
Petra Malik
2011 — conf
Bridging cultural differences: a grounded theory perspective.
ISEC
Siva Dorairaj, James Noble, Petra Malik
2011 B conf
Effective Communication in Distributed Agile Software Development Teams.
XP
Siva Dorairaj, James Noble, Petra Malik
2010 J jnl
Transformation Rules for Z.
Chic. J. Theor. Comput. Sci.
Mark Utting, Petra Malik, Ian Toyn
2010 — conf
Translating Z to Alloy.
ASM
Petra Malik, Lindsay Groves, Clare Lenihan
2010 B conf
Understanding the Importance of Trust in Distributed Agile Projects: A Practical Perspective.
XP
Siva Dorairaj, James Noble, Petra Malik
2009 — conf
Transformation Rules for Z.
CATS
Mark Utting, Petra Malik, Ian Toyn
2008 C conf
Unit Testing of Z Specifications.
ABZ
Mark Utting, Petra Malik
2007 B conf
Modular Synthesis of Discrete Controllers.
ICECCS
Petra Malik, Robi Malik, David Streader, Steve Reeves
2006 — conf
Interaction design for a mobile context-aware system using discrete event modelling.
ACSC
Annika Hinze, Petra Malik, Robi Malik
2005 B conf
CZT Support for Z Extensions.
IFM
Tim Miller, Leo Freitas, Petra Malik, Mark Utting
2005 — conf
CZT: A Framework for Z Tools.
ZB
Petra Malik, Mark Utting
2004 J jnl
Incremental verification and synthesis of discrete-event systems guided by counter examples.
IEEE Trans. Control. Syst. Technol.
Bertil A. Brandin, Robi Malik, Petra Malik
2003 — —
From supervisory control to nonblocking controllers for discrete event systems.
Petra Malik