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

Issue Date	Title	Author(s)
2009	Offline runtime verification with real-time properties : a case study	Colombo, Christian; Pace, Gordon J.; Abela, Patrick
2016	On the runtime enforcement of evolving privacy policies in online social networks	Pace, Gordon J.; Pardo, Raul; Schneider, Gerardo
2021	On the specification and monitoring of timed normative systems	Azzopardi, Shaun; Pace, Gordon J.; Schapachnik, Fernando; Schneider, Gerardo
2009	On the specification of full contracts	Fenech, Stephen; Pace, Gordon J.; Okika, Joseph C.; Ravn, Anders P.; Schneider, Gerardo
2021	Optional monitoring for long-lived transactions	Ellul, Joshua; Pace, Gordon J.
2015-11	An overview of techniques aimed at automatically generating oracles from tests	Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2011	Permissions in contracts, a logical insight	Pace, Gordon J.; Schapachnik, Fernando
2010	Playing nomic using a controlled natural language	Camilleri, John J.; Pace, Gordon J.; Rosner, Michael
2012	PolyLARVA : runtime verification with configurable resource-aware monitoring boundaries	Colombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2013	PolyLarva : technology agnostic runtime verification	Colombo, Christian; Francalanza, Adrian; Mizzi, Ruth; Pace, Gordon J.
2008	A practical approach to runtime verification of real-time properties for Java programs	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2021	A pragmatic approach to regulating artificial intelligence : a technology regulator's perspective	Ellul, Joshua; McCarthy, Stephen; Sammut, Trevor; Brockdorff, Juanita; Scerri, Matthew; Pace, Gordon J.
2008	Proceedings of FLACOS’08	Pace, Gordon J.; Schneider, Gerardo
2008	Proceedings of the the Seventh International Workshop on Designing Correct Circuits (DCC'08)	Pace, Gordon J.; Singh, Satnam
2012	Programming compensations for system-monitor synchronisation	Colombo, Christian; Pace, Gordon J.
2016	Reasoning about partial contracts	Azzopardi, Shaun; Gatt, Albert; Pace, Gordon J.
2013	Recovery within long running transactions	Colombo, Christian; Pace, Gordon J.
2021	Regulating artificial intelligence : a technology regulator’s perspective	Ellul, Joshua; Pace, Gordon J.; McCarthy, Stephen; Sammut, Trevor; Brockdorff, Juanita; Scerri, Matthew
2008	Relaxing goodness is still good	Pace, Gordon J.; Schneider, Gerardo
2008	Relaxing goodness is still good for SPDIs	Pace, Gordon J.; Schneider, Gerardo

Showing results 111 to 130 of 183 < previous next >