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 1-10 of 39 (Search time: 0.026 seconds).
previous
1
2
3
4
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
2016
Contract automata : an operational view of contracts between interactive parties
Azzopardi, Shaun
;
Pace, Gordon J.
;
Schapachnik, Fernando
;
Schneider, Gerardo
2006
Improving polygonal hybrid systems reachability analysis through the use of the phase portrait
Pace, Gordon J.
;
Schneider, Gerardo
2009
Safe runtime verification of real-time properties
Colombo, Christian
;
Pace, Gordon J.
;
Schneider, Gerardo
2015
Conditional permissions in contracts
Pace, Gordon J.
;
Schapachnik, Fernando
;
Schneider, Gerardo
2009
Challenges in the specification of full contracts
Pace, Gordon J.
;
Schneider, Gerardo
2008
Relaxing goodness is still good for SPDIs
Pace, Gordon J.
;
Schneider, Gerardo
2009
On the specification of full contracts
Fenech, Stephen
;
Pace, Gordon J.
;
Okika, Joseph C.
;
Ravn, Anders P.
;
Schneider, Gerardo
2006
A compositional algorithm for parallel model checking of polygonal hybrid systems
Pace, Gordon J.
;
Schneider, Gerardo
Discover
Author
37
Pace, Gordon J.
11
Colombo, Christian
9
Ahrendt, Wolfgang
5
Fenech, Stephen
4
Chimento, Jesús Mauricio
4
Falcone, Yliès
3
Krstić, Srđan
3
Lourenço, Joa̋o M.
3
Schapachnik, Fernando
.
next >
Subject
12
Aspect-oriented programming
10
Computer software -- Verification
9
Computer software -- Development
8
Deontic logic
7
Real-time data processing
6
Autonomous distributed systems
6
Computational complexity
6
Machine design -- Congresses
6
Parallel programs (Computer progr...
.
next >