Ricardo Almeida

According to our database, Ricardo Almeida authored at least 11 papers between 2012 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

A Challenge-Led Digital Twin Federation Architecture For Urban Passenger Transport Decarbonisation.

Jingjun Li, Heather Steele, Joseph D. Preece, David Kirkwood, Shiqi Sun, Wenhua Jiang, Alan Logan, Susmoy Das, Ricardo Almeida, Michele Sevegnani, John M. Easton, Clive Roberts, David Flynn, Philip Greening

Proceedings of the 17th International Conference on Ambient Systems, 2026

2025

Morello-Cerise: A Proof of Strong Encapsulation for the Arm Morello Capability Hardware Architecture.

Angus Hammond, Ricardo Almeida, Thomas Bauereiss, Brian Campbell, Ian Stark, Peter Sewell

Proc. ACM Program. Lang., 2025

Formal Analysis of Resilience in Transport Systems with Bigraphs.

Susmoy Das, Ricardo Almeida, Blair Archibald, Michele Sevegnani

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2025 Workshops, 2025

Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation.

Ricardo Almeida, Susmoy Das, Blair Archibald, Muffy Calder, Michele Sevegnani

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2025

A CHERI C Memory Model for Verified Temporal Safety.

Vadim Zaliva, Kayvan Memarian, Brian Campbell, Ricardo Almeida, Nathaniel Wesley Filardo, Ian Stark, Peter Sewell

Proceedings of the 14th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2025

2024

Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance.

Vadim Zaliva, Kayvan Memarian, Ricardo Almeida, Jessica Clarke, Brooks Davis, Alexander Richardson, David Chisnall, Brian Campbell, Ian Stark, Robert N. M. Watson, Peter Sewell

Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2024

2022

A Report on Achieving Complete Regular-Expression Matching using Mealy Machines.

Ricardo Almeida

CoRR, 2022

2017

Efficient algorithms for hard problems in nondeterministic tree automata

Ricardo Manuel de Oliveira Almeida

PhD thesis, 2017

2016

Reducing Nondeterministic Tree Automata by Adding Transitions.

Ricardo Manuel de Oliveira Almeida

Proceedings of the Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2016

Reduction of Nondeterministic Tree Automata.

Ricardo Almeida, Lukás Holík, Richard Mayr

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2012

Deciding KAT and Hoare Logic with Derivatives

Ricardo Almeida, Sabine Broda, Nelma Moreira

Proceedings of the Proceedings Third International Symposium on Games, 2012