Author:
Abdeddaïm Yasmina,Maler Oded
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lect Notes Comput Sci;R. Alur,2001
2. K. Altisen, G. Goessler, A. Pnueli, J. Sifakis, S. Tripakis and S. Yovine, A Framework for Scheduler Synthesis. Proc. RTSS’99, 154–163, IEEE, 1999.
3. R. Alur, C. Courcoubetis, and D.L. Dill, Model Checking in Dense Real Time, Information and Computation 104, 2–34, 1993.
4. R. Alur and D.L. Dill, A Theory of Timed Automata, Theoretical Computer Science 126, 183–235, 1994.
5. Lect Notes Comput Sci;E. Asarin,1999
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Developing a Scheduling Tool for Machining Centers Using Real-time Model Checking;Transactions of the Institute of Systems, Control and Information Engineers;2022-07-15
2. Monte Carlo Tree Search for Priced Timed Automata;Quantitative Evaluation of Systems;2022
3. Timed Automata Relaxation for Reachability;Tools and Algorithms for the Construction and Analysis of Systems;2021
4. A Benchmark Library for Parametric Timed Model Checking;Communications in Computer and Information Science;2019
5. Model checking: recent improvements and applications;International Journal on Software Tools for Technology Transfer;2018-07-24