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 1 to 20 of 132
next >
Issue Date
Title
Author(s)
2008
Achieving full eID mobility across federated political domains : a case for mobile identity with operator and ME/SIM platform independence
Porter, Chris
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
An aspect-oriented system specification language based on Gherkin
Aquilina Alamango, John (2014)
2022
Assessing task difficulty in software testing using biometric measures
Camilleri, Daryl
;
Micallef, Mark
;
Porter, Chris
2016
An automata-based approach to evolving privacy policies for social networks
Pardo, Raul
;
Colombo, Christian
;
Pace, Gordon J.
;
Schneider, Gerardo
2017
Automated checking for deterministic monitor behaviour
Buhagiar, Andrew
2014
Automated monitor generation from jUnit tests
Micallef, Jonathan (2014)
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
2020
Blockchain-based traceability of the wine supply chain
Camilleri, Gabriel (2020)
2017
A calculus supporting contract reasoning and monitoring
Cambronero, Maria-Emilia
;
Llana, Luis
;
Pace, Gordon J.
2021-04
A choreographed outline instrumentation approach for asynchronous components
Aceto, Luca
;
Attard, Duncan Paul
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
2020
CLARVA : model-based residual verification of Java programs
Azzopardi, Shaun
;
Colombo, Christian
;
Pace, Gordon J.
2010
Compensation-aware runtime monitoring
Colombo, Christian
;
Pace, Gordon J.
;
Abela, Patrick
2014
Comprehensive monitor-oriented compensation programming
Colombo, Christian
;
Pace, Gordon J.
2012
Considerations for monitoring highly concurrent systems
Mizzi, Ruth
;
Colombo, Christian
;
Francalanza, Adrian
;
Pace, Gordon J.
2018
Considering academia-industry projects meta-characteristics in runtime verification design
Colombo, Christian
;
Pace, Gordon J.
2019
COST Action IC 1402 ArVI : runtime verification beyond monitoring - activity report of working group 1
Ahrendt, Wolfgang
;
Artho, Cyrille
;
Colombo, Christian
;
Falcone, Yliès
;
Krstić, Srđan
;
Leucker, Martin
;
Lorber, Florian
;
Lourenço, Joa̋o M.
;
Mariani, Leonardo
;
Sanchez, Cesar
;
Schneider, Gerardo
;
Stolz, Volker
2018
COST Action IC1402 runtime verification beyond monitoring
Colombo, Christian
;
Falcone, Yliès
;
Leucker, Martin
;
Reger, Giles
;
Sanchez, Cesar
;
Schneider, Gerardo
;
Stolz, Volker
2019
The cost of monitoring alone
Aceto, Luca
;
Achilleos, Antonis
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
;
Lehtinen, Karoliina