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

Issue Date	Title	Author(s)
2020	Real-time triggering of Android memory dumps for stealthy attack investigation	Bellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio
2013	Recovery within long running transactions	Colombo, Christian; Pace, Gordon J.
2020	Reducing the forensic footprint with Android accessibility attacks	Leguesse, Yonas; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio
2009	Resource-bounded runtime verification of Java programs with real-time properties	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2021	Responding to living-off-the-land tactics using just-in-time memory forensics (JIT-MF) for Android	Bellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio
2022	Responding to targeted stealthy attacks on android using timely-captured memory dumps	Bellizzi, Jennifer; Vella, Mark Joseph; Colombo, Christian; Hernandez-Castro, Julio
2016-06	Run-time monitoring for the diagnosis and recovery of complex physical systems	Cataldo, Giacinto De; Colombo, Christian; Franco, Antonio; Pace, Gordon J.; Valentino, Gianluca; Vella, Kevin
2018	Runtime verification	Colombo, Christian; Leucker, Martin
2012	Runtime verification and compensations	Colombo, Christian
2016	Runtime verification for stream processing applications	Colombo, Christian; Pace, Gordon J.; Camilleri, Luke; Dimech, Claire; Farrugia, Reuben A.; Grech, Jean Paul; Magro, Alessio; Sammut, Andrew C.; Zarb Adami, Kristian
2023	Runtime verification for trustworthy computing	Abela, Robert; Colombo, Christian; Curmi, Axel; Fenech, Mattea; Vella, Mark; Ferrando, Angelo
2021	Runtime verification for trustworthy secure shell deployment	Curmi, Axel; Colombo, Christian; Vella, Mark Joseph
2020	Runtime verification of contracts with Themulus	Aranda Garcia, Alberto; Cambronero, Maria-Emilia; Colombo, Christian; Llana, Luis; Pace, Gordon J.
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.
2021	Runtime verification: passing on the baton	Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2021	RV-TEE : secure cryptographic protocol execution based on runtime verification	Vella, Mark Joseph; Colombo, Christian; Abela, Robert; Špaček, Peter
2022	RV-TEE-based trustworthy secure shell deployment : an empirical evaluation	Curmi, Axel; Colombo, Christian; Vella, Mark Joseph
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

Showing results 81 to 100 of 124 < previous next >