C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Aldrin Seychell
Publication Activity (10 Years)
Years Active: 2013-2015
Publications (10 Years): 1
Top Topics
Search Algorithm
Runtime Environment
Multi Agent
Extended Abstract
Top Venues
Formal Methods Syst. Des.
RV
</>
Publications
</>
Adrian Francalanza
,
Aldrin Seychell
Synthesising correct concurrent runtime monitors.
Formal Methods Syst. Des.
46 (3) (2015)
Adrian Francalanza
,
Aldrin Seychell
Synthesising Correct Concurrent Runtime Monitors - (Extended Abstract).
RV
(2013)