Sign in
Menna Mostafa
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 1
Top Topics
Distributed Database Systems
Linear Time Temporal Logic
Formal Specification
Agent Based Systems
Top Venues
IPDPS
</>
Publications
</>
Menna Mostafa
,
Borzoo Bonakdarpour
Decentralized Runtime Verification of LTL Specifications in Distributed Systems.
IPDPS
(2015)