Petra Malik

Publication Activity (10 Years)

Years Active: 2004-2012
Publications (10 Years): 0

Top Venues

AGILE

EASE

University of Kaiserslautern (PHD)

Education History

University of Kaiserslautern

PHD

Publications

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

Petra Malik.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Petra Malik