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 11 to 30 of 132 < previous next >

Issue Date	Title	Author(s)
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
2020	Developing theoretical foundations for runtime enforcement	Cassar, Ian (2020)
2016	Device-centric monitoring for mobile device management	Chircop, Luke; Colombo, Christian; Pace, Gordon J.
2011	Distributed and highly available key value stores : analysis and variations	Mangion, Andy (2011)
2016	Do exploratory testers need formal training? An investigation using HCI techniques	Micallef, Mark; Porter, Chris; Borg, Andrea
2017	A domain specific language integrating testing and runtime verification	Attard, Natasha
2011	Driver fatigue monitoring system	Sacco, Matthew (2011)
2010	Dynamic automata in LARVA	Cassar, John Paul (2010)
2013	An Eclipse plug-in for polyLARVA	Chetcuti, Silvan (2013)
2011	Elarva : runtime verification for message passing concurrency	Gatt, Rudolph (2011)
2010	Enterprise API support tool	Sultana, Kurt (2010)

Showing results 11 to 30 of 132 < previous next >