A Framework for Parameterized Monitorability-Reference-Cited by-同舟云学术

A Framework for Parameterized Monitorability

Published:2018 Issue: Volume: Page:203-220
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Aceto Luca^ORCID,Achilleos Antonis^ORCID,Francalanza Adrian^ORCID,Ingólfsdóttir Anna^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-89366-2_11

Reference35 articles.

1. Abramsky, S.: Observation equivalence as a testing equivalence. Theor. Comput. Sci. 53(2–3), 225–241 (1987)

2. Aceto, L., Achilleos, A., Francalanza, A., Ingólfsdóttir, A.: Monitoring for silent actions. In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017 (2017, to appear)

3. Aceto, L., Achilleos, A., Francalanza, A., Ingólfsdóttir, A., Kjartansson, S.Ö.: Determinizing monitors for HML with recursion. CoRR abs/1611.10212 (2016)

4. Aceto, L., Ingólfsdóttir, A., Larsen, K.G., Srba, J.: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, New York (2007)

5. Lecture Notes in Computer Science;W Ahrendt,2015

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On first-order runtime enforcement of branching-time properties;Acta Informatica;2023-08-03

2. Bidirectional Runtime Enforcement of First-Order Branching-Time Properties;Logical Methods in Computer Science;2023-02-28

3. A Monitoring Tool for Linear-Time $$\mu $$HML;Lecture Notes in Computer Science;2022

4. On Probabilistic Monitorability;Lecture Notes in Computer Science;2022

5. A theory of monitors;Information and Computation;2021-12