The Power of Reachability Testing for Timed Automata-Reference-Cited by-同舟云学术

The Power of Reachability Testing for Timed Automata

Published:1998 Issue: Volume: Page:245-256
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Aceto Luca,Bouyer Patricia,Burgueño Augusto,Larsen Kim G.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-49382-2_22

Reference9 articles.

1. Aceto, L., Bouyer, P., Burgueño, A., Larsen, K.G.: The power of reachability testing for timed automata (1998) (Forthcoming paper)

2. Lecture Notes in Computer Science;L. Aceto,1998

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

4. Burgueño, A.: Model-checking via Testing and Parametric Analysis of Timed Systems, PhD thesis, École Nationale Supérieure de l’Aéronautique et de l’Éspace, Toulouse, France (June 1998)

5. Henzinger, T.A., Ho, P.-H., Wong-Toi, H.: HyTech: the next generation. In: Proc. of the 16th Real-time Systems Symposium, RTSS 1995. IEEE Computer Society press, Los Alamitos (1995)

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

1. From Statistical Model Checking to Run-Time Monitoring Using a Bayesian Network Approach;Runtime Verification;2020

2. Verification of an Industrial Asynchronous Leader Election Algorithm Using Abstractions and Parametric Model Checking;Lecture Notes in Computer Science;2019

3. A Benchmark Library for Parametric Timed Model Checking;Communications in Computer and Information Science;2019

4. Continuous-Time Models for System Design and Analysis;Lecture Notes in Computer Science;2019

5. Parametric Verification: An Introduction;Transactions on Petri Nets and Other Models of Concurrency XIV;2019