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 Computer Science
Dissertations - FacICTCS
Scholarly Works - FacICTCS
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
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 1-7 of 7 (Search time: 0.008 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2016
An automata-based approach to evolving privacy policies for social networks
Pardo, Raul
;
Colombo, Christian
;
Pace, Gordon J.
;
Schneider, Gerardo
2008
A practical approach to runtime verification of real-time properties for Java programs
Colombo, Christian
;
Pace, Gordon J.
;
Schneider, Gerardo
2009
Safe runtime verification of real-time properties
Colombo, Christian
;
Pace, Gordon J.
;
Schneider, Gerardo
2008
Dynamic event-based runtime monitoring of real-time and contextual properties
Colombo, Christian
;
Pace, Gordon J.
;
Schneider, Gerardo
2017
Verifying data- and control-oriented properties combining static and runtime verification : theory and tools
Ahrendt, Wolfgang
;
Chimento, Jesús Mauricio
;
Pace, Gordon J.
;
Schneider, Gerardo
2009
Resource-bounded runtime verification of Java programs with real-time properties
Colombo, Christian
;
Pace, Gordon J.
;
Schneider, Gerardo
2009
LARVA - safer monitoring of real-time Java programs (tool paper)
Colombo, Christian
;
Pace, Gordon J.
;
Schneider, Gerardo
Discover
Author
7
Pace, Gordon J.
6
Colombo, Christian
1
Ahrendt, Wolfgang
1
Chimento, Jesús Mauricio
1
Pardo, Raul
Subject
7
Computer software -- Development
4
Computer security
2
Computer software -- Testing
2
Computer software -- Verification
1
Autonomous distributed systems
1
Computer network architectures
1
Computer programs -- Verification