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 59 to 78 of 132 < previous next >

Issue Date	Title	Author(s)
2021	On benchmarking for concurrent runtime verification	Aceto, Luca; Attard, Duncan Paul; Francalanza, Adrian; Ingólfsdóttir, Anna
2021	On bidirectional runtime enforcement	Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2016	On implementing a monitor-oriented programming framework for actor systems	Cassar, Ian; Francalanza, Adrian
2020	On implementing symbolic controllability	Francalanza, Adrian; Xuereb, Jasmine
2018	On runtime enforcement via suppressions	Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
2017	On the complexity of determinizing monitors	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Saevar Orn
2016	On the runtime enforcement of evolving privacy policies in online social networks	Pace, Gordon J.; Pardo, Raul; Schneider, Gerardo
2019	An operational guide to monitorability	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2021	An operational guide to monitorability with applications to regular properties	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2013	OSGiLarva : a monitoring framework supporting OSGi’s dynamicity	Dan, Yufang; Stouls, Nicolas; Colombo, Christian; Frénot, Stéphane
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

Showing results 59 to 78 of 132 < previous next >