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 Subject Computer software -- Verification
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 76 to 95 of 132
< previous
next >
Issue Date
Title
Author(s)
1988
Reliability improvement of Luqa airfield lighting system (U.C.S.)
Zammit, Christopher (1988)
2019
Residual-based combination of static and runtime verification
Azzopardi, Shaun (2019)
2016-06
Run-time monitoring for the diagnosis and recovery of complex physical systems
Cataldo, Giacinto De
;
Colombo, Christian
;
Franco, Antonio
;
Pace, Gordon J.
;
Valentino, Gianluca
;
Vella, Kevin
2015
Runtime adaptation for actor systems
Cassar, Ian
;
Francalanza, Adrian
2023
Runtime monitoring for asynchronous reactive components
Attard, Duncan Paul (2023)
2010
Runtime monitoring of distributed systems
Francalanza, Adrian
;
Gauci, Andrew
;
Pace, Gordon J.
2007
Runtime monitoring of security-critical systems
Azzopardi, Christian Stephen (2007)
2017
A runtime monitoring tool for actor-based systems
Attard, Duncan Paul
;
Cassar, Ian
;
Francalanza, Adrian
;
Aceto, Luca
;
Ingólfsdóttir, Anna
2018
Runtime verification
Colombo, Christian
;
Leucker, Martin
2012
Runtime verification and compensations
Colombo, Christian (2012)
2020
Runtime verification for API based software
Bartolo Burlo`, Christian (2020)
2018
Runtime verification for decentralised and distributed systems
Francalanza, Adrian
;
Pérez, Jorge A.
;
Sánchez, César
2016
Runtime verification for stream processing applications
Colombo, Christian
;
Pace, Gordon J.
;
Camilleri, Luke
;
Dimech, Claire
;
Farrugia, Reuben A.
;
Grech, Jean Paul
;
Magro, Alessio
;
Sammut, Andrew C.
;
Zarb Adami, Kristian
2023
Runtime verification for trustworthy computing
Abela, Robert
;
Colombo, Christian
;
Curmi, Axel
;
Fenech, Mattea
;
Vella, Mark Joseph
;
Ferrando, Angelo
2021
Runtime verification for trustworthy secure shell deployment
Curmi, Axel
;
Colombo, Christian
;
Vella, Mark Joseph
2020
Runtime verification of contracts with Themulus
Aranda Garcia, Alberto
;
Cambronero, Maria-Emilia
;
Colombo, Christian
;
Llana, Luis
;
Pace, Gordon J.
2012
Runtime verification of distributed systems
Masini, Joseph (2012)
2023
Runtime verification of robotic aspects of the Mars rover
Fenech, Mattea (2023)
2018
Runtime verification of timed regular expressions in Larva
Dingli, Miguel
2023
Runtime verification program side‐effects in OCaml
Sciberras, Emma (2023)