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 75 < previous   next >
Issue DateTitleAuthor(s)
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; Ingolfsdottir, Anna
2017Full-abstraction for must testing preordersBernardi, Giovanni; Francalanza, Adrian
2015Improving runtime overheads for detectErCassar, Ian; Francalanza, Adrian; Said, Simon
2014-11Investigating different instrumentation techniques in the context of ESB runtime verificationDimech, Gabriel; Colombo, Christian; Francalanza, Adrian
2015Investigating instrumentation techniques for ESB runtime verificationColombo, Christian; Dimech, Gabriel; Francalanza, Adrian
2012-11Language extension proposals for cloud-based computingFrancalanza, Adrian
2005Location and link failure in a distributed π-calculusFrancalanza, Adrian; Hennessy, Matthew
2015An LTL proof system for runtime verificationCini, Clare; Francalanza, Adrian
2014-11Mobile Erlang computations to enhance performance, resource usage and reliabilityFrancalanza, Adrian; Zerafa, Tyron
2014Monitoring distributed systems with distributed polyLarvaCassar, Ian; Francalanza, Adrian; Colombo, Christian
2016A monitoring tool for a branching-time logicAttard, Duncan Paul; Francalanza, Adrian
2016On implementing a monitor-oriented programming framework for actor systemsCassar, Ian; Francalanza, Adrian
2014On synchronous and asynchronous monitor instrumentation for actor-based systemsCassar, Ian; Francalanza, Adrian
2017On the complexity of determinizing monitorsAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingolfsdottir, Anna; Kjartansson, Saevar Orn
2015On verifying Hennessy-Milner logic with recursion at runtimeFrancalanza, Adrian; Aceto, Luca; Ingolfsdottir, Anna
2011Permission-based separation logic for message-passing concurrencyFrancalanza, Adrian; Rathke, Julian; Sassone, Vladimiro