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
Search
Search:
All of OAR@UM
Faculty of Information and Communication Technology
Department of Artificial Intelligence
Department of Communications and Computer Engineering
Department of Computer Information Systems
Department of Computer Science
Department of Microelectronics and Nanoelectronics
Dissertations - FacICT
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 61-70 of 103 (Search time: 0.017 seconds).
previous
1
...
4
5
6
7
8
9
10
...
11
next
Item hits:
Issue Date
Title
Author(s)
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
2021
Runtime verification: passing on the baton
Colombo, Christian
;
Pace, Gordon J.
;
Schneider, Gerardo
2019
A survey of challenges for runtime verification from advanced application domains (beyond software)
Sánchez, César
;
Schneider, Gerardo
;
Ahrendt, Wolfgang
;
Bartocci, Ezio
;
Bianculli, Domenico
;
Colombo, Christian
;
Falcone, Yliès
;
Francalanza, Adrian
;
Krstić, Srđan
;
Lourenço, Joa̋o M.
;
Nickovic, Dejan
;
Pace, Gordon J.
;
Rufino, Jose
;
Signoles, Julien
;
Traytel, Dmitriy
;
Weiss, Alexander
2014
Monitoring distributed systems with distributed polyLarva
Cassar, Ian
;
Francalanza, Adrian
;
Colombo, Christian
2014
Verifying web applications : from business level specifications to automated model-based testing
Colombo, Christian
;
Micallef, Mark
;
Scerri, Mark
2016-11
Improving the automatic runtime monitor generation process via pruning : a way forward
Chircop, Luke
;
Colombo, Christian
;
Micallef, Mark
;
Francalanza, Adrian
;
Pace, Gordon J.
2019
First international competition on runtime verification : rules, benchmarks, tools, and final results of CRV 2014
Bartocci, Ezio
;
Falcone, Yliès
;
Bonakdarpour, Borzoo
;
Colombo, Christian
;
Decker, Normann
;
Havelund, Klaus
;
Joshi, Yogi
;
Klaedtke, Felix
;
Milewicz, Reed
;
Reger, Giles
;
Rosu, Grigore
;
Signoles, Julien
;
Thoma, Daniel
;
Zalinescu, Eugen
;
Zhang, Yi
2018
Considering academia-industry projects meta-characteristics in runtime verification design
Colombo, Christian
;
Pace, Gordon J.
2020
Themulus : a timed contract-calculus
Aranda Garcia, Alberto
;
Cambronero, Maria-Emilia
;
Colombo, Christian
;
Llana, Luis
;
Pace, Gordon J.
2018
Runtime verification
Colombo, Christian
;
Leucker, Martin
Discover
Author
55
Pace, Gordon J.
16
Francalanza, Adrian
16
Micallef, Mark
11
Schneider, Gerardo
10
Vella, Mark Joseph
8
Azzopardi, Shaun
7
Falcone, Yliès
6
Chircop, Luke
6
Hernandez-Castro, Julio
.
next >
Subject
32
Computer software -- Verification
29
Computer software -- Development
22
Aspect-oriented programming
20
Real-time data processing
16
Computer programs -- Verification
14
Computer software -- Security mea...
14
Software engineering
10
Computer software -- Testing
9
Autonomous distributed systems
.
next >