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 69 to 88 of 132 < previous next >

Issue Date	Title	Author(s)
2014	polyLarva plugin for PHP	Attard, Jonathan (2014)
2008	Practical runtime monitoring with impact guarantees of Java programs with real-time constraints	Colombo, Christian
2005	The practice of factor analysing tourism surveys	Gusman, Roderick (2005)
2017	Preliminary investigations on runtime enforcement implementations	Farrugia, Karl
2016	Preliminary results towards contract monitorability	Vella, Annalizz; Francalanza, Adrian
2010	Protein matching using runtime verification	Bouvett, Maria (2010)
2019	Pushing runtime verification to the limit : may process semantics be with us	Della Monica, Dario; Francalanza, Adrian
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

Showing results 69 to 88 of 132 < previous next >