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 64 to 83 of 112 < previous   next >
Issue DateTitleAuthor(s)
2011Permission-based separation logic for message-passing concurrencyFrancalanza, Adrian; Rathke, Julian; Sassone, Vladimiro
2001PODS : location spaces in action calculiFrancalanza, Adrian
2012PolyLARVA : runtime verification with configurable resource-aware monitoring boundariesColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2013PolyLarva : technology agnostic runtime verificationColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2016Preliminary results towards contract monitorabilityVella, Annalizz; Francalanza, Adrian
2007Proving distributed algorithm correctness using fault tolerance bisimulationsFrancalanza, Adrian; Hennessy, Matthew
2019Pushing runtime verification to the limit : may process semantics be with usDella Monica, Dario; Francalanza, Adrian
2011Reasoning about explicit resource managementDevries, Edsko; Francalanza, Adrian; Hennessy, Matthew
2017Reliability and fault-tolerance by choreographic designCassar, Ian; Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
2018Reversible choreographies via monitoring in ErlangFrancalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio
2015Runtime adaptation for actor systemsCassar, Ian; Francalanza, Adrian
2010Runtime monitoring of distributed systemsFrancalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2017A runtime monitoring tool for actor-based systemsAttard, Duncan Paul; Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2018Runtime verification for decentralised and distributed systemsFrancalanza, Adrian; Pérez, Jorge A.; Sánchez, César
2012-11Separation-based reasoning for deterministic channel-passing concurrent programsBorda, Aimee; Francalanza, Adrian
2021Session types in ElixirTabone, Gerard; Francalanza, Adrian
2018Shooting from the heap : ultra-scalable static analysis with heap snapshotsGrech, Neville; Fourtounis, George; Francalanza, Adrian; Smaragdakis, Yannis
2012Simplifying contract-violating tracesColombo, Christian; Francalanza, Adrian; Grima, Ian
2019A survey of challenges for runtime verification from advanced application domains (beyond software)Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, Joa̋o M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander
2019A survey of challenges for runtime verification from advanced application domains (beyond software)Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, Joa̋o M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander
Showing results 64 to 83 of 112 < previous   next >