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 1 to 20 of 132 next >

Issue Date	Title	Author(s)
2008	Achieving full eID mobility across federated political domains : a case for mobile identity with operator and ME/SIM platform independence	Porter, Chris
2019-01	Adventures in monitorability : from branching to linear time and back again	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2014	An aspect-oriented system specification language based on Gherkin	Aquilina Alamango, John (2014)
2022	Assessing task difficulty in software testing using biometric measures	Camilleri, Daryl; Micallef, Mark; Porter, Chris
2016	An automata-based approach to evolving privacy policies for social networks	Pardo, Raul; Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2017	Automated checking for deterministic monitor behaviour	Buhagiar, Andrew
2014	Automated monitor generation from jUnit tests	Micallef, Jonathan (2014)
2021	The best a monitor can do	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2021	Better late than never or : verifying asynchronous components at runtime	Attard, Duncan Paul; Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
2020	Blockchain-based traceability of the wine supply chain	Camilleri, Gabriel (2020)
2017	A calculus supporting contract reasoning and monitoring	Cambronero, Maria-Emilia; Llana, Luis; Pace, Gordon J.
2021-04	A choreographed outline instrumentation approach for asynchronous components	Aceto, Luca; Attard, Duncan Paul; Francalanza, Adrian; Ingólfsdóttir, Anna
2020	CLARVA : model-based residual verification of Java programs	Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2010	Compensation-aware runtime monitoring	Colombo, Christian; Pace, Gordon J.; Abela, Patrick
2014	Comprehensive monitor-oriented compensation programming	Colombo, Christian; Pace, Gordon J.
2012	Considerations for monitoring highly concurrent systems	Mizzi, Ruth; Colombo, Christian; Francalanza, Adrian; Pace, Gordon J.
2018	Considering academia-industry projects meta-characteristics in runtime verification design	Colombo, Christian; Pace, Gordon J.
2019	COST Action IC 1402 ArVI : runtime verification beyond monitoring - activity report of working group 1	Ahrendt, Wolfgang; Artho, Cyrille; Colombo, Christian; Falcone, Yliès; Krstić, Srđan; Leucker, Martin; Lorber, Florian; Lourenço, Joa̋o M.; Mariani, Leonardo; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker
2018	COST Action IC1402 runtime verification beyond monitoring	Colombo, Christian; Falcone, Yliès; Leucker, Martin; Reger, Giles; Sanchez, Cesar; Schneider, Gerardo; Stolz, Volker
2019	The cost of monitoring alone	Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina

Showing results 1 to 20 of 132 next >