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 142 to 161 of 183 < previous next >

Issue Date	Title	Author(s)
2009	Safe runtime verification of real-time properties	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2012	Safer asynchronous runtime monitoring using compensations	Colombo, Christian; Pace, Gordon J.; Abela, Patrick
2010	Scripting game AI : an alternative approach using embedded languages	Calleja, Andrew; Pace, Gordon J.
2018	Securing calls to ethereum smart contracts with static and dynamic analysis	Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2000	The semantics of verilog using transition system combinators	Pace, Gordon J.
2012-04	Separating compensation concerns and programming them with compensating automata	Colombo, Christian; Pace, Gordon J.
2010	A simplified model of QuickCheck automata	Falzon, Kevin; Pace, Gordon J.
2009	Slowdown invariance of timed regular expressions	Bondin, Ingram; Pace, Gordon J.; Colombo, Christian
2018	Smart search for Maltese legal professionals	Camilleri, Cassi; Gatt, Albert; Pace, Gordon J.
2013	SMock - a test platform for monitoring tools	Colombo, Christian; Mizzi, Ruth; Pace, Gordon J.
2005	Source-level runtime validation through interval temporal logic	D’Emanuele, Karlston; Pace, Gordon J.
2015	A specification language for static and runtime verification of data and control properties	Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
2002	SPeeDI - a verification tool for polygonal hybrid systems	Asarin, Eugene; Pace, Gordon J.; Schneider, Gerardo; Yovine, Sergio
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
2006	Static analysis for state-space reduction of polygonal hybrid systems	Pace, Gordon J.; Schneider, Gerardo
2006	Static analysis of SPDIs for state-space reduction	Pace, Gordon J.; Schneider, Gerardo
2013	Static and dynamic analysis for robustness under slowdown	Bondin, Ingram; Pace, Gordon J.
2009	Statistics and runtime verification	Gauci, Andrew; Pace, Gordon J.; Colombo, Christian

Showing results 142 to 161 of 183 < previous next >