The theory of timed I/O automata

被引：0
|
作者：
Kaynar, Dilsun K. [1 ]
Lynch, Nancy [1 ]
Segala, Roberto [2 ]
Vaandrager, Frits [3 ]
机构：
[1] MIT Computer Science, Artificial Intelligence Laboratory
[2] Dipartimento di Informatica, Università di Verona
[3] Institute for Computing and Information Sciences, Radboud University Nijmegen
来源：
Synthesis Lectures on Computer Science | 2006年 / 1卷
关键词：
Automata theory;
D O I：
10.2200/S00006ED1V01Y200508CSL001
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1 / 114
相关论文
共 50 条
  • [1] Decomposing verification of timed I/O automata
    Kaynar, DK
    Lynch, N
    [J]. FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2004, 3253 : 84 - 101
  • [2] Specifying urgency in timed I/O automata
    Gebremichael, B
    Vaandrager, F
    [J]. SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 64 - 73
  • [3] THE THEORY OF TIMED AUTOMATA
    ALUR, R
    DILL, D
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 45 - 73
  • [4] Timed I/O Automata: A Complete Specification Theory for Real-time Systems
    David, Alexandre
    Larsen, Kim G.
    Legay, Axel
    Nyman, Ulrik
    Wasowski, Andrzej
    [J]. HSSC 10: PROCEEDINGS OF THE 13TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2010, : 91 - 100
  • [5] A THEORY OF TIMED AUTOMATA
    ALUR, R
    DILL, DL
    [J]. THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) : 183 - 235
  • [6] Keynote Abstract Timed and Probabilistic I/O Automata
    Lynch, Nancy
    [J]. 2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 12 - 12
  • [7] Effective conformance testing of timed I/O automata
    Zhao, Dong
    Ye, Kejiang
    [J]. Zhengzhou Daxue Xuebao/Journal of Zhengzhou University, 2002, 34 (04):
  • [8] From I/O automata to timed I/O automata -: A solution to the 'Generalized Railroad Crossing' in Isabelle/HOLCF
    Grobauer, B
    Müller, O
    [J]. THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 1999, 1690 : 273 - 289
  • [9] Synthesising Optimal Timing Delays for Timed I/O Automata
    Diciolla, Marco
    Kim, Chang Hwan Peter
    Kwiatkowska, Marta
    Mereacre, Alexandru
    [J]. 2014 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2014,
  • [10] Specifying and proving properties of timed I/O automata using Tempo
    Myla Archer
    Hongping Lim
    Nancy Lynch
    Sayan Mitra
    Shinya Umeno
    [J]. Design Automation for Embedded Systems, 2008, 12 : 139 - 170
12345