Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/40615
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Pedro, André Matos | por |
dc.contributor.author | Pereira, David | por |
dc.contributor.author | Pinho, Luís Miguel | por |
dc.contributor.author | Pinto, Jorge Sousa | por |
dc.date.accessioned | 2016-03-02T17:11:24Z | - |
dc.date.available | 2016-03-02T17:11:24Z | - |
dc.date.issued | 2015-09 | - |
dc.identifier.citation | Pedro, A. M., Pereira, D., Pinho, L. M., & Pinto, J. S. (2015) Monitoring for a decidable fragment of mtl-∫. Vol. 9333. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (pp. 169-184). | por |
dc.identifier.isbn | 978-3-319-23819-7 | - |
dc.identifier.isbn | 978-3-319-23820-3 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | https://hdl.handle.net/1822/40615 | - |
dc.description.abstract | Temporal logics targeting real-time systems are traditionally undecidable. Based on a restricted fragment of MTL-R, we propose a new approach for the runtime verification of hard real-time systems. The novelty of our technique is that it is based on incremental evaluation, allowing us to e↵ectively treat duration properties (which play a crucial role in real-time systems). We describe the two levels of operation of our approach: offline simplification by quantifier removal techniques; and online evaluation of a three-valued interpretation for formulas of our fragment. Our experiments show the applicability of this mechanism as well as the validity of the provided complexity results. | por |
dc.language.iso | eng | por |
dc.publisher | Springer Verlag | por |
dc.rights | openAccess | por |
dc.title | Monitoring for a decidable fragment of MTL-∫ | por |
dc.type | conferencePaper | por |
dc.peerreviewed | yes | por |
dc.relation.publisherversion | http://link.springer.com/chapter/10.1007/978-3-319-23820-3_11 | por |
dc.comments | 2905 | por |
sdum.publicationstatus | published | por |
oaire.citationStartPage | 169 | por |
oaire.citationEndPage | 184 | por |
oaire.citationConferencePlace | Vienna, Austria | por |
oaire.citationTitle | RV 2015 : 6th International Conference on Runtime Verification | por |
oaire.citationVolume | 9333 | por |
dc.identifier.doi | 10.1007/978-3-319-23820-3_11 | por |
dc.subject.fos | Ciências Naturais::Ciências da Computação e da Informação | por |
dc.subject.wos | Science & Technology | por |
sdum.journal | Lecture Notes in Computer Science | por |
sdum.conferencePublication | RV 2015 : 6th International Conference on Runtime Verification | por |
Aparece nas coleções: |