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 -- Development
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 58 to 77 of 109
< previous
next >
Issue Date
Title
Author(s)
2009
Offline runtime verification with real-time properties : a case study
Colombo, Christian
;
Pace, Gordon J.
;
Abela, Patrick
2016
On implementing a monitor-oriented programming framework for actor systems
Cassar, Ian
;
Francalanza, Adrian
2010
On knowledge management in software development life cycles
Cachia, Ernest
;
Micallef, Mark
2017
On the complexity of determinizing monitors
Aceto, Luca
;
Achilleos, Antonis
;
Francalanza, Adrian
;
Ingólfsdóttir, Anna
;
Kjartansson, Saevar Orn
2015
On verifying Hennessy-Milner logic with recursion at runtime
Francalanza, Adrian
;
Aceto, Luca
;
Ingólfsdóttir, Anna
2019
OSLC adapter for ANaConDA
Vasicek, Ondrey
2013-11
Overview of peer-to-peer networks and challenges in trust and reputation
Mangion, Andrea
;
Micallef, Mark
2015-11
An overview of techniques aimed at automatically generating oracles from tests
Chircop, Luke
;
Colombo, Christian
;
Francalanza, Adrian
;
Micallef, Mark
;
Pace, Gordon J.
2012
PolyLARVA : runtime verification with configurable resource-aware monitoring boundaries
Colombo, Christian
;
Francalanza, Adrian
;
Mizzi, Ruth
;
Pace, Gordon J.
2013
PolyLarva : technology agnostic runtime verification
Colombo, Christian
;
Francalanza, Adrian
;
Mizzi, Ruth
;
Pace, Gordon J.
2008
A practical approach to runtime verification of real-time properties for Java programs
Colombo, Christian
;
Pace, Gordon J.
;
Schneider, Gerardo
2008
Practical runtime monitoring with impact guarantees of java programs with real-time constraints
Colombo, Christian
2021
Preface
Leucker, Martin
;
Colombo, Christian
2019
Pushing runtime verification to the limit : may process semantics be with us
Della Monica, Dario
;
Francalanza, Adrian
2014
A rational perspective on software modeling
Spiteri Staines, Tony
2004
Reading between the lines of code : visualising a program’s lifetime
Sultana, Nikolai
2004
Real-time 3D simulation for indoor fire safety engineering
Borg Cardona, Michael (2004)
2001
A real-time software system development CASE tool
Vella, Mark Joseph
2014
Regression test selection for JAVA using static analysis
Galea, Graziella (2014)
1978
Reliability studies involving electronic components
Zarb, Joseph S. (1978)