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 1 to 20 of 128  next >
Issue DateTitleAuthor(s)
2019-01Adventures in monitorability : from branching to linear time and back againAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; ±õ²Ô²µÃ³±ô´Ú²õ»åó³Ù³Ù¾±°ù,&#³æ20;´¡²Ô²Ô²¹; Lehtinen, Karoliina
2014Applying runtime verification techniques to an enterprise service busDimech, Gabriel; Colombo, Christian; Francalanza, Adrian
2013-10Applying runtime verification techniques to enterprise service bus architecturesColombo, Christian; Dimech, Gabriel; Francalanza, Adrian
2009Assessing design patterns for concurrencyLeguesse, Fikre; Francalanza, Adrian
2016Automatically generating runtime monitors from testsCauchi, Abigail; Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2020Behavioural types for memory and method safety in a core object-oriented languageBravetti, Mario; Francalanza, Adrian; Golovanov, Iaroslav; ±áü³Ù³Ù±ð±ô,&#³æ20;±á²¹²Ô²õ; Jakobsen, Mathias; Kettunen, Mikkel K.; ¸é²¹±¹²¹°ù²¹,&#³æ20;´¡²Ô³Ùó²Ô¾±´Ç
2021The best a monitor can doAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; ±õ²Ô²µÃ³±ô´Ú²õ»åó³Ù³Ù¾±°ù,&#³æ20;´¡²Ô²Ô²¹; Lehtinen, Karoliina
2021Better late than never or : verifying asynchronous components at runtimeAttard, Duncan Paul; Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; ±õ²Ô²µÃ³±ô´Ú²õ»åó³Ù³Ù¾±°ù,&#³æ20;´¡²Ô²Ô²¹; Lehtinen, Karoliina
2023Bidirectional runtime enforcement of first-order branching-time propertiesAceto, Luca; Cassar, Ian; Francalanza, Adrian; ±õ²Ô²µÃ³±ô´Ú²õ»åó³Ù³Ù¾±°ù,&#³æ20;´¡²Ô²Ô²¹
2025Centralized vs. decentralized monitors for hyperpropertiesAceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; Gorla, Daniele; Wagemaker, Jana
2021-04A choreographed outline instrumentation approach for asynchronous componentsAceto, Luca; Attard, Duncan Paul; Francalanza, Adrian; ±õ²Ô²µÃ³±ô´Ú²õ»åó³Ù³Ù¾±°ù,&#³æ20;´¡²Ô²Ô²¹
2013Code management automation for Erlang remote actorsFrancalanza, Adrian; Zerafa, Tyron
2021Comparing controlled system synthesis and suppression enforcementAceto, Luca; Cassar, Ian; Francalanza, Adrian; ±õ²Ô²µÃ³±ô´Ú²õ»åó³Ù³Ù¾±°ù,&#³æ20;´¡²Ô²Ô²¹
2010Compensations in an imperative programming languageFrancalanza, Adrian; Pace, Gordon J.; Vella, Lydia
2020The complexity of identifying characteristic formulaeAceto, Luca; Achilleos, Antonis; Francalanza, Adrian; ±õ²Ô²µÃ³±ô´Ú²õ»åó³Ù³Ù¾±°ù,&#³æ20;´¡²Ô²Ô²¹
2024Complexity results for modal logic with recursion via translations and tableauxAceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian; ±õ²Ô²µÃ³±ô´Ú²õ»åó³Ù³Ù¾±°ù,&#³æ20;´¡²Ô²Ô²¹
2014Compositional reasoning for explicit resource management in channel-based concurrencyFrancalanza, Adrian; Devries, Edsko; Hennessy, Matthew
2021Computer says no : verdict explainability for runtime monitors using a local proofFrancalanza, Adrian; Cini, Clare
2012Considerations for monitoring highly concurrent systemsMizzi, Ruth; Colombo, Christian; Francalanza, Adrian; Pace, Gordon J.
2017Consistently-detecting monitorsFrancalanza, Adrian
Showing results 1 to 20 of 128  next >