Dr Ricardo Almeida
- Research Associate (School of Computing Science)
Publications
2025
Hammond, Angus, Almeida, Ricardo, Bauereiss, Thomas, Campbell, Brian, Stark, Ian and Sewell, Peter (2025) Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture. In: 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025), Seoul, South Korea, 16-20 June 2025, pp. 1961-1983. (doi: 10.1145/3729329)
Das, Susmoy 
ORCID: https://orcid.org/0000-0001-9118-7402, Almeida, Ricardo, Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481
(2025)
Formal Analysis of Resilience in Transport Systems with Bigraphs.
In: 2nd International Workshop on Safety/Reliability/Trustworthiness of Intelligent Transportation Systems (SRToITS 2025) in conjunction with SAFECOMP 2025, Stockholm, Sweden, 09-12 September 2025,
(Accepted for Publication)
Conference Proceedings
Hammond, Angus, Almeida, Ricardo, Bauereiss, Thomas, Campbell, Brian, Stark, Ian and Sewell, Peter (2025) Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture. In: 46th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2025), Seoul, South Korea, 16-20 June 2025, pp. 1961-1983. (doi: 10.1145/3729329)
Das, Susmoy ORCID: https://orcid.org/0000-0001-9118-7402, Almeida, Ricardo, Archibald, Blair ORCID: https://orcid.org/0000-0003-3699-6658 and Sevegnani, Michele ORCID: https://orcid.org/0000-0001-6773-9481
(2025)
Formal Analysis of Resilience in Transport Systems with Bigraphs.
In: 2nd International Workshop on Safety/Reliability/Trustworthiness of Intelligent Transportation Systems (SRToITS 2025) in conjunction with SAFECOMP 2025, Stockholm, Sweden, 09-12 September 2025,
(Accepted for Publication)