메뉴 건너뛰기




Volumn 113, Issue SPEC. ISS., 2005, Pages 3-21

Semantics and Runtime Monitoring of TLCharts: Statechart Automata with Temporal Logic Conditioned Transitions

Author keywords

Finite automata; Formal specification; Harel Statecharts; Semantics; Temporal logic

Indexed keywords

FORMAL SPECIFICATION; HAREL STATECHARTS; LINEAR-TIME TEMPORAL LOGIC (LTL); RUN TIME; TEMPORAL LOGIC;

EID: 11344256570     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.01.025     Document Type: Conference Paper
Times cited : (14)

References (21)
  • 5
    • 0346925062 scopus 로고
    • Ph.D. Dissertation, Weizmann Institute of Science
    • D. Drusinsky, On Synchronized Statecharts, Ph.D. Dissertation, Weizmann Institute of Science, 1988
    • (1988) On Synchronized Statecharts
    • Drusinsky, D.1
  • 9
    • 0011182842 scopus 로고
    • The temporal rover and the ATG rover
    • Springer Verlag Lecture Notes in Computer Science
    • D. Drusinsky, The Temporal Rover and the ATG Rover. Proc. SPIN 2000 Workshop. Springer Verlag Lecture Notes in Computer Science, 1885, p. 323-329
    • (1885) Proc. SPIN 2000 Workshop , pp. 323-329
    • Drusinsky, D.1
  • 11
    • 0028430821 scopus 로고
    • On the Power of Bounded Concurrency I: Finite Automata
    • D. Drusinsky, and David Harel On the Power of Bounded Concurrency I: Finite Automata Journal of the ACM 41 3 May 1994 517 539
    • (1994) Journal of the ACM , vol.41 , Issue.3 , pp. 517-539
    • Drusinsky, D.1    David, H.2
  • 12
    • 0023365727 scopus 로고
    • Statecharts: A Visual Formalism for Complex Systems
    • D. Harel Statecharts: A Visual Formalism for Complex Systems Science of Computer Programming 8 1987 231 274
    • (1987) Science of Computer Programming , vol.8 , pp. 231-274
    • Harel, D.1
  • 17
    • 11344287334 scopus 로고
    • M.S. Thesis, Dept. of Mathematics and Computer Science, Bar-Ilan University, Ramat-Gan, Israel (in Hebrew)
    • Kahanna, C.A., Statecharts with Overlapping States, M.S. Thesis, Dept. of Mathematics and Computer Science, Bar-Ilan University, Ramat-Gan, Israel, 1986 (in Hebrew)
    • (1986) Statecharts with Overlapping States
    • Kahanna, C.A.1
  • 18
    • 0007835071 scopus 로고
    • Verification of Concurrent Programs: Temporal Proof Principles
    • Springer LNCS
    • Z. Manna, and A. Pnueli Verification of Concurrent Programs: Temporal Proof Principles Proc. of the Workshop on Logics of Programs LNCS 1981 Springer 200 252
    • (1981) Proc. of the Workshop on Logics of Programs , pp. 200-252
    • Manna, Z.1    Pnueli, A.2


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