Fortunat Rajaona

According to our database, Fortunat Rajaona authored at least 5 papers between 2022 and 2024.

Collaborative distances:

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

2024

Epistemic Model Checking for Privacy.

Fortunat Rajaona, Ioana Boureanu, R. Ramanujam, Stephan Wesemeyer

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Fine-Grained Trackability in Protocol Executions.

Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider

Proceedings of the 30th Annual Network and Distributed System Security Symposium, 2023

Program Semantics and Verification Technique for AI-Centred Programs.

Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli

Proceedings of the Formal Methods - 25th International Symposium, 2023

Automatically Verifying Expressive Epistemic Properties of Programs.

Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent Systems.

Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Solofomampionona Fortunat Rajaona

CoRR, 2022