C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Sreeja S. Nair
ORCID
Publication Activity (10 Years)
Years Active: 2019-2020
Publications (10 Years): 2
Top Topics
Civil Aviation
D Objects
Invariant Representations
Top Venues
PaPoC@EuroSys
ESOP
</>
Publications
</>
Sreeja S. Nair
,
Gustavo Petri
,
Marc Shapiro
Proving the Safety of Highly-Available Distributed Objects.
ESOP
(2020)
Sreeja S. Nair
,
Gustavo Petri
,
Marc Shapiro
Invariant Safety for Distributed Applications.
PaPoC@EuroSys
(2019)