OAR@UM: Browsing OAR@UM

Browsing by Author Pace, Gordon J.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:

Showing results 97 to 116 of 183 < previous next >

Issue Date	Title	Author(s)
2014	Lifelong verification of software systems	Colombo, Christian; Micallef, Mark; Pace, Gordon J.
2018	Macroprogramming the blockchain of things	Mizzi, Adrian; Ellul, Joshua; Pace, Gordon J.
2020	Mapping the future of legal personality	Ganado, Max; Ellul, Joshua; Pace, Gordon J.; Tendon, Steve; Wilson, Bryan
2010	Meta-functional languages for hardware design and verification	Pace, Gordon J.; Tabone, Christian
2007	Model checking concurrent assembly algorithms	Cordina, Joseph; Fenech, Stephen; Pace, Gordon J.
2007	Model checking contracts : a case study	Pace, Gordon J.; Prisacariu, Cristian; Schneider, Gerardo
2004	Model checking polygonal differential inclusions using invariance kernels	Pace, Gordon J.; Schneider, Gerardo
2008	Model checking user interfaces	Cauchi, Abigail; Pace, Gordon J.; Spina, Sandro
2016	A model-based approach to combining static and dynamic verification techniques	Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2021	Model-based static and runtime verification for ethereum smart contracts	Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2004	Monadic compositional parsing with context using Maltese as a case study	Pace, Gordon J.
2013	Monitor-oriented compensation programming through compensating automata	Colombo, Christian; Pace, Gordon J.
2008	Multi-stage languages in hardware design	Pace, Gordon J.; Tabone, Christian
2003	A new breadth-first search algorithm for deciding SPDI reachability	Pace, Gordon J.
2009	Offline runtime verification with real-time properties : a case study	Colombo, Christian; Pace, Gordon J.; Abela, Patrick
2016	On the runtime enforcement of evolving privacy policies in online social networks	Pace, Gordon J.; Pardo, Raul; Schneider, Gerardo
2021	On the specification and monitoring of timed normative systems	Azzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo
2009	On the specification of full contracts	Fenech, Stephen; Pace, Gordon J.; Okika, Joseph C.; Ravn, Anders P.; Schneider, Gerardo
2021	Optional monitoring for long-lived transactions	Ellul, Joshua; Pace, Gordon J.
2015-11	An overview of techniques aimed at automatically generating oracles from tests	Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.

Showing results 97 to 116 of 183 < previous next >