메뉴 건너뛰기




Volumn 2619, Issue , 2003, Pages 254-270

Static guard analysis in timed automata verification

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CLOCKS; LOCATION;

EID: 35248852877     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36577-x_18     Document Type: Article
Times cited : (60)

References (21)
  • 2
    • 85027622491 scopus 로고
    • Minimization of Timed Transition Systems
    • Proc. 3rd Int. Conf. on Concurrency Theory (CONCUR'92), Springer
    • R. Alur, C. Courcoubetis, N. Halbwachs, D. Dill, and H. Wong-Toi. Minimization of Timed Transition Systems. In Proc. 3rd Int. Conf. on Concurrency Theory (CONCUR'92), vol. 630 of LNCS, pp. 340-354. Springer, 1992.
    • (1992) LNCS , vol.630 , pp. 340-354
    • Alur, R.1    Courcoubetis, C.2    Halbwachs, N.3    Dill, D.4    Wong-Toi, H.5
  • 3
    • 0028413052 scopus 로고
    • A Theory of Timed Automata
    • R. Alur and D. 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.2
  • 4
    • 84947274672 scopus 로고    scopus 로고
    • Efficient Timed Reachability Analysis Using Clock Difference Diagrams
    • Proc. 11th Int. Conf. on Computer Aided Verification (CAV'99), Springer
    • G. Behrmann, K. G. Larsen, J. Pearson, C. Weise, and W. Yi. Efficient Timed Reachability Analysis Using Clock Difference Diagrams. In Proc. 11th Int. Conf. on Computer Aided Verification (CAV'99), vol. 1633 of LNCS, pp. 341-353. Springer, 1999.
    • (1999) LNCS , vol.1633 , pp. 341-353
    • Behrmann, G.1    Larsen, K.G.2    Pearson, J.3    Weise, C.4    Yi, W.5
  • 5
    • 3543102698 scopus 로고    scopus 로고
    • PhD thesis, Dept. of Information Technology, Uppsala Univ., Uppsala, Sweden
    • J. Bengtsson. Clocks, DBMs ans States in Timed Systems. PhD thesis, Dept. of Information Technology, Uppsala Univ., Uppsala, Sweden, 2002.
    • (2002) Clocks, DBMs Ans States in Timed Systems
    • Bengtsson, J.1
  • 7
    • 84947916935 scopus 로고    scopus 로고
    • Diophantine Equations, Presburger Arithmetic and Finite Automata
    • Proc. 21st Int. Coll. on Trees in Algebra and Programming (CAAP'96), Springer
    • A. Boudet and H. Comon. Diophantine Equations, Presburger Arithmetic and Finite Automata. In Proc. 21st Int. Coll. on Trees in Algebra and Programming (CAAP'96), vol. 1059 of LNCS, pp. 30-43. Springer, 1996.
    • (1996) LNCS , vol.1059 , pp. 30-43
    • Boudet, A.1    Comon, H.2
  • 10
    • 84944406327 scopus 로고    scopus 로고
    • Are timed automata updatable?
    • Proc. 12th Int. Conf. on Computer Aided Verification (CAV'2000), Springer
    • P. Bouyer, C. Dufourd, E. Fleury, and A. Petit. Are timed automata updatable? In Proc. 12th Int. Conf. on Computer Aided Verification (CAV'2000), vol. 1855 of LNCS, pp. 464-479. Springer, 2000.
    • (2000) LNCS , vol.1855 , pp. 464-479
    • Bouyer, P.1    Dufourd, C.2    Fleury, E.3    Petit, A.4
  • 11
    • 84959195025 scopus 로고    scopus 로고
    • Expressiveness of updatable timed automata
    • Proc. 25th Int. Symp. on Mathematical Foundations of Computer Science (MFCS'2000), Springer
    • P. Bouyer, C. Dufourd, E. Fleury, and A. Petit. Expressiveness of updatable timed automata. In Proc. 25th Int. Symp. on Mathematical Foundations of Computer Science (MFCS'2000), vol. 1893 of LNCS, pp. 232-242. Springer, 2000.
    • (2000) LNCS , vol.1893 , pp. 232-242
    • Bouyer, P.1    Dufourd, C.2    Fleury, E.3    Petit, A.4
  • 12
    • 84863918586 scopus 로고    scopus 로고
    • KRONOS: A Model-Checking Tool for Real-Time Systems
    • Proc. 10th Int. Conf. on Computer Aided Verification (CAV'98), Springer
    • M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine. KRONOS: a Model-Checking Tool for Real-Time Systems. In Proc. 10th Int. Conf. on Computer Aided Verification (CAV'98), vol. 1427 of LNCS, pp. 546-550. Springer, 1998.
    • (1998) LNCS , vol.1427 , pp. 546-550
    • Bozga, M.1    Daws, C.2    Maler, O.3    Olivero, A.4    Tripakis, S.5    Yovine, S.6
  • 13
    • 84888241752 scopus 로고    scopus 로고
    • Improving the Verification of Timed Systems Using Influence Information
    • Proc. 8th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), Springer
    • V. Braberman, D. Garbervetsky, and A. Olivero. Improving the Verification of Timed Systems Using Influence Information. In Proc. 8th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), vol. 2280 of LNCS, pp. 21-36. Springer, 2002.
    • (2002) LNCS , vol.2280 , pp. 21-36
    • Braberman, V.1    Garbervetsky, D.2    Olivero, A.3
  • 15
    • 84947909489 scopus 로고    scopus 로고
    • Model-Checking of Real-Time Reachability Properties using Abstractions
    • Proc. 4th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), Springer
    • C. Daws and S. Tripakis. Model-Checking of Real-Time Reachability Properties using Abstractions. In Proc. 4th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'98), vol. 1384 of LNCS, pp. 313-329. Springer, 1998.
    • (1998) LNCS , vol.1384 , pp. 313-329
    • Daws, C.1    Tripakis, S.2
  • 16
    • 84944099472 scopus 로고
    • Timing Assumptions and Verification of Finite-State Concurrent Systems
    • Proc. of the Workshop on Automatic Verification Methods for Finite State Systems, Springer
    • D. Dill. Timing Assumptions and Verification of Finite-State Concurrent Systems. In Proc. of the Workshop on Automatic Verification Methods for Finite State Systems, vol. 407 of LNCS, pp. 197-212. Springer, 1989.
    • (1989) LNCS , vol.407 , pp. 197-212
    • Dill, D.1
  • 17
    • 85012911905 scopus 로고
    • Solving Systems of Linear Diophantine Equations: An Algebraic Approach
    • Proc. 16th Int. Symp. on Mathematical Foundations of Computer Science (MFCS'91), Springer
    • E. Domenjoud. Solving Systems of Linear Diophantine Equations: an Algebraic Approach. In Proc. 16th Int. Symp. on Mathematical Foundations of Computer Science (MFCS'91), vol. 520 of LNCS, pp. 141-150. Springer, 1991.
    • (1991) LNCS , vol.520 , pp. 141-150
    • Domenjoud, E.1
  • 18
    • 0031354378 scopus 로고    scopus 로고
    • Formal Modeling and Analysis of an Audio/Video Protocol: An Industrial Case Study using UPPAAL
    • IEEE Computer Society Press
    • K. Havelund, A. Skou, K.G. Larsen, and K. Lund. Formal Modeling and Analysis of an Audio/Video Protocol: an Industrial Case Study using UPPAAL. In Proc. 18th IEEE Real-Time Systems Symp. (RTSS'97), pp. 2-13. IEEE Computer Society Press, 1997.
    • (1997) Proc. 18th IEEE Real-Time Systems Symp. (RTSS'97) , pp. 2-13
    • Havelund, K.1    Skou, A.2    Larsen, K.G.3    Lund, K.4
  • 21
    • 84956856293 scopus 로고    scopus 로고
    • Difference Decision Diagrams
    • Proc. 13th Int. Workshop on Computer Science Logic (CSL'99), Springer
    • J. Møller, J. Lichtenberg, H.R. Andersen, and H. Hulgaard. Difference Decision Diagrams. In Proc. 13th Int. Workshop on Computer Science Logic (CSL'99), vol. 1683 of LNCS, pp. 111-125. Springer, 1999.
    • (1999) LNCS , vol.1683 , pp. 111-125
    • Møller, J.1    Lichtenberg, J.2    Andersen, H.R.3    Hulgaard, H.4


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