Author:
Fersman Elena,Mokrushin Leonid,Pettersson Paul,Yi Wang
Subject
General Computer Science,Theoretical Computer Science
Reference26 articles.
1. Y. Abdeddaı¨m, O. Maler, Job-shop scheduling using timed automata, in: Proc. CAV’01, Lecture Notes in Computer Science, Vol. 2102, Springer, Berlin, 2001, pp. 478–492.
2. Preemptive job-shop scheduling using stopwatch automata;Abdeddaı¨m,2002
3. A framework for scheduler synthesis;Altisen,1999
4. K. Altisen, G. Gößler, J. Sifakis, A methodology for the construction of scheduled systems, in: Proc. FTRTFT’2000, Lecture Notes in Computer Science, Vol. 1926, Springer, Berlin, 2000, pp. 106–120.
5. Scheduler modeling based on the controller synthesis paradigm;Altisen;J. Real-Time Systems (special issue on control approaches to real-time computing),2002
Cited by
49 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Generalized Graph Real-Time Task Model;2022 IEEE 20th International Conference on Embedded and Ubiquitous Computing (EUC);2022-12
2. Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design;ACM Transactions on Embedded Computing Systems;2022-10-29
3. Temporal Robustness of Stochastic Signals;25th ACM International Conference on Hybrid Systems: Computation and Control;2022-05-04
4. Timed Automaton-Based Quantitative Feasibility Analysis of Symmetric Cipher in Embedded RTOS: A Case Study of AES;Security and Communication Networks;2022-01-12
5. A generic approach for the certified schedulability analysis of software systems;2021 IEEE 27th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA);2021-08