Browsing by Author Francalanza, Adrian

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 50 to 69 of 75 < previous   next >
Issue DateTitleAuthor(s)
2012-11Separation-based reasoning for deterministic channel-passing concurrent programsBorda, Aimee; Francalanza, Adrian
2012Simplifying contract-violating tracesColombo, Christian; Francalanza, Adrian; Grima, Ian
2017A survey of runtime monitoring instrumentation techniquesCassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna
2015Synthesising correct concurrent runtime monitorsFrancalanza, Adrian; Seychell, Aldrin
2007A theory for observational fault toleranceFrancalanza, Adrian; Hennessy, Matthew
2016A theory of monitorsFrancalanza, Adrian
2008A theory of system behaviour in the presence of node and link failureFrancalanza, Adrian; Hennessy, Matthew
2012Towards a formalisation of Erlang failure and failure detectionFarrugia, Audrianne; Francalanza, Adrian
2015Towards a hybrid approach to software verificationDella Monica, Dario; Francalanza, Adrian
2012Towards a specification-based correctness of Erlang systems through asynchronous monitoringColombo, Christian; Francalanza, Adrian
2014-11Towards achieving efficient runtime enforcement for component based systemsCassar, Ian; Francalanza, Adrian
2013Towards an abstraction for remote evaluation in ErlangFrancalanza, Adrian; Zerafa, Tyron
2012-11Towards proof-theoretic interpretations for LTL monitoringCini, Clare; Francalanza, Adrian
2015-08Towards sound refactoring in erlangTanti, Erica; Francalanza, Adrian
2017Trace partitioning and local monitoring for asynchronous componentsAttard, Duncan Paul; Francalanza, Adrian
2012A type system for a higher-order languageZammit, Melanie; Francalanza, Adrian
2015-08Typing actors using behavioural typesMasini, Joseph; Francalanza, Adrian
2008UJ : type soundness for universe typesCunningham, Dave; Francalanza, Adrian; Drossopoulou, Sophia; Dietl, Werner; Muller, Peter
2008A unified framework for verification techniques for object invariantsDrossopoulou, Sophia; Francalanza, Adrian; Muller, Peter; Summers, Alexander J.
2014Uniqueness typing for a higher-order languageFrancalanza, Adrian; Zammit, Melanie