Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/91267
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Sánchez, César | - |
dc.contributor.author | Schneider, Gerardo | - |
dc.contributor.author | Ahrendt, Wolfgang | - |
dc.contributor.author | Bartocci, Ezio | - |
dc.contributor.author | Bianculli, Domenico | - |
dc.contributor.author | Colombo, Christian | - |
dc.contributor.author | Falcone, Yliès | - |
dc.contributor.author | Francalanza, Adrian | - |
dc.contributor.author | Krstić, Srđan | - |
dc.contributor.author | Lourenço, Joa̋o M. | - |
dc.contributor.author | Nickovic, Dejan | - |
dc.contributor.author | Pace, Gordon J. | - |
dc.contributor.author | Rufino, Jose | - |
dc.contributor.author | Signoles, Julien | - |
dc.contributor.author | Traytel, Dmitriy | - |
dc.contributor.author | Weiss, Alexander | - |
dc.date.accessioned | 2022-03-14T09:20:31Z | - |
dc.date.available | 2022-03-14T09:20:31Z | - |
dc.date.issued | 2019 | - |
dc.identifier.citation | Sánchez, C., Schneider, G., Ahrendt, W., Bartocci, E., Bianculli, D., Colombo, C.,…Weiss, A. (2019). A survey of challenges for runtime verification from advanced application domains (beyond software). Formal Methods in System Design, 54, 279-335. | en_GB |
dc.identifier.uri | https://www.um.edu.mt/library/oar/handle/123456789/91267 | - |
dc.description.abstract | Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors. Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor. Most of the applications in runtime verification have been focused on the dynamic analysis of software, even though there are many more potential applications to other computational devices and target systems. In this paper we present a collection of challenges for runtime verification extracted from concrete application domains, focusing on the difficulties that must be overcome to tackle these specific challenges. The computational models that characterize these domains require to devise new techniques beyond the current state of the art in runtime verification. | en_GB |
dc.language.iso | en | en_GB |
dc.publisher | Springer | en_GB |
dc.rights | info:eu-repo/semantics/openAccess | en_GB |
dc.subject | Computer science | en_GB |
dc.subject | Computer software -- Verification | en_GB |
dc.subject | Formal methods (Computer science) | en_GB |
dc.title | A survey of challenges for runtime verification from advanced application domains (beyond software) | en_GB |
dc.type | article | 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.description.reviewed | peer-reviewed | en_GB |
dc.identifier.doi | 10.1007/s10703-019-00337-w | - |
dc.publication.title | Formal Methods in System Design | en_GB |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
A_of_challenges_for_runtime_verification_from_advanced_application_domains_beyond_software_2019.pdf | 507.66 kB | Adobe PDF | View/Open |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.