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 47  next >
Issue DateTitleAuthor(s)
2016An automata-based approach to evolving privacy policies for social networksPardo, Raul; Colombo, Christian; Pace, Gordon J.; Schneider, Gerardo
2017Automated checking for deterministic monitor behaviourBuhagiar, Andrew
2020Blockchain-based traceability of the wine supply chainCamilleri, Gabriel (2020)
2017A calculus supporting contract reasoning and monitoringCambronero, Maria Emilia; Llana, Luis; Pace, Gordon J.
2010Compensation-aware runtime monitoringColombo, Christian; Pace, Gordon J.; Abela, Patrick
2014Comprehensive monitor-oriented compensation programmingColombo, Christian; Pace, Gordon J.
2012Considerations for monitoring highly concurrent systemsMizzi, Ruth; Colombo, Christian; Francalanza, Adrian; Pace, Gordon J.
2016Device-centric monitoring for mobile device managementChircop, Luke; Colombo, Christian; Pace, Gordon J.
2017A domain specific language integrating testing and runtime verificationAttard, Natasha
2018Expressing runtime verification properties using regular expression in LARVAChatlani, Avinash
2015Extracting runtime monitors from Gherkin specificationsSpiteri, Keith
2012Fast-forward runtime monitoring - an industrial case studyColombo, Christian; Pace, Gordon J.
2010How audit software helps to achieve quality in auditingVella, Angele
2015Improving runtime overheads for detectErCassar, Ian; Francalanza, Adrian; Said, Simon
2015Investigating instrumentation techniques for ESB runtime verificationColombo, Christian; Dimech, Gabriel; Francalanza, Adrian
2016A model-based approach to combining static and dynamic verification techniquesAzzopardi, Shaun; Colombo, Christian; Pace, Gordon J.
2013Monitor-oriented compensation programming through compensating automataColombo, Christian; Pace, Gordon J.
2017Monitorability for the Hennessy-Milner logic with recursionFrancalanzaa, Adrian; Aceto, Luca; Ingolfsdottir, Anna
2016Monitorability of contracts for web servicesVella, Annalizz
2014Monitoring distributed systems with distributed polyLarvaCassar, Ian; Francalanza, Adrian; Colombo, Christian