Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Author
Title
Subject
Issue Date
Material Type
Language
Access Rights
Help
OAR@UM Help
FAQs
OAR@UM Policies
Submission Forms
Sign on to:
My OAR@UM
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:
Sort by:
title
issue date
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 20 of 123
next >
Issue Date
Title
Author(s)
2019-01
Adventures in monitorability : from branching to linear time and back again
Aceto, Luca
;
Achilleos, Antonis
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
;
Lehtinen, Karoliina
2014
Applying runtime verification techniques to an enterprise service bus
Dimech, Gabriel
;
Colombo, Christian
;
Francalanza, Adrian
2013-10
Applying runtime verification techniques to enterprise service bus architectures
Colombo, Christian
;
Dimech, Gabriel
;
Francalanza, Adrian
2009
Assessing design patterns for concurrency
Leguesse, Fikre
;
Francalanza, Adrian
2016
Automatically generating runtime monitors from tests
Cauchi, Abigail
;
Chircop, Luke
;
Colombo, Christian
;
Francalanza, Adrian
;
Micallef, Mark
;
Pace, Gordon J.
2020
Behavioural types for memory and method safety in a core object-oriented language
Bravetti, Mario
;
Francalanza, Adrian
;
Golovanov, Iaroslav
;
Hüttel, Hans
;
Jakobsen, Mathias
;
Kettunen, Mikkel K.
;
Ravara, António
2021
The best a monitor can do
Aceto, Luca
;
Achilleos, Antonis
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
;
Lehtinen, Karoliina
2021
Better late than never or : verifying asynchronous components at runtime
Attard, Duncan Paul
;
Aceto, Luca
;
Achilleos, Antonis
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
;
Lehtinen, Karoliina
2023
Bidirectional runtime enforcement of first-order branching-time properties
Aceto, Luca
;
Cassar, Ian
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
2021-04
A choreographed outline instrumentation approach for asynchronous components
Aceto, Luca
;
Attard, Duncan Paul
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
2013
Code management automation for Erlang remote actors
Francalanza, Adrian
;
Zerafa, Tyron
2021
Comparing controlled system synthesis and suppression enforcement
Aceto, Luca
;
Cassar, Ian
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
2010
Compensations in an imperative programming language
Francalanza, Adrian
;
Pace, Gordon J.
;
Vella, Lydia
2020
The complexity of identifying characteristic formulae
Aceto, Luca
;
Achilleos, Antonis
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
2024
Complexity results for modal logic with recursion via translations and tableaux
Aceto, Luca
;
Achilleos, Antonis
;
Anastasiadi, Elli
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
2014
Compositional reasoning for explicit resource management in channel-based concurrency
Francalanza, Adrian
;
Devries, Edsko
;
Hennessy, Matthew
2021
Computer says no : verdict explainability for runtime monitors using a local proof
Francalanza, Adrian
;
Cini, Clare
2012
Considerations for monitoring highly concurrent systems
Mizzi, Ruth
;
Colombo, Christian
;
Francalanza, Adrian
;
Pace, Gordon J.
2017
Consistently-detecting monitors
Francalanza, Adrian
2019
The cost of monitoring alone
Aceto, Luca
;
Achilleos, Antonis
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
;
Lehtinen, Karoliina