Home > Research > Browse

Research

Results for Correctness

Publications & Outputs

  1. The Faultless Way of Programming: Principles, Patterns, Practices, and Peculiarities for Verification in Dafny

    Noble, J. & Weir, C., 10/12/2024, EuroPLoP 2024 Proceedings. New York: ACM, p. 1-7 7 p. 32

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

  2. Efficient fault-tolerant collision-free data aggregation scheduling for wireless sensor networks

    Jhumka, A., Bradbury, M. & Saginbekov, S., 31/01/2014, In: Journal of Parallel and Distributed Computing. 74, 1, p. 1789-1801 13 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review