Browsing by Author Seychell, Aldrin
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) |
2012-11 | Designing correct runtime-monitors for Erlang | Seychell, Aldrin; Francalanza, Adrian |
2015 | Synthesising correct concurrent runtime monitors | Francalanza, Adrian; Seychell, Aldrin |
2013-11 | The way forward for DETECTER | Francalanza, Adrian; Seychell, Aldrin; Cassar, Ian; Cutajar, Kurt; Said, Simon; Schembri, Blanche |