OAR@UM: Browsing OAR@UM

Browsing by Author Colombo, Christian

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 62 to 81 of 124 < previous next >

Issue Date	Title	Author(s)
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.
2013	Monitor-oriented compensation programming through compensating automata	Colombo, Christian; Pace, Gordon J.
2012	A monitoring approach for dynamic service-oriented architecture systems	Dan, Yufang; Stouls, Nicolas; Frénot, Stéphane; Colombo, Christian
2014	Monitoring distributed systems with distributed polyLarva	Cassar, Ian; Francalanza, Adrian; Colombo, Christian
2015-09	Mutate my software	Micallef, Mark; Colombo, Christian
2009	Offline runtime verification with real-time properties : a case study	Colombo, Christian; Pace, Gordon J.; Abela, Patrick
2016	Organising LTL monitors over distributed systems with a global clock	Colombo, Christian; Falcone, Yliès
2013	OSGiLarva : a monitoring framework supporting OSGi’s dynamicity	Dan, Yufang; Stouls, Nicolas; Colombo, Christian; Frénot, Stéphane
2015-11	An overview of techniques aimed at automatically generating oracles from tests	Chircop, Luke; Colombo, Christian; Francalanza, Adrian; Micallef, Mark; Pace, Gordon J.
2023-06	The pedagogical role of philosophy in a community of inquiry	Fenech, Luke; Colombo, Christian
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.
2021	PoPL : proof-of-presence and locality, or how to secure financial transactions on your smartphone	Leguesse, Yonas; Colombo, Christian; Vella, Mark Joseph; Hernandez-Castro, Julio
2008	A practical approach to runtime verification of real-time properties for Java programs	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2008	Practical runtime monitoring with impact guarantees of java programs with real-time constraints	Colombo, Christian
2008	Practical runtime monitoring with impact guarantees of Java programs with real-time constraints	Colombo, Christian
2021	Preface	Leucker, Martin; Colombo, Christian
2012	Programming compensations for system-monitor synchronisation	Colombo, Christian; Pace, Gordon J.
2020	Real-time triggering of Android memory dumps for stealthy attack investigation	Bellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio

Showing results 62 to 81 of 124 < previous next >