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 44 to 63 of 112 < previous   next >
Issue DateTitleAuthor(s)
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
2017Monitorability for the Hennessy-Milner logic with recursionFrancalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2014Monitoring distributed systems with distributed polyLarvaCassar, Ian; Francalanza, Adrian; Colombo, Christian
2016A monitoring tool for a branching-time logicAttard, Duncan Paul; Francalanza, Adrian
2021On benchmarking for concurrent runtime verificationAceto, Luca; Attard, Duncan Paul; Francalanza, Adrian; Ingólfsdóttir, Anna
2021On bidirectional runtime enforcementAceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2016On implementing a monitor-oriented programming framework for actor systemsCassar, Ian; Francalanza, Adrian
2020On implementing symbolic controllabilityFrancalanza, Adrian; Xuereb, Jasmine
2018On runtime enforcement via suppressionsAceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2014On synchronous and asynchronous monitor instrumentation for actor-based systemsCassar, Ian; Francalanza, Adrian
2017On the complexity of determinizing monitorsAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn
2021On the monitorability of session types, in theory and practiceBartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste
2021On the monitorability of session types, in theory and practice (Artifact)Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste
2015On verifying Hennessy-Milner logic with recursion at runtimeFrancalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2019An operational guide to monitorabilityAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2021An operational guide to monitorability with applications to regular propertiesAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2015-11An overview of techniques aimed at automatically generating oracles from testsChircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
Showing results 44 to 63 of 112 < previous   next >