Zobrazeno 1 - 10
of 14
pro vyhledávání: '"SRDAN KRSTIC"'
Publikováno v:
Runtime Verification ISBN: 9783030605070
RV
Lecture Notes in Computer Science, 12399
Runtime Verification
RV
Lecture Notes in Computer Science, 12399
Runtime Verification
Distributed systems are challenging for runtime verification. Centralized specifications provide a global view of the system, but their semantics requires totally-ordered observations, which are often unavailable in a distributed setting. Scalability
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ee6a3d0b3aa1b32c6ca3684424dbc4c9
https://doi.org/10.1007/978-3-030-60508-7_11
https://doi.org/10.1007/978-3-030-60508-7_11
Autor:
Lukas Heimes, Martin Raszyk, Joshua Schneider, Thibault Dardinier, Dmitriy Traytel, David Basin, Srdan Krstic
Publikováno v:
Automated Reasoning ISBN: 9783030510732
IJCAR (1)
Lecture Notes in Computer Science, 12166
Automated Reasoning
IJCAR (1)
Lecture Notes in Computer Science, 12166
Automated Reasoning
Runtime monitors for rich specification languages are sophisticated algorithms, especially when they are heavily optimized. To gain trust in them and safely explore the space of possible optimizations, it is important to verify the monitors themselve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::029c29aa2c02cf8ee0af7c5fd7e19ff4
https://doi.org/10.1007/978-3-030-51074-9_25
https://doi.org/10.1007/978-3-030-51074-9_25
Publikováno v:
FormaliSE '20: 8th International Conference on Formal Methods in Software Engineering, pp. vii–viii, Seoul, October 2020
Scopus-Elsevier
info:cnr-pdr/source/autori:Gnesi S.; Plat N.; Bae K.; Bianculli D.; Krstic S./congresso_nome:FormaliSE '20: 8th International Conference on Formal Methods in Software Engineering/congresso_luogo:Seoul/congresso_data:October 2020/anno:2020/pagina_da:vii/pagina_a:viii/intervallo_pagine:vii–viii
Scopus-Elsevier
info:cnr-pdr/source/autori:Gnesi S.; Plat N.; Bae K.; Bianculli D.; Krstic S./congresso_nome:FormaliSE '20: 8th International Conference on Formal Methods in Software Engineering/congresso_luogo:Seoul/congresso_data:October 2020/anno:2020/pagina_da:vii/pagina_a:viii/intervallo_pagine:vii–viii
Welcome to FormaliSE 2020, the 8th International Conference on Formal Methods in Software Engineering. FormaliSE is a yearly conference on Formal Methods in Software Engineering. (https://www.formalise.org/). It is organized by FME (Formal Methods Eu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a47f1f9de2f30c7e61e53c105133626b
https://openportal.isti.cnr.it/doc?id=people______::8b5fcd0d37abc02f331799aea6125dd7
https://openportal.isti.cnr.it/doc?id=people______::8b5fcd0d37abc02f331799aea6125dd7
Publikováno v:
Formal Methods in System Design, 54 (3)
A monitoring algorithm is trace-length independent if its space consumption does not depend on the number of events processed. The analysis of many monitoring algorithms has aimed at establishing their trace-length independence. But a monitor’s spa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e5471bdb6bc65ad93de722e576354e9e
https://hdl.handle.net/20.500.11850/380024
https://hdl.handle.net/20.500.11850/380024
Publikováno v:
Automated Technology for Verification and Analysis ISBN: 9783030317836
ATVA
Lecture Notes in Computer Science, 11781
Automated Technology for Verification and Analysis. 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
ATVA
Lecture Notes in Computer Science, 11781
Automated Technology for Verification and Analysis. 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings
We present a novel approach to the offline monitoring of specifications expressed in metric temporal logic (MTL). Our monitoring algorithm exploits multiple one-way reading heads that traverse a trace sequentially. We present both theoretical and pra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::779fcfd8683d70d10e33e95e3ffc39da
https://doi.org/10.1007/978-3-030-31784-3_9
https://doi.org/10.1007/978-3-030-31784-3_9
Publikováno v:
Lecture Notes in Computer Science, 11757
Runtime Verification
Runtime Verification ISBN: 9783030320782
RV
Runtime Verification
Runtime Verification ISBN: 9783030320782
RV
Runtime verification tools must correctly establish a specification’s validity or detect violations. This task is difficult, especially when the specification is given in an expressive declarative language that demands a non-trivial monitoring algo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b5f17cd6655a856fd183dca9ffcdde86
https://hdl.handle.net/20.500.11850/375843
https://hdl.handle.net/20.500.11850/375843
Publikováno v:
Lecture Notes in Computer Science, 11781
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis ISBN: 9783030317836
ATVA
Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis ISBN: 9783030317836
ATVA
Online first-order monitoring is the task of detecting temporal patterns in streams of events carrying data. Considerable research has been devoted to scaling up monitoring using parallelization by partitioning events based on their data values and p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7a236b1e56c7bf808b2d36a0e628d283
https://hdl.handle.net/20.500.11850/375844
https://hdl.handle.net/20.500.11850/375844
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)
The relational calculus (RC) is a concise, declarative query language. However, existing RC query evaluation approaches are inefficient and often deviate from established algorithms based on finite tables used in database management systems. We devis
Externí odkaz:
https://doaj.org/article/8705315f0b46493d8d1b6d4ce8b1d075
Publikováno v:
Runtime Verification ISBN: 9783030037680
RV
International Journal on Software Tools for Technology Transfer, 23 (2)
Schneider, J, Basin, D, Brix, F, Krstić, S & Traytel, D 2021, ' Scalable online first-order monitoring ', International Journal on Software Tools for Technology Transfer, vol. 23, no. 2, pp. 185-208 . https://doi.org/10.1007/S10009-021-00607-1
Lecture Notes in Computer Science, 11237
Runtime Verification: 18th International Conference, RV 2018 Limassol, Cyprus, November 10–13, 2018: Proceedings
RV
International Journal on Software Tools for Technology Transfer, 23 (2)
Schneider, J, Basin, D, Brix, F, Krstić, S & Traytel, D 2021, ' Scalable online first-order monitoring ', International Journal on Software Tools for Technology Transfer, vol. 23, no. 2, pp. 185-208 . https://doi.org/10.1007/S10009-021-00607-1
Lecture Notes in Computer Science, 11237
Runtime Verification: 18th International Conference, RV 2018 Limassol, Cyprus, November 10–13, 2018: Proceedings
Online monitoring is the task of identifying complex temporal patterns while incrementally processing streams of data-carrying events. Existing state-of-the-art monitors for first-order patterns, which may refer to and quantify over data values, can
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aa64a682ce975972c81a35266254e3de
https://doi.org/10.1007/978-3-030-03769-7_20
https://doi.org/10.1007/978-3-030-03769-7_20
Publikováno v:
Runtime Verification ISBN: 9783319675305
RV
RV
Linear temporal logic (LTL) and its quantitative extension metric temporal logic (MTL) are standard languages for specifying system behaviors. Regular expressions are an even more expressive formalism in the non-metric setting and several extensions
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd5a1141616e7d671e7d10499454a124
https://doi.org/10.1007/978-3-319-67531-2_6
https://doi.org/10.1007/978-3-319-67531-2_6