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 34 to 53 of 112 < previous   next >
Issue DateTitleAuthor(s)
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
2015Improving runtime overheads for detectErCassar, Ian; Francalanza, Adrian; Said, Simon
2016-11Improving the automatic runtime monitor generation process via pruning : a way forwardChircop, Luke; Colombo, Christian; Micallef, Mark; Francalanza, Adrian; Pace, Gordon J.
2018Introduction to runtime verificationBartocci, Ezio; Falcone, Yliès; Francalanza, Adrian; Reger, Giles
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
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
Showing results 34 to 53 of 112 < previous   next >