SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Fundamenta Informaticae

Volumn 51, Issue 1-2, 2002, Pages 59-89

Verification of timed automata based on similarity

(3) Dembiński, Piotr a Penczek, Wojciech a Półrola, Agata a

a INSTITUTE OF COMPUTER SCIENCE (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; GRAPH THEORY; MATHEMATICAL MODELS; SEMANTICS; STATE SPACE METHODS;

TIMED AUTOMATA;

AUTOMATA THEORY;

EID: 0036601095 PISSN: 01692968 EISSN: None Source Type: Journal
DOI: None Document Type: Article

Times cited : (5)

References (15)

1
- 84880885611
- An implementation of three algorithms for timing verification based on automata emptiness
- IEEE Comp. Soc. Press
- (1992) Proc. of the 13th IEEE Real-Time Systems Symposium (RTSS'92) , pp. 157-166
- Alur, R.¹ Courcoubetis, C.² Dill, D.³ Halbwachs, N.⁴ Wong-Toi, H.⁵

2
- 85027622491
- Minimization of timed transition systems
- Springer-Verlag
- (1992) Proc. of CONCUR'92 , vol.630 , pp. 340-354
- Alur, R.¹ Courcoubetis, C.² Dill, D.³ Halbwachs, N.⁴ Wong-Toi, H.⁵

3
- 0005659208
- Minimal state graph generation
- (1992) Science of Computer Programming , vol.18 , pp. 247-269
- Bouajjani, A.¹ Fernandez, J.-C.² Halbwachs, N.³ Raymond, P.⁴ Ratel, C.⁵

4
- 0024035719
- Characterizing finite kripke structures in propositional temporal logic
- (1988) Theoretical Computer Science , vol.59 , Issue.1-2 , pp. 115-131
- Browne, M.C.¹ Clarke, E.M.² Grumberg, O.³

5
- 84937417387
- Simulation based minimization
- Pittsburgh
- (2000) Proc. of the 17th Int. Conf. on Automated Deduction (ICAD'2000) , pp. 255-270
- Bustan, D.¹ Grumberg, O.²

6
- 0003962322
- MIT Press
- (1999) Model Checking
- Clarke, E.M.¹ Grumberg, O.² Peled, D.³

7
- 0005658671
- Automated verification of infinite state concurrent systems: An improvement in model generation
- LNCS. To appear
- (2001) Proc. of the 4th Int. Conf. on Parallel Processing and Applied Mathematics (PPAM'01)
- Dembiński, P.¹ Penczek, W.² Półrola, A.³

8
- 0005723092
- Verification of timed automata based on similarity
- (2001) Proc. of the Int. Workshop on Concurrency Specification and Programming (CS&P'01) , pp. 76-86
- Dembiński, P.¹ Penczek, W.² Półrola, A.³

9
- 84944099472
- Timing assumptions and verification of finite state concurrent systems
- Automatic Verification Methods for Finite-State Systems, Springer-Verlag
- (1989) LNCS , vol.407 , pp. 197-212
- Dill, D.¹

10
- 85029638825
- Propositional temporal logics and equivalences
- Springer-Verlag
- (1992) Proc. of CONCUR'92 , vol.630 , pp. 222-236
- Goltz, U.¹ Kuiper, R.² Penczek, W.³

11
- 85013749789
- Model checking and modular verification
- Springer-Verlag
- (1991) Proc. of CONCUR'91 , vol.527 , pp. 250-265
- Grumberg, O.¹ Long, D.E.²

12
- 0029488964
- Computing simulations on finite and infinite graphs
- (1995) Proc. of the 36th Annual IEEE Symposium on Foundations of Computer Science (FOCS'95) , pp. 453-462
- Henzinger, M.¹ Henzinger, T.² Kopke, P.³

13
- 0005691009
- (1998) Minimization of Timed Systems
- Tripakis, S.¹

14
- 84957353962
- Analysis of timed systems based on time-abstracting bisimulations
- Springer-Verlag
- (1996) Proc. of CAV'96 , vol.1102 , pp. 232-243
- Tripakis, S.¹ Yovine, S.²

15
- 0035135204
- Analysis of timed systems using time-abstracting bisimulations
- (2001) Formal Methods in System Design , vol.18 , Issue.1 , pp. 25-68
- Tripakis, S.¹ Yovine, S.²

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