Model Checking Prioritized Timed Automata-Reference-Cited by-同舟云学术

Model Checking Prioritized Timed Automata

Published:2005 Issue: Volume: Page:370-384
ISSN:0302-9743
Container-title:Automated Technology for Verification and Analysis
language:
Short-container-title:

Author:

Lin Shang-Wei,Hsiung Pao-Ann,Huang Chun-Hsian,Chen Yean-Ru

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11562948_28.pdf

Reference24 articles.

1. Lecture Notes in Computer Science;K. Altisen,2000

2. Altisen, K., Gössler, G., Sifakis, J.: Scheduler modeling based on the controller synthesis paradigm. Real-Time Systems 23, 55–84 (2002)

3. Alur, R., Courcoubetis, C., Dill, D.L.: Model-checking for real-time systems. In: Proceedings of the 5th Annual Symposium on Logic in Computer Science, pp. 414–425. IEEE Computer Society Press, Los Alamitos (1990)

4. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)

5. Baeten, J.C.M., Bergstra, J.A., Klop, J.W.: Syntax and defining equations for an interrupt mechanism in process algebra. Technical Report CS-R8503, Centre for Mathematics and Computer Science, Amsterdam, The Netherlands (1985)

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

1. Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning;Lecture Notes in Computer Science;2014

2. An Efficient Algorithm for Learning Event-Recording Automata;Automated Technology for Verification and Analysis;2011

3. Testing Real-Time Systems Using TINA;Testing of Software and Communication Systems;2009

4. Modeling and Automatic Failure Analysis of Safety-Critical Systems Using Extended Safecharts;Lecture Notes in Computer Science;2007

5. Model Checking Timed Systems with Urgencies;Automated Technology for Verification and Analysis;2006