Fortunat Rajaona

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Control Program

Database Transactions

Desirable Properties

Top Venues

Publications

Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider
Fine-Grained Trackability in Protocol Executions. NDSS (2023)
Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona
Automatically Verifying Expressive Epistemic Properties of Programs. AAAI (2023)