1. 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 13 to 32 of 183 < previous   next >
Issue DateTitleAuthor(s)
2003Calculating τ-confluence compositionallyPace, Gordon J.; Lang, Frederic; Mateescu, Radu
2017A calculus supporting contract reasoning and monitoringCambronero, Maria-Emilia; Llana, Luis; Pace, Gordon J.
2009Challenges in the specification of full contractsPace, Gordon J.; Schneider, Gerardo
2009CLAN : a tool for contract analysis and conflict discoveryFenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2020CLARVA : model-based residual verification of Java programsAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2012Combining testing and runtime verification techniquesFalzon, Kevin; Pace, Gordon J.
2011A compensating transaction example in twelve notationsColombo, Christian; Pace, Gordon J.
2010Compensation-aware runtime monitoringColombo, Christian; Pace, Gordon J.; Abela, Patrick
2010Compensations in an imperative programming languageFrancalanza, Adrian; Pace, Gordon J.; Vella, Lydia
2016Compliance checking in the open payments ecosystemAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.; Vella, Brian
2006A compositional algorithm for parallel model checking of polygonal hybrid systemsPace, Gordon J.; Schneider, Gerardo
2014Comprehensive monitor-oriented compensation programmingColombo, Christian; Pace, Gordon J.
2008Computation and visualisation of phase portraits for model checking SPDIsPace, Gordon J.; Schneider, Gerardo
2003Computer-aided verification : how to trust a machine with your lifePace, Gordon J.
2015Conditional permissions in contractsPace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo
2008Conflict analysis of deontic contractsFenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2012Considerations for monitoring highly concurrent systemsMizzi, Ruth; Colombo, Christian; Francalanza, Adrian; Pace, Gordon J.
2018Considering academia-industry projects meta-characteristics in runtime verification designColombo, Christian; Pace, Gordon J.
2016Contract automata : an operational view of contracts between interactive partiesAzzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo
2014Contract automata with reparationsAzzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando
Showing results 13 to 32 of 183 < previous   next >