OAR@UM: Browsing OAR@UM

Browsing by Subject Computer software -- Verification

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 76 to 95 of 132 < previous next >

Issue Date	Title	Author(s)
1988	Reliability improvement of Luqa airfield lighting system (U.C.S.)	Zammit, Christopher (1988)
2019	Residual-based combination of static and runtime verification	Azzopardi, Shaun (2019)
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
2015	Runtime adaptation for actor systems	Cassar, Ian; Francalanza, Adrian
2023	Runtime monitoring for asynchronous reactive components	Attard, Duncan Paul (2023)
2010	Runtime monitoring of distributed systems	Francalanza, Adrian; Gauci, Andrew; Pace, Gordon J.
2007	Runtime monitoring of security-critical systems	Azzopardi, Christian Stephen (2007)
2017	A runtime monitoring tool for actor-based systems	Attard, Duncan Paul; Cassar, Ian; Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2018	Runtime verification	Colombo, Christian; Leucker, Martin
2012	Runtime verification and compensations	Colombo, Christian (2012)
2020	Runtime verification for API based software	Bartolo Burlo`, Christian (2020)
2018	Runtime verification for decentralised and distributed systems	Francalanza, Adrian; Pérez, Jorge A.; Sánchez, César
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.
2012	Runtime verification of distributed systems	Masini, Joseph (2012)
2023	Runtime verification of robotic aspects of the Mars rover	Fenech, Mattea (2023)
2018	Runtime verification of timed regular expressions in Larva	Dingli, Miguel
2023	Runtime verification program side‐effects in OCaml	Sciberras, Emma (2023)

Showing results 76 to 95 of 132 < previous next >