OAR@UM: Browsing 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 1 to 20 of 185 next >

Issue Date	Title	Author(s)
2008	Access to circuit generators in embedded hdls	Pace, Gordon J.; Tabone, Christian
2008	Algorithmic analysis of polygonal hybrid systems, part II : phase portrait and tools	Asarin, Eugene; Pace, Gordon J.; Schneider, Gerardo; Yovine, Sergio
2018	AlkylVM : a virtual machine for smart contract blockchain connected internet of things	Ellul, Joshua; Pace, Gordon J.
2010	An architecture supporting compensation-aware monitoring	Colombo, Christian; Pace, Gordon J.; Abela, Patrick
2007	Aspect-oriented programming runtime-enforcement of temporal properties in security-critical software	Colombo, Christian; Pace, Gordon J.
2016	An automata-based approach to evolving privacy policies for social networks	Pardo, Raul; Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2009	Automatic conflict detection on contracts	Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2008	Automatic definition extraction using parser combinators	Borg, Claudia; Pace, Gordon J.
2010	Automatic grammar rule extraction and ranking for definitions	Borg, Claudia; Rosner, Michael; Pace, Gordon J.
2007	Automatic interface generation for compositional verification	Spina, Sandro; Pace, Gordon J.; Lang, Frederic
2006	Automatic interface generation for enumerative model checking	Spina, Sandro; Pace, Gordon J.
2016	Automatically generating runtime monitors from tests	Cauchi, Abigail; Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2003	Calculating τ-confluence compositionally	Pace, Gordon J.; Lang, Frederic; Mateescu, Radu
2017	A calculus supporting contract reasoning and monitoring	Cambronero, Maria-Emilia; Llana, Luis; Pace, Gordon J.
2009	Challenges in the specification of full contracts	Pace, Gordon J.; Schneider, Gerardo
2009	CLAN : a tool for contract analysis and conflict discovery	Fenech, Stephen; Pace, Gordon J.; Schneider, Gerardo
2020	CLARVA : model-based residual verification of Java programs	Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2012	Combining testing and runtime verification techniques	Falzon, Kevin; Pace, Gordon J.
2011	A compensating transaction example in twelve notations	Colombo, Christian; Pace, Gordon J.
2010	Compensation-aware runtime monitoring	Colombo, Christian; Pace, Gordon J.; Abela, Patrick

Showing results 1 to 20 of 185 next >