Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/86002Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Aceto, Luca | - |
| dc.contributor.author | Cassar, Ian | - |
| dc.contributor.author | Francalanza, Adrian | - |
| dc.contributor.author | Ingólfsdóttir, Anna | - |
| dc.date.accessioned | 2021-12-22T13:27:33Z | - |
| dc.date.available | 2021-12-22T13:27:33Z | - |
| dc.date.issued | 2021 | - |
| dc.identifier.citation | Aceto, L., Cassar, I., Francalanza, A., & Ingólfsdóttir, A. (2021). On bidirectional runtime enforcement. 41st IFIP WG 6.1 International Conference, FORTE 2021, Valletta. 3-21. | en_GB |
| dc.identifier.uri | https://www.um.edu.mt/library/oar/handle/123456789/86002 | - |
| dc.description.abstract | Runtime enforcement is a dynamic analysis technique that instruments a monitor with a system in order to ensure its correctness as specified by some property. This paper explores bidirectional enforcement strategies for properties describing the input and output behaviour of a system. We develop an operational framework for bidirectional enforcement and use it to study the enforceability of the safety fragment of Hennessy-Milner logic with recursion (sHML). We provide an automated synthesis function that generates correct monitors from sHML formulas, and show that this logic is enforceable via a specific type of bidirectional enforcement monitors called action disabling monitors. | en_GB |
| dc.description.sponsorship | This work was partly supported by the projects “TheoFoMon: Theoretical Foundations for Monitorability” (nr.163406-051),“Developing Theoretical Foundations for Runtime Enforcement” (nr.184776-051) and “MoVeMnt: Mode(l)s of Verification and Monitorability” (nr.217987-051) of the Icelandic Research Fund, by the Italian MIUR project PRIN 2017FTXR7S IT MATTERS “Methods and Tools for Trustworthy Smart Systems”, by the EU H2020 RISE programme under the Marie Skłodowska-Curie grant agreement nr. 778233, and by the Endeavour Scholarship Scheme (Malta), part-financed by the European Social Fund (ESF) - Operational Programme II – 2014–2020. | en_GB |
| dc.language.iso | en | en_GB |
| dc.publisher | Springer | en_GB |
| dc.rights | info:eu-repo/semantics/restrictedAccess | en_GB |
| dc.subject | Software engineering | en_GB |
| dc.subject | Computer software -- Verification | en_GB |
| dc.subject | Computer logic | en_GB |
| dc.subject | Object monitors (Computer software) | en_GB |
| dc.subject | Recursive functions -- Data processing | en_GB |
| dc.title | On bidirectional runtime enforcement | en_GB |
| dc.title.alternative | Formal Techniques for Distributed Objects, Components, and Systems. FORTE 2021. Lecture Notes in Computer Science, vol 12719 | 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 | 41st IFIP WG 6.1 International Conference, FORTE 2021 | en_GB |
| dc.bibliographicCitation.conferenceplace | Valletta, Malta, 14-18/06/2021 | en_GB |
| dc.description.reviewed | peer-reviewed | en_GB |
| dc.identifier.doi | 10.1007/978-3-030-78089-0_1 | - |
| Appears in Collections: | Scholarly Works - FacICTCS | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| On Bidirectional Runtime Enforcement.pdf Restricted Access | 563.37 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.