Home > Research > Browse

Research

Results for Autonomous Systems

Activities

  1. UKRI Trustworthy Autonomous Systems Hub Showcase 2024 Energy & Environment Panel

    Stead, M. (Member of Panel)

    5/03/2024

    Activity: Talk or presentation types › Invited talk

  2. UKRI EPSRC InterNET ZERO Workshop 2

    Stead, M. (Organiser), Kwon, N. (Organiser), Michalec, O. (Organiser) & Sailaja, N. (Organiser)

    15/12/2023

    Activity: Participating in or organising an event types › Participation in workshop, seminar, course

  3. UKRI EPSRC InterNET ZERO Workshop 1

    Stead, M. (Organiser), Kwon, N. (Organiser), Michalec, O. (Organiser) & Sailaja, N. (Organiser)

    7/12/2023

    Activity: Participating in or organising an event types › Participation in workshop, seminar, course

  4. UKRI EPSRC Trustworthy Autonomous Systems Hub Webinar

    Stead, M. (Speaker)

    19/09/2023

    Activity: Participating in or organising an event types › Participation in workshop, seminar, course

Publications & Outputs

  1. On Specifying for Trustworthiness

    B. Abeywickrama, D., Bennaceur, A., Chance, G., Yiannis Demiris, Y., Kordoni, A., Levine, M., Moffat, L., Moreau, L., Reza Mousavi, M., Nuseibeh, B., Ramamoorthy, S., Ringert, J. O., Wilson, J., Windsor, S. & Eder, K., 4/01/2024, In: Communications of the ACM. 67, 1, p. 98-109 12 p.

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

  2. AdLeap-MAS: An Open-source Multi-Agent Simulator for Ad-hoc Reasoning: Demonstration Track

    do Carmo Alves, M. A., Varma, A., Soriano Marcolino, L. & Elkhatib, Y., 9/05/2022, AAMAS '22: Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems. New York: ACM, p. 1893-1895 3 p.

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

  3. Improving the discovery of IXP peering links through passive BGP measurements

    Giotsas, V. & Zhou, S., 2013, 2013 Proceedings IEEE INFOCOM . IEEE, p. 3249-3254 6 p.

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

  4. Detecting and assessing the hybrid IPv4/IPv6 as relationships

    Giotsas, V. & Zhou, S., 2011, SIGCOMM '11 Proceedings of the ACM SIGCOMM 2011 conference. New York: ACM, p. 424-425 2 p.

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