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 79 to 98 of 156 < previous   next >
Issue DateTitleAuthor(s)
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.
2012-09Legal contract drafting supportPace, Gordon J.
2014Lifelong verification of software systemsColombo, Christian; Micallef, Mark; Pace, Gordon J.
2010Meta-functional languages for hardware design and verificationPace, Gordon J.; Tabone, Christian
2007Model checking concurrent assembly algorithmsCordina, Joseph; Fenech, Stephen; Pace, Gordon J.
2007Model checking contracts : a case studyPace, Gordon J.; Prisacariu, Cristian; Schneider, Gerardo
2004Model checking polygonal differential inclusions using invariance kernelsPace, Gordon J.; Schneider, Gerardo
2008Model checking user interfacesCauchi, Abigail; Pace, Gordon J.; Spina, Sandro
2016A model-based approach to combining static and dynamic verification techniquesAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2004Monadic compositional parsing with context using Maltese as a case studyPace, Gordon J.
2013Monitor-oriented compensation programming through compensating automataColombo, Christian; Pace, Gordon J.