Search research publications and outputs

  1. The Semantics of Graph Programs

    Plump, D. & Steinert, S., 2010, Proceedings 10th International Workshop on Rule-Based Programming (RULE 2009). Mackie, I. & Martins Moreira, A. (eds.). p. 27-38 (Electronic Proceedings in Theoretical Computer Science ; vol. 21).

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

  2. The Science and Superstition of Quantitative Risk Assessment

    Rae, A. J., Alexander, R. & McDermid, J. A., Jul 2012, Proceedings of PSAM 11 & ESREL 2012. International Association of Probabilistic Safety Assessment and Management, IAPSAM , Vol. 3. p. 2292-2301 10 p.

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

  3. The Safety-critical Java Mission Model: a formal account

    Zeyda, F., Cavalcanti, A. L. C. & Wellings, A., 2011, International Conference on Formal Engineering Methods. Vol. 6991 LNCS. p. 49-65 17 p.

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

  4. The Safety-Critical Java Memory Model: A Formal Account

    Cavalcanti, A., Wellings, A. J. & Woodcock, J., 2011, FM 2011: 17th International Symposium of Formal Methods. Vol. 6664 LNCS. p. 246-261 16 p. (Lecture Notes in Computer Science; vol. 6664).

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

  5. The Rules of Constraint Modelling

    Frisch, A. M., Jefferson, C., Martinez Hernandez, B. & Miguel, I., 2005, Proceedings of the 19th International Joint Conference on Artificial Intelligence. p. 109-116 7 p.

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

  6. The Role of Timing Analysis in the Certification of IMA Systems

    Audsley, N. C., Bate, I. J. & Grigg, A., 1998, Proceedings of IEE Symposium on the Certification of Ground/Air Systems, London, U.K. p. 6/1-6/6

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

  7. The Role of Architectural Model Checking in Conducting Preliminary Safety Assessment

    Jaradat, O., Graydon, P. & Bate, I., 1 Aug 2013, Proceedings of the 31st International System Safety Conference (ISSC), System Safety Society.

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

  8. The Relationship between Accessibility and Usability of Websites

    Petrie, H. & Kheir, O., 2007, CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS, VOL 1 AND 2. NEW YORK: ASSOC COMPUTING MACHINERY, p. 397-406 10 p.

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

  9. The Reduceron: Widening the von Neumann bottleneck for graph reduction using an FPGA

    Naylor, M. & Runciman, C., 2008, IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES. Chitil, O., Horvath, Z. & Zsok, V. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5083 LNCS. p. 129-146 18 p.

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

  10. The Real-Time Specification for Java: Current Status and Future Work

    Dibble, P. C. & Wellings, A. J., 2004, 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 12-14 May 2004, Vienna, Austria. IEEE Computer Society, p. 71-77 7 p.

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

  11. The Playtime Principle: Large/scale cross-games interest modeling

    Sifa, R., bauckhage, C. & Drachen, A., 23 Dec 2014, Proceedings of the IEEE Computational Intelligence in Games. IEEE, 8 p.

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

  12. The Pi Swarm: A low-cost platform for swarm robotics research and education

    Hilder, J. A., Naylor, R. F., Rizihs, A., Franks, D. W. & Timmis, J., 2014, LNCS. Springer, Vol. 8717. p. 151-162

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

  13. The Olympus Attitude and Orbital Control System: A Case Study in Hard Real-Time System Design and Implementation

    Burns, A., Wellings, A. J., Bailey, C. M. & Fyfe, E., 1993, Ada-Europe '93: 12th Ada-Europe International Conference, Ada Sans Frontières, Paris, France, June 14-18, 1993. Gauthier, M. (ed.). Springer, Vol. 688. p. 19-35 17 p. (Lecture Notes in Computer Science).

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

  14. The Need for SoS Safety Cases

    Alexander, R., Despotou, G. & Kelly, T., Aug 2011, Proceedings of the 29th International System Safety Conference (ISSC '11).

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

  15. The Nature and Content of Safety Contracts: Challenges and Suggestions for a Way Forward

    Graydon, P. & Bate, I., 2014, Proceedings of the 20th IEEE Pacific Rim International Symposium on Dependable Computing.

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

  16. The Mutual Information between Graphs

    Escolano, F. & Hancock, E. R., 2014, Proceedings of the 22nd International Conference on Pattern Recognition. IEEE Computer Society Press, p. 94-99 6 p.

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

  17. The Graph Programming Language GP

    Plump, D., 2009, Algebraic Informatics : Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings. Springer, p. 99-122 24 p. (Lecture Notes in Computer Science; vol. 5725).

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

  18. The GP Programming System

    Manning, G. & Plump, D., 2008, Proceedings of the Seventh International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2008). p. 1-13 (Electronic Communications of the EASST; vol. 10).

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

  19. The Formal Specification in Z of Defence Standard 00-56

    Woodcock, J., Gardiner, P. H. B. & Hulance, J. R., 1994, Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings. Bowen, J. P. & Hall, J. A. (eds.). Springer/BCS, p. 9-28 20 p. (Workshops in Computing).

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

  20. The Fading Concept in Tuple-Space Systems

    Menezes, R. & Wood, A., 2006, Proceedings of the 2006 ACM Symposium on Applied Computing. ACM, p. 440-444 4 p.

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

  21. The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005

    Wellings, A. & Burns, A., 2010, RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010. Real, J. & Vardanega, T. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 6106 LNCS. p. 196-207 12 p.

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

  22. The Evolution of Real-Time Programming Revisited: Programming the Giotto Model in Ada 2005

    Wellings, A. J. & Burns, A., 2010, Proceedings of Reliable Software Technologies - Ada-Europe. Real, J. & Vardanega, T. (eds.). Springer, Vol. LNCS 6106. p. 196-207 12 p.

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

  23. The Epsilon Transformation Language

    Kolovos, D. S., Paige, R. F. & Polack, F. A. C., 2008, THEORY AND PRACTICE OF MODEL TRANSFORMATIONS. Vallecillo, A., Gray, J. & Pierantonio, A. (eds.). NEW YORK: SPRINGER, Vol. 5063 LNCS. p. 46-60 15 p.

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

  24. The Epsilon Transformation Language

    Kolovos, D. S., Paige, R. F. & Polack, F., 2008, Theory and Practice of Model Transformations : First International Conference, ICMT 2008, Zürich, Switzerland, July 1-2, 2008 Proceedings. Springer, p. 46-60 (Lecture Notes in Computer Science; vol. 5063).

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

  25. The Epsilon Generation Language

    Rose, L. M., Paige, R. F., Kolovos, D. S. & Polack, F. A. C., 2008, MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS. Schieferdecker, I. & Hartman, A. (eds.). BERLIN: SPRINGER-VERLAG BERLIN, Vol. 5095 LNCS. p. 116 16 p.

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

Previous 1...5 6 7 8 9 10 11 12 ...65 Next