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 91 to 110 of 156 < previous   next >
Issue DateTitleAuthor(s)
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.
2008Multi-stage languages in hardware designPace, Gordon J.; Tabone, Christian
2003A new breadth-first search algorithm for deciding SPDI reachabilityPace, Gordon J.
2009Offline runtime verification with real-time properties : a case studyColombo, Christian; Pace, Gordon J.; Abela, Patrick
2016On the runtime enforcement of evolving privacy policies in online social networksPace, Gordon J.; Pardo, Raul; Schneider, Gerardo
2009On the specification of full contractsFenech, Stephen; Pace, Gordon J.; Okika, Joseph C.; Ravn, Anders P.; Schneider, Gerardo
2011Permissions in contracts, a logical insightPace, Gordon J.; Schapachnik, Fernando
2010Playing nomic using a controlled natural languageCamilleri, John J.; Pace, Gordon J.; Rosner, Michael
2012PolyLARVA : runtime verification with configurable resource-aware monitoring boundariesColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2012PolyLARVA : runtime verification with configurable resource-aware monitoring boundariesColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2012PolyLARVA : runtime verification with configurable resource-aware monitoring boundariesColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2013PolyLarva : technology agnostic runtime verificationColombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2008A practical approach to runtime verification of real-time properties for Java programsColombo, Christian; Pace, Gordon J.; Schneider, Gerardo