SCOPUS 정보 검색 플랫폼

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2007, Pages 171-180

A new efficient simulation equivalence algorithm

(2) Ranzato, Francesco a Tapparo, Francesco a

a UNIVERSITY OF PADOVA (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT INTERPRETATIONS; BISIMULATION EQUIVALENCES; EFFICIENT SIMULATION; SPACE COMPLEXITY; SPACE REDUCTIONS; STATE SPACE; TECHNIQUES USED; TIME BOUND; TRANSITION RELATIONS;

ABSTRACTING; ALGORITHMS; COMPUTATION THEORY; EQUIVALENCE CLASSES; MODEL CHECKING;

COMPUTER SIMULATION;

EID: 82755188825 PISSN: 10436871 EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/LICS.2007.8 Document Type: Conference Paper

Times cited : (40)

References (16)

1
- 0029316495
- Transformational design and implementation of a new efficient solution to the ready simulation problem
- B. Bloom and R. Paige. Transformational design and implementation of a new efficient solution to the ready simulation problem. Sci. Comp. Program., 24(3):189-220, 1995.
- (1995) Sci. Comp. Program. , vol.24 , Issue.3 , pp. 189-220
- Bloom, B.¹ Paige, R.²

2
- 0024035719
- Characterizing finite kripke structures in propositional temporal logic
- M.C. Browne, E.M. Clarke and O. Grumberg. Characterizing finite Kripke structures in propositional temporal logic. Theor. Comp. Sci., 59:115-131, 1988.
- (1988) Theor. Comp. Sci. , vol.59 , pp. 115-131
- Browne, M.C.¹ Clarke, E.M.² Grumberg, O.³

3
- 3042815539
- Simulation-based minimization
- D. Bustan and O. Grumberg. Simulation-based minimization. ACM Trans. Comput. Log., 4(2):181-204, 2003.
- (2003) ACM Trans. Comput. Log. , vol.4 , Issue.2 , pp. 181-204
- Bustan, D.¹ Grumberg, O.²

4
- 0028513196
- Model checking and abstraction
- E.M. Clarke, O. Grumberg and D. Long. Model checking and abstraction. ACM Trans. Program. Lang. Syst., 16(5):1512-1542, 1994.
- (1994) ACM Trans. Program. Lang. Syst. , vol.16 , Issue.5 , pp. 1512-1542
- Clarke, E.M.¹ Grumberg, O.² Long, D.³

5
- 85050550846
- Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
- th ACM POPL, pp. 238-252, 1977.
- (1977) th ACM POPL , pp. 238-252
- Cousot, P.¹ Cousot, R.²

6
- 0018294932
- Systematic design of program analysis frameworks
- th ACM POPL, pp. 269-282, 1979.
- (1979) th ACM POPL , pp. 269-282
- Cousot, P.¹ Cousot, R.²

7
- 84968322579
- Generation of reduced models for checking fragments of CTL
- LNCS 697
- th CAV, LNCS 697:479-490, 1993.
- (1993) th CAV , pp. 479-490
- Dams, D.¹ Grumberg, O.² Gerth, R.³

8
- 0345358528
- From bisimulation to simulation: Coarsest partition problems
- R. Gentilini, C. Piazza and A. Policriti. From bisimulation to simulation: coarsest partition problems. J. Automated Reasoning, 31(1):73-103, 2003.
- (2003) J. Automated Reasoning , vol.31 , Issue.1 , pp. 73-103
- Gentilini, R.¹ Piazza, C.² Policriti, A.³

9
- 84890021811
- Incompleteness, counterexamples and refinements in abstract model checking
- LNCS 2126
- th SAS, LNCS 2126:356-373, 2001.
- (2001) th SAS , pp. 356-373
- Giacobazzi, R.¹ Quintarelli, E.²

10
- 0028427381
- Model checking and modular verification
- O. Grumberg and D.E. Long. Model checking and modular verification. ACM Trans. Program. Lang. Syst., 16(3):843-871, 1994.
- (1994) ACM Trans. Program. Lang. Syst. , vol.16 , Issue.3 , pp. 843-871
- Grumberg, O.¹ Long, D.E.²

11
- 0029488964
- Computing simulations on finite and infinite graphs
- th FOCS, 453-462, 1995.
- (1995) th FOCS , pp. 453-462
- Henzinger, M.R.¹ Henzinger, T.A.² Kopke, P.W.³

12
- 84874715172
- Why is simulation harder than bisimulation?
- LNCS 2421
- th CONCUR, LNCS 2421:594-610, 2002.
- (2002) th CONCUR , pp. 594-610
- Kucera, A.¹ Mayr, R.²

13
- 0029207880
- Property preserving abstractions for the verification of concurrent systems
- C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6:1-36, 1995.
- (1995) Formal Methods in System Design , vol.6 , pp. 1-36
- Loiseaux, C.¹ Graf, S.² Sifakis, J.³ Bouajjani, A.⁴ Bensalem, S.⁵

14
- 0023566630
- Three partition refinement algorithms
- R. Paige and R.E. Tarjan. Three partition refinement algorithms. SIAM J. Comput., 16(6):973-989, 1987
- (1987) SIAM J. Comput. , vol.16 , Issue.6 , pp. 973-989
- Paige, R.¹ Tarjan, R.E.²

15
- 40549132074
- Generalized strong preservation by abstract interpretation
- F. Ranzato and F. Tapparo. Generalized strong preservation by abstract interpretation. J. Logic and Computation, 17(1):157-197, 2007.
- (2007) J. Logic and Computation , vol.17 , Issue.1 , pp. 157-197
- Ranzato, F.¹ Tapparo, F.²

16
- 84903199314
- Simulation revisited
- Tools and Algorithms for the Construction and Analysis of Systems 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001 Proceedings
- th TACAS, LNCS 2031:480-495, 2001. (Pubitemid 33254678)
- (2001) Lecture Notes in Computer Science , Issue.2031 , pp. 480-495
- Tan, L.¹ Cleaveland, R.²

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