Search research publications and outputs

  1. 2016
  2. A Lightweight Hat: simple type-preserving instrumentation for self-tracing lazy functional programs

    Chitil, O., Faddegon, M. & Runciman, C., 2016, Proceedings of 28th Symposium on Implementation and Application of Functional Languages. ASSOC COMPUTING MACHINERY, 10

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

  3. Behavioural Models for FMI Co-simulations

    Cavalcanti, A. L. C., Woodcock, J. C. P. & Amalio, N., 2016, International Colloquium on Theoretical Aspects of Computing. Sampaio, A. C. A. & Wang, F. (eds.). Springer, Vol. 9965. p. 255-273 19 p. (Lecture Notes in Computer Science).

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

  4. Compiling Graph Programs to C

    Bak, C. P. & Plump, D., 2016, Proceedings 9th International Conference on Graph Transformation (ICGT 2016). Echahed, R. & Minas, M. (eds.). Springer, p. 102-117 15 p. (Lecture Notes in Computer Science; vol. 9761).

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

  5. DRE-ip: A Verifiable E-Voting Scheme without Tallying Authorities

    Shahandashti, S. F. & Hao, F., 2016, ESORICS 2016: Computer Security – ESORICS 2016. Switzerland, Vol. 9879. p. 223-240 13 p.

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

  6. Design Frictions for Mindful Interactions: The Case for Microboundaries

    Cox, A. L., Gould, S. J. J., Cecchinato, M. E., Iacovides, I. & Renfree, I., 2016, CHI'16 Extended Abstracts on Human Factors in Computing Systems - CHI EA '16. ACM, p. 1389-1397 9 p.

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

  7. FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals

    Calinescu, R. C., Johnson, K. H. A. & Paterson, C. A., 2016, Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016. Springer Berlin / Heidelberg, p. 540-546 7 p. (Lecture Notes in Computer Science (LNCS); vol. 9636).

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

  8. FitSpec: refining property sets for functional testing

    Runciman, C. & Braquehais, R., 2016, Proceedings of 9th International Symposium on Haskell. Nara, Japan: ASSOC COMPUTING MACHINERY, p. 1-12 12 p.

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

  9. Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis

    Cazorla, F. J., Abella, J., Andersson, J., Vardanega, T., Vatrinet, F., Bate, I., Broster, I., Azkarate-Askasua, M., Wartel, F., Cucu, L., Cros, F., Farrall, G., Gogonel, A., Gianarro, A., Triquet, B., Hernández, C., Lo, C., Maxim, C., Morales, D., Quiñones, E. & 7 others, Mezzetti, E., Kosmidis, L., Agirre, I., Fernández, M., Slijepcevic, M., Conmy, P. & Talaboulma, W., 2016, Digital System Design (DSD), 2016 Euromicro Conference on. IEEE, p. 276-285 10 p.

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

  10. Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment

    Freitas, L., Baxter, J., Cavalcanti, A. L. C. & Wellings, A. J., 2016, Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Springer, p. 63-78 (Lecture Notes in Computer Science; vol. 9681).

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

  11. Preemptive uniprocessor scheduling of dual-criticality implicit-deadline sporadic tasks

    Burns, A., Baruah, S. & Guo, Z., 2016, Proc of ECRTS. p. 1-8 8 p.

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

Previous 1 2 3 4 5 6 Next