메뉴 건너뛰기




Volumn 2988, Issue , 2004, Pages 236-250

Decidable and undecidable problems in schedulability analysis using timed automata

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTATION THEORY; TIME SHARING SYSTEMS;

EID: 35048885122     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24730-2_20     Document Type: Article
Times cited : (43)

References (19)
  • 3
    • 0028413052 scopus 로고
    • A theory of timed automata
    • [AD94] R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
    • (1994) Theoretical Computer Science , vol.126 , Issue.2 , pp. 183-235
    • Alur, R.1    Dill, D.L.2
  • 5
    • 84958770488 scopus 로고    scopus 로고
    • Job-shop scheduling using timed automata
    • Springer
    • [AM01] Y. Abdeddaïm and O. Maler. Job-shop scheduling using timed automata. In Proc. CAV'01, volume 2102 of LNCS, pages 478-492. Springer, 2001.
    • (2001) Proc. CAV'01, Volume 2102 of LNCS , pp. 478-492
    • Abdeddaïm, Y.1    Maler, O.2
  • 7
    • 84944390856 scopus 로고    scopus 로고
    • Model-checking for hybrid systems by quotienting and constraints solving
    • Springer
    • [CL00] F. Cassez and F. Laroussinie. Model-checking for hybrid systems by quotienting and constraints solving. In Proc. CAV'00, volume 1855 of LNCS, pages 373-388. Springer, 2000.
    • (2000) Proc. CAV'00, Volume 1855 of LNCS , pp. 373-388
    • Cassez, F.1    Laroussinie, F.2
  • 8
    • 67249157011 scopus 로고
    • Modeling and analysis of real-time ada tasking programs
    • [Cor94] J. Corbett. Modeling and analysis of real-time ada tasking programs. In Proc. IEEE RTSS'94, pages 132-141, 1994.
    • (1994) Proc. IEEE RTSS'94 , pp. 132-141
    • Corbett, J.1
  • 12
    • 84888231408 scopus 로고    scopus 로고
    • Timed automata with asynchronous processes: Schedulability and decidability
    • Springer
    • [FPY02] E. Fersman, P. Pettersson, and W. Yi. Timed automata with asynchronous processes: Schedulability and decidability. In Proc. TACAS'02, volume 2280 of LNCS, pages 67-82. Springer, 2002.
    • (2002) Proc. TACAS'02, Volume 2280 of LNCS , pp. 67-82
    • Fersman, E.1    Pettersson, P.2    Yi, W.3
  • 15
    • 0141444732 scopus 로고    scopus 로고
    • Guided Synthesis of Control Programs using UPPAAL
    • [HLP01] T. Hune, K.G. Larsen, and P. Pettersson. Guided Synthesis of Control Programs using UPPAAL. Nordic Journal of Computing, 8(1):43-64, 2001.
    • (2001) Nordic Journal of Computing , vol.8 , Issue.1 , pp. 43-64
    • Hune, T.1    Larsen, K.G.2    Pettersson, P.3
  • 17
    • 0346303225 scopus 로고
    • Suspension automata: A decidable class of hybrid automata
    • Springer
    • [MV94] J. McManis and P. Varaiya. Suspension automata: A decidable class of hybrid automata. In Proc. CAV'94, volume 818, pages 105-117. Springer, 1994.
    • (1994) Proc. CAV'94 , vol.818 , pp. 105-117
    • McManis, J.1    Varaiya, P.2
  • 18
    • 35048816356 scopus 로고    scopus 로고
    • Analysis of real time operating system based applications
    • [WH03] L. Waszniowski and Z. Hanzálek. Analysis of real time operating system based applications. In Proc. FORMATS'03, 2003.
    • (2003) Proc. FORMATS'03
    • Waszniowski, L.1    Hanzálek, Z.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.