Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/23224
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Cassar, Ian | - |
dc.contributor.author | Francalanza, Adrian | - |
dc.contributor.author | Said, Simon | - |
dc.date.accessioned | 2017-10-31T13:27:54Z | - |
dc.date.available | 2017-10-31T13:27:54Z | - |
dc.date.issued | 2015 | - |
dc.identifier.citation | Cassar, I., Francalanza, A., & Said, S. (2015). Improving runtime overheads for detectEr. 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, London. 1-8. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar//handle/123456789/23224 | - |
dc.description.abstract | We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of concurrent monitors from correctness properties for Erlang programs. We implement these optimisations as part of the existing tool and show that they yield considerably lower runtime overheads when compared to the unoptimised monitor synthesis. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | FESCA | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Computer software -- Verification | en_GB |
dc.subject | Aspect-oriented programming | en_GB |
dc.subject | Computer software -- Testing | en_GB |
dc.subject | Real-time data processing | en_GB |
dc.title | Improving runtime overheads for detectEr | en_GB |
dc.type | conferenceObject | en_GB |
dc.rights.holder | The copyright of this work belongs to the author(s)/publisher. The rights of this work are as defined by the appropriate Copyright Legislation or as modified by any successive legislation. Users may access this work and can make use of the information contained in accordance with the Copyright Legislation provided that the author must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the prior permission of the copyright holder | en_GB |
dc.bibliographicCitation.conferencename | 12th International Workshop on Formal Engineering approaches to Software Components and Architectures | en_GB |
dc.bibliographicCitation.conferenceplace | London, UK, 12/04/2015 | en_GB |
dc.description.reviewed | peer-reviewed | en_GB |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
1503.04912.pdf | 834.95 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.