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
Scholarly Works - FacICTCS
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 155 (Search time: 0.112 seconds).
previous
1
2
3
4
...
16
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
2013
Static and dynamic analysis for robustness under slowdown
Bondin, Ingram
;
Pace, Gordon J.
2008
A practical approach to runtime verification of real-time properties for Java programs
Colombo, Christian
;
Pace, Gordon J.
;
Schneider, Gerardo
2009
Statistics and runtime verification
Gauci, Andrew
;
Pace, Gordon J.
;
Colombo, Christian
2015
A framework for the generation of computer system diagnostics in natural language using finite state methods
Farrell, Rachel
;
Pace, Gordon J.
;
Rosner, Michael
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
2003
A new breadth-first search algorithm for deciding SPDI reachability
Pace, Gordon J.
2009
Safe runtime verification of real-time properties
Colombo, Christian
;
Pace, Gordon J.
;
Schneider, Gerardo
2008
Access to circuit generators in embedded hdls
Pace, Gordon J.
;
Tabone, Christian
Discover
Author
55
Colombo, Christian
37
Schneider, Gerardo
13
Azzopardi, Shaun
13
Francalanza, Adrian
11
Ellul, Joshua
9
Ahrendt, Wolfgang
9
Rosner, Michael
7
Schapachnik, Fernando
6
Fenech, Stephen
.
next >
Subject
27
Computer programs -- Verification
26
Aspect-oriented programming
26
Computer software -- Verification
22
Computer software -- Development
19
Deontic logic
16
Autonomous distributed systems
16
Computer hardware description lan...
16
Real-time data processing
14
Computer software -- Testing
.
next >