1. OAR@UM

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 86 to 105 of 112 < previous   next >
Issue DateTitleAuthor(s)
2019Testing equivalence vs. runtime monitoringAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2007A theory for observational fault toleranceFrancalanza, Adrian; Hennessy, Matthew
2016A theory of monitorsFrancalanza, Adrian
2021A 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
2020Towards a hybrid verification methodology for communication protocols (short paper)Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste
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
2020Towards choreographic-based monitoringFrancalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
2021Towards probabilistic session-type monitoringBartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio
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.
Showing results 86 to 105 of 112 < previous   next >