On Distributed Monitoring of Asynchronous Systems-Reference-Cited by-同舟云学术

On Distributed Monitoring of Asynchronous Systems

Published:2012 Issue: Volume: Page:70-84
ISSN:0302-9743
Container-title:Logic, Language, Information and Computation
language:
Short-container-title:

Author:

Diekert Volker,Muscholl Anca

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-32621-9_5

Reference17 articles.

1. Lecture Notes in Computer Science;A. Bauer,2006

2. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4) (2011)

3. Chadha, R., Sistla, A.P., Viswanathan, M.: On the expressiveness and complexity of randomization in finite state monitors. J. ACM 56(5) (2009)

4. Diekert, V., Gastin, P.: Local safety and local liveness for distributed systems. In: Perspectives in Concurrency Theory, pp. 86–106. IARCS-Universities (2009)

5. Diekert, V., Muscholl, A.: Deterministic asynchronous automata for infinite traces. Acta Informatica 31, 379–397 (1994)

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

1. On Decentralized Monitoring;Lecture Notes in Computer Science;2022

2. Graphic modeling in Distributed Autonomous and Asynchronous Automata (DA3);Software and Systems Modeling;2021-11-01

3. On the Monitoring of Decentralized Specifications;ACM Transactions on Software Engineering and Methodology;2020-01-31

4. Distributed Autonomous and Asynchronous Automata (DA3);Studies in Computational Intelligence;2019-03-17

5. Monitoring decentralized specifications;Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis;2017-07-10