Search research publications and outputs

  1. Other chapter contribution › Research
  2. Modelling Temporal Behaviour in Complex Systems with Timebands

    Wei, K., Woodcock, J. & Burns, A., 2012, Conquering Complexity. Hinchey, M. & Coyle, L. (eds.). London : SPRINGER, p. 277-307 31 p.

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

  3. Pattern Recognition with Non-Euclidean Similarities

    Hancock, E. R., Xu, E. & Wilson, R. C., 2014, Man-Machine Interactions 3. Gruca, D. A., Czach?rski, T. & Kozielski, S. (eds.). Springer International Publishing, p. 3-15 13 p. (Advances in Intelligent Systems and Computing; vol. 242).

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

  4. 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

  5. SCJ-Circus: a refinement-oriented formal notation for Safety-Critical Java

    Miyazawa, A. & Cavalcanti, A. L. C., 2015, REFINE Workshop.

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

  6. 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

  7. 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

  8. Similarity Analysis from Limiting Quantum Walks

    Curado, M., Escolano, F., Hancock, E., Nourbakhsh, F., Pelillo, M. & Hancock, E. R., 2015, Similarity-Based Pattern Recognition: Third International Workshop, SIMBAD 2015, Copenhagen, Denmark, October 12–14, 2015, Proceedings. Feragen, A., Pelillo, M. & Loog, M. (eds.). Springer International Publishing, Vol. 9370. p. 38-53 16 p. (Lecture Notes in Computer Science).

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

  9. Software Deployment for Distributed Embedded Real-Time Systems of Automotive Applications

    Polzlbauer, F., Bate, I. & Brenner, E., 2014, Embedded and Real Time System Development - A Software Engineering Perspective. Springer, p. 305-328 24 p.

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

  10. 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

  11. 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

  12. 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

  13. 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

  14. TurboTensors for Entropic Image Comparison

    Escolano, F., Hancock, E. R., Bonev, B. & Lozano, M. A., 2013, Graph-Based Representations in Pattern Recognition. Kropatsch, W., Artner, N., Haxhimusa, Y. & Jiang, X. (eds.). Springer Berlin / Heidelberg, Vol. 7877. p. 51-60 (Lecture Notes in Computer Science).

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

  15. 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

  16. Visualising Magnitude: Graphical Number Representations Help Users Detect Large Number Entry Errors

    Borghouts, J. W., Soboczenski, F., Cairns, P. & Brumby, D. P., 2015, HFES 2015 International Annual Meeting.

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

  17. Foreword/postscript › Research
  18. Preface

    Pelillo, M. & Hancock, E., 2011, Lecture Notes in Computer Science 7005 . Springer, Vol. 7005 LNCS. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

    Research output: Chapter in Book/Report/Conference proceedingForeword/postscript

  19. Conference contribution › Research
  20. "Devices are people too" - Using process patterns to elicit security requirements in novel domains: A ubiquitous healthcare example

    Liu, Y., Clark, J. A. & Stepney, S., 2005, SECURITY IN PERVASIVE COMPUTING, PROCEEDINGS. Hutter, D. & Ullmann, M. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 31-45 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. "Look Ma, no landmarks!" - Unsupervised, model-based dense face alignment

    Koizumi, T. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. (True) polymorphism in SPARK2000

    Lin, T. M. & McDermid, J. A., 2000, RELIABLE SOFTWARE TECHNOLOGIES ADA-EUROPE 2000. Keller, HB. & Plodereder, E. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, p. 252-265 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. 09381 Extended Abstracts Collection - Refinement Based Methods for the Construction of Dependable Systems

    Abrial, J-R., Butler, M. J., Joshi, R., Troubitsyna, E. & Woodcock, J. C. P., 2009, Refinement Based Methods for the Construction of Dependable Systems, 13.09. - 18.09.2009. Abrial, J-R., Butler, M. J., Joshi, R., Troubitsyna, E. & Woodcock, J. C. P. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, Vol. 09381. (Dagstuhl Seminar Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. 1st international workshop on assurance cases for software-intensive systems (ASSURE 2013)

    Denney, E., Pai, G., Habli, I., Kelly, T. & Knight, J. C., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1505-1506 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. 1st international workshop on combining modelling and search-based software engineering (CMSBSE 2013)

    Harman, M., Paige, R. F. & Williams, J. R., 2013, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. p. 1513-1514 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. 2nd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2015)

    Hermans, F., Paige, R. F. & Sestoft, P., 2015, 37th IEEE/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 2. Bertolino, A. (ed.). IEEE, Vol. 2. p. 1005-1006 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  27. 3-D terrain from synthetic aperture radar images

    Bors, A. G., Hancock, E. R. & Wilson, R. C., 2000, IEEE WORKSHOP ON COMPUTER VISION BEYOND THE VISIBLE SPECTRUM: METHODS AND APPLICATIONS, PROCEEDINGS. LOS ALAMITOS: IEEE COMPUTER SOC, p. 63-72 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  28. 3D Facial Landmark Localisation by Matching Simple Descriptors

    Romero-Huertas, M. & Pears, N., 2008, 2008 IEEE SECOND INTERNATIONAL CONFERENCE ON BIOMETRICS: THEORY, APPLICATIONS AND SYSTEMS (BTAS). NEW YORK: IEEE, p. 346-351 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 5 6 7 8 ...101 Next