Petra Malik

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
Understanding Team Dynamics in Distributed Agile Software Development.
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2012

Understanding Lack of Trust in Distributed Agile Teams: A grounded theory study.
Proceedings of the 16th International Conference on Evaluation & Assessment in Software Engineering, 2012

Knowledge Management in Distributed Agile Software Development.
Proceedings of the 2012 Agile Conference, 2012

2011
A retrospective on CZT.
Softw. Pract. Exp., 2011

Effective Communication in Distributed Agile Software Development Teams.
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2011

Bridging cultural differences: a grounded theory perspective.
Proceedings of the Proceeding of the 4th Annual India Software Engineering Conference, 2011

2010
Transformation Rules for Z.
Chic. J. Theor. Comput. Sci., 2010

Understanding the Importance of Trust in Distributed Agile Projects: A Practical Perspective.
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2010

Translating Z to Alloy.
Proceedings of the Abstract State Machines, 2010

2008
Unit Testing of Z Specifications.
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007
Modular Synthesis of Discrete Controllers.
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.
Proceedings of the Computer Science 2006, 2006

2005
CZT: A Framework for Z Tools.
Proceedings of the ZB 2005: Formal Specification and Development in Z and B, 2005

CZT Support for Z Extensions.
Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

2004
Incremental verification and synthesis of discrete-event systems guided by counter examples.
IEEE Trans. Control. Syst. Technol., 2004

2003
From supervisory control to nonblocking controllers for discrete event systems.
PhD thesis, 2003


  Loading...