Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next?-Reference-Cited by-同舟云学术

Zone-Based Verification of Timed Automata: Extrapolations, Simulations and What Next?

Published:2022 Issue: Volume: Page:16-42
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bouyer Patricia^ORCID,Gastin Paul^ORCID,Herbreteau Frédéric^ORCID,Sankur Ocan^ORCID,Srivathsan B.^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-15839-1_2

Reference91 articles.

1. Akshay, S., Gastin, P., Govind, R., Srivathsan, B.: Simulations for event-clock automata. In: Proceedings of 33th International Conference on Concurrency Theory (CONCUR 2022). Lecture Notes in Computer Science, Springer, Cham (2022, to appear)

2. Lecture Notes in Computer Science;S Akshay,2021

3. Alur, R., Courcoubetis, C., Dill, D.L., Halbwachs, N., Wong-Toi, H.: An implementation of three algorithms for timing verification based on automata emptiness. In: Proceedings of 13th IEEE Real-Time Systems Symposium (RTSS 1992), pp. 157–166. IEEE Computer Society Press (1992)

4. Lecture Notes in Computer Science;R Alur,1990

5. Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994)

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

1. Deriving Delay-Robust Timed Graph Transformation System Models;Lecture Notes in Computer Science;2024

2. Parameterized Verification of Disjunctive Timed Networks;Lecture Notes in Computer Science;2023-12-30

3. An evaluation of approaches to model checking real-time task schedulability analysis;International Journal on Software Tools for Technology Transfer;2023-01-19

4. Timed Automata Verification and Synthesis via Finite Automata Learning;Tools and Algorithms for the Construction and Analysis of Systems;2023

5. Dynamic Extrapolation in Extended Timed Automata;Formal Methods and Software Engineering;2023