Robust Model-Checking of Timed Automata via Pumping in Channel Machines-Reference-Cited by-同舟云学术

Robust Model-Checking of Timed Automata via Pumping in Channel Machines

Published:2011 Issue: Volume: Page:97-112
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Bouyer Patricia,Markey Nicolas,Sankur Ocan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-24310-3_8

Reference15 articles.

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

2. Bouyer, P., Chevalier, F.: On conciseness of extensions of timed automata. Journal of Automata, Languages and Combinatorics 10(4), 393–405 (2005)

3. Bouyer, P., Markey, N., Ouaknine, J., Worrell, J.: The cost of punctuality. In: LICS 2007, Wrocław, Poland, pp. 109–118. IEEE Computer Society Press, Los Alamitos (2007)

4. Lecture Notes in Computer Science;P. Bouyer,2006

5. Lecture Notes in Computer Science;P. Bouyer,2008

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

1. Combining free choice and time in Petri nets;Journal of Logical and Algebraic Methods in Programming;2020-01

2. Model-Based Analysis of Temporal Properties;Communications in Computer and Information Science;2018

3. Robust Model Checking of Timed Automata under Clock Drifts;Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control;2017-04-13

4. Model measuring for discrete and hybrid systems;Nonlinear Analysis: Hybrid Systems;2017-02

5. Robustness of Time Petri Nets under Guard Enlargement;Fundamenta Informaticae;2016-03-04