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 19 to 38 of 112 < previous   next >
Issue DateTitleAuthor(s)
2012-11Designing correct runtime-monitors for ErlangSeychell, Aldrin; Francalanza, Adrian
2016Determinizing monitors for HML with recursionAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn
2010Distributed protocols as behaviours in ErlangDemicoli, Darren; Francalanza, Adrian
2013Distributed system contract monitoringFrancalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2011Distributed system contract monitoringFrancalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2017eAOP : an aspect oriented programming framework for ErlangCassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2011ELARVA : a monitoring tool for ErlangColombo, Christian; Francalanza, Adrian; Gatt, Rudolph
2013-11Equivalence proofs for Erlang refactoringTanti, Erica; Francalanza, Adrian
1999Extending the HOOPLA type systemFrancalanza, Adrian
2013Extensible technology agnostic runtime verificationColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2007A fault tolerance bisimulation proof for consensusFrancalanza, Adrian; Hennessy, Matthew
2012-11Formal fault-tolerance proofs for distributed algorithmsZammit, Mandy; Francalanza, Adrian
2009A formal model of provenance in distributed systemsSouilah, Issam; Francalanza, Adrian; Sassone, Vladimiro
2014Formal proofs for broadcast algorithmsZammit, Mandy; Francalanza, Adrian
2017A foundation for runtime monitoringFrancalanza, Adrian; Aceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Cassar, Ian; Della Monica, Dario; Ingólfsdóttir, Anna
2018A framework for parameterized monitorabilityAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna
2018-12Full-abstraction for client testing preordersBernardi, Giovanni; Francalanza, Adrian
2017Full-abstraction for must testing preordersBernardi, Giovanni; Francalanza, Adrian
2021Graft : general purpose raft consensus in ElixirLe Brun, Matthew Alan; Attard, Duncan Paul; Francalanza, Adrian
2017-10Heaps don't lie : countering unsoundness with heap snapshotsGrech, Neville; Fourtounis, George; Francalanza, Adrian; Smaragdakis, Yannis
Showing results 19 to 38 of 112 < previous   next >