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 69 to 88 of 156 < previous   next >
Issue DateTitleAuthor(s)
2012Fast-forward runtime monitoring - an industrial case studyColombo, Christian; Pace, Gordon J.
2009-09FLACOS’09 Workshop proceedingsPace, Gordon J.; Schneider, Gerardo
2005Foresight embedding in MaltaCassingena Harper, Jennifer; Pace, Gordon J.
1998Formal reasoning with Verilog HDLPace, Gordon J.; He, Jifeng
2015A framework for the generation of computer system diagnostics in natural language using finite state methodsFarrell, Rachel; Pace, Gordon J.; Rosner, Michael
2015-08A framework for the generation of computer system diagnostics in natural language using finite state methodsFarell, Rachel; Pace, Gordon J.; Rosner, Mike
2006Functional HDLs : a historical overviewCordina, Joseph; Pace, Gordon J.
2011Guest editors’ forewordPace, Gordon J.; Schneider, Gerardo
1998Hardware design based on Verilog HDLHe, Jifeng; Pace, Gordon J.
2007HeDLa : a strongly typed, component-based embedded hardware description languagePace, Gordon J.
2014-11Improving Android security through real-time policy enforcementChircop, Luke; Colombo, Christian; Pace, Gordon J.
2006Improving polygonal hybrid systems reachability analysis through the use of the phase portraitPace, Gordon J.; Schneider, Gerardo
2018Industrial experiences with runtime verification of financial transaction systems : lessons learnt and standing challengesColombo, Christian; Pace, Gordon J.
2016Integrating natural language and formal analysis for legal documentsAzzopardi, Shaun; Gatt, Albert; Pace, Gordon J.
2015An intelligent contract editorAzzopardi, Shaun; Pace, Gordon J.; Gatt, Albert
2015KeY + LARVA = STARVOORSAhrendt, Wolfgang; Pace, Gordon J.
2018Lab to life : smart search for Maltese legal professionalsGatt, Albert; Pace, Gordon J.
2009LARVA - safer monitoring of real-time Java programs (tool paper)Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2009LARVA : safer monitoring of real-time Java programs (tool paper)Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2010LarvaStat : monitoring of statistical propertiesColombo, Christian; Gauci, Andrew; Pace, Gordon J.