Login / Signup
Fortunat Rajaona
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Control Program
Database Transactions
Desirable Properties
Coarse Grained
Top Venues
NDSS
AAAI
</>
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)