Search research publications and outputs

  1. 2020
  2. Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study

    Foster, S. D., Nemouchi, Y., O'Halloran, C., Tudor, N. & Stephenson, K., 2 Mar 2020, (Accepted/In press) Formal Methods in Software Engineering (FormaliSE 2020): Proceedings of the 8th International Conference. ACM

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

  3. TEVoT: Timing error modeling of functional units under dynamic voltage and temperature variations

    Jiao, X., Ma, D., Chang, W. & Jiang, Y., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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

  4. Timing-accurate general-purpose I/O for multi- and many-core systems: scheduling and hardware support

    Zhao, S., Jiang, Z., Dai, X., Bate, I. J., Habli, I. & Chang, W., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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

  5. Years of Good Life Based on Consumption and Health: A Practical Well-Being Metric for Economic Evaluation

    Cookson, R. A., Cotton-Barrett, O., Adler, M., Asaria, M. & T, O., Apr 2020, (Accepted/In press) Measuring the Global Burden of Disease: Philosophical Dimensions. Eyal, N., Hurst, S. A., Murray, C. J. L., Schroeder, S. A. & Wikler, D. (eds.). Oxford: Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  6. Personalisation, markets, and contract: The limits of legal incrementalism

    Arvind, T. T., 6 Apr 2020, (Accepted/In press) Data-driven Personalisation in Markets, Politics and Law. Kohl, U. & Eisler, J. (eds.). Cambridge Univeristy Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. Domestic Crafts at the School of Arts

    Wigston Smith, C., May 2020, (Accepted/In press) Material Literacy in Eighteenth-Century Britain: A Nation of Makers. New York: Bloomsbury Academic

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Previous 1 2 Next