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 92 to 111 of 183 < previous next >

Issue Date	Title	Author(s)
2015	KeY + LARVA = STARVOORS	Ahrendt, Wolfgang; Pace, Gordon J.
2018	Lab to life : smart search for Maltese legal professionals	Gatt, Albert; Pace, Gordon J.
2009	LARVA - safer monitoring of real-time Java programs (tool paper)	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2010	LarvaStat : monitoring of statistical properties	Colombo, Christian; Gauci, Andrew; Pace, Gordon J.
2012-09	Legal contract drafting support	Pace, Gordon J.
2014	Lifelong verification of software systems	Colombo, Christian; Micallef, Mark; Pace, Gordon J.
2018	Macroprogramming the blockchain of things	Mizzi, Adrian; Ellul, Joshua; Pace, Gordon J.
2020	Mapping the future of legal personality	Ganado, Max; Ellul, Joshua; Pace, Gordon J.; Tendon, Steve; Wilson, Bryan
2010	Meta-functional languages for hardware design and verification	Pace, Gordon J.; Tabone, Christian
2007	Model checking concurrent assembly algorithms	Cordina, Joseph; Fenech, Stephen; Pace, Gordon J.
2007	Model checking contracts : a case study	Pace, Gordon J.; Prisacariu, Cristian; Schneider, Gerardo
2004	Model checking polygonal differential inclusions using invariance kernels	Pace, Gordon J.; Schneider, Gerardo
2008	Model checking user interfaces	Cauchi, Abigail; Pace, Gordon J.; Spina, Sandro
2016	A model-based approach to combining static and dynamic verification techniques	Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2021	Model-based static and runtime verification for ethereum smart contracts	Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2004	Monadic compositional parsing with context using Maltese as a case study	Pace, Gordon J.
2013	Monitor-oriented compensation programming through compensating automata	Colombo, Christian; Pace, Gordon J.
2008	Multi-stage languages in hardware design	Pace, Gordon J.; Tabone, Christian
2003	A new breadth-first search algorithm for deciding SPDI reachability	Pace, Gordon J.
2009	Offline runtime verification with real-time properties : a case study	Colombo, Christian; Pace, Gordon J.; Abela, Patrick

Showing results 92 to 111 of 183 < previous next >