Publication list for Prof Paul Krause
Forthcoming
Fenton, N. E., Neil, M., Marsh, W., Hearty, P., Marquez, D., Krause, P., and Mishra, R. (2007). Predicting
Software Defects in Varying Development Lifecycles using Bayesian Nets.
Information and Software Technology.
Razavi, A. R., Moschoyiannis, S., Malone, P. J., Jennings, B., and Krause, P. (2007). A Distributed
Transaction and Accounting Model for Digital Ecosystem Composed Services.
Proceedings of the 2007 Inaugural IEEE International Conference on Digital Ecosystems and
Technologies (IEEE DEST 2007).
Razavi, A. R., Moschoyiannis, S., and Krause, P. (2007). A Coordination Model for Distributed
Transactions in Digital Business Ecosystems. Proceedings of the 2007 Inaugural IEEE
International Conference on Digital Ecosystems and Technologies (IEEE DEST 2007).
Zhang, F., Povey, D., and Krause, P. (2007). Protein Attributes Microtuning System (PAMS): an
effective tool to increase protein structure prediction by data purification.
Proceedings of the 2007 Inaugural IEEE International Conference on Digital Ecosystems and
Technologies (IEEE DEST 2007).
Zheng, Y. and Krause, P. (2007). Automata Semantics and Analysis of BPEL - YZ PK - DEST 2007.pdf.
Proceedings of the 2007 Inaugural IEEE International Conference on Digital Ecosystems and
Technologies (IEEE DEST 2007).
Zheng, Y., Zhou, J., and Krause, P. (2007). A Model Checking based Test Case Generation
Framework for Web Services. Proceedings of IEEE ITNG2007.
Fenton, N. E., Neil, M., Marsh, W., Krause, P., and Mishra, R. (Forthcoming). Predicting Software
Defects in Varying Development Lifecycles using Bayesian Nets. Proceedings of the
5th joint meeting of the European Software Engineering Conference and ACM SIGSOFT
Symposium on the Foundations of Software Engineering.
2006
Bryant, D., Krause, P., and Vreeswijk, G. A. W. (2006). Argue tuProlog: A Lightweight Argumentation
Engine for Agent Applications. 1st International Conference on Computational Models of
Argument , COMMA06.
Bryant, D. and Krause, P. (2006). Argue tuProlog: A Lightweight Argumentation Engine for Agent
Applications. Proceedings of 1st International Conference on Computational Models of
Argument, COMMA06 UK. IOS Press .
Bryant, D., Krause, P., and Moschoyiannis, S. (2006). A Tool to Facilitate Agent Deliberation.
Proceedings of 10th European Conference on Logics in Artificial Intelligence (JELIA06),
volume 4160 of Lecture Notes in Artificial Intelligence Springer .
Bryant, D. and Krause, P. (2006). An Implementation of a Lightweight Argumentation Engine for
Agent Applications . Proceedings of 10th European Conference on Logics in Artificial
Intelligence (JELIA06), volume 4160 of Lecture Notes in Artificial Intelligence Springer .
Bryant, D., Krause, P., and Moschoyiannis, S. (2006). Enforcing Argumentation-based Dialogue
Protocols: An implementation of a dialogue manager. 1st International Conference on
Computational Models of Argument , COMMA06.
Krause, P. (2006). Enriching requirements without hurting your brain. Software and Systems Quality
Conference.
Mak, L. O. and Krause, P. (2006). Detection and Management of Concept Drift. Proceedings of the
IEEE 5th International Conference on Machines Learning and Cybernectics .
Zheng, Y. and Krause, P. (2006). Asynchronous Semantics & Anti-patterns for Interacting Web
Services. proc of IEEE 6th QSIC 2006.
2005
Fenton, N. E., Krause, P., Neil, M., Mishra, R., and Raghavendra, R. (2005). Bayesian Networks for
Software Process Control. Proceeedings of the Philips Software Conference.
Hierons, R. M., Bogdanov, K., Bowen, J. P., Cleaveland, R., Derrick, J., Dick, J., Gheorghe, M., Harman, M.,
Kapoor, K., Krause, P., Luettgen, G., Simons, J. H., Vilkomir, S., Woodward, M. R., and
Zedan, H. (2005). Working Together: Formal Methods and Testing. ACM Computing
Surveys.
Jacobs, J., van Moll, J., Krause, P., Kusters, R., and Trienekens, J. (2005). Exploring Defect Causes in
Products Developed by Virtual Teams. Journal of Information and Software Technology ,
vol. 47(6 - 15 April 2005) , pp. 399-410.
Moschoyiannis, S., Shields, M., and Krause, P. (2005). Modelling Component Behaviour with
Concurrent Automata. Proceedings of ETAPS 2005 workshop on Formal Foundations of
Embedded Software and Component-based Software Architectures (FESCA'05), Electronic
Notes On Theoretical Computer Science , vol. 131(3 (1 December 2005)) Elsevier , pp.
199-220.
2004
Krause, P. (2004). CS-04-04 Identifying Feature Interaction. Department of Computing, University of
Surrey .
Spanoudakis, G., Zisman, A., Perez-Minana, E., and Krause, P. (2004). Rule-based generation of
requirements traceability relations. Journal of Systems and Software , vol. 72(2) Elsevier
Science Inc. pp. 105-127.
Zisman, A., Spanoudakis, G., Perez-Minana, E., and Krause, P. (2004). Tracing Software Requirements
Artefacts. The 2003 International Conference on Software Engineering Research and
Practice (SERP'03).
2
2003
Jacobs, J., van Moll, J., Krause, P., Kusters, R., and Trienekens, J. (2003). Effects of Virtual Product
Development on Product Quality: Exploring Defect Causes. Proceedings of the
International conference of Software Engineering and Technology Practice (STEP) 2003.
Krause, P. (2003). Putting the Pieces Together – The problem of Integration in Distributed Software
Development. Proceedings of the International Conference of Software Technology and
Engineering Practise 2003 (STEP 2003): Applications and Emerging Trends in Software
Engineering Practise' IEEE Computer Society .
Krause, P., Freimut, B., and Suryn, W. (2003). New Directions in Measurement for Software Quality
Control. In Coallier, F., Hoffnagle, G., Layzell, P., O'Brien, L., and Poo, D. (Ed), Proceedings
10th International Workshop on Software Technology & Engineering Practise (STEP 2002)
IEEE Computer Society Press , pp. 129-143. /0-7695-1878-8.
Neil, M., Krause, P., and Fenton, N. E. (2003). Software Quality Prediction Using Bayesian Networks.
In Khoshgoftaar TM (Ed), (6) Kluwer 1-4020-7427-1.
Spanoudakis, G., Zisman, A., Perez-Minana, E., and Krause, P. (2003). Rule-based generation of
requirements traceability relations. Proceedings of the International Conference on
Software Engineering and Technology Practise (STEP 2003).
2002
Fenton, N. E., Krause, P., and Neil, M. (2002). Probabilistic Modelling for Software Quality Control.
Journal of Applied Non-Classical Logics , vol. 12(2) , pp. 173-188.
Fenton, N. E., Krause, P., and Neil, M. (2002). Software Measurement: Uncertainty and Causal
Modeling. IEEE Software , vol. 10, pp. 116-122.
2001
Fenton, N. E. and Krause, P. (2001). Software Metrics, Uncertainty and Causal Modelling.
Proceedings of 6th Philips Software Conference.
Krause, P., Perez-Minana, E., and America, P. (2001). Empowering requirements for a Product family.
RE'01 - 5th IEEE International Symposium on Requirements Engineering.
Perez-Minana, E. and Krause, P. (2001). Admit it, your requirements deserve a life of their own!
Proceedings of 6th Philips Software Conference.
1998
3
Krause, P. (1998). Learning Probabilistic Networks. Knowledge Engineering Review , vol. 13, pp.
321-351.
1995
Krause, P., Ambler, S., Elvang-Goransson, M., and Fox, J. (1995). A Logic of Argumentation for
Reasoning under Uncertainty. Computational Intelligence , vol. 11, pp. 113-131.
1994
Krause, P., Fox, J., and Judson, P. (1994). An Argumentation Based Approach to Risk Assessment.
IMA Journal of Mathematics Applied in Business & Industry , vol. 5, pp. 249-263.
4