OAR@UM: Browsing OAR@UM

Browsing by Subject Computer programs -- Verification

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 44 to 57 of 57 < previous

Issue Date	Title	Author(s)
2006	Runtime validation using interval temporal logic	D’Emanuele, Karlston; Pace, Gordon J.
2012	Runtime verification and compensations	Colombo, Christian
2017	Runtime verification using Larva	Colombo, Christian; Pace, Gordon J.
2017	Runtime verification using Valour	Azzopardi, Shaun; Colombo, Christian; Ebejer, Jean Paul; Mallia, Edward; Pace, Gordon J.
2022	RV-TEE-based trustworthy secure shell deployment : an empirical evaluation	Curmi, Axel; Colombo, Christian; Vella, Mark Joseph
2010	A simplified model of QuickCheck automata	Falzon, Kevin; Pace, Gordon J.
2016	StaRVOOrS - episode II : strengthen and distribute the force	Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2015	StaRVOOrS : a tool for combined static and runtime verification of Java	Chimento, Jesús Mauricio; Ahrendt, Wolfgang; Pace, Gordon J.; Schneider, Gerardo
2015	StaRVOOrS : unifying static and runtime verification of Java	Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
2009	Statistics and runtime verification	Gauci, Andrew (2009)
2012	Synchronous and asynchronous monitoring in Elarva	Calleja, Justin (2012)
2014-11	Towards achieving efficient runtime enforcement for component based systems	Cassar, Ian; Francalanza, Adrian
2004	The use of model-checking for the verification of concurrent algorithms	Cordina, Joseph
2012-11	μLarvaScript : rethinking the Larva scripting language	Francalanza, Adrian

Showing results 44 to 57 of 57 < previous