OAR@UM: Search

Search

Results 1-10 of 155 (Search time: 0.086 seconds).

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