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 71 to 90 of 183 < previous next >

Issue Date	Title	Author(s)
2009	Evolutionary algorithms for definition extraction	Borg, Claudia; Rosner, Michael; Pace, Gordon J.
2014	Explaining violation traces with finite state natural language generation models	Pace, Gordon J.; Rosner, Michael
2013	Extensible technology agnostic runtime verification	Colombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2013	Facilitating and extending software testing through monitoring techniques	Colombo, Christian; Micallef, Mark; Pace, Gordon J.
2012	Fast-forward runtime monitoring - an industrial case study	Colombo, Christian; Pace, Gordon J.
2009-09	FLACOS’09 Workshop proceedings	Pace, Gordon J.; Schneider, Gerardo
2005	Foresight embedding in Malta	Cassingena Harper, Jennifer; Pace, Gordon J.
1998	Formal reasoning with Verilog HDL	Pace, Gordon J.; He, Jifeng
2015	A framework for the generation of computer system diagnostics in natural language using finite state methods	Farrell, Rachel; Pace, Gordon J.; Rosner, Michael
2015-08	A framework for the generation of computer system diagnostics in natural language using finite state methods	Farrell, Rachel; Pace, Gordon J.; Rosner, Michael
2006	Functional HDLs : a historical overview	Cordina, Joseph; Pace, Gordon J.
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.

Showing results 71 to 90 of 183 < previous next >