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

Issue Date	Title	Author(s)
2015	Improving runtime overheads for detectEr	Cassar, Ian; Francalanza, Adrian; Said, Simon
2016-11	Improving the automatic runtime monitor generation process via pruning : a way forward	Chircop, Luke; Colombo, Christian; Micallef, Mark; Francalanza, Adrian; Pace, Gordon J.
2023	Instrumenting inline runtime monitoring in Elixir	Gauci, Paul (2023)
2018	Introduction to runtime verification	Bartocci, Ezio; Falcone, Yliès; Francalanza, Adrian; Reger, Giles
2022-07	Investigating cognitive workload during comprehension and application tasks in software testing	Camilleri, Daryl; Micallef, Mark; Porter, Chris
2015	Investigating instrumentation techniques for ESB runtime verification	Colombo, Christian; Dimech, Gabriel; Francalanza, Adrian
2015	Is Carmen better than George? Testing the exploratory tester using HCI techniques	Borg, Andrea; Porter, Chris; Micallef, Mark
2004	Just-in-time support using open source technologies	Spiteri, Joseph (2004)
2021	Mechanising symbolic controllability	Xuereb, Jasmine (2021)
2010	MICE : mobility in case of emergency	Abela, Jonathan (2010)
1989	Microprocessor controlled telesignalling system	Calleja, Ronald (1989)
2016	A model-based approach to combining static and dynamic verification techniques	Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2021	Model-based static and runtime verification for ethereum smart contracts	Azzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2013	Monitor-oriented compensation programming through compensating automata	Colombo, Christian; Pace, Gordon J.
2017	Monitorability for the Hennessy-Milner logic with recursion	Francalanza, Adrian; Aceto, Luca; Ingólfsdóttir, Anna
2016	Monitorability of contracts for web services	Vella, Annalizz
2012	A monitoring approach for dynamic service-oriented architecture systems	Dan, Yufang; Stouls, Nicolas; Frénot, Stéphane; Colombo, Christian
2014	Monitoring distributed systems with distributed polyLarva	Cassar, Ian; Francalanza, Adrian; Colombo, Christian
2016	A monitoring tool for a branching-time logic	Attard, Duncan Paul; Francalanza, Adrian
2021	On benchmarking for concurrent runtime verification	Aceto, Luca; Attard, Duncan Paul; Francalanza, Adrian; Ingólfsdóttir, Anna

Showing results 40 to 59 of 132 < previous next >