2009 |
35 | EE | Robert M. Hierons,
Kirill Bogdanov,
Jonathan P. Bowen,
Rance Cleaveland,
John Derrick,
Jeremy Dick,
Marian Gheorghe,
Mark Harman,
Kalpesh Kapoor,
Paul Krause,
Gerald Lüttgen,
Anthony J. H. Simons,
Sergiy A. Vilkomir,
Martin R. Woodward,
Hussein Zedan:
Using formal specifications to support testing.
ACM Comput. Surv. 41(2): (2009) |
2008 |
34 | EE | Norman Fenton,
Martin Neil,
William Marsh,
Peter Hearty,
Lukasz Radlinski,
Paul Krause:
On the effectiveness of early life cycle defect prediction with Bayesian Nets.
Empirical Software Engineering 13(5): 499-537 (2008) |
33 | EE | Daniel Bryant,
Paul Krause:
A review of current defeasible reasoning implementations.
Knowledge Eng. Review 23(3): 227-260 (2008) |
2007 |
32 | EE | Yongyan Zheng,
Jiong Zhou,
Paul Krause:
Analysis of BPEL Data Dependencies.
EUROMICRO-SEAA 2007: 351-358 |
31 | EE | Yongyan Zheng,
Jiong Zhou,
Paul Krause:
A Model Checking based Test Case Generation Framework forWeb Services.
ITNG 2007: 715-722 |
30 | EE | Norman E. Fenton,
Martin Neil,
William Marsh,
Peter Hearty,
David Marquez,
Paul Krause,
Rajat Mishra:
Predicting software defects in varying development lifecycles using Bayesian nets.
Information & Software Technology 49(1): 32-43 (2007) |
29 | EE | Yongyan Zheng,
Jiong Zhou,
Paul Krause:
An Automatic Test Case Generation Framework for Web Services.
JSW 2(3): 64-77 (2007) |
2006 |
28 | EE | Daniel Bryant,
Paul Krause,
Sotiris Moschoyiannis:
A Tool to Facilitate Agent Deliberation.
JELIA 2006: 465-468 |
27 | EE | Daniel Bryant,
Paul Krause:
An Implementation of a Lightweight Argumentation Engine for Agent Applications.
JELIA 2006: 469-472 |
26 | EE | Yongyan Zheng,
Paul Krause:
Asynchronous Semantics and Anti-patterns for Interacting Web Services.
QSIC 2006: 74-84 |
2004 |
25 | EE | George Spanoudakis,
Andrea Zisman,
Elena Pérez-Miñana,
Paul Krause:
Rule-based generation of requirements traceability relations.
Journal of Systems and Software 72(2): 105-127 (2004) |
2003 |
24 | | Andrea Zisman,
George Spanoudakis,
Elena Pérez-Miñana,
Paul Krause:
Tracing Software Requirements Artifacts.
Software Engineering Research and Practice 2003: 448-455 |
2002 |
23 | EE | Jonathan P. Bowen,
Kirill Bogdanov,
John A. Clark,
Mark Harman,
Robert M. Hierons,
Paul Krause:
FORTEST: Formal Methods and Testing.
COMPSAC 2002: 91-104 |
22 | EE | Norman E. Fenton,
Paul Krause,
Martin Neil:
Software Measurement: Uncertainty and Causal Modeling.
IEEE Software 19(4): 116-122 (2002) |
21 | | Norman E. Fenton,
Paul Krause,
Martin Neil:
Probability modelling for software quality control.
Journal of Applied Non-Classical Logics 12(2): 173-188 (2002) |
2001 |
20 | EE | Norman E. Fenton,
Paul Krause,
Martin Neil:
Probabilistic Modelling for Software Quality Control.
ECSQARU 2001: 444-453 |
19 | EE | Harro Kiendl,
Paul Krause:
Advanced Inference Filter Defuzzification.
Fuzzy Days 2001: 249-260 |
18 | EE | Elena Pérez-Miñana,
Paul Krause,
Pierre America:
Empowering Requirements for a Product Family.
RE 2001: 302-303 |
2000 |
17 | | Paul Krause:
Software Test Automation: Effective Use of Test Execution Tools, Mark Fewster and Dorothy Graham, Addison-Wesley, 1999 (Book Review).
Softw. Test., Verif. Reliab. 10(2): 140-142 (2000) |
1996 |
16 | | Subrata Kumar Das,
John Fox,
Paul Krause:
A Unified Framework for Hypothetical and Practical Reasoning (1): Theoretical Foundations.
FAPR 1996: 58-72 |
1995 |
15 | | Paul Krause,
Simon Ambler,
Morten Elvang-Gøransson,
John Fox:
A Logic of Argumentation for Reasoning under Uncertainty.
Computational Intelligence 11: 113-131 (1995) |
1994 |
14 | | Sharon Flank,
Paul Krause,
Carol Van Ess-Dykema:
Principled Multilingual Grammars for Large Corpora.
AAAI 1994: 833-838 |
13 | EE | Myriam Abramson,
Scott Bennett,
William Brooks,
Emily Hofmann,
Paul Krause,
Aaron Temin:
Using AI for Counternarcotics: The Predictive Analysis System.
IEEE Expert 9(5): 12-17 (1994) |
1993 |
12 | | Morten Elvang-Gøransson,
Paul Krause,
John Fox:
Acceptability of arguments as `logical uncertainty'.
ECSQARU 1993: 85-90 |
11 | EE | Chinatsu Aone,
Sharon Flank,
Douglas McKee,
Paul Krause:
SRA: description of the SOLOMON system as used for MUC-5.
MUC 1993: 207-220 |
10 | EE | Morten Elvang-Gøransson,
Paul Krause,
John Fox:
Dialectic reasoning with inconsistent information.
UAI 1993: 114-121 |
9 | EE | John Fox,
Paul Krause,
Morten Elvang-Gøransson:
Argumentation as a General Framework for Uncertain Reasoning.
UAI 1993: 428-434 |
8 | | Philippe Besnard,
Yves Moinard,
Wilmer Pereira,
Michael Clarke,
Nic Wilson,
Miguel Delgado,
Serafín Moral,
Juan Cano,
Didier Dubois,
Henri Prade,
Luis Fariñas del Cerro,
Jérôme Lang,
Stéphane Amarger,
John Fox,
Paul Krause,
Michael Dohnal,
Christine Froidevaux,
Jérôme Mengin,
Ramon López de Mántaras,
Lluis Godo,
E. H. Mamdani,
John Bigham,
Simon Parsons,
Rudolf Kruse,
Olivier Paillet,
Pierre Siegel,
Philippe Smets,
Yen-Teh Hsia,
Alessandro Saffiotti,
Robert Kennes,
Hong Xu,
Elizabeth Umkehrer,
Kurt Sundermeyer,
Chris Whitney:
DRUMS: Defeasible Reasoning and Uncertainty Management Systems.
AI Commun. 6(1): 27-46 (1993) |
7 | | Paul Krause,
Andrzej J. Glowinski:
Formal specifications and medical decision support systems.
Applied Artificial Intelligence 7(3): 237-256 (1993) |
6 | EE | Paul Krause,
John Fox,
Mike O'Neil,
Andrzej J. Glowinski:
Can we Formally Specify a Medical Decision Support System?
IEEE Expert 8(3): 56-61 (1993) |
1992 |
5 | | John Fox,
Paul Krause,
Simon Ambler:
Arguments, Contradicitions and Practical Reasoning.
ECAI 1992: 623-627 |
4 | | Paul Krause,
Simon Ambler,
John Fox:
The Development of a "Logic of Argumentation".
IPMU 1992: 109-118 |
1991 |
3 | | John Fox,
Paul Krause,
Mirko Dohnal:
An Extended Logic Language For Representing Belief.
ECSQARU 1991: 63-69 |
2 | | Paul Krause:
Can We formally Specify a Medical Decision Support System?
EUROVAV 1991: 247-258 |
1 | EE | John Fox,
Paul Krause:
Decision Theory and Autonomous Systems.
UAI 1991: 103-110 |