1. OAR@UM

Search


Current filters:
Start a new search
Add filters:

Use filters to refine the search results.

 | 
Results 1-10 of 106 (Search time: 0.039 seconds).
Item hits:
Issue DateTitleAuthor(s)
2010Distributed protocols as behaviours in ErlangDemicoli, Darren; Francalanza, Adrian
2015Towards a hybrid approach to software verificationDella Monica, Dario; Francalanza, Adrian
2016Preliminary results towards contract monitorabilityVella, Annalizz; Francalanza, Adrian
2007A theory for observational fault toleranceFrancalanza, Adrian; Hennessy, Matthew
2016Automatically generating runtime monitors from testsCauchi, Abigail; Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2009A formal model of provenance in distributed systemsSouilah, Issam; Francalanza, Adrian; Sassone, Vladimiro
2013Extensible technology agnostic runtime verificationColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2012-11Separation-based reasoning for deterministic channel-passing concurrent programsBorda, Aimee; Francalanza, Adrian
2009Uniqueness typing for resource management in message-passing concurrencyDevries, Edsko; Francalanza, Adrian; Hennessy, Matthew
2017Reliability and fault-tolerance by choreographic designCassar, Ian; Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio

Discover