Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems-Reference-Cited by-同舟云学术

Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems

Published:2000 Issue: Volume: Page:419-434
ISSN:0302-9743
Container-title:Computer Aided Verification
language:
Short-container-title:

Author:

Annichini Aurore,Asarin Eugene,Bouajjani Ahmed

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/10722167_32

Reference30 articles.

1. Lecture Notes in Computer Science;P. Abdulla,1999

2. Lecture Notes in Computer Science;P.A. Abdulla,1999

3. Alur, R., Courcoubetis, C., Dill, D., Halbwachs, N., Wong-Toi, H.: An implementation of three algorithms for timing verification based on au-tomata emptiness. In: RTSS 1992. IEEE, Los Alamitos (1992)

4. Alur, R., Dill, D.: A Theory of Timed Automata. TCS 126 (1994)

5. Alur, R., Henzinger, T.A., Vardi, M.Y.: Parametric real-time reasoning. In: Proceedings of the 25th Annual Symposium on Theory of Computing, pp. 592–601. ACM Press, New York (1993)

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

1. Flat Petri Nets (Invited Talk);Application and Theory of Petri Nets and Concurrency;2021

2. Fault diagnosis of body sensor networks using hidden Markov model;Peer-to-Peer Networking and Applications;2016-05-21

3. Acceleration in Multi-PushDown Systems;Tools and Algorithms for the Construction and Analysis of Systems;2016

4. RTD-Finder: A Tool for Compositional Verification of Real-Time Component-Based Systems;Tools and Algorithms for the Construction and Analysis of Systems;2016

5. Symbolic Quantitative Robustness Analysis of Timed Automata;Tools and Algorithms for the Construction and Analysis of Systems;2015