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 82 to 101 of 183 < previous next >

Issue Date	Title	Author(s)
2020	A general theory of contract conflicts with environmental constraints	Pace, Gordon J.
2011	Guest editors’ foreword	Pace, Gordon J.; Schneider, Gerardo
1998	Hardware design based on Verilog HDL	Pace, Gordon J.
2007	HeDLa : a strongly typed, component-based embedded hardware description language	Pace, Gordon J.
2014-11	Improving Android security through real-time policy enforcement	Chircop, Luke; Colombo, Christian; Pace, Gordon J.
2006	Improving polygonal hybrid systems reachability analysis through the use of the phase portrait	Pace, Gordon J.; Schneider, Gerardo
2016-11	Improving the automatic runtime monitor generation process via pruning : a way forward	Chircop, Luke; Colombo, Christian; Micallef, Mark; Francalanza, Adrian; Pace, Gordon J.
2018	Industrial experiences with runtime verification of financial transaction systems : lessons learnt and standing challenges	Colombo, Christian; Pace, Gordon J.
2016	Integrating natural language and formal analysis for legal documents	Azzopardi, Shaun; Gatt, Albert; Pace, Gordon J.
2015	An intelligent contract editor	Azzopardi, Shaun; Pace, Gordon J.; Gatt, Albert
2015	KeY + LARVA = STARVOORS	Ahrendt, Wolfgang; Pace, Gordon J.
2018	Lab to life : smart search for Maltese legal professionals	Gatt, Albert; Pace, Gordon J.
2009	LARVA - safer monitoring of real-time Java programs (tool paper)	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2010	LarvaStat : monitoring of statistical properties	Colombo, Christian; Gauci, Andrew; Pace, Gordon J.
2012-09	Legal contract drafting support	Pace, Gordon J.
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.

Showing results 82 to 101 of 183 < previous next >