Search research publications and outputs

  1. Other chapter contribution › Research
  2. Abstraction and reformulation in the generation of constraint models - (Extended abstract)

    Frisch, A. M., 2007, Abstraction, Reformulation, and Approximation, Proceedings. Miguel, I. & Ruml, W. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 23 2 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  3. Analysing System Failure Behaviours with PRISM

    Ge, X., Paige, R. F. & McDermid, J. A., Jun 2010, Proceedings of the 2010 Fourth International Conference on Secure Software Integration and Reliability Improvement Companion (SSIRI-C). p. 130-136 6 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  4. Assurance in High-Integrity Software

    McDermid, J. A. & Sennett, C. T. (ed.), 1989, High-integrity software. Pitman, p. 226-273 48 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  5. Birds of a feather Group on Safety Critical Systems

    Cullyer, W. J., McDermid, J. A., Halang, W. A. (ed.) & Stoyenko, A. D. (ed.), 1993, Real-Time Computing. Springer-verlag, p. 755-756 2 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  6. Deductive Reasoning and Statistical Inference

    Cussens, J., 2005, Encyclopedia of Statistics in Behavioral Science. Chichester: John Wiley & Sons

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  7. Development of High Integrity Software Product Lines using Model Transformation

    Hutchesson, S. G. & McDermid, J. A., 2010, Computer Safety, Reliability and Security: SAFECOMP'10 Proceedings of the 29th International Conference on Computer Safety, Reliability, and Security. Heidelberg: Springer, Vol. 6351. p. 389-401 13 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  8. Domain Analysis of an Electronic Health records System

    Ge, X., Paige, R. F. & McDermid, J. A., 2009, FOSD '09 Proceedings of the First International Workshop on Feature-Oriented Software Development . New York: ACM, p. 49-54 5 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  9. Evolution of Cooperation in an Incentive Based Business Game Environment

    Bista, S. K., Dahal, K. P. & Cowling, P. I., 2008, Global Design to Gain a Competitive Edge. Springer London, p. 875-882 8 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  10. Experiments in Inductive Chart Parsing

    Cussens, J. & Pulman, S., 2000, Learning Language in Logic. Cussens, J. & Dzeroski, S. (eds.). SPRINGER, Vol. 1925. (LNAI).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  11. Hyperheuristics: recent developments

    Chakhlevitch, K. & Cowling, P., 2008, Adaptive and multilevel metaheuristics. Springer Berlin/Heidelberg, p. 3-29 27 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  12. Induction

    Cussens, J., 2010, Encyclopedia of Machine Learning. Sammut, C. & Webb, G. I. (eds.). SPRINGER, p. 519-522 4 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  13. Integrating Probabilistic and Logical Reasoning

    Cussens, J., 2001, Foundations of Bayesianism. Corfield, D. & Williamson, J. (eds.). Dordrecht: Kluwer, Vol. 24. p. 241-260 20 p. (Applied Logic Series).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  14. Logic-based Formalisms for Statistical Relational Learning

    Cussens, J., 2007, Introduction to Statistical Relational Learning. Getoor, L. & Taskar, B. (eds.). Cambridge, MA: MIT Press

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  15. SAM - A Tool to Support the Construction, Review and Evolution of Safety Arguments

    Forder, J., Higgins, C., McDermid, J. A., Storrs, G., Redmill, F. (ed.) & Anderson, T. (ed.), 1993, Directions in Safety-Critical Systems: Proceedings of the First Safety-Critical Systems Symposium . Springer-Verlag, p. 195-216 22 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  16. Safety Engineering and Assurance for Real-Time Systems

    McDermid, J. A., Halong, W. A. (ed.) & Stoyenko, A. D. (ed.), 1994, Real-Time Computing. Springer-Verlag

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  17. Security Models and Enterprise Models

    Dobson, J. E., McDermid, J. A. & Landwehr, C. (ed.), 1988, Database Security II : Status and Prospects. II ed. IFIP - International Federation for Information Processing, p. 1-36 36 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  18. Software Hazard and Safety Analysis

    McDermid, J. A., Damm, W. (ed.) & Olderog, E-R. (ed.), 2002, Formal Techniques in Real-Time and Fault-Tolerant Systems. Damn, W. & Olderog, E-R. (eds.). Springer-verlag, p. 23-36 14 p. (Lecture Notes in Computer Science; vol. 2469).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  19. Supporting Explicit Interpretation of Standards and Guidance

    Stephenson, Z. R. & McDermid, J. A., Oct 2010, IET Conference Publications: 5th IET International Conference on System Safety 2010. 567 CP ed. IEEE, Vol. 2010. p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  20. The Risks of LSCITS: The Odds are Stacked Against Us

    McDermid, J. A., 2012, Development, Operation and Management of Large-Scale Complex IT Systems: Proceedings of the 17th Monterey Workshop 2012, Oxford, UK.. Calinescu, R. & Garlan, D. (eds.). SPRINGER-VERLAG LONDON LTD, Vol. 7539 LNCS. p. 94-117 24 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  21. The impact of rule ranking on the quality of associative classifiers

    Thabtah, F., Cowling, P. & Peng, Y., 2006, Research and Development in Intelligent Systems XXII. Springer London, p. 277-287 11 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  22. Using a large set of low level heuristics in a hyperheuristic approach to personnel scheduling

    Cowling, P. I. & Chakhlevitch, K., 2007, Evolutionary Scheduling. Springer Berlin/Heidelberg, p. 543-576 34 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution