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 166 to 183 of 183 < previous 
Issue DateTitleAuthor(s)
2020A technique for automata-based verification with residual reasoningAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2020Themulus : a timed contract-calculusAranda Garcia, Alberto; Cambronero, Maria-Emilia; Colombo, Christian; Llana, Luis; Pace, Gordon J.
2017Timed contract compliance under event timing uncertaintyCambronero, Maria-Emilia; Llana, Luis; Pace, Gordon J.
2017-09A timed contract-calculusCambronero, Maria-Emilia; Llana, Luis; Pace, Gordon J.
2014Tipping the scales...functionally!Vella, Kevin; Pace, Gordon J.
2007Towards automatic extraction of definitionsBorg, Claudia; Rosner, Michael; Pace, Gordon J.
2021Towards external calls for blockchain and distributed ledger technologyEllul, Joshua; Pace, Gordon J.
2011-01Trusting a computer with your moneyPace, Gordon J.
2012-06Trusting the machinePace, Gordon J.; Colombo, Christian
2021Two sides to every story. The truth, post-truth, and the blockchain truthEllul, Joshua; Grech, Alex; Pace, Gordon J.
2021Two sides to every story. The truth, post-truth, and the blockchain truthEllul, Joshua; Grech, Alex; Pace, Gordon J.
2012Types of rights in interacting two-party systems : a formal analysisPace, Gordon J.; Schapachnik, Fernando
2012A unified approach for static and runtime verification : framework and applicationsAhrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2013Using Gherkin for interaction design testing and monitoringCauchi, Abigail; Colombo, Christian; Micallef, Mark; Pace, Gordon J.
2016Using gherkin to extract tests and monitors for safer medical device interaction designCauchi, Abigail; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2016Using testing techniques to classify user interface designsCauchi, Abigail; Pace, Gordon J.
2017Verifying data- and control-oriented properties combining static and runtime verification : theory and toolsAhrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
2005Verifying hardware compilersPace, Gordon J.; Claessen, Koen