You are here:

Professor Paul Krause

Professor of Software Engineering

Qualifications: BSc PhD FIMA CMath

Email:
Phone: Work: 01483 68 9861
Room no: 32 BB 02

Office hours

Monday: 14:00-16:00

Further information

Biography

1977       BSc Combined Honours (Class I) in Pure Mathematics and Physics (University of Exeter)

1977-1980    PhD in Geophysics (University of Exeter)

1980-1987    National Physical Laboratory - Research in low-temperature metrology, with a specific focus on the maintenance and development of the Josephson Voltage Standard.

1987-1989    Research Fellow in Computing at University of Surrey studying the animation of formal specifications

1989-1996    Research Fellow at Imperial Cancer Research Fund studying models of argumentation and their application to clinical diagnosis and patient management

1996-2003    Prinicipal Scientist and then Senior Principle Scientist at Philips Research Laboratories. Focus on developing techniques to support the specification, automated testing and quality analysis of embedded software

2001-Present    Professor of Software Engineering, University of Surrey

Google Scholar is currently (December 2011) giving me an h-index of 22.

Research Interests

  • Digital and Industrial Ecosystems as Complex Adaptive Systems
  • Use of ICT to support sustainable living and social change
  • Social-constructivist approaches to continued professional development
  • Formal models of interactive computing
  • Practical applications of Machine Learning

Further details can be found on my Mendeley entry:
Paul Krause's citations
and on my personal web page.

Publications

Click here to see my Google Scholar Citation Profile.

Journal articles

  • Krause PJ, Perez-Minana E, Thornton J. (2012) 'Bayesian Networks for the management of Greenhouse Gas emissions in the British agricultural sector'. Environmental Modelling and Software, 35, pp. 132-148.
  • de Lusignan S, Liaw ST, Krause P, Curcin V, Vicente MT, Michalakidis G, Agreus L, Leysen P, Shaw N, Mendis K. (2011) 'Key Concepts to Assess the Readiness of Data for International Research: Data Quality, Lineage and Provenance, Extraction and Processing Errors, Traceability, and Curation. Contribution of the IMIA Primary Health Care Informatics Working Group.'. Yearb Med Inform, Germany: 6 (1), pp. 112-120.
  • Marinos A, Krause P. (2010) 'Towards the web of models: A rule-driven RESTful architecture for distributed systems'. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6403 LNCS, pp. 251-258.
    doi: 10.1007/978-3-642-16289-3_21
  • Krause PJ, Moschoyiannis S, Shields M. (2009) 'A True-Concurrent Interpretation of Behavioural Scenarios'. Electronic Notes in Theoretical Computer Science, 203 (7), pp. 3-22.
    doi: 10.1016/j.entcs.2009.03.023
  • Hierons RM, Bogdanov K, Bowen JP, Cleaveland R, Derrick J, Dick J, Gheorghe M, Harman M, Kapoor K, Krause P, Luttgen G, Simons AJH, Vilkomir S, Woodward MR, Zedan H. (2009) 'Using Formal Specifications to Support Testing'. ASSOC COMPUTING MACHINERY ACM COMPUT SURV, 41 (2) Article number 9
    doi: 10.1145/1459352.1459354
  • Razavi A, Moschoyiannis S, Krause P. (2009) 'An open digital environment to support business ecosystems'. Peer-to-Peer Networking and Applications, 2 (4), pp. 367-397.
    doi: 10.1007/s12083-009-0039-5
  • Bryant D, Krause P. (2008) 'A review of current defeasible reasoning implementations'. CAMBRIDGE UNIV PRESS KNOWL ENG REV, 23 (3), pp. 227-260.
    doi: 10.1017/S0269888908001318
    Full text is available at: http://epubs.surrey.ac.uk/532054/
  • Krause PJ, Fenton N, Neil M, Marsh W, Hearty P, Radlinski L. (2008) 'On the effectiveness of early life cycle defect prediction with Bayesian Nets'. Empirical Software Engineering: an international journal, 13, pp. 499-537.
  • Krause PJ, Fenton N, Neil M, Marsh W, Hearty P, Marquez D, Mishra R. (2007) 'Predicting software defects in varying development lifecycles using Bayesian nets'. Information and Software Technology, 49 (1), pp. 32-43.
    doi: 10.1016/j.infsof.2006.09.001
  • Fenton N, Neil M, Marsh W, Hearty P, Marquez D, Krause P, Mishra R. (2007) 'Predicting software defects in varying development lifecycles using Bayesian nets'. ELSEVIER SCIENCE BV INFORM SOFTWARE TECH, 49 (1), pp. 32-43.
    doi: 10.1016/j.infsof.2006.09.001

Conference papers

  • Moschoyiannis S, Marinos A, Krause P. (2010) 'Generating SQL queries from SBVR rules'. Lecture Notes in Computer Science: Semantic Web Rules, Washington, DC, USA: Rule ML 2010: The 4th International Web Rule Symposium: Research Based and Industry Focused 6403, pp. 128-143.
    doi: 10.1007/978-3-642-16289-3_12
  • Michalakidis G, Kumarapeli P, Ring A, van Vlymen J, Krause P, de Lusignan S. (2010) 'A system for solution-orientated reporting of errors associated with the extraction of routinely collected clinical data for research and quality improvement.'. Studies in Health Technology and Informatics: Proceedings of the 13th World Congress on Medical Informatics, Cape Town, South Africa: MEDINFO 2010 160 (Pt 1), pp. 724-728.
    doi: 10.3233/978-1-60750-588-4-724
  • Krause P, de Lusignan S. (2010) 'Procuring interoperability at the expense of usability: a case study of UK National Programme for IT assurance process.'. Studies in Health Technology and Informatics: Seamless care, safe care: the challenges of interoperability and patient safety in health care: Proceedings of the EFMI Special Topic Conference, Reykjavik, Iceland: EFMI Special Topic Conference 155, pp. 143-149.
    doi: 10.3233/978-1-60750-563-1-143
  • Razavi A, Marinos A, Moschoyiannis S, Krause P. (2009) 'Recovery management in RESTful Interactions'. IEEE Proceedings of 3rd IEEE International Conference on Digital Ecosystems and Technologies, Istanbul, Turkey: DEST 2009, pp. 436-441.
    doi: 10.1109/DEST.2009.5276717
  • Marinos A, Krause P. (2009) 'What, not How: A generative approach to service composition'. IEEE 2009 3RD IEEE INTERNATIONAL CONFERENCE ON DIGITAL ECOSYSTEMS AND TECHNOLOGIES, Istanbul, TURKEY: 3rd IEEE International Conference on Digital Ecosystems and Technologies, pp. 430-435.
  • Moschoyiannis S, Krause P, Bryant D, McBurney P. (2009) 'Verifiable Protocol Design for Agent Argumentation Dialogues'. IEEE 2009 3RD IEEE INTERNATIONAL CONFERENCE ON DIGITAL ECOSYSTEMS AND TECHNOLOGIES, Istanbul, TURKEY: 3rd IEEE International Conference on Digital Ecosystems and Technologies, pp. 459-464.
  • Razavi A, Marinos A, Moschoyiannis S, Krause P. (2009) 'RESTful Transactions Supported by the Isolation Theorems'. SPRINGER-VERLAG BERLIN WEB ENGINEERING, PROCEEDINGS, San Sebastian, SPAIN: 9th International Conference on Web Engineering 5648, pp. 394-409.
  • Marinos A, Krause P. (2009) 'Using SBVR, REST and Relational Databases to develop Information Systems native to the Digital Ecosystem'. IEEE 2009 3RD IEEE INTERNATIONAL CONFERENCE ON DIGITAL ECOSYSTEMS AND TECHNOLOGIES, Istanbul, TURKEY: 3rd IEEE International Conference on Digital Ecosystems and Technologies, pp. 424-429.
  • Marinos A, Krause P. (2009) 'An SBVR Framework for RESTful Web Applications'. SPRINGER-VERLAG BERLIN RULE INTERCHANGE AND APPLICATIONS, PROCEEDINGS, Las Vegas, NV: International Symposium on Rule Interchange and Applications 5858, pp. 144-158.
  • Marinos A, Razavi A, Moschoyiannis S, Krause P. (2009) 'RETRO: A Consistent and Recoverable RESTful Transaction Model'. IEEE 2009 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2, Los Angeles, CA: IEEE International Conference on Web Services (ICWS 2009), pp. 181-188.
  • Krause PJ, Razavi AR, Moschoyiannis S, Marinos A. (2009) 'Stability and Complexity in Digital Ecosystems'. IEEE 2009 3RD IEEE INTERNATIONAL CONFERENCE ON DIGITAL ECOSYSTEMS AND TECHNOLOGIES, Istanbul, TURKEY: 3rd IEEE International Conference on Digital Ecosystems and Technologies, pp. 200-205.
  • Fenton N, Neil M, Marsh W, Hearty P, Radlinski L, Krause P. (2008) 'On the effectiveness of early life cycle defect prediction with Bayesian Nets'. SPRINGER EMPIRICAL SOFTWARE ENGINEERING, Minneapolis, MN: 3rd International Workshop on Predictor Models in Software Engineering (PROMISE 2007) 13 (5), pp. 499-537.
    doi: 10.1007/s10664-008-9072-x
  • Moschoyiannis S, Razavi AR, Zheng YY, Krause P. (2008) 'Long-running Transactions: semantics, schemas, implementation'. IEEE Proceedings of 2nd IEEE International Conference on Digital Ecosystems and Techonologies, Phitsanuloke, Thailand: IEEE DEST 2008, pp. 208-215.
    doi: 10.1109/DEST.2008.4635168
  • Razavi AR, Moschoyiannis SK, Krause PJ. (2008) 'A Scale-free Business Network for Digital Ecosystems'. IEEE 2008 2ND IEEE INTERNATIONAL CONFERENCE ON DIGITAL ECOSYSTEMS AND TECHNOLOGIES, Phitsanuloke, THAILAND: 2nd IEEE International Conference on Digital Ecosystems and Technologies, pp. 196-201.
  • Zheng YY, Zhou J, Krause P. (2007) 'Analysis of BPEL data dependencies'. IEEE COMPUTER SOC SEAA 2007: 33rd EUROMICRO Conference on Software Engineering and Advanced Applications, Proceedings, Lubeck, GERMANY: 33rd EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 351-358.
    Full text is available at: http://epubs.surrey.ac.uk/1985/
  • Razavi AR, Moschoyiannis SK, Krause PJ. (2007) 'Concurrency Control and Recovery Management for Open e-Business Transactions'. IOS PRESS WOTUG-30: COMMUNICATING PROCESS ARCHITECTURES 2007, Univ Surrey, Guildford, ENGLAND: 30th WoTUG Technical Meeting 2007 65, pp. 267-285.
  • Razavi AR, Malone PJ, Moschoyiannis S, Jennings B, Krause PJ. (2007) 'A distributed transaction and accounting model for digital ecosystem composed services'. IEEE 2007 INAUGURAL IEEE INTERNATIONAL CONFERENCE ON DIGITAL ECOSYSTEMS AND TECHNOLOGIES, Cairns, AUSTRALIA: IEEE International Conference on Digital Ecosystems and Technologies, pp. 215-218.
    Full text is available at: http://epubs.surrey.ac.uk/1669/
  • Zhang F, Povey D, Krause P. (2007) 'Protein Attributes Microtuning System (PAMS): an effective tool to increase protein structure prediction by data purification'. IEEE 2007 INAUGURAL IEEE INTERNATIONAL CONFERENCE ON DIGITAL ECOSYSTEMS AND TECHNOLOGIES, Cairns, AUSTRALIA: IEEE International Conference on Digital Ecosystems and Technologies, pp. 53-58.
  • Zheng Y, Krause P. (2007) 'Automata semantics and analysis of BPEL'. IEEE 2007 INAUGURAL IEEE INTERNATIONAL CONFERENCE ON DIGITAL ECOSYSTEMS AND TECHNOLOGIES, Cairns, AUSTRALIA: IEEE International Conference on Digital Ecosystems and Technologies, pp. 307-312.
  • Zheng YY, Zhou J, Krause P. (2007) 'A model checking based test case generation framework for web services'. IEEE COMPUTER SOC International Conference on Information Technology, Proceedings, Las Vegas, NV: 4th International Conference on Information Technology - New Generations, pp. 715-720.
    Full text is available at: http://epubs.surrey.ac.uk/1988/
  • Razavi AR, Moschoyiannis SK, Krause PJ. (2007) 'A coordination model for distributed transactions in Digital Business EcoSystems'. IEEE 2007 INAUGURAL IEEE INTERNATIONAL CONFERENCE ON DIGITAL ECOSYSTEMS AND TECHNOLOGIES, Cairns, AUSTRALIA: IEEE International Conference on Digital Ecosystems and Technologies, pp. 319-324.
    Full text is available at: http://epubs.surrey.ac.uk/1611/
  • Bryant D, Krause P, Moschoyiannis S. (2006) 'A tool to facilitate agent deliberation'. SPRINGER-VERLAG BERLIN LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, Liverpool, ENGLAND: 10th European Conference on Logics in Artificial Intelligence 4160, pp. 465-468.
  • Zheng YY, Krause P. (2006) 'Asynchronous semantics and anti-patterns for interacting web services'. IEEE COMPUTER SOC QSIC 2006: Sixth International Conference on Quality Software, Proceedings, Beijing, PEOPLES R CHINA: 6th International Conference on Quality Software, pp. 74-81.
    Full text is available at: http://epubs.surrey.ac.uk/1990/
  • Bryant D, Krause P. (2006) 'An implementation of a lightweight argumentation engine for agent applications'. SPRINGER-VERLAG BERLIN LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, Liverpool, ENGLAND: 10th European Conference on Logics in Artificial Intelligence 4160, pp. 469-472.
  • Bryant D, Krause PJ, Vreeswijk GAW. (2006) 'Argue tuProlog: A Lightweight Argumentation Engine for Agent Applications'. I O S PRESS COMPUTATIONAL MODELS OF ARGUMENT, Univ Liverpool, Dept Comp Sci, Liverpool, ENGLAND: 1st International Conference on Computational Models of Argument (COMMA) 144, pp. 27-32.
  • Mak LO, Krause P. (2006) 'Detection & management of concept drift'. IEEE Proceedings of 2006 International Conference on Machine Learning and Cybernetics, Vols 1-7, Dalian, PEOPLES R CHINA: 5th International Conference on Machine Learning and Cybernetics, pp. 3486-3491.

Book chapters

  • Razavi A, Moschoyiannis S, Krause P. (2010) 'Digital Ecosystems: challenges and proposed solutions'. in (ed.) Handbook of Research on P2P and Grid Systems for Service-Oriented Computing: Models, Methodologies and Applications Hershey, PA : IGI Global Publishers , pp. 1003-1031.
  • Razavi A, Krause P, Moschoyiannis S. (2010) 'Digital Ecosystems: challenges and proposed solutions'. in Antonopoulos N, Exarchakos G, Li M, Liotta A (eds.) Handbook of research on P2P and grid systems for service-oriented computing Hersehy, PA : Information Science Reference - Imprint of: IGI Publishing , pp. 1003-1031.

Teaching

COM2025: Web Application Development

COMM013: Agile Web Development with Ruby and Rails

COMM035: Service Oriented Architecture

Departmental Duties

Director of Research

Chair of Academic Misconduct Panel

Chair of Research Management Committee