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 programs -- 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 58
next >
Issue Date
Title
Author(s)
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
2003
An asynchronous interaction mechanism between the kernel and the user application
Sant, Ian (2003)
2005
Automatic tune search
Briffa, Caroline (2005)
2016
Automatically generating runtime monitors from tests
Cauchi, Abigail
;
Chircop, Luke
;
Colombo, Christian
;
Francalanza, Adrian
;
Micallef, Mark
;
Pace, Gordon J.
2003
Calculating τ-confluence compositionally
Pace, Gordon J.
;
Lang, Frederic
;
Mateescu, Radu
2012-11
Combining testing and runtime verification
Colombo, Christian
2012
Combining testing and runtime verification techniques
Falzon, Kevin
;
Pace, Gordon J.
2021
Comparing controlled system synthesis and suppression enforcement
Aceto, Luca
;
Cassar, Ian
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
2014
Compiling compensating automata
Borg, Dylan (2014)
2022
Concurrency and Petri net models
Spiteri Staines, Tony
2018
Contracts over smart contracts : recovering from violations dynamically
Colombo, Christian
;
Ellul, Joshua
;
Pace, Gordon J.
2004
Counter-example generation in symbolic abstract model-checking
Pace, Gordon J.
;
Halbwachs, Nicolas
;
Raymond, Pascal
2005
Describing and verifying FFT circuits using SharpHDL
Pace, Gordon J.
;
Vella, Christine
2012-11
Designing correct runtime-monitors for Erlang
Seychell, Aldrin
;
Francalanza, Adrian
2015
Device centric monitoring on mobile devices
Chircop, Luke
;
Colombo, Christian
;
Pace, Gordon J.
2010
Dynamic automata in Larva
Cassar, John Paul
;
Colombo, Christian
;
Pace, Gordon J.
2010
Dynamic automata in LARVA
Cassar, John Paul (2010)
2002
An embedded language framework for hardware compilation
Claessen, Koen
;
Pace, Gordon J.
2017
Engineering adaptive user interfaces using monitoring-oriented programming
Buhagiar, Aaron John
;
Pace, Gordon J.
;
Ebejer, Jean Paul