ext: 9861
Phone: +44 (0)1483 689861
em@il: p.krause@surrey.ac.uk

Many complex systems and consumer products now contain significant amounts of software. The customers of such systems and products have the same quality requirements as those of their pure hardware counterparts of some years ago. My interest is in developing processes and methods to develop and assess high quality software. By working part time at the Department of Computing and part time at Philips Research Laboratories, I can ensure that my work has real application. Specific interests include: requirements management; analysis of emergent properties of software components; automatic test case generation and execution; probabilistic networks for software quality assessment.

Recent Publications

• N. Fenton, P. Krause, M. Neil (2001), Probabilistic Modelling for Software Quality Control, Proceedings of ECSQARU 2001.
• N. Fenton, P. Krause, M. Neil (2001), A Probabilistic Model for Software Defect Prediction, under revision for IEEE. Trans. Software Engineering.
• E. Perez-Minana, P. Krause and P. America (2001), Empowering Requirements for a Product Family, Proceedings of the International Symposium on Requirements Engineering 2001.
• P.J. Krause (1998), Learning Probabilistic Networks, Knowledge Engineering Review 13, 321-351.
• P. Krause, J. Hesketh, D. Robertson (1997), Reliable and Accountable System Design, Knowledge Engineering Review 12, 289-306.
• P. Krause, J. Fox, P. Judson, M. Patel (1998), Qualitative Risk Assessment Fulfils a Need. In: A. Hunter and S. Parsons eds., Applications of Uncertainty Formalisms, Lecture Notes in Artificial Intelligence, Springer.
• P. Krause, S. Ambler, M. Elvang-Göransson and J. Fox (1995), A Logic of Argumentation for Reasoning under Uncertainty. Computational Intelligence 11, 113-131.
• Krause P., Fox J., Judson P. (1994), An Argumentation Based Approach to Risk Assessment, IMA Journal of Mathematics Applied to Business and Industry, (1993/4) 5, 249-263.
• P. Krause and D. Clark (1993), Representing Uncertain Knowledge: an artificial intelligence approach. Intellect Press, Oxford.
• Krause P J, Byers P & Hajnal S (1994), Formal Specification and Decision Support, Decision Support Systems, 1994;12:189-197.

 

Useful Links

Philips Research Web Page

More general information on Philips

Agena Ltd - Co-workers on use of probabilistic networks

CSM15 course materials